Related papers: $F$-divided bundles on normal $F$-finite schemes

We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about…

Consider a family f:A --> U of g-dimensional abelian varieties over a quasiprojective manifold U. Suppose that the induced map from U to the moduli scheme of polarized abelian varieties is generically finite and that there is a projective…

Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B…

We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between…

Let H be a complex Lie group acting holomorphically on a complex analytic space X such that the restriction to X_{\mathrm{red}} of every H-invariant regular function on X is constant. We prove that an H-equivariant holomorphic vector bundle…

A natural higher K-theoretic analogue of the triviality of vector bundles on affine toric varieties is the conjecture on nilpotence of the multiplicative action of the natural numbers on the K-theory of these varieties. This includes both…

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…

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

Let $M$ be a compact connected K\"ahler manifold and let ${\E}_{l-1}$ be the smallest term in the Harder-Narasimhan filtration of its tangent bundle. Let $G$ be an affine algebraic reductive group over $\C$. We prove the following result:…

Let $f\colon Y \to X$ be a proper flat morphism of locally noetherian schemes. Then, the locus in $X$ over which $f$ is smooth is stable under generization. We prove that under suitable assumptions on the formal fibers of $X$, the same…

Let $X$ be a smooth projective variety defined over an algebraically closed field, and let $L$ be an ample line bundle over $X$. We prove that for any smooth hypersurface $D$ on $X$ in the complete linear system $| L^{\otimes d}|$, the…

Let $f:C\rightarrow D$ be a nonconstant separable morphism between irreducible smooth projective curves defined over an algebraically closed field. We say that $f$ is genuinely ramified if ${\mathcal O}_D$ is the maximal semistable…

Let $X$ and $Y$ be nonsingular projective varieties over an algebraically closed field $k$ of positive characteristic. If $X$ and $Y$ are birational, we show their $S$-fundamental group schemes are isomorphic.

We review Hopf-Galois extensions, in particular faithfully flat ones, accepted to be the noncommutative algebraic dual of a principal bundle. We also make a short digression into how quantum groups relate to Hopf-Galois extensions. Several…

A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index,…

Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…

We study the geometry of equicharacteristic partial affine flag varieties associated to tamely ramified groups $G$ in characteristics $p>0$ dividing the order of the fundamental group $\pi_1(G_{\text{der}})$. We obtain that most Schubert…

We study vector bundles on flag varieties over an algebraically closed field $k$. In the first part, we suppose $G=G_k(d,n)$ $(2\le d\leq n-d)$ to be the Grassmannian manifold parameterizing linear subspaces of dimension $d$ in $k^n$, where…

Let $C$ and $D$ be smooth, proper and geometrically integral curves over a finite field $F$. Any morphism from $D$ to $C$ induces a morphism of their \'etale fundamental groups. The anabelian philosophy proposed by Grothendieck suggests…

Let $C$ be a nonsingular projective curve over an algebraically closed field of characteristic $p>0$ and $I\subset C$ be a finite set. If $\mathcal{U}_{C,\,\omega}$ denotes the moduli space of semistable parabolic bundles of rank $r$ and…