The geometry of anabelioids
type: Item
instance of: scholarly article
title: The geometry of anabelioids
zbMATH Open document ID: 1113.14021
author: Shinichi Mochizuki
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 2005-04-04T00:00:00Z
review text: The author makes a rather detailed exposition of his theory of anabelioids. The article is motivated by the question (following the introduction): ``To what extent can the fundamental group of a Galois category be constructed in a canonical fashion which is independent of a choice of a basepoint?'' The point of view adopted in the article is motivated by \textit{A. Grothendieck}'s anabelian philosophy [in: Geometric Galois Actions. 1. Around Grothendieck's Esquisse d'un Programme, London Math. Soc. Lect. Note Ser. 242, 49--58 (1997; Zbl 0901.14002)]. In the first two sections of the paper the author develops the general theory of anabelioids. An anabelioid is a finite product of categories \(X=\prod_iX_i\), where each \(X_i\) (a ``connected component'') is a category isomorphic to some category \(B(G)\) of finite sets with a continuous \(G\)-action for some fixed profinite group \(G\). One of the central notions of the paper is the ``faithful quasi-core'' of an anabelioid, a weakening of the ``core'' defined in a previous paper of the author [J. Pure Appl. Algebra 131, 227--244 (1998; Zbl 0965.14013)]. The condition for a quasi-core is essentially that a certain forgetful functor is an equivalence. The main result of this part of the paper is: when an anabelioid possesses a faithful quasi-core, then its fundamental group may be constructed in a canonical way as a profinite group. The last part of the paper is devoted to the case of hyperbolic curves: the theory of ``cores'' [\textit{S. Mochizuki}, loc. cit. and Doc. Math., J. DMV Extra Vol., 609--640 (2003; Zbl 1092.14507)] in the context of hyperbolic curves is translated into the language of anabelioids. The author proves that if a non-proper hyperbolic curve over a \(p\)-adic or a number field is a geometric core, then its associated anabelioid admits a faithful quasi-core.
Mathematics Subject Classification ID: 14G32
Mathematics Subject Classification ID: 14H30
Mathematics Subject Classification ID: 14F35
zbMATH DE Number: 2151104
zbMATH Keywords: fundamental group
zbMATH Keywords: anabelioid
zbMATH Keywords: hyperbolic curve
reviewed by: Răzvan Liţcanu
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2977/prims/1145475494
OpenAlex ID: W2049124220
cites work: The irreducibility of the space of curves of a given genus
cites work: Q3997943
cites work: On discrete subgroups of the two by two projective linear group over \(p\)-adic fields
cites work: On the characterization of local fields by their absolute Galois groups
cites work: The projectivity of the moduli space of stable curves, II: The stacks $M_{g,n}$
cites work: Q5612495
cites work: Q4215784
cites work: Q4003736
cites work: Q4878271
cites work: Correspondences on hyperbolic curves
cites work: The geometry of the compactification of the Hurwitz scheme
cites work: A Version of the Grothendieck Conjecture for p-Adic Local Fields
cites work: The local pro-p anabelian geometry of curves
cites work: Q4817218
cites work: Q4317255
cites work: Arithmetic Fuchsian groups with signature \((1;e)\)
cites work: Q4365374
cites work: On group topologies and unitary representations of inductive limits of topological groups and the case of the group of diffeomorphisms
DOI: 10.2977/PRIMS/1145475494
Recommended article: Semi-graphs of anabelioids
Recommended article: Q4421527
Recommended article: Lectures on anabelian phenomena in geometry and arithmetic
Recommended article: Q4364761
Recommended article: Q3364589
Recommended article: Anabelian geometry with étale homotopy types
Recommended article: Q4505334
Recommended article: Q4462766
Recommended article: Categorial quasivarieties of Abelian groupoids and quasigroups
Recommended article: Q4817218
description: scientific article; zbMATH DE number 2151104