Tensor triangular geometry of modules over the mod 2 Steenrod algebra

Collin Litterell

2024-09-17

Abstract:We compute the Balmer spectrum of a certain tensor triangulated category of comodules over the mod 2 dual Steenrod algebra. This computation effectively classifies the thick subcategories, resolving a conjecture of Palmieri.

Algebraic Topology

What problem does this paper attempt to address?

Tensor Triangular Geometry for Quantum Groups

Brian D. Boe,Jonathan R. Kujawa,Daniel K. Nakano

DOI: https://doi.org/10.48550/arXiv.1702.01289

IF: 0.6

2017-02-04

Representation Theory

Abstract:Let $\mathfrak g$ be a complex simple Lie algebra and let $U_{\zeta}({\mathfrak g})$ be the corresponding Lusztig ${\mathbb Z}[q,q^{-1}]$-form of the quantized enveloping algebra specialized to an $\ell$th root of unity. Moreover, let $\mod(U_{\zeta}({\mathfrak g}))$ be the braided monoidal category of finite-dimensional modules for $U_{\zeta}({\mathfrak g})$. In this paper we classify the thick tensor ideals of $\mod(U_{\zeta}({\mathfrak g}))$ and compute the prime spectrum of the stable module category associated to $\text{mod}(U_{\zeta}({\mathfrak g}))$ as defined by Balmer.
Tensor triangular geometry for classical Lie superalgebras

Brian D. Boe,Jonathan R. Kujawa,Daniel K. Nakano

DOI: https://doi.org/10.1016/j.aim.2017.04.022

IF: 1.675

2017-07-01

Advances in Mathematics

Abstract:Tensor triangular geometry as introduced by Balmer [3] is a powerful idea which can be used to extract the ambient geometry from a given tensor triangulated category. In this paper we provide a general setting for a compactly generated tensor triangulated category which enables one to classify thick tensor ideals and the Balmer spectrum. For the general linear Lie superalgebra g=g0¯⊕g1¯ we construct a Zariski space from a detecting subalgebra of g and demonstrate that this topological space governs the tensor triangular geometry for the category of finite dimensional g-modules which are semisimple over g0¯.

mathematics
On the Tensor Products of Modules for Dihedral 2-Groups

David A. Craven

DOI: https://doi.org/10.48550/arXiv.0801.2723

2008-01-18

Abstract:Recall that an algebraic module is a KG-module that satisfies a polynomial with integer coefficients, with addition and multiplication given by direct sum and tensor product. In this article we prove that if L is a component of the (stable) Auslander-Reiten quiver for a dihedral 2-group consisting of non-periodic modules, then there is at most one algebraic module on L.

Representation Theory
Deligne tensor products of categories of modules for vertex operator algebras

Robert McRae

2023-04-27

Abstract:We show that if $\mathcal{U}$ and $\mathcal{V}$ are locally finite abelian categories of modules for vertex operator algebras $U$ and $V$, respectively, then the Deligne tensor product of $\mathcal{U}$ and $\mathcal{V}$ can be realized as a certain category $\mathcal{D}(\mathcal{U},\mathcal{V})$ of modules for the tensor product vertex operator algebra $U\otimes V$. We also show that if $\mathcal{U}$ and $\mathcal{V}$ admit the braided tensor category structure of Huang-Lepowsky-Zhang, then $\mathcal{D}(\mathcal{U},\mathcal{V})$ does as well under mild additional conditions, and that this braided tensor structure is equivalent to the natural braided tensor structure on a Deligne tensor product category. These results hold in particular when $\mathcal{U}$ and $\mathcal{V}$ are the categories of $C_1$-cofinite $U$- and $V$-modules, if these categories are closed under contragredients, in which case we show that $\mathcal{D}(\mathcal{U},\mathcal{V})$ is the category of $C_1$-cofinite $U\otimes V$-modules. If $U$ and $V$ are $\mathbb{N}$-graded and $C_2$-cofinite, then we may take $\mathcal{U}$ and $\mathcal{V}$ to be the categories of all grading-restricted generalized $U$- and $V$-modules, respectively. Thus as an application, if the tensor categories of all modules for two $C_2$-cofinite vertex operator algebras are rigid, then so is the tensor category of all modules for the tensor product vertex operator algebra. We use this to prove that the representation categories of the even subalgebras of the symplectic fermion vertex operator superalgebras are non-semisimple modular tensor categories.

Quantum Algebra,Mathematical Physics,Category Theory,Representation Theory
Descent in tensor triangular geometry

Tobias Barthel,Natalia Castellana,Drew Heard,Niko Naumann,Luca Pol,Beren Sanders

2023-05-04

