Related papers: Some Remarks on the Local Fundamental Group Scheme
A flat vector bundle on an algebraic variety supports two natural definable structures given by the flat and algebraic coordinates. In this note we show these two structures coincide, subject to a condition on the local monodromy at…
Let $U$ be a regular connected affine semi-local scheme over a field $k$. Let $G$ be a reductive group scheme over $U$. Assuming that $G$ has an appropriate parabolic subgroup scheme, we prove the following statement. Given an affine…
We show that principal bundles for a semisimple group on an arbitrary affine curve over an algebraically closed field are trivial, provided the order of $\pi_1$ of the group is invertible in the ground field, or if the curve has semi-normal…
Let $X$ and $Y$ be irreducible normal projective varieties, of same dimension, defined over an algebraically closed field, and let $f : Y \rightarrow X$ be a finite generically smooth morphism such that the corresponding homomorphism…
In this short note we present a new general definition of local fractional derivative, that depends on an unknown kernel. For some appropriate choices of the kernel we obtain some known cases. We establish a relation between this new…
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…
We define the stack of $G$-local systems with restricted variation on the formal puntured disc and study its properties. We embed sheaves of categories over this stack into the category of factorization module categories over…
We compare different local-global principles for torsors under a reductive group G defined over a semiglobal field F. In particular if the F-group G s a retract rational F-variety, we prove that the local global principle holds for the…
We present a simple-to-apply criterion for recognizing topological groups that are (locally) homeomorphic to LF-spaces.
Let $k$ be a field, $K/k$ a field extension, $X$ a connected scheme proper over $k$, $x_K\in X_K(K)$ lying over $x\in X(k)$, $\mathcal{C}_X$ and $\mathcal{C}_{X_K}$ the Tannakian categories over $X$ and $X_K$ respectively,…
In this paper we define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\rightarrow S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on…
We define the notion of fundamental group of an algebraic stack, prove a comparison theorem between the fundamental group of a stack over the complex numbers and that of the associated analytic orbifold, show that this notion coincides with…
Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an…
For a regular scheme and a prime number $p$, we define the FW-cotangent bundle as a vector bundle on the closed subscheme defined by $p=0$, under a certain finiteness condition. For a constructible complex on the etale site of the scheme,…
Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…
Let R be a regular local ring, containing an infinite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R.
In this paper, the notion of F-schemes, a "generalization" of schemes, is introduced to cover unitary noncommutative rings.
Local connection forms provide a very useful tool for handling connections on principal bundles, because they ignore any complexities of the total space and, essentially, involve only two fundamental features of the structure group, namely…
We classify principal bundles over anti-affine schemes with affine and commutative structural group. We show that this yields the classification of quasi-abelian varieties over a field k (i.e., group k-schemes with no non constant global…
We define a notion of morphism for quotient vector bundles that yields both a category $\textit{QVBun}$ and a contravariant global sections functor $C:\textit{QVBun}^{\textrm{op}}\to\textit{Vect}$ whose restriction to trivial vector bundles…