Related papers: Essential dimension and pro-finite group schemes

We prove that if a finite group scheme $G$ over a field $k$ has essential dimension one, then it embeds in $PGL_{2/k}$. We use this to give an explicit classification of all infinitesimal group schemes of essential dimension one over any…

We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it…

In this paper we develop the theory of essential dimension of group schemes over an integral base. Shortly we concentrate over a local base. As a consequence of our theory we give a result of invariance of the essential dimension over a…

We propose a generalization of Ledet conjecture, which predicts the essential dimension of cyclic $p$-groups in characteristic $p$, for finite commutative unipotent group schemes. And we show some evidence and some consequences of this new…

Grothendieck gave two forms of his "main conjecture of anabelian geometry", i.e. the section conjecture and the hom conjecture. He stated that these two forms are equivalent and that if they hold for hyperbolic curves then they hold for…

We prove that every hyperbolic curve with a faithful action of a non-cyclic $p$-group (with a few exceptions if $p=2$) has a twisted form of index $1$ which satisfies Grothendieck's section conjecture. Furthermore, we prove that for every…

Given a smooth projective curve $X$ of genus at least 2 over a number field $k$, Grothendieck's Section Conjecture predicts that the canonical projection from the \'etale fundamental group of $X$ onto the absolute Galois group of $k$ has a…

In three preprints [Pan2],[Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here G is a reductive group scheme). The present…

We discuss essential dimension of group schemes, with particular attention to infinitesimal group schemes. We prove that the essential dimension of a group scheme of finite type over a field k is at least equal to the difference between the…

In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the…

In this note, we explore the notion of hyperbolicity of topologically finitely generated profinite groups. Some applications to diophantine geometry are suggested and we try to reformulate certain problems in diophantine geometry in terms…

Let $X$ be a regular tame stack. If $X$ is locally of finite type over a field, we prove that the essential dimension of $X$ is equal to its generic essential dimension, this generalizes a previous result of P. Brosnan, Z. Reichstein and…

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.…

Suppose $G$ is a finite group and $p$ is either a prime number or $0$. For $p$ positive, we say that $G$ is weakly tame at $p$ if $G$ has no non-trivial normal $p$-subgroups. By convention we say that every finite group is weakly tame at…

We study the essential dimension of a finite group G over a field K. A generalization of the central extension theorem of Buhler and Reichstein (Compositio Math. 106 (1997) 159-179, Theorem 5.3) is obtained. We also get lower bounds of…

Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a…

We introduce the category of finite \'etale covers of an arbitrary schematic finite space $X$ and show that, equipped with an appropriate natural fiber functor, it is a Galois Category. This allows us to define the \'etale fundamental group…

In three preprints [Pan1], [Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here $G$ is a reductive group scheme). The preprint…

Let C be a connected noetherian hereditary abelian Ext-finite category with Serre functor over an algebraically closed field k, with finite dimensional homomorphism and extension spaces. Using the classification of such categories from…

Let $k$ be a base field and $G$ be an algebraic group over $k$. J.-P. Serre defined $G$ to be special if every $G$-torsor $T \to X$ is locally trivial in the Zariski topology for every reduced algebraic variety $X$ defined over $k$. In…