skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: On realizations of the subalgebra π’œ^{ℝ}(1) of the ℝ-motivic Steenrod algebra
In this paper, we show that the finite subalgebra A R ( 1 ) \mathcal {A}^\mathbb {R}(1) , generated by S q 1 \mathrm {Sq}^1 and S q 2 \mathrm {Sq}^2 , of the R \mathbb {R} -motivic Steenrod algebra A R \mathcal {A}^\mathbb {R} can be given 128 different A R \mathcal {A}^\mathbb {R} -module structures. We also show that all of these A \mathcal {A} -modules can be realized as the cohomology of a 2 2 -local finite R \mathbb {R} -motivic spectrum. The realization results are obtained using an R \mathbb {R} -motivic analogue of the Toda realization theorem. We notice that each realization of A R ( 1 ) \mathcal {A}^\mathbb {R}(1) can be expressed as a cofiber of an R \mathbb {R} -motivic v 1 v_1 -self-map. The C 2 {\mathrm {C}_2} -equivariant analogue of the above results then follows because of the Betti realization functor. We identify a relationship between the R O ( C 2 ) \mathrm {RO}({\mathrm {C}_2}) -graded Steenrod operations on a C 2 {\mathrm {C}_2} -equivariant space and the classical Steenrod operations on both its underlying space and its fixed-points. This technique is then used to identify the geometric fixed-point spectra of the C 2 {\mathrm {C}_2} -equivariant realizations of A C 2 ( 1 ) \mathcal {A}^{\mathrm {C}_2}(1) . We find another application of the R \mathbb {R} -motivic Toda realization theorem: we produce an R \mathbb {R} -motivic, and consequently a C 2 {\mathrm {C}_2} -equivariant, analogue of the Bhattacharya-Egger spectrum Z \mathcal {Z} , which could be of independent interest.  more » « less
Award ID(s):
2003204
PAR ID:
10342033
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Transactions of the American Mathematical Society, Series B
Volume:
9
Issue:
23
ISSN:
2330-0000
Page Range / eLocation ID:
700 to 732
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; (, Pacific Journal of Mathematics)
    We compute the $$v_1$$-periodic $$\mathbb{R}$$-motivic stable homotopy groups. The main tool is the effective slice spectral sequence. Along the way, we also analyze $$\mathbb{C}$$-motivic and $$\eta$$-periodic $$v_1$$-periodic homotopy from the same perspective. 
    more » « less
  2. ; ; (, Forum of Mathematics, Sigma)
    null (Ed.)
    Abstract Let X be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$ -equivariant homology $$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $$ of the free loop space of X preserves the Hodge decomposition of $$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $$ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture of [7]. 
    more » « less
  3. ; ; (, Compositio Mathematica)
    null (Ed.)
    We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each $$r\geq ~2$$ we associate to an annular link $$L$$ a naive $$\mathbb {Z}/r\mathbb {Z}$$ -equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of $$L$$ as modules over $$\mathbb {Z}[\mathbb {Z}/r\mathbb {Z}]$$ . The construction relies on an equivariant version of the Burnside category approach of Lawson, Lipshitz and Sarkar. The quotient under the cyclic group action is shown to recover the stable homotopy refinement of annular Khovanov homology. We study spectrum level lifts of structural properties of quantum annular homology. 
    more » « less
  4. ; (, Contemporary mathematics - American Mathematical Society)
    In previous work [7], the authors constructed and studied a lift of the Galois correspondence to stable homotopy categories. In particular, if L/k is a finite Galois extension of fields with Galois group G, there is a functor cβˆ—L/k : SHG β†’ SHk from the G-equivariant stable homotopy category to the stable motivic homotopy category over k such that cβˆ—L/k(G/H+) = Spec(LH)+. The main theorem of [7] says that when k is a real closed field and L = k[i], the restriction of cβˆ—L/k to the Ξ·-complete subcategory is full and faithful. Here we β€œuncomplete” this theorem so that it applies to cβˆ—L/k itself. Our main tools are Bachmann’s theorem on the (2,Ξ·)- periodic stable motivic homotopy category and an isomorphism range for the map Ο€RS β†’ Ο€C2 S induced by C2-equivariant Betti realization. 
    more » « less
  5. (, Communications of the American Mathematical Society)
    This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided auto-equivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep ⁑ ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ⁑ ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ⁑ ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ⁑ ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} . We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type D D - D D case, which is used to construct one of the exceptionals. We uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannon’s type I I classification for r ≀ 6 r\leq 6 , our results will complete the type I I II classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email