Related papers: Essential dimension and pro-finite group schemes

The representation dimension of a finite group $G$ is the minimal dimension of a faithful complex linear representation of $G$. We prove that the representation dimension of any finite group $G$ is at most $\sqrt{|G|}$ except if $G$ is a…

We study integral points on varieties with infinite \'etale fundamental groups. More precisely, for a number field $F$ and $X/F$ a smooth projective variety, we prove that for any geometrically Galois cover $\varphi\colon Y \to X$ of degree…

Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…

We investigate a Grothendieck-type inequality for pairs of Banach spaces $E,F$ assuming $E$ is finite-dimensional and study the associated Grothendieck-type constant. We prove that if there is a $C >0$ such that $\|A\otimes…

The goal of this note is to provide yet another proof of the following theorem of Golod: there exists an infinite finitely generated group $G$ such that every element of $G$ has finite order. Our proof is based on the Nielsen-Schreier index…

We introduce the category of structures and interpretations which allows us to discuss some issues of Grothendieck's anabelian geometry in model-theory terms. Our main result is a formulation in terms of pure stability theory of a problem…

In this paper we pursue the refined global Gross-Prasad conjecture for Bessel periods formulated by Yifeng Liu in the case of special Bessel periods for $\mathrm{SO}\left(2n+1\right)\times\mathrm{SO}\left(2\right)$. Recall that a Bessel…

Assume that R is a semi-local regular ring containing an infinite perfect field, or that R is a semi-local ring of several points on a smooth scheme over an infinite field. Let K be the field of fractions of R. Let H be a strongly inner…

A full reflective subcategory E of a presheaf category [C*,Set] is the category of sheaves for a topology j on C if and only if the reflection preserves finite limits. Such an E is called a Grothendieck topos. More generally, one can…

Let U be a monster model and let D be a subset of U. Let (U,D) denote theexpansion of U with a new predicate for D. Write e(D) for the collection of all subsets C of U such that (U,C) is elementary equivalent to (U,D). We prove that if e(D)…

In this paper, we establish two finiteness results and propose a conjecture concerning the Pythagoras number $P(A)$ of a finitely generated real algebra $A$. Let $X \hookrightarrow \mathbb{P}^n$ be an integral projective surface over…

Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there…

Let K be an arbitrary field. We will determine explicitly all the nontrivial finite groups of essential dimension one over K.

Even though big mapping class groups are not countably generated, certain big mapping class groups can be generated by a coarsely bounded set and have a well defined quasi-isometry type. We show that the big mapping class group of a stable…

We show that the $\ell$-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the $\ell$-adic Tate conjecture for divisors on smooth projective surfaces over…

One of the important open problems in the theory of central simple algebras is to compute the essential dimension of $\operatorname{GL}_n/\mu_m$, i.e., the essential dimension of a generic division algebra of degree $n$ and exponent…

In this short paper we first recall the definition and the construction of the fundamental group scheme of a scheme $X$ in the known cases: when it is defined over a field and when it is defined over a Dedekind scheme. It classifies all the…

Let G be a group admitting a non-elementary acylindrical action on a Gromov hyperbolic space (for example, a non-elementary relatively hyperbolic group, or the mapping class group of a closed hyperbolic surface, or Out(F_n) for n>1). We…

Let $F$ be a non-archimedean local field, of characteristic 0. Let $V$ be a finite dimensional vector space over $F$ and $q$ be a non-degenerate quadratic form on $V$. Denote $G$ the special orthogonal group of $(V,q)$. Let $W$ a…

Thurston's Ending Lamination Conjecture states that a hyperbolic 3-manifold N with finitely generated fundamental group is uniquely determined by its topological type and its end invariants. In this paper we prove this conjecture for…