Related papers: Extending torsors over regular models of curves
Given a number field $F_0$ that contains no Hilbert class field of any imaginary quadratic field, we show that under GRH there exists an effectively computable constant $B:=B(F_0)\in\mathbb{Z}^+$ for which the following holds: for any…
The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…
Let $\tilde{f}(X)\in\mathbb{Z}[X]$ be a degree-$n$ polynomial such that $f(X):=\tilde{f}(X)\bmod p$ factorizes into $n$ distinct linear factors over $\mathbb{F}_p$. We study the problem of deterministically factoring $f(X)$ over…
Let $C \subset \mathbb{P}^2$ be a plane curve of degree at least three. A point $P$ in projective plane is said to be Galois if the function field extension induced by the projection $\pi_P: C \dashrightarrow \mathbb P^1$ from $P$ is…
Let $X$ be a projective, connected and smooth scheme defined over an algebraically closed field $k$. In this paper we prove that a tower of finite torsors (i.e., under the action of finite $k$-group schemes) can be dominated by a single…
Let $E$ be an elliptic curve, defined over a quartic extension $K$ of $\mathbb{Q}$, with $j(E) \in \mathbb{Q}$. In this paper, we classify the possible torsion subgroup structures $E(K)_{\text{tors}}$.
We prove a local-global principle for torsors under the prosolvable geometric fundamental group of an affine curve over a number field.
We interpret Galois covers in terms of particular monoidal functors, extending the correspondence between torsors and fiber functors. As applications we characterize tame $G$-covers between normal varieties for finite and \'etale group…
Let $G$ be a linear algebraic group over an infinite field $k$. Loosely speaking, a $G$-torsor over $k$-variety is said to be versal if it specializes to every $G$-torsor over any $k$-field. The existence of versal torsors is well-known. We…
We define parahoric $\cG$--torsors for certain Bruhat--Tits group scheme $\cG$ on a smooth complex projective curve $X$ when the weights are real, and also define connections on them. We prove that a $\cG$--torsor is given by a homomorphism…
In this short paper we first recall the definition and the construction of the fundamental group scheme of a scheme $X$ in the known cases: when it is defined over a field and when it is defined over a Dedekind scheme. It classifies all the…
Let C $\rightarrow$ Spec(R) be a relative proper flat curve over an henselian base. Let G be a reductive C-group scheme. Under mild technical assumptions, we show that a G-torsor over C which is trivial on the closed fiber of C is locally…
We give a classification theorem of certain geometric objects, called torsors over the sheaf of K-theory spaces, in terms of Tate vector bundles. This allows us to present a very natural and simple, alternative approach to the Tate central…
A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite…
We study torsors for groups defined by algebraic difference equations. Our main result provides necessary and sufficient conditions on the base difference field for all such torsors to be trivial. We also present an application to the…
Let A be the N\'eron model of an abelian variety A_K over the fraction field K of a discrete valuation ring R. Due to work of Mazur-Messing, there is a functorial way to prolong the universal extension of A_K by a vector group to a smooth…
Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…
Let G be a linear algebraic group defined over a field k. We prove that, under mild assumptions on k and G, there exists a finite k-subgroup S of G such that the natural map H^1(K, S) -> H^1(K, G) is surjective for every field extension…
Let S be a smooth del Pezzo surface that is defined over a field K and splits over a Galois extension L. Let G be either the split reductive group given by the root system of $S_L$ in Pic $S_L$, or a form of it containing the N\'eron-Severi…
Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $\mathcal{G}$ be a Bruhat-Tits group scheme on $X$ which is generically semi-simple and trivial. We show that the \'etale fundamental group of the moduli stack…