Related papers: \'Etale Fundamental Groups of Smooth Arithmetic Su…

Let $C$ and $D$ be smooth, proper and geometrically integral curves over a finite field $F$. Any morphism from $D$ to $C$ induces a morphism of their \'etale fundamental groups. The anabelian philosophy proposed by Grothendieck suggests…

Anabelian geometry suggests that, for suitably geometric objects, their \'etale fundamental groups determine the geometric objects up to isomorphism. From a group-theoretic viewpoint, this philosophy requires rigidity properties, which…

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…

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…

Grothendieck's anabelian conjectures predict that certain classes of varieties over number fields are largely determined by their {\'e}tale fundamental groups. A theorem of Mochizuki shows that for hyperbolic curves over number fields or…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group over a regular semilocal ring is itself trivial. Extending the work of \v{C}esnavi\v{c}ius and Fedorov, we prove a non-noetherian…

We show the existence of group-theoretic sections of the "etale-by-geometrically abelian" quotient of the arithmetic fundamental group of hyperbolic curves over $p$-adic local fields relative to a proper and flat model which are…

Given two hyperbolic curves over p-adic local fields, the absolute anabelian conjecture claims that any isomorphism between their \'etale fundamental group comes from an isomorphism of schemes. This conjecture was proven by S. Mochizuki for…

Anabelian geometry with etale homotopy types generalizes in a natural way classical anabelian geometry with etale fundamental groups. We show that, both in the classical and the generalized sense, any point of a smooth variety over a field…

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…

By Grothendieck's anabelian conjectures, Galois representations landing in outer automorphism group of the algebraic fundamental group which are associated to hyperbolic smooth curves defined over number-fields encode all the arithmetic…

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…

We show that isomorphisms of fundamental groups of elementary anabelian varieties -- varieties obtained as iterated fibrations of hyperbolic curves -- over sub-$p$-adic fields correspond bijectively to isomorphisms of varieties. Moreover,…

In anabelian geometry, we consider to what extent the \'{e}tale or tame fundamental groups of schemes reflect geometric properties of the schemes. Although there are many known results (mainly for smooth curves) in this area, general…

We show the existence of group-theoretic sections of certain geometrically pro-nilpotent by abelian arithmetic fundamental groups of hyperbolic curves over p-adic local fields which are non-geometric, i.e., which do not arise from rational…

If $C$ is a smooth curve over an algebraically closed field $k$ of characteristic $p$, then the structure of the maximal prime to $p$ quotient of the \'etale fundamental group is known by analytic methods. In this paper, we discuss the…

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 Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally…

The objective of this paper is to study the anabelian object referred to as \emph{pointed virtual curves}. Namely, given a family of curves $Y \rightarrow X$ over a field $k$ under suitable conditions, we consider the…

In this paper, we present some new results on the geometrically m-step solvable Grothendieck conjecture in anabelian geometry. Specifically, we show the (weak bi-anabelian and strong bi-anabelian) geometrically m-step solvable Grothendieck…