Related papers: Tannakian approach to linear differential algebrai…

Let $G$ be a finite group. A $G$-Tambara functor can be defined as a product-preserving functor $\mathcal{P}_G \to \mathsf{Set}$ (satisfying one additional condition), where $\mathcal{P}_G$ is a category that is constructed in a…

The category of perverse sheaves on the affine Grassmannian of a complex reductive group $G$ gives a canonical geometric construction of the split form of the Langlands dual group $\check G_\bZ$ over the integers. Given a field $k$, we give…

Based on a suggestion by Katz, we determine the monodromy group of a certain hypergeometric sum to be $G_2$. Our approach is based on the uniformity results by Katz on the Fourier transform to deduce uniformity for the Tannakian monodromy…

We develop a Galois theory for linear differential equations equipped with the action of an endomorphism. This theory is aimed at studying the difference algebraic relations among the solutions of a linear differential equation. The Galois…

The Steinberg tensor product theorem is a fundamental result in the modular representation theory of reductive algebraic groups. It describes any finite-dimensional simple module of highest weight $\lambda$ over such a group as the tensor…

We prove an analog of the K\"unneth formula for the groups of minimal non-degenerate extensions arXiv:1602.05936 of symmetric fusion categories. We describe in detail the structure of the group of minimal extensions of a pointed…

We extend and apply the Galois theory of linear differential equations equipped with the action of an endomorphism. The Galois groups in this Galois theory are difference algebraic groups and we use structure theorems for these groups to…

Let a compact group G act on real or complex C*-algebras A and B, with A separable and B sigma-unital. We express the G-equivariant Kasparov groups KK_n(A,B) by algebraic K-groups of a certain additive category.

Hopf algebras are closely related to monoidal categories. More precise, $k$-Hopf algebras can be characterized as those algebras whose category of finite dimensional representations is an autonomous monoidal category such that the forgetful…

Let G_1,...,G_q be algebraic varieties over a finite field k. We show that, if q >1, the finiteness of the tensor product of G_1, ...,G_q as Mackey functors. We apply this to prove the finiteness of a relative Chow group and an abelian…

We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite…

In this paper we translate the necessary and sufficient conditions of Tanaka's theorem on the finiteness of effective prolongations of a fundamental graded Lie algebras into computationally effective criteria, involving the rank of some…

Given an oligomorphic group $G$ and a measure $\mu$ for $G$ (in a sense that we introduce), we define a rigid tensor category $\underline{\mathrm{Perm}}(G; \mu)$ of "permutation modules," and, in certain cases, an abelian envelope…

We show that every modular category is equivalent as an additive ribbon category to the category of finite-dimensional comodules of a Weak Hopf Algebra. This Weak Hopf Algebra is finite-dimensional, split cosemisimple, weakly…

The toric fundamental group is the Tannaka dual of a category of vector bundles which become direct sums of line bundles on a finite \'etale cover. It is an extension of the \'etale fundamental group scheme by a projective limit of tori.…

The affine line and the punctured affine line over a finite field F are taken as benchmarks for the problem of describing geometric \'etale fundamental groups. To this end, using a reformulation of Tannaka duality we construct for a…

In this note, we investigate how different fundamental groups of presentations of a fixed algebra $A$ can be. For finitely many finitely presented groups $G_i$, we construct an algebra $A$ such that all $G_i$ appear as fundamental groups of…

We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…

We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral…

Consider the general linear group, which is not connected but rather has two connected components, the matrices with positive determinant and the ones with negative determinant. Consider the Iwasawa decomposition of its special linear…