Related papers: On the Gille theorem for the relative projective l…

Let $k$ be a base field and $G$ be an algebraic group over $k$. J.-P. Serre defined $G$ to be special if every $G$-torsor $T \to X$ is locally trivial in the Zariski topology for every reduced algebraic variety $X$ defined over $k$. In…

We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is…

Let $G$ be a simple algebraic group over an algebraically closed field $k$. Let $\Gamma$ be a finite group acting on $G$. We classify and compute the local types of $(\Gamma, G)$-bundles on a smooth projective $\Gamma$-curve in terms of the…

Let X be a geometrically rational (or more generally, separably rationally connected) variety over a finite field K. We prove that if K is large enough then X contains many rational curves defined over K. As a consequence we prove that…

Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let \pi(M, x_0) be the fundamental group scheme of M with respect to a base point x_0. Let G be a connected semisimple linear algebraic group over…

Let $X$ be a normal noetherian scheme and $Z \subseteq X$ a closed subset of codimension $\geq 2$. We consider here the local obstructions to the map $\hat{\pi}_{1}(X\backslash Z) \to \hat{\pi}_{1}(X)$ being an isomorphism. Assuming $X$ has…

We obtain a quantitative version of the classical Chevalley-Weil theorem for curves. Let $\phi : \tilde{C} \to C$ be an unramified morphism of non-singular plane projective curves defined over a number field $K$. We calculate an effective…

One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale…

For a central simple algebra with a symplectic involution (A,s) over a field of characteristic different from 2, we show that its group of projective similitudes PSim(A,s) is R-trivial in two new cases.

Let $X$ be a connected normal scheme of finite type over $\mathbf{Z}$, let $G$ be a connected reductive group over $\mathbf{Q}$, and let $\{\rho_\ell\colon\pi_1(X[1/\ell])\to G(\mathbf{Q}_\ell)\}_\ell$ be a Frobenius-compatible collection…

We construct a certain topological algebra $\Ext ^{\sharp}_{G ^{\vee}} X (\chi)$ from a Deligne-Langlands parameter space $X (\chi)$ attached to the group of rational points of a connected split reductive algebraic group $G$ over a…

Let L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is…

We show that, for a free abelian group $G$ and prime power $p^\nu$, every direct sum decomposition of the group $G/p^\nu G$ lifts to a direct sum decomposition of $G$. This is the key result we use to show that, if $R$ is a commutative von…

Let f: X \to Z be a surjective morphism of smooth complex projective varieties with connected fibers. Suppose that L is a pseudo-effective divisor on X that is f-numerically trivial. We show that there is a divisor D on Z such that L is…

Let $G$ be a connected reductive complex algebraic group, and $E$ a complex elliptic curve. Let $G_E$ denote the connected component of the trivial bundle in the stack of semistable $G$-bundles on $E$. We introduce a complex analytic…

Let $Y_{1},\dots,Y_{l}$ be smooth irreducible projective curves and let $Y$ be its disjoint union. Given a semisimple reductive algebraic group $G$ and a faithful representation $\rho:G\hookrightarrow \textrm{SL}(V)$ we construct a…

A well-known theorem of W. Fischer and H. Grauert states that analytic fiber spaces with all fibers isomorphic to a fixed compact connected complex manifold are locally trivial. Motivated by this result, we show that if $k$ is an…

We develop a theory of $P$-trivial MMP whose each step is $P$-trivial for a given nef divisor $P$. As an application, we prove that, given a projective generalised klt pair $(X,B+M)$ with data $M'$ being just a nef $\mathbb{R}$-divisor, if…

We give a criterion for a flat fibration with affine plane fibers over a smooth scheme defined over a field of characteristic zero to be a Zariski locally trivial $\mathbb{A}^2$-bundle. An application is a positive answer to a version of…

A unital $\ell$-group is an abelian group equipped with a translation invariant lattice-order and with a distinguished strong unit, i.e. an element whose positive integer multiples eventually dominate every element of $G$.If $X$ is a…