Related papers: Galois descent criteria

We utilise the theory of crossed simplicial groups to introduce a collection of local Quillen model structures on the category of simplicial presheaves with a compact planar Lie group action on a small Grothendieck site. As an application,…

We introduce Galois corings, and give a survey of properties that have been obtained so far. The Definition is motivated using descent theory, and we show that classical Galois theory, Hopf-Galois theory and coalgebra Galois theory can be…

Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…

We study Galois points for a hypersurface $X$ with $\dim {\rm Sing}(X) \le \dim X-2$. The purpose of this article is to determine the set $\Delta(X)$ of Galois points in characteristic zero: Indeed, we give a sharp upper bound of the number…

In Hopf-Galois theory, every $H$-Hopf-Galois structure on a field extension $K/k$ gives rise to an injective map $\mathcal{F}$ from the set of $k$-sub-Hopf algebras of $H$ into the intermediate fields of $K/k$. Recent papers on the failure…

Fixed point theorems are one of the many tools used to prove existence and uniqueness of differential equations. When the data involved contains products of distributions, some of these tools may not be useful. Thus rises the necessity to…

It is proved that for any Grothendieck site $X$, there exists a coreflection (called $\mathbf{cosheafification}$) from the category of precosheaves on $X$ with values in a category $\mathbf{K}$, to the full subcategory of cosheaves,…

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…

There are two approaches to the homotopy theory of simplicial (pre-)sheaves. One developed by Joyal and Jardine works for all sites but produces a model structure which is not finitely generated even in the case of sheaves on a Noetherian…

Hopf-Galois extensions of rings generalize Galois extensions, with the coaction of a Hopf algebra replacing the action of a group. Galois extensions with respect to a group $G$ are the Hopf-Galois extensions with respect to the dual of the…

Let $X$ be a smooth hypersurface $X$ of degree $d\geq4$ in a projective space $\mathbb P^{n+1}$. We consider a projection of $X$ from $p\in\mathbb P^{n+1}$ to a plane $H\cong\mathbb P^n$. This projection induces an extension of function…

We study homotopy decompositions of the classifying spaces $BG$ of compact connected Lie groups obtained by (relative) fiber-cofiber construction. Given a pair of Borel fibrations $ F \to E \to BG $ and $F' \to E' \to BG $, this…

The present paper is devoted to study the homotopy category associated with a simplicial descent category (D,s,E) (arXiv:0808.3684v2). We prove that the class E of equivalences has a calculus of left fractions over a quotient category of D…

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…

Given a $G$-Galois branched cover of the projective line over a number field $K$, we study whether there exists a closed point of $\mathbb{P}^1_K$ with a connected fiber such that the $G$-Galois field extension induced by specialization…

Let $K$ be the function field of a smooth projective geometrically integral curve over a finite extension of $\mathbb{Q}_p$. Following the works of Harari, Scheiderer, Szamuely, Izquierdo, and Tian, we study the local-global and weak…

This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…

The purpose of this article is to define the topological realization of a simplicial presheaf and to prove (under appropriate conditions) that it is homotopy-invariant under Illusie weak equivalence. In particular this applies to the site…

This is a survey of motivations, constructions and applications of higher prequantum geometry. In section 1 we highlight the open problem of prequantizing local field theory in a local and gauge invariant way, and we survey how a solution…

This paper develops algebraic geometry over Henselian real valued (i.e. of rank 1) fields $K$, being a sequel to our paper about that over Henselian discretely valued fields. Several results are given including: a certain concept of fiber…