More Like this

1. Cohomology of finite tensor categories: Duality and Drinfeld centers

   https://doi.org/10.1090/tran/8548  

   Negron, Cris; Plavnik, Julia (March 2022, Transactions of the American Mathematical Society)

   We consider the finite generation property for cohomology of a finite tensor category C \mathscr {C} , which requires that the self-extension algebra of the unit \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},\mathbf {1}) is a finitely generated algebra and that, for each object V V in C \mathscr {C} , the graded extension group \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},V) is a finitely generated module over the aforementioned algebra. We prove that this cohomological finiteness property is preserved under duality (with respect to exact module categories) and taking the Drinfeld center, under suitable restrictions on C \mathscr {C} . For example, the stated result holds when C \mathscr {C} is a braided tensor category of odd Frobenius-Perron dimension. By applying our general results, we obtain a number of new examples of finite tensor categories with finitely generated cohomology. In characteristic 0 0 , we show that dynamical quantum groups at roots of unity have finitely generated cohomology. We also provide a new class of examples in finite characteristic which are constructed via infinitesimal group schemes. 

   more » « less
2. Universal Tensor Categories Generated by Dual Pairs

   https://doi.org/10.1007/s10485-021-09640-2  

   Chirvasitu, Alexandru; Penkov, Ivan (October 2021, Applied Categorical Structures)

   Abstract Let $$V_*\otimes V\rightarrow {\mathbb {C}}$$ V ∗ ⊗ V → C be a non-degenerate pairing of countable-dimensional complex vector spaces V and $$V_*$$ V ∗ . The Mackey Lie algebra $${\mathfrak {g}}=\mathfrak {gl}^M(V,V_*)$$ g = gl M ( V , V ∗ ) corresponding to this pairing consists of all endomorphisms $$\varphi $$ φ of V for which the space $$V_*$$ V ∗ is stable under the dual endomorphism $$\varphi ^*: V^*\rightarrow V^*$$ φ ∗ : V ∗ → V ∗ . We study the tensor Grothendieck category $${\mathbb {T}}$$ T generated by the $${\mathfrak {g}}$$ g -modules V , $$V_*$$ V ∗ and their algebraic duals $$V^*$$ V ∗ and $$V^*_*$$ V ∗ ∗ . The category $${{\mathbb {T}}}$$ T is an analogue of categories considered in prior literature, the main difference being that the trivial module $${\mathbb {C}}$$ C is no longer injective in $${\mathbb {T}}$$ T . We describe the injective hull I of $${\mathbb {C}}$$ C in $${\mathbb {T}}$$ T , and show that the category $${\mathbb {T}}$$ T is Koszul. In addition, we prove that I is endowed with a natural structure of commutative algebra. We then define another category $$_I{\mathbb {T}}$$ I T of objects in $${\mathbb {T}}$$ T which are free as I -modules. Our main result is that the category $${}_I{\mathbb {T}}$$ I T is also Koszul, and moreover that $${}_I{\mathbb {T}}$$ I T is universal among abelian $${\mathbb {C}}$$ C -linear tensor categories generated by two objects X , Y with fixed subobjects $$X'\hookrightarrow X$$ X ′ ↪ X , $$Y'\hookrightarrow Y$$ Y ′ ↪ Y and a pairing $$X\otimes Y\rightarrow {\mathbf{1 }}$$ X ⊗ Y → 1 where 1 is the monoidal unit. We conclude the paper by discussing the orthogonal and symplectic analogues of the categories $${\mathbb {T}}$$ T and $${}_I{\mathbb {T}}$$ I T . 

   more » « less
3. An antichain of monomial ideals in a twisted commutative algebra

   https://doi.org/10.1090/proc/16751  

   Laudone, Robert (April 2024, Proceedings of the American Mathematical Society)

   We resolve an open question posed by Nagpal, Sam and Snowden [Selecta. Math. (N.S.) 22 (2016), pp. 913–937] in 2015 concerning a Gröbner theoretic approach to the noetherianity of the twisted commutative algebra $Sym\left(Sy{m}^2\right({\mathbf{C}}^{\mathrm{\infty }}\left)\right)$. We provide a negative answer to their question by producing an explicit antichain. In doing so, we establish a connection to well-studied posets of graphs under the subgraph and induced subgraph relation. We then analyze this connection to suggest future paths of investigation. 

   more » « less
4. ADJOINT FUNCTORS ON THE DERIVED CATEGORY OF MOTIVES

   https://doi.org/10.1017/S1474748016000104  

   Totaro, Burt (June 2018, Journal of the Institute of Mathematics of Jussieu)

   We show that the subcategory of mixed Tate motives in Voevodsky’s derived category of motives is not closed under infinite products. In fact, the infinite product $$\prod _{n=1}^{\infty }\mathbf{Q}(0)$$ is not mixed Tate. More generally, the inclusions of several subcategories of motives do not have left or right adjoints. The proofs use the failure of finite generation for Chow groups in various contexts. In the positive direction, we show that for any scheme of finite type over a field whose motive is mixed Tate, the Chow groups are finitely generated. 

   more » « less
5. Stability in the homology of Deligne–Mumford compactifications

   https://doi.org/10.1112/S0010437X21007582  

   Tosteson, Philip (December 2021, Compositio Mathematica)

   Abstract Using the theory of $${\mathbf {FS}} {^\mathrm {op}}$$ modules, we study the asymptotic behavior of the homology of $${\overline {\mathcal {M}}_{g,n}}$$ , the Deligne–Mumford compactification of the moduli space of curves, for $$n\gg 0$$ . An $${\mathbf {FS}} {^\mathrm {op}}$$ module is a contravariant functor from the category of finite sets and surjections to vector spaces. Via copies that glue on marked projective lines, we give the homology of $${\overline {\mathcal {M}}_{g,n}}$$ the structure of an $${\mathbf {FS}} {^\mathrm {op}}$$ module and bound its degree of generation. As a consequence, we prove that the generating function $$\sum _{n} \dim (H_i({\overline {\mathcal {M}}_{g,n}})) t^n$$ is rational, and its denominator has roots in the set $$\{1, 1/2, \ldots, 1/p(g,i)\},$$ where $p(g,i)$ is a polynomial of order $O(g^2 i^2)$ . We also obtain restrictions on the decomposition of the homology of $${\overline {\mathcal {M}}_{g,n}}$$ into irreducible $$\mathbf {S}_n$$ representations. 

   more » « less