Related papers: Tannakization in derived algebraic geometry

Let \(\T\) be a commutative ternary \(\Gm\)-semiring in the sense of the triadic, \(\Gm\)-parametrized multiplication \(\{a,b,c\}_{\gamma}\). Building on the affine \(\Gm\)-spectrum \(\SpecG(\T)\), the structure sheaf, and the equivalence…

Let $p$ be a prime number, and let $k$ be an algebraically closed field of characteristic $p$. We show that the tame fundamental group of a smooth affine curve over $k$ is a projective profinite group. We prove that the fundamental group of…

We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…

Given two pure representations of the absolute Galois group of an $\ell$-adic number field with coefficients in $\overline{\mathbb{Q}}_p$ (with $\ell\neq p$), we show that the Frobenius-semisimplifications of the associated Weil--Deligne…

We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators…

We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

We introduce a family of commuting generalised symmetries of the Dunkl--Dirac operator inspired by the Maxwell construction in harmonic analysis. We use these generalised symmetries to construct bases of the polynomial null-solutions of the…

In this paper, we construct explicitely polynomial automorphisms of affine n-space for certain n. More precisely, we construct algebraic subgroups of the general polynomial group GA_n(k) where k is an arbitrary base ring of characteristic…

We study the arithmetic Fourier transforms of trace functions on general connected commutative algebraic groups. To do so, we first prove a generic vanishing theorem for twists of perverse sheaves by characters, and using this tool, we…

We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the…

We explicitly describe the derived Picard groups of symmetric representation-finite algebras of type $D$. In particular, we prove that these groups are generated by spherical twists along collections of $0$-spherical objects, the shift and…

Let X be a normal affine T-variety of complexity at most one over a perfect field k, where T stands for the split algebraic torus. Our main result is a classification of additive group actions on X that are normalized by the T-action. This…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

The proalgebraic fundamental group of a connected topological space $X$, recently introduced by the first author, is an affine group scheme whose representations classify local systems of finite-dimensional vector spaces on $X$. In this…

We prove a monoidal equivalence between spectral and automorphic realizations of the universal affine Hecke category, thereby proving the tamely ramified local Betti geometric Langlands correspondence, as conjectured by Ben-Zvi--Nadler…

We prove a generalisation of Bott's vanishing theorem for the full transverse frame holonomy groupoid of any transversely orientable foliated manifold. As a consequence we obtain a characteristic map encoding both primary and secondary…

Properties of morphisms represented by so-called 'string diagrams' of monoidal categories (and their braided and symmetric derivatives), mainly their resistance in value to isotopic deformation, have made the usage of graphical calculi…

We study a condensed version of the \'etale homotopy type of a scheme, which refines both the usual \'etale homotopy type of Friedlander-Artin-Mazur and the pro\'etale fundamental group of Bhatt-Scholze. In the first part of this paper, we…

The stable category of modules over the algebra of a finite group with coefficients in a field is a compactly generated tensor triangulated category, that has been studied extensively in representation theory. In this paper, we provide a…