Related papers: Anabelian geometry with etale homotopy types

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…

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

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…

We study the structure of the \'etale fundamental groups of smooth curves over certain arithmetic schemes, and investigate the relative version of Grothendieck's anabelian conjecture in this setting. Consequently, every hyperbolic curve…

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

An investigation of morphisms that coincide topologically is used to generalize to all characteristics and partly reprove Tamagawa's theorem on the Grothendieck conjecture in anabelian geometry for affine hyperbolic curves. The theorem now…

We study analogues of Tate's conjecture on homomorphisms for abelian varieties when the ground field is finitely generated over an algebraic closure of a finite field. Our results cover the case of abelian varieties without nontrivial…

We use tools of mathematical logic to analyse the notion of a path on an complex algebraic variety, and are led to formulate a "rigidity" property of fundamental groups specific to algebraic varieties, as well as to define a bona fide…

Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved…

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

In the present paper, we study a new kind of anabelian phenomenon concerning the smooth pointed stable curves in positive characteristic. It shows that the topological structures of moduli spaces of curves can be understood from the…

The Grothendieck conjecture for hyperbolic curves over finite fields was solved affirmatively by Tamagawa and Mochizuki. On the other hand, (a ``weak version'' of) the Grothendieck conjecture for some hyperbolic curves over algebraic…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

By exploiting the arithmetic homotopy of the moduli spaces of curves, Galois-Teichm\"uller theory stands at the interface of braid-mapping class groups and of anabelian geometry. Starting from the classical braid-theoretic construction of…

``Can number and geometric spaces be reconstructed from their symmetries?'' This question, which is at the heart of anabelian geometry, a theory built on the collaborative efforts of an international community in many variants and with the…

We prove that on closed Riemannian manifolds with infinite abelian, but not cyclic, fundamental group, any isometry that is homotopic to the identity possesses infinitely many invariant geodesics. We conjecture that the result remains true…

For a quasi-projective scheme $X$ admitting a smooth compactification over a local field of residue characteristic $p > 0$, we construct a continuous reciprocity homomorphism from a tame class group to the abelian tame etale fundamental…

In the present paper, we study the outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields from the point of view of anabelian geometry. In particular, we show that, under certain mild assumptions, the…

In this paper we will prove that there exists a covariant functor, called algebraic anabelian functor, from the category of algebraic schemes over a given field to the category of outer homomorphism sets of groups. The algebraic anabelian…