Abstract:We investigate to what extent we can descend the classification of localizing, smashing and thick ideals in a presentably symmetric monoidal stable $\infty$-category $\mathscr{C}$ along a descendable commutative algebra $A$. We establish equalizer diagrams relating the lattices of localizing and smashing ideals of $\mathscr{C}$ to those of $\mathrm{Mod}_{A}(\mathscr{C})$ and $\mathrm{Mod}_{A\otimes A}(\mathscr{C})$. If $A$ is compact, we obtain a similar equalizer for the lattices of thick ideals which, via Stone duality, yields a coequalizer diagram of Balmer spectra in the category of spectral spaces. We then give conditions under which the telescope conjecture and stratification descend from $\mathrm{Mod}_{A}(\mathscr{C})$ to $\mathscr{C}$. The utility of these results is demonstrated in the case of faithful Galois extensions in tensor triangular geometry.

Category Theory,Algebraic Topology
On surjectivity in tensor triangular geometry

Tobias Barthel,Natalia Castellana,Drew Heard,Beren Sanders

2024-09-26

Abstract:We prove that a jointly conservative family of geometric functors between rigidly-compactly generated tensor triangulated categories induces a surjective map on Balmer spectra. From this we deduce a fiberwise criterion for Balmer's comparison map to be a continuous bijection. This gives short alternative proofs of the Hopkins--Neeman theorem and its generalization, due to Lau, to the case of a finite group acting trivially on an affine scheme.

Category Theory,Algebraic Topology,Representation Theory
Spectra of tensor triangulated categories over category algebras

Fei Xu

DOI: https://doi.org/10.48550/arXiv.1309.3349

2013-09-13

Abstract:Let C be a finite EI category and k be a field. We consider the category algebra kC. Suppose K(C)=D^b(kC-mod) is the bounded derived category of finitely generated left modules. This is a tensor triangulated category and we compute its spectrum in the sense of Balmer. When C=G*P is a finite transporter category, the category algebra becomes Gorenstein so we can define the stable module category \CM k(G*P), of maximal Cohen-Macaulay modules, as a quotient category of K(G*P). Since \CM k(G*P) is also tensor triangulated, we compute its spectrum as well. These spectra are used to classify tensor ideal thick subcategories of the corresponding tensor triangulated categories, despite the fact that the previously mentioned tensor categories are not rigid.

Representation Theory
Torsion models for tensor-triangulated categories: the one-step case

Scott Balchin,J.P.C. Greenlees,Luca Pol,Jordan Williamson

DOI: https://doi.org/10.2140/agt.2022.22.2805

2022-12-15

Abstract:Given a suitable stable monoidal model category $\mathscr{C}$ and a specialization closed subset $V$ of its Balmer spectrum one can produce a Tate square for decomposing objects into the part supported over $V$ and the part supported over $V^c$ spliced with the Tate object. Using this one can show that $\mathscr{C}$ is Quillen equivalent to a model built from the data of local torsion objects, and the splicing data lies in a rather rich category. As an application, we promote the torsion model for the homotopy category of rational circle-equivariant spectra from [18] to a Quillen equivalence. In addition, a close analysis of the one step case highlights important features needed for general torsion models which we will return to in future work.

Algebraic Topology,Commutative Algebra,Category Theory
Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Srikanth B. Iyengar,Chandrashekhar B. Khare,Jeffrey Manning

2024-09-29

Abstract:We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $\lambda$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of positive rank. It is in terms of the lengths of $\Psi_A(M)$ and the torsion part of $\mathfrak{p}/\mathfrak{p}^2$. It generalizes results of Wiles, Lenstra, and Diamond, that deal with the case when the codimension of $\mathfrak{p}$ is zero. Number theoretic applications include integral (non-minimal) $R=\mathbb T$ theorems in situations of positive defect conditional on certain standard conjectures. Here $R$ is a deformation ring parametrizing certain Galois representations and $\mathbb T$ is a Hecke algebra. An example is a modularity lifting for 2-dimensional $\ell$-adic Galois representations over an imaginary quadratic field. The proofs combine our commutative algebra results with a generalization due to Calegari and Geraghty of the patching method of Wiles and Taylor--Wiles and level raising arguments that go back to Ribet. The results provide new evidence in favor of the intriguing, and as yet fledgling, torsion analog of the classical Langlands correspondence. We also prove unconditional integral $R=\mathbb T$ results for Hecke algebras $\mathbb T$ acting on weight one cohomology of Shimura curves over $\mathbb Q$. This leads to a torsion Jacquet--Langlands correspondence comparing integral Hecke algebras acting on weight one cohomology of Shimura curves and modular curves. In this case the cohomology has abundant torsion and so our correspondence cannot be deduced by means of the classical Jacquet--Langlands correspondence.

Number Theory,Commutative Algebra
Topological semiinfinite tensor (super)modules

Francesco Esposito,Ivan Penkov

DOI: https://doi.org/10.48550/arXiv.2301.08921

2023-01-21

Abstract:We construct universal monoidal categories of topological tensor supermodules over the Lie superalgebras $\mathfrak{gl}(V\oplus \Pi V)$ and $\mathfrak{osp}(V\oplus \Pi V)$ associated with a Tate space $V$. Here $V\oplus \Pi V$ is a $\mathbb{Z}/2\mathbb{Z}$-graded topological vector space whose even and odd parts are isomorphic to $V$. We discuss the purely even case first, by introducing monoidal categories$\widehat{\mathbf{T}}_{\mathfrak{gl}(V)}$, $\widehat{\mathbf{T}}_{\mathfrak{o}(V)}$ and $\widehat{\mathbf{T}}_{\mathfrak{sp}(V)}$, and show that these categories are anti-equivalent to respective previously studied categories $\mathbb{T}_{\mathfrak{gl}(V)}$, $\mathbb{T}_{\mathfrak{o}(V)}$, $\mathbb{T}_{\mathfrak{sp}(V)}$. These latter categories have certain universality properties as monoidal categories, which consequently carry over to $\widehat{\mathbf{T}}_{\mathfrak{gl}(V)}$, $\widehat{\mathbf{T}}_{\mathfrak{o}(V)}$ and $\widehat{\mathbf{T}}_{\mathfrak{sp}(V)}$. Moreover, the categories $\mathbb{T}_{\mathfrak{o}(V)}$ and $\mathbb{T}_{\mathfrak{sp}(V)}$ are known to be equivalent, and this implies the equivalence of the categories $\widehat{\mathbf{T}}_{\mathfrak{o}(V)}$ and $\widehat{\mathbf{T}}_{\mathfrak{sp}(V)}$. After introducing a supersymmetric setting, we establish the equivalence of the category $\widehat{\mathbf{T}}_{\mathfrak{gl}(V)}$ with the category $\widehat{\mathbf{T}}_{\mathfrak{gl}(V\oplus \Pi V)}$, and the equivalence of both categories $\widehat{\mathbf{T}}_{\mathfrak{o}(V)}$ and $\widehat{\mathbf{T}}_{\mathfrak{sp}(V)}$ with $\widehat{\mathbf{T}}_{\mathfrak{osp}(V\oplus \Pi V)}$.

Representation Theory
Even more spectra: tensor triangular comparison maps via graded commutative 2-rings

Ivo Dell'Ambrogio,Greg Stevenson

DOI: https://doi.org/10.48550/arXiv.1204.2185

2012-04-10

Abstract:We initiate the theory of graded commutative 2-rings, a categorification of graded commutative rings. The goal is to provide a systematic generalization of Paul Balmer's comparison maps between the spectrum of tensor-triangulated categories and the Zariski spectra of their central rings. By applying our constructions, we compute the spectrum of the derived category of perfect complexes over any graded commutative ring, and we associate to every scheme with an ample family of line bundles an embedding into the spectrum of an associated graded commutative 2-ring.

Category Theory,Commutative Algebra,Algebraic Geometry
A geometric model for the module category of a string algebra

Karin Baur,Raquel Coelho Simoes

2024-03-13

Abstract:In this paper, we give a geometric construction of string algebras and of their module categories. Our approach uses dissections of punctured Riemann surfaces with extra data at marked points, called labels. As an application, we give a classification of support tau-tilting modules in terms of arcs in such a tiled surface. In the case when the string algebra is gentle, we recover the classification given

Representation Theory,Rings and Algebras
Steinberg squares and tensor products of tilting modules with simple modules

Paul Sobaje

DOI: https://doi.org/10.48550/arXiv.1812.06711

2018-12-17

Abstract:Let $G$ be a simple and simply connected algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p>0$. We establish an isomorphism of $G$-modules between a direct sum of modules $\text{St} \otimes \text{St}$ and a direct sum of tensor products of simple modules of restricted highest weight with tilting modules that are projective over the Frobenius kernel of $G$. This isomorphism holds precisely when Donkin's Tilting Module Conjecture does, and thus can be seen as providing a $G$-module theoretic characterization of this conjecture.

Representation Theory
Tensor stable moduli stacks and refined representations of quivers

Tarig Abdelgadir,Daniel Chan

2024-01-24

Abstract:In this paper, we look at the problem of modular realisations of derived equivalences, and more generally, the problem of recovering a Deligne-Mumford stack $\mathbb{X}$ and a bundle $\mathcal{T}$ on it, via some moduli problem (on $\mathbb{X}$ or $A = \operatorname{End}_{\mathbb{X}} \mathcal{T}$). The key issue is, how does one incorporate some of the monoidal structure of $\operatorname{Coh}(\mathbb{X})$ into the moduli problem. To this end, we introduce a new moduli stack, the tensor stable moduli stack which generalises the notion of the Serre-stable moduli stack. We then show how it can be used both for stack recovery and the modular realisation problem for derived equivalences. We also study the moduli of refined representations and how it addresses these problems. Finally, we relate the two approaches when $\mathcal{T}$ is a tilting bundle which is a direct sum of line bundles.

