Related papers: Model Theory of Proalgebraic Groups

We characterize characteristic polynomials of elements in a central simple algebra. We also give an account for the theory of rational canonical forms for separable linear transformations over a central division algebra, and a description…

We recall P. Balmer's definition of tensor triangular Chow group for a tensor triangulated category $\mathcal{K}$ and explore some of its properties. We give a proof that for a suitably nice scheme $X$ it recovers the usual notion of Chow…

Steinberg pro-groups are certain pro-groups used to analyze ordinary Steinberg groups locally in Zariski topology. In this paper we show that Steinberg pro-groups associated with general linear groups, odd unitary groups, and Chevalley…

We introduce the notions of definable amenability and extreme definable amenability for groups in continuous structures and conduct an extensive analysis of them, drawing parallels with the classical first-order case. We characterize both…

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…

This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…

We define a linear structure on Grothendieck's arithmetic fundamental group $\pi_1(X, x)$ of a scheme $X$ defined over a field $k$ of characteristic 0. It allows us to link the existence of sections of the Galois group ${\rm Gal}(\bar k/k)$…

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…

This is the first in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field $K$, we construct a standard monomial basis for the arc space of the determinantal variety over $K$.…

Let A be an evolution algebra (possibly infinite-dimensional) equipped with a fixed natural basis B, and let E be the associated graph defined by Elduque and Labra. We describe the group of automorphisms of A that are diagonalizable with…

We revisit G. Elek's notion of amenable representation type, where algebras are characterised by every indecomposable module being "almost" the direct sum of modules of bounded dimension. We give a new proof of his result that string…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

We introduce a general class of Heisenberg groups motivated by applications of algebraic Fourier theory. Basic properties are examined from a homological perspective.

Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors…

Let $A$ be a finite dimensional commutative associative algebra with unit over an algebraically closed field of characteristic zero. The group $G(A)$ of invertible elements is open in $A$ and thus $A$ has a structure of a prehomogeneous…

A general method to easily build global and relative operators for any number n of elementary systems if they are defined for 2 is presented. It is based on properties of the morphisms valued in the tensor products of algebras of the…

We study support $\tau$-tilting modules over preprojective algebras of Dynkin type. We classify basic support $\tau$-tilting modules by giving a bijection with elements in the corresponding Weyl groups. Moreover we show that they are in…

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…

We give a Tannakian description for categories of l-adic perverse sheaves on semiabelian varieties which combines a construction of Gabber and Loeser for algebraic tori with a generic vanishing theorem for the cohomology of constructible…

Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical…