Related papers: The Morphism Induced by Frobenius Push-Forwards
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…
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…
Frobenius' theorem in differential geometry asserts that every involutive subbundle of the tangent bundle of a manifold $M$ integrates to a decomposition of $M$ into smooth leaves. We prove an infinitesimal analogue of this result for…
The main purpose is to characterise continuous maps that are $n$-branched coverings in terms of induced maps on the rings of functions. The special properties of Frobenius $n$-homomorphisms between two function spaces that correspond to…
The goal of this paper is to introduce the notion of $G$-Frobenius manifolds for any finite group $G$. This work is motivated by the fact that any $G$-Frobenius algebra yields an ordinary Frobenius algebra by taking its $G$-invariants. We…
In this note we study rational curves on degree $p^r+1$ Fermat hypersurface in $\PP^{p^r+1}_k$, where $k$ is an algebraically closed field of characteristic $p$. The key point is that the presence of Frobenius morphism makes the behavior of…
Let $\pi: X \longrightarrow C$ be a fibration with reduced fibers over a curve $C$ and consider a polarization $H$ on the surface $X$. Let $E$ be a stable vector bundle of rank $2$ on $C$. We prove that the pullback $\pi^*E$ is a $H-$stable…
Let $f : X \rightarrow Y$ be a generically smooth nonconstant morphism between irreducible projective curves, defined over an algebraically closed field, which is \'etale on an open subset of $Y$ that contains both the singular locus of $Y$…
We show that a Fourier--Mukai equivalence between smooth projective varieties of characteristic $p$ which commutes with either pushforward or pullback along Frobenius is a composition of shifts, isomorphisms, and tensor product with…
Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…
Just as a symmetric surface with separating fixed locus halves into two oriented bordered surfaces, an arbitrary symmetric surface halves into two oriented symmetric half-surfaces, i.e. surfaces with crosscaps. Motivated in part by the…
We construct a compactification $M^{\mu ss}$ of the Uhlenbeck-Donaldson type for the moduli space of slope stable framed bundles. This is a kind of a moduli space of slope semistable framed sheaves. We show that there exists a projective…
We prove a theorem classifying the equivariant $K$-theoretic pushforwards of the product of arbitrary Schur functors applied to the tautological bundle on the moduli space of framed rank $r$ torsion-free sheaves on $\mathbb{P}^2$, and its…
Suppose that $f:X\to Y$ is a dominant morphism of 3-folds over an algebraically closed field of characteristic zero. We prove that there exist sequences of blow ups of points and nonsingular curves $\Phi:X_1\to X$ and $\Psi:Y_1\to Y$ such…
Let $k$ be an algebraically closed field of characteristic $p>0$, $X$ a smooth projective variety over $k$ with a fixed ample divisor $H$. Let $E$ be a rational $GL_n(k)$-bundle on $X$, and $\rho:GL_n(k)\rightarrow GL_m(k)$ a rational…
In this paper, given a semisimple algebraic group $\bf G$ of rank 2, we construct a special semiorthogonal decomposition in the derived category of coherent sheaves on the flag variety ${\bf G}/{\bf B}$. These decompositions are defined…
Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of…
Let R be a regular ring essentially of finite type over a perfect field k. An R-module M is called a unit R[F]-module if it comes equipped with an isomorphism F*M-->M where F denotes the Frobenius map on Spec R, and F* is the associated…
Let $p$ be a prime number, and let $Dist(SL_2)$ be the algebra of distributions, supported at $1$, on the algebraic group $SL_2$ over $\mathbb{F}_p$. The Frobenius map $Fr:SL_2\to SL_2$ induces a map $Fr:Dist(SL_2)\to Dist(SL_2)$ which is…
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…