Algebraic Geometry,Representation Theory
Tensor products and solutions to two homological conjectures for Ulrich modules

Cleto B. Miranda-Neto,Thyago S. Souza

2023-08-16

Abstract:We address the problem of when the tensor product of two finitely generated modules over a Cohen-Macaulay local ring is Ulrich in the generalized sense of Goto et al., and in particular in the original sense from the 80's. As applications, besides freeness criteria for modules, characterizations of complete intersections, and an Ulrich-based approach to the long-standing Berger's conjecture, we show that two celebrated homological conjectures, namely the Auslander-Reiten and the Huneke-Wiegand problems, are true for the class of Ulrich modules.

Commutative Algebra
On Components of the Tensor Square of a Weyl Module

Gao, Shiliang

DOI: https://doi.org/10.1007/s00031-024-09885-w

2024-10-17

Transformation Groups

Abstract:For a simple Lie algebra of type or , we give a characterization of the set of dominant integral weights such that for any rational point in the fundamental Weyl chamber, is a non-negative rational combination of the simple roots if and only if for some positive integer m . This is related to a long-standing conjecture by Kostant.

mathematics
p-DG Cyclotomic nilHecke Algebras II

You Qi,Joshua Sussan

DOI: https://doi.org/10.1090/memo/1463

2024-01-01

Memoirs of the American Mathematical Society

Abstract:We categorify tensor products of the fundamental representation of quantum s l 2 \mathfrak {sl}_2 at prime roots of unity, building upon earlier work where a tensor product of two Weyl modules was categorified.

mathematics
Modularity of trianguline Galois representations

Rebecca Bellovin

DOI: https://doi.org/10.1017/fms.2023.116

2024-01-06

Forum of Mathematics Sigma

Abstract:We use the theory of trianguline -modules over pseudorigid spaces to prove a modularity lifting theorem for certain Galois representations which are trianguline at p, including those with characteristic p coefficients. The use of pseudorigid spaces lets us construct integral models of the trianguline varieties of [BHS17], [Che13] after bounding the slope, and we carry out a Taylor–Wiles patching argument for families of overconvergent modular forms. This permits us to construct a patched quaternionic eigenvariety and deduce our modularity results.

mathematics, applied
Tensor products of modules for a vertex operator algebra and vertex tensor categories

Yi-Zhi Huang,James Lepowsky

DOI: https://doi.org/10.48550/arXiv.hep-th/9401119

1994-01-25

Abstract:We introduce the main concepts and announce the main results in a theory of tensor products for module categories for a vertex operator algebra. This theory is being developed in a series of papers including hep-th 9309076 and hep-th 9309159. The theory applies in particular to any ``rational'' vertex operator algebra for which products of intertwining operators are known to be convergent in the appropriate regions, including the vertex operator algebras associated with the WZNW models, the minimal models and the moonshine module for the Monster. In this paper, we provide background and motivation; we present the main constructions and properties of the tensor product operation associated with a particular element of a suitable moduli space of spheres with punctures and local coordinates; we introduce the notion of ``vertex tensor category,'' analogous to the notion of tensor category but based on this moduli space; and we announce the results that the category of modules for a vertex operator algebra of the type mentioned above admits a natural vertex tensor category structure, and also that any vertex tensor category naturally produces a braided tensor category structure.

High Energy Physics - Theory,Quantum Algebra

Tensor triangular geometry of modules over the mod 2 Steenrod algebra

Tensor Triangular Geometry for Quantum Groups

Tensor triangular geometry for classical Lie superalgebras

On the Tensor Products of Modules for Dihedral 2-Groups

Deligne tensor products of categories of modules for vertex operator algebras

Descent in tensor triangular geometry

On surjectivity in tensor triangular geometry

Spectra of tensor triangulated categories over category algebras

Torsion models for tensor-triangulated categories: the one-step case

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Topological semiinfinite tensor (super)modules

Even more spectra: tensor triangular comparison maps via graded commutative 2-rings

A geometric model for the module category of a string algebra

Steinberg squares and tensor products of tilting modules with simple modules

Tensor stable moduli stacks and refined representations of quivers

Tensor products and solutions to two homological conjectures for Ulrich modules

On Components of the Tensor Square of a Weyl Module

p-DG Cyclotomic nilHecke Algebras II

Modularity of trianguline Galois representations

Tensor products of modules for a vertex operator algebra and vertex tensor categories