Related papers: Stability of direct images under Frobenius morphis…
In this paper, we prove that the tangent bundle of the moduli space $\cSU_C(r,d)$ of stable bundles of rank $r>2$ and of fixed determinant of degree $d$ (such that $(r,d)=1$), on a smooth projective curve $C$ is always stable, in the sense…
In this note, we prove the coherence of Frobenius stable direct images in a new case. We also show a generation theorem regarding to it. Furthermore, we prove a corresponding theorem in characteristic zero.
Let C be an algebraic curve of genus g. Consider extensions E of a vector bundle F'' of rank n'' by a vector bundle F' of rank n'. The following statement was conjectured by Lange: If 0<n'deg F''-n''degF'\le n'n''(g-1), then there exist…
Let $R$ be a complete discrete valuation ring with fraction field of characteristic $0$ and algebraically closed residue field of characteristic $p>0$. Let $X_R \to \mathrm{Spec}(R)$ be a smooth projective morphism of relative dimension…
We prove that the kernel bundle of the evaluation morphism of global sections, namely the syzygy bundle, of a sufficiently ample line bundle on a smooth projective variety is slope stable with respect to any polarization. This settles a…
Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stably satisfy Frobenius reciprocity. The result extends from G,…
Let G/Q be an homogeneous variety embedded in a projective space P thanks to an ample line bundle L. Take a projective space containing P and form the cone X over G/Q, we call this a cone over an homogeneous variety. Let $\alpha$ a class of…
We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor contruction of Mumford from sheaves to…
We define a Fourier-Mukai transform for sheaves on K3 surfaces over $\C$, and show that it maps polystable bundles to polystable ones. The role of ``dual'' variety to the given K3 surface $X$ is here played by a suitable component $\hat X$…
For a surjective self-morphism on a projective variety defined over a number field, we study the preimages question, which asks if the set of rational points on the iterated preimages of an invariant closed subscheme eventually stabilize.…
Let $X$ be a smooth projective curve with genus $g\geq3$. Let $\mathcal{N}$ be the moduli space of stable rank two vector bundles on $X$ with a fixed determinant $\mathcal{O}_X(-x)$ for $x\in X$. In this paper, as a generalization of Kiem…
Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…
The $C^1$-structurally stable diffeomorphims of a compact manifold are those that satisfy Axiom A and the strong transversality condition (AS). We generalize the concept of AS from diffeomorphisms to invariant compact subsets. Among other…
Let $Y$ be a smooth projective surface defined over an algebraically closed field $k$ with ${\rm Char}\ k\nmid n$, and let $\pi:X\rightarrow Y$ be a $n$-cyclic covering branched along a smooth divisor $B$. We show that under some conditions…
Assume that a projective variety together with a polarization is uniformly K-stable. If the polarization is canonical or anti-canonical, then the projective variety is uniformly K-stable with respects to any polarization sufficiently close…
In this paper we describe the action of the Frobenius morphism on the indecomposable vector bundles on cycles of projective lines. This gives an answer on a question of Paul Monsky, which appeared in his study of the Hilbert--Kunz theory…
We present a complete generalization of Kirwan's partial desingularization theorem on quotients of smooth varieties. Precisely, we prove that if $\mathcal{X}$ is an irreducible Artin stack with stable good moduli space $\mathcal{X} \to X$,…
We prove an analogue of the Madsen-Weiss theorem for high dimensional manifolds. For example, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of g copies of S^n x S^n, in the…
For $n\geq 3$, let $M$ be an $(n+r)$-dimensional irreducible Hermitian symmetric space of compact type and let $\mathcal{O}_M(1)$ be the ample generator of $Pic(M)$. Let $Y=H_1\cap\dots\cap H_r$ be a smooth complete intersection of…
Given a line bundle L on a smooth projective curve over the complex numbers, we show that a general extension E of L by the trivial line bundle is very stable: line bundles contained in E have degree much less than half the degree of E.…