Tannakian Categories Research Articles

On neutral Tannakian subcategories of loop quiver representations

We explored the categories of (twisted) representations of a loop quiver. These representation categories have two choices of tensor structures: Kronecker tensor and Simpson tensor. By studying the rigidity properties, we have provided several examples of (semi-) Tannakian categories using the category of (twisted) representations of a loop quiver for both tensors.We have introduced the concept of essentially finite loop quiver bundles based on the work of Nori, Borne, and Vistoli. As an application, we have given some examples of (semi-) Tannakian categories of equivariant bundles and Hitchin pairs. Additionally, we have defined the notion of H-nflat twisted loop quiver bundles and have established Tannakian category structures for certain classes of varieties.

ON ENDOMORPHISMS OF EXTENSIONS IN TANNAKIAN CATEGORIES

AbstractWe prove analogues of Schur’s lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf {T}$ be a neutral Tannakian category over a field of characteristic zero. Let E be an extension of A by B in $\mathbf {T}$ . We consider conditions under which every endomorphism of E that stabilises B induces a scalar map on $A\oplus B$ . We give a result in this direction in the general setting of arbitrary $\mathbf {T}$ and E, and then a stronger result when $\mathbf {T}$ is filtered and the associated graded objects to A and B satisfy some conditions. We also discuss the sharpness of the results.

The fundamental group of an extension in a Tannakian category and the unipotent radical of the Mumford–Tate group of an open curve

The fundamental group of an extension in a Tannakian category and the unipotent radical of the Mumford–Tate group of an open curve

Drinfel’d double symmetry of the 4d Kitaev model

Following the general theory of categorified quantum groups developed by the author previously, we construct the Drinfel’d double 2-bialgebra associated to a finite group N = G0. For N = ℤ2, we explicitly compute the braided 2-categories of 2-representations of certain version of this Drinfel’d double 2-bialgebra, and prove that they characterize precisely the 4d toric code and its spin-ℤ2 variant. This result relates the two descriptions (categorical vs. field theoretical) of 4d gapped topological phases in existing literature and displays an instance of higher Tannakian duality for braided 2-categories. In particular, we show that particular twists of the underlying Drinfel’d double 2-bialgebra is responsible for much of the higher-structural properties that arise in 4d topological orders.

On classical tensor categories attached to the irreducible representations of the general linear supergroups GL(nvert n)

We study the quotient of mathcal {T}_n = Rep(GL(n|n)) by the tensor ideal of negligible morphisms. If we consider the full subcategory mathcal {T}_n^+ of mathcal {T}_n of indecomposable summands in iterated tensor products of irreducible representations up to parity shifts, its quotient is a semisimple tannakian category Rep(H_n) where H_n is a pro-reductive algebraic group. We determine the H_n and the groups H_{lambda } corresponding to the tannakian subcategory in Rep(H_n) generated by an irreducible representation L(lambda ). This gives structural information about the tensor category Rep(GL(n|n)), including the decomposition law of a tensor product of irreducible representations up to summands of superdimension zero. Some results are conditional on a hypothesis on 2-torsion in pi _0(H_n).

On unipotent radicals of motivic Galois groups

Let $\mathbf{T}$ be a neutral Tannakian category over a field of characteristic zero with unit object $\mathbf{1}$, and equipped with a filtration $W_\cdot$ similar to the weight filtration on mixed motives. Let $M$ be an object of $\mathbf{T}$, and $\underline{\mathfrak{u}}(M)\subset W_{-1}\underline{Hom}(M,M)$ the Lie algebra of the kernel of the natural surjection from the fundamental group of $M$ to the fundamental group of $Gr^WM$. A result of Deligne gives a characterization of $\underline{\mathfrak{u}}(M)$ in terms of the extensions $0\longrightarrow W_pM \longrightarrow M \longrightarrow M/W_pM \longrightarrow 0$: it states that $\underline{\mathfrak{u}}(M)$ is the smallest subobject of $W_{-1}\underline{Hom}(M,M)$ such that the sum of the aforementioned extensions, considered as extensions of $\mathbf{1}$ by $W_{-1}\underline{Hom}(M,M)$, is the pushforward of an extension of $\mathbf{1}$ by $\underline{\mathfrak{u}}(M)$. In this article, we study each of the above-mentioned extensions individually in relation to $\underline{\mathfrak{u}}(M)$. Among other things, we obtain a refinement of Deligne's result, where we give a sufficient condition for when an individual extension $0\longrightarrow W_pM \longrightarrow M \longrightarrow M/W_pM \longrightarrow 0$ is the pushforward of an extension of $\mathbf{1}$ by $\underline{\mathfrak{u}}(M)$. In the second half of the paper, we give an application to mixed motives whose unipotent radical of the motivic Galois group is as large as possible (i.e. with $\underline{\mathfrak{u}}(M)= W_{-1}\underline{Hom}(M,M)$). Using Grothedieck's formalism of \textit{extensions panach\'{e}es} we prove a classification result for such motives. Specializing to the category of mixed Tate motives we obtain a classification result for 3-dimensional mixed Tate motives over $\mathbb{Q}$ with three weights and large unipotent radicals.

LAURICELLA HYPERGEOMETRIC FUNCTIONS, UNIPOTENT FUNDAMENTAL GROUPS OF THE PUNCTURED RIEMANN SPHERE, AND THEIR MOTIVIC COACTIONS

AbstractThe goal of this paper is to raise the possibility that there exists a meaningful theory of ‘motives’ associated with certain hypergeometric integrals, viewed as functions of their parameters. It goes beyond the classical theory of motives, but should be compatible with it. Such a theory would explain a recent and surprising conjecture arising in the context of scattering amplitudes for a motivic Galois group action on Gauss’s ${}_2F_1$ hypergeometric function, which we prove in this paper by direct means. More generally, we consider Lauricella hypergeometric functions and show, on the one hand, how the coefficients in their Taylor expansions can be promoted, via the theory of motivic fundamental groups, to motivic multiple polylogarithms. The latter are periods of ordinary motives and admit an action of the usual motivic Galois group, which we call the local action. On the other hand, we define lifts of the full Lauricella functions as matrix coefficients in a Tannakian category of twisted cohomology, which inherit an action of the corresponding Tannaka group. We call this the global action. We prove that these two actions, local and global, are compatible with each other, even though they are defined in completely different ways. The main technical tool is to prove that metabelian quotients of generalised Drinfeld associators on the punctured Riemann sphere are hypergeometric functions. We also study single-valued versions of these hypergeometric functions, which may be of independent interest.

A Remark on Torsors under Affine Group Schemes

AbstractWe present an elementary proof of the fact that every torsor under an affine group scheme over an algebraically closed field is trivial. This is related to the uniqueness of fibre functors on neutral Tannakian categories.

Minimal extensions of Tannakian categories in positive characteristic

We extend [3, Theorem 4.5] and [16, Theorem 4.22] to positive characteristic (i.e., to the finite, not necessarily fusion, case). Namely, we prove that if D is a finite non-degenerate braided tensor category over an algebraically closed field k of characteristic p>0, containing a Tannakian Lagrangian subcategory Rep(G), where G is a finite k-group scheme, then D is braided tensor equivalent to Rep(Dω(G)) for some ω∈H3(G,Gm), where Dω(G) denotes the twisted double of G[12]. We then prove that the group Mext(Rep(G)) of minimal extensions of Rep(G) is isomorphic to the group H3(G,Gm). In particular, we use [7,11] to show that Mext(Rep(μp))=1, Mext(Rep(αp)) is infinite, and if O(Γ)⁎=u(g) for a semisimple restricted p-Lie algebra g, then Mext(Rep(Γ))=1 and Mext(Rep(Γ×αp))≅g⁎(1).

Some topics in the theory of Tannakian categories and applications to motives and motivic Galois groups

Some topics in the theory of Tannakian categories and applications to motives and motivic Galois groups

A categorical approach to dynamical quantum groups

Abstract We present a categorical point of view on dynamical quantum groups in terms of categories of Harish-Chandra bimodules. We prove Tannaka duality theorems for forgetful functors into the monoidal category of Harish-Chandra bimodules in terms of a slight modification of the notion of a bialgebroid. Moreover, we show that the standard dynamical quantum groups $F(G)$ and $F_q(G)$ are related to parabolic restriction functors for classical and quantum Harish-Chandra bimodules. Finally, we exhibit a natural Weyl symmetry of the parabolic restriction functor using Zhelobenko operators and show that it gives rise to the action of the dynamical Weyl group.

The geometry of filtrations

We display a symmetric monoidal equivalence between the stable ∞-category of filtered spectra, and quasi-coherent sheaves on A 1 / G m , the quotient in the setting of spectral algebraic geometry of the flat affine line by the canonical action of the flat multiplicative group scheme. Via a Tannaka duality argument, we identify the underlying spectrum and associated graded functors with pull-backs of quasi-coherent sheaves along certain morphisms of stacks.

The Fundamental Group of a Noncommutative Space

We introduce and analyse a general notion of fundamental group for noncommutative spaces, described by differential graded algebras. For this we consider connections on finitely generated projective bimodules over differential graded algebras and show that the category of flat connections on such modules forms a Tannakian category. As such this category can be realised as the category of representations of an affine group scheme G, which in the classical case is (the pro-algebraic completion of) the usual fundamental group. This motivates us to define G to be the fundamental group of the noncommutative space under consideration. The needed assumptions on the differential graded algebra are rather mild and completely natural in the context of noncommutative differential geometry. We establish the appropriate functorial properties, homotopy and Morita invariance of this fundamental group. As an example we find that the fundamental group of the noncommutative torus can be described as the algebraic hull of the topological group (mathbb Z+theta mathbb Z)^{2}.

On certain Tannakian categories of integrable connections over Kähler manifolds

AbstractGiven a compact Kähler manifold X, it is shown that pairs of the form $(E,\, D)$ , where E is a trivial holomorphic vector bundle on X, and D is an integrable holomorphic connection on E, produce a neutral Tannakian category. The corresponding pro-algebraic affine group scheme is studied. In particular, it is shown that this pro-algebraic affine group scheme for a compact Riemann surface determines uniquely the isomorphism class of the Riemann surface.

Tannaka Duality, Coclosed Categories and Reconstruction for Nonarchimedean Bialgebras

The topic of this paper is a generalization of Tannaka duality to coclosed categories. As an application we prove reconstruction theorems for coalgebras (bialgebras, Hopf algebras) in categories of topological vector spaces over a nonarchimedean field K. In particular, our results imply reconstruction and recognition theorems for categories of locally analytic representations of compact p-adic groups, which was the major motivation for this work.

Model theory of proalgebraic groups

We lay the foundations for a model theoretic study of proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a fibre functor as many-sorted first order structures. The class of diagonalizable proalgebraic groups is analyzed in detail. We show that the theory of a diagonalizable proalgebraic group G G is determined by the theory of the base field and the theory of the character group of G G . Some initial steps towards a comprehensive study of types are also made.

Homogeneous quantum groups and their easiness level

Given a closed subgroup G⊂UN+ which is homogeneous, in the sense that we have SN⊂G⊂UN+, the corresponding Tannakian category C must satisfy span(NC2)⊂C⊂span(P). Based on this observation, we construct a certain integer p∈N∪{∞}, that we call the easiness level of G. The value p=1 corresponds to the case where G is easy, and we explore here, with some theory and examples, the case p>1. As a main application, we show that SN⊂SN+ and other liberation inclusions, known to be maximal in the easy setting, remain maximal at the easiness level p=2 as well.

On the Frobenius functor for symmetric tensor categories in positive characteristic

Abstract We develop a theory of Frobenius functors for symmetric tensor categories (STC) 𝒞 {\mathcal{C}} over a field 𝒌 {\boldsymbol{k}} of characteristic p, and give its applications to classification of such categories. Namely, we define a twisted-linear symmetric monoidal functor F : 𝒞 → 𝒞 ⊠ Ver p {F:\mathcal{C}\to\mathcal{C}\boxtimes{\rm Ver}_{p}} , where Ver p {{\rm Ver}_{p}} is the Verlinde category (the semisimplification of Rep 𝐤 ( ℤ / p ) {\mathop{\mathrm{Rep}}\nolimits_{\mathbf{k}}(\mathbb{Z}/p)} ); a similar construction of the underlying additive functor appeared independently in [K. Coulembier, Tannakian categories in positive characteristic, preprint 2019]. This generalizes the usual Frobenius twist functor in modular representation theory and also the one defined in [V. Ostrik, On symmetric fusion categories in positive characteristic, Selecta Math. (N.S.) 26 2020, 3, Paper No. 36], where it is used to show that if 𝒞 {\mathcal{C}} is finite and semisimple, then it admits a fiber functor to Ver p {{\rm Ver}_{p}} . The main new feature is that when 𝒞 {\mathcal{C}} is not semisimple, F need not be left or right exact, and in fact this lack of exactness is the main obstruction to the existence of a fiber functor 𝒞 → Ver p {\mathcal{C}\to{\rm Ver}_{p}} . We show, however, that there is a 6-periodic long exact sequence which is a replacement for the exactness of F, and use it to show that for categories with finitely many simple objects F does not increase the Frobenius–Perron dimension. We also define the notion of a Frobenius exact category, which is a STC on which F is exact, and define the canonical maximal Frobenius exact subcategory 𝒞 ex {\mathcal{C}_{\rm ex}} inside any STC 𝒞 {\mathcal{C}} with finitely many simple objects. Namely, this is the subcategory of all objects whose Frobenius–Perron dimension is preserved by F. One of our main results is that a finite STC is Frobenius exact if and only if it admits a (necessarily unique) fiber functor to Ver p {{\rm Ver}_{p}} . This is the strongest currently available characteristic p version of Deligne’s theorem (stating that a STC of moderate growth in characteristic zero is the representation category of a supergroup). We also show that a sufficiently large power of F lands in 𝒞 ex {\mathcal{C}_{\rm ex}} . Also, in characteristic 2 we introduce a slightly weaker notion of an almost Frobenius exact category (namely, one having a fiber functor into the category of representations of the triangular Hopf algebra 𝒌 ⁢ [ d ] / d 2 {\boldsymbol{k}[d]/d^{2}} with d primitive and R-matrix R = 1 ⊗ 1 + d ⊗ d {R=1\otimes 1+d\otimes d} ), and show that a STC with Chevalley property is (almost) Frobenius exact. Finally, as a by-product, we resolve Question 2.15 of [P. Etingof and S. Gelaki, Exact sequences of tensor categories with respect to a module category, Adv. Math. 308 2017, 1187–1208].

Tannakian categories in positive characteristic

We determine internal characterisations for when a tensor category is (super) tannakian, for fields of positive characteristic. This generalises the corresponding characterisations in characteristic zero by P. Deligne. We also explore notions of Frobenius twists in tensor categories in positive characteristic.

On the Structure of Affine Flat Group Schemes Over Discrete Valuation Rings, II

Abstract In the first part of this work [ 12], we studied affine group schemes over a discrete valuation ring (DVR) by means of Neron blowups. We also showed how to apply these findings to throw light on the group schemes coming from Tannakian categories of $\mathcal{D}$-modules. In the present work, we follow up this theme. We show that a certain class of affine group schemes of “infinite type,” Neron blowups of formal subgroups, are quite typical. We also explain how these group schemes appear naturally in Tannakian categories of $\mathcal{D}$-modules. To conclude, we isolate a Tannakian property of affine group schemes, named prudence, which allows one to verify if the underlying ring of functions is a free module over the base ring. This is then successfully applied to obtain a general result on the structure of differential Galois groups over complete DVRs.