Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userDerived representation theory of Lie algebras and stable homotopy categorification of $sl_k$
122
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and their duals, Harish-Chandra pairs and Zuckermann functors. As an application, we construct a Khovanov $sl_k$-stable homotopy type with a large prime hypothesis, which is a new link invariant, using a stable homotopy analogue of the method of J.Sussan.
rate research
Read More
We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types.
The purpose of this foundational paper is to introduce various notions and constructions in order to develop the homotopy theory for differential graded operads over any ring. The main new idea is to consider the action of the symmetric groups as part of the defining structure of an operad and not as the underlying category. We introduce a new dual category of higher cooperads, a new higher bar-cobar adjunction with the category of operads, and a new higher notion of homotopy operads, for which we establish the relevant homotopy properties. For instance, the higher bar-cobar construction provides us with a cofibrant replacement functor for operads over any ring. All these constructions are produced conceptually by applying the curved Koszul duality for colored operads. This paper is a first step toward a new Koszul duality theory for operads, where the action of the symmetric groups is properly taken into account.
We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type $X$, the natural map $X to X_{(p)}$ induces algebraic localizations on all homotopy groups. In order to prove this, we further develop the theory of reflective subuniverses. In particular, we show that for any reflective subuniverse $L$, the subuniverse of $L$-separated types is again a reflective subuniverse, which we call $L$. Furthermore, we prove results establishing that $L$ is almost left exact. We next focus on localization with respect to a map, giving results on preservation of coproducts and connectivity. We also study how such localizations interact with other reflective subuniverses and orthogonal factorization systems. As key steps towards proving the main theorem, we show that localization at a prime commutes with taking loop spaces for a pointed, simply connected type, and explicitly describe the localization of an Eilenberg-Mac Lane space $K(G,n)$ with $G$ abelian. We also include a partial converse to the main theorem.
Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over cofibrant colored PROPs is proved. As an example, we define homotopy topological conformal field theories and observe that such structures are homotopy invariant.
For a finite Galois extension of fields L/k with Galois group G, we study a functor from the G-equivariant stable homotopy category to the stable motivic homotopy category over k induced by the classical Galois correspondence. We show that after completing at a prime and eta (the motivic Hopf map) this results in a full and faithful embedding whenever k is real closed and L = k[i]. It is a full and faithful embedding after eta-completion if a motivic version of Serres finiteness theorem is valid. We produce strong necessary conditions on the field extension L/k for this functor to be full and faithful. Along the way, we produce several results on the stable C_2-equivariant Betti realization functor and prove convergence theorems for the p-primary C_2-equivariant Adams spectral sequence.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
