Related papers: On Tannaka Duality

This is a survey of recent results on classification of compact quantum groups of Lie type, by which we mean quantum groups with the same fusion rules and dimensions of representations as for a compact connected Lie group $G$. The…

The Grothendieck groups of the categories of finitely generated modules and finitely generated projective modules over a tower of algebras can be endowed with (co)algebra structures that, in many cases of interest, give rise to a dual pair…

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…

We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf…

In this paper we prove a coherent version of geometric Satake equivalence proposed in Cautis-Williams' work arXiv:2306.03023 for type A. In their work, they studied an abelian version of the classical limit Satake category, namely, the…

Let $\rho_1$ and $\rho_2$ be a pair of residual, odd, absolutely irreducible two-dimensional Galois representations of a totally real number field $F$. In this article we propose a conjecture asserting existence of "safe" chains of…

We propose an analytical approach to the Galois theory of singular regular linear q-difference systems. We use Tannaka duality along with Birkhoff's classification scheme with the connection matrix to define and describe their Galois…

Let X be a smooth projective curve over an algebraically closed field of characteristic >2. Consider the dual pair H=SO_{2m}, G=Sp_{2n} over X with H split. Write Bun_G and Bun_H for the stacks of G-torsors and H-torsors on X. The…

Settling a conjecture from an earlier paper, we prove that the monoid $\mathrm{M}(n,k)$ of $n \times n$ matrices in a field $k$ of characteristic zero is the "walking monoid with an $n$-dimensional representation". More precisely, if we…

In the previous author's paper the Macdonald norm conjecture (including the famous constant term conjecture) was proved. This paper contains the proof of the remaining two (the duality and evaluation conjectures). The evaluation theorem is…

This paper is motivated by recent developments of higher gauge theory. Different from its style of using higher category theory, we try to describe the concept of higher parallel transport within setting of classical principal bundle…

We establish an Esakia duality for the categories of temporal Heyting algebras and temporal Esakia spaces. This includes a proof of contravariant equivalence and a congruence/filter/closed-upset correspondence. We then study two notions of…

Dunkl theory is a far reaching generalization of Fourier analysis and special function theory related to root systems. During the sixties and seventies, it became gradually clear that radial Fourier analysis on rank one symmetric spaces was…

Under certain conditions, a scheme can be reconstructed from its category of quasi-coherent sheaves. The Tannakian reconstruction theorem provides another example where a geometric object can be reconstructed from an associated category, in…

We establish that the Grothendieck-Teichmuller conjecture, which predicts an isomorphism between the Grothendieck-Teichmuller group GT and the absolute Galois group of rational numbers Gal, holds in the setting of profinite spaces. To…

We introduce a notion of $\Theta$-categories, which is a refinement of the notion of symmetric monoidal $\infty$-categories. We use this notion to prove a Tannakian duality statement, relating $\Theta$-categories with fpqc-stacks by means…

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk,…

Polynomials in a category have been studied as a generalization of the traditional notion in mathematics. Their construction has recently been extended to higher groupoids, as formalized in homotopy type theory, by Finster, Mimram, Lucas…

Recently it was shown that the notion of flow equivalence of shifts of finite type in symbolic dynamics is related to the Morita theory and the Grothendieck group in the theory of Leavitt path algebras \cite{flowa}. In this paper we show…

Topological gravity is equivalent to physical gravity in two dimensions in a way that is still mysterious, though by now it has been proved by Kontsevich. In this paper it is shown that a similar relation between topological and physical…