Related papers: On the Galois Theory of Grothendieck

Proposing a certain category of bialgebroid maps we show that the balanced depth 2 extensions appear as they were the finitary Galois extensions in the context of quantum groupoid actions, i.e., actions by finite bialgebroids, weak…

For every number field and every Cartan Killing type, there is an associated split simple algebraic group. We examine whether the corresponding arithmetic subgroups are profinitely solitary so that the commensurability class of the…

We introduce the parameterized generic Galois group of a q-difference module, that is a differential group in the sense of Kolchin. It is associated to the smallest differential tannakian category generated by the q-difference module,…

Let $k$ be a field that is finitely generated over its prime field. In Grothendieck's anabelian letter to Faltings, he conjectured that sending a $k$-scheme to its \'{e}tale topos defines a fully faithful functor from the localization of…

According to Liouville's Theorem, an indefinite integral of an elementary function is usually not an elementary function. In this notes, we discuss that statement and a proof of this result. The differential Galois group of the extension…

Grothendieck's Esquisse d'un programme is often referred to for the ideas it contains on dessins d'enfants, the Teichm{\"u}ller tower, and the actions of the absolute Galois group on these objects or their etale fundamental groups. But this…

We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of…

We prove that the arboreal Galois representation attached to a large class of quadratic polynomials defined over a field of rational functions in characteristic zero has finite index in the full automorphism group of the associated preimage…

We prove that the triviality of the Galois action on the suitably twisted odd-dimensional \'etale cohomogy group of a smooth projective varietiy with finite coefficients implies the existence of certain primitive roots of unity in the field…

This paper deals with criteria of algebraic independence for the derivatives of solutions of rank one difference equations. The key idea consists in deriving from the commutativity of the differentiation and difference operators a sequence…

Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at…

We show that a closed finite index subgroup of a free proalgebraic group is itself a free proalgebraic group. Our main motivation for this result is an application in differential Galois theory: The absolute differential Galois group of a…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

In this paper we characterise the action of the absolute Galois group on the geometric finite cyclic groups without \'etale factorization of stack inertia of the profinite geometric fundamental group of moduli spaces of marked curves. As a…

Let $F$ be a field of characteristic $0$ containing all roots of unity. We construct a functorial compact Hausdorff space $X_F$ whose profinite fundamental group agrees with the absolute Galois group of $F$, i.e. the category of finite…

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

This paper solves the first of the open problems in topos theory posted by William Lawvere, concerning the existence of a Grothendieck topos that has proper class many quotient topoi. This paper concretely constructs such Grothendieck…

Let E be an elliptic curve over the rationals without complex multiplication. The absolute Galois group of Q acts on the group of torsion points of E, and this action can be expressed in terms of a Galois representation rho_E:Gal(Qbar/Q)…

We study Artin-Schelter Gorenstein fixed subrings of some Artin-Schelter regular algebras of dimension 2 and 3 under finite group actions, and prove a noncommutative version of the Kac-Watanabe and Gordeev theorem for these algebras.

We present theoretical and practical results on the order theory of lattices of functions, focusing on Galois connections that abstract (sets of) functions - a topic known as higher-order abstract interpretation. We are motivated by the…