Related papers: On the Galois Theory of Grothendieck

Grothendieck's theory of fibred categories establishes an equivalence between fibred categories and pseudo functors. It plays a major role in algebraic geometry and categorical logic. This paper aims to show that fibrations are also very…

This article presents a theory of modules with iterative connection. This theory is a generalisation of the theory of modules with connection in characteristic zero to modules over rings of arbitrary characteristic. We show that these…

This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…

In this note we improve the theorem on Galois rational covers $X\dashrightarrow V$ for primitive Fano varieties $V$, recently proven by the author, in the two directions: we extend to the maximum the class of Galois groups $G$, for which…

For a number field K with absolute Galois group G_K, we consider the action of G_K on the infinite tree of preimages of a point in K under a degree-two rational function phi, with particular attention to the case when phi commutes with a…

We define a category whose objects are finite etale coverings of an algebraic stack and prove that it is a Galois category and that it allows one to compute the fundamental group of the stack. We then prove a Van Kampen theorem for…

We study the \'{e}tale fundamental groups of singular reduced connected curves defined over an algebraically closed field of arbitrary prime characteristic. It is shown that when the curve is projective, the \'{e}tale fundamental group is a…

We give a new categorical approach to the Halmos-von Neumann theorem for actions of general topological groups. As a first step, we establish that the categories of topological and measure-preserving irreducible systems with discrete…

We describe a new construction of families of Galois coverings of the line using basic properties of configuration spaces, covering theory, and the Grauert-Remmert Extension Theorem. Our construction provides an alternative to a previous…

Let $X = P^1_{\mathbb{F}_p}-B$, where $B$ is a divisor with $n$ distinct geometric points, and view $X$ as a $\mathbb{F}_q$-variety with $q = p^r$ for some $r$, we then obtain a short exact sequence of tame fundamental groups: \[1\to…

In this paper we produce unconditionally new instances of Galois number field extensions exhibiting strong discrepancies in the distribution of Frobenius elements among conjugacy classes of the Galois group. We first prove an inverse Galois…

Grothendieck develops the theory of pro-objects over a category $\mathsf{C}$. The fundamental property of the category $\mathsf{Pro}(\mathsf{C})$ is that there is an embedding $\mathsf{C} \overset{c}{\longrightarrow}…

It is well known that the category of covering projections (that is, locally constant objects) of a locally connected topos is equivalent to the classifying topos of a strict progroupoid (or, equivalently, a localic prodiscrete groupoid),…

For a certain class of abelian categories, we show how to make sense of the "Euler characteristic" of an infinite projective resolution (or, more generally, certain chain complexes that are only bounded above), by passing to a suitable…

This survey is about Galois theory of curves in characteristic p, a topic which has inspired major research in algebraic geometry and number theory and which contains many open questions. We illustrate important phenomena which occur for…

We introduce and study a class of field extensions that we call pre-Galois; viz. extensions that become Galois after some linearly disjoint Galois base change. Among them are geometrically Galois extensions of k(T), with k a field:…

We study a condensed version of the \'etale homotopy type of a scheme, which refines both the usual \'etale homotopy type of Friedlander-Artin-Mazur and the pro\'etale fundamental group of Bhatt-Scholze. In the first part of this paper, we…

For a commutative, unital and integral quantale V, we generalize to V-groups the results developed by Gran and Michel for preordered groups. We first of all show that, in the category V-Grp of V-groups, there exists a torsion theory whose…

We consider the Grothendieck--Teichm\"uller group under a new aspect. Using real algebraic geometry and web theory we show that it preserves dihedral symmetry relations, present in the fundamental groupoids of configuration spaces of marked…

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…