Related papers: Model Theory of Proalgebraic Groups

Tannaka's Theorem states that a linear algebraic group G is determined by the category of finite dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category…

Pre-Tannakian categories are a natural class of tensor categories that can be viewed as generalizations of algebraic groups. We define a pre-Tannkian category to be discrete if it is generated by an \'etale commutative algebra; these…

We provide conditions for a category with a fiber functor to be equivalent to the category of representations of a linear differential algebraic group. This generalizes the notion of a neutral Tannakian category used to characterize the…

We first prove that the K-theoretic Hall algebra of a preprojective algebra of affine type is isomorphic to the positive half of a quantum toroidal quantum group. An essential step consists to deform the K-theoretic Hall algebra so that the…

We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces…

Galois categories can be viewed as the combinatorial analog of Tannakian categories. We introduce the notion of pre-Galois category, which can be viewed as the combinatorial analog of pre-Tannakian categories. Given an oligomorphic group…

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…

Motivated by rational homotopy theory, we study a representable presheaf of groups $\mathbf{\mathfrak{P}}$ on the homotopy category of cocommutative differential graded coalgebras, its Lie algebraic counterpart and its linear…

We draw the connection between the model theoretic notions of internality and the binding group on one hand, and the Tannakian formalism on the other. More precisely, we deduce the fundamental results of the Tannakian formalism by…

Replacing finite groups by linear algebraic groups, we study an algebraic-geometric counterpart of the theory of free profinite groups. In particular, we introduce free proalgebraic groups and characterize them in terms of embedding…

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of \'etale cohomology, involving neither de Rham complexes nor…

The principle of tannakian duality states that any neutral tannakian category is tensorially equivalent to the category Rep_k G of finite dimensional representations of some affine group scheme G and field k, and conversely. Originally…

We introduce the concept of a prenormed model of a particular kind of finitary single-sorted first-order theories, interpreted over a category with finite products. These are referred to as prealgebraic theories, for the fact that their…

Consider a connected topological space $X$ with a point $x \in X$ and let $K$ be a field with the discrete topology. We study the Tannakian category of finite dimensional (flat) vector bundles on $X$ and its Tannakian dual $\pi_K (X,x)$…

We develop a basic theory of affine group dg-schemes, their Lie algebraic counterparts and linear representations. We prove Tannaka type reconstruction theorems that an affine group dg-scheme can be recovered from the dg-tensor category of…

In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of…

In math.RT/0302174 we developed a framework to study representations of groups of the form $G((t))$, where $G$ is an algebraic group over a local field $K$. The main feature of this theory is that natural representations of groups of this…

It is well known that all torsors under an affine algebraic group over an algebraically closed field are trivial. We note that under suitable conditions this also holds if the the group is not necessarily of finite type. This has an…

This thesis studies arithmetic of linear algebraic groups. It involves studying the properties of linear algebraic groups defined over global fields, local fields and finite fields, or more generally the study of the linear algebraic groups…

One can develop the basic structure theory of linear algebraic groups (the root system, Bruhat decomposition, etc.) in a way that bypasses several major steps in the standard development, including the self-normalizing property of Borel…