Related papers: Tannaka duality and 1-affineness
We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…
A classical result of Tannaka duality is the fact that a coalgebra over a field can be reconstructed from its category of finite dimensional representations by using the forgetful functor which sends a representation to its underlying…
Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…
We show that certain isomorphisms of (twisted) KR-groups that underlie T-dualities of torus orientifold string theories have purely algebraic analogues in terms of algebraic K-theory of real varieties and equivalences of derived categories…
A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint…
We show that, for a Noetherian algebraic stack with quasi-affine diagonal $X$, the stable $\infty$-category of quasi-coherent sheaves on $X$ is dualizable if and only if the reduced identity component of the stabilizer of $X$ at every…
We show that the hypercohomology of most character twists of perverse sheaves on a complex abelian variety vanishes in all non-zero degrees. As a consequence we obtain a vanishing theorem for constructible sheaves and a relative vanishing…
Classically, Tannaka-Krein duality allows us to reconstruct a (co)algebra from its category of representation. In this paper we present an approach that allows us to generalise this theory to the setting of Banach spaces. This leads to…
The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between…
Duality for complete discrete valuation fields with perfect residue field with coefficients in (possibly p-torsion) finite flat group schemes was obtained by Begueri, Bester and Kato. In this paper, we give another formulation and proof of…
Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over…
In this paper we will describe an approach to mirror symmetry for appropriate 1-dimensional DM stacks of arithmetic genus $g \leq 1$, called tcnc curves, which was developed by the author with Treumann and Zaslow in arXiv:1103.2462 . This…
We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition…
Yannakakis' theorem relating the extension complexity of a polytope to the size of a nonnegative factorization of its slack matrix is a seminal result in the study of lifts of convex sets. Inspired by this result and the importance of lifts…
We develop Tannaka duality theory for dg categories. To any dg functor from a dg category $\mathcal{A}$ to finite-dimensional complexes, we associate a dg coalgebra $C$ via a Hochschild homology construction. When the dg functor is…
We prove that a perverse sheaf on a connected commutatitve algebraic group over a finite is generically unramified. This implies an equidistribution theorem for Tannakian monodromy groups in previously unavailable generality. We also prove…
In this paper we extend the Tanaka finiteness theorem and inequality for the number of symmetries to arbitrary distributions (differential systems) and provide several applications.
We explore the notion of representation of an affine extension of an abelian variety -- such an extension is a faithfully flat affine morphism of $\Bbbk$-group schemes $q:G\to A$, where $A$ is an abelian variety. We characterize the…
We extend an old result of de la Harpe and Karoubi, concerning almost representations of compact groups, to proper groupoids admitting continuous Haar measure systems. As an application, we establish the existence of sufficiently many…
We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…