Related papers: The Morphism Induced by Frobenius Push-Forwards
We study the geometry of the morphism between moduli spaces of hypersurfaces in $\mathbb P^{n-1}$ that sends a smooth hypersurface of degree $d+1$ to its associated hypersurface of degree $n(d-1)$. As a result, we obtain a compactification…
We compute decomposition of Frobenius push-forwards of line bundles on quadrics into a direct sum of line bundles and spinor bundles. As an application we show when the Frobenius push-forward gives a tilting bundle and we apply it to study…
The moduli space of Frobenius manifolds carries a natural involutive symmetry, and a distinguished class - so-called modular Frobenius manifolds - lie at the fixed points of this symmetry. In this paper a classification of semi-simple…
We give a new, shorter computation of Frobenius push-forwards of line bundles on toric varieties.
We study the behaviour of D-cap-modules on rigid analytic varieties under pushforward along a proper morphism. We prove a D-cap-module analogue of Kiehl's Proper Mapping Theorem, considering the derived sheaf-theoretic pushforward from…
In this paper, which is the sequel to arXiv:1410.3742, we study the Frobenius pushforward of the structure sheaf on the adjoint varieties in type ${\bf A}_3$ and ${\bf A}_4$. We show that this pushforward sheaf decomposes into a direct sum…
Let $X$ be a smooth projective surface over an algebraically closed field $k$ of characteristic $p> 0$ with $\Omega_{X}^{1}$ semistable and $\mu(\Omega_{X}^{1})>0$. For any semistable (resp. stable) bundle $W$ of rank $r$, we prove that…
We prove that the normalized Poincar\'e bundle on the moduli space of stable rank $r$ vector bundles with a fixed determinant on a smooth projective curve $X$ induces a family of nef vector bundles on the moduli space. Two applications…
Let \pi : V \rightarrow M be a (real or holomorphic) vector bundle whose base has an almost Frobenius structure (\circ_{M},e_{M}, g_{M}) and typical fiber has the structure of a Frobenius algebra (\circ_{V},e_{V},g_{V}). Using a connection…
Given an embedding of a smooth projective curve $X$ of genus $g\geq1$ into $\mathbb{P}^N$, we study the locus of linear subspaces of $\mathbb{P}^N$ of codimension 2 such that projection from said subspace, composed with the embedding, gives…
Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…
We investigate when the filtration induced by Beilinson's spectral sequence splits non-canonically into a direct sum decomposition. We conclude that for any vector bundle $\mathcal{E}$ on a projective space over an algebraically closed…
Let $\V$ be a mixed characteristic complete discrete valuation ring, let $\X$ and $\Y$ be two smooth formal $\V$-schemes, let $f_0$ : $X \to Y$ be a projective morphism between their special fibers, let $T$ be a divisor of $Y$ such that…
Let R be an integral domain of finite type over Z and let f:X --> Spec R be a smooth projective morphism of relative dimension d >= 1. We investigate, for a vector bundle E on the total space X, under what arithmetical properties of a…
In the category $\mathcal{P}_{d}$ of strict polynomial functors, the morphisms between extension groups induced by the Frobenius twist are injective. In \cite{Cuo14a}, the category $\mathcal{P}_{d}$ is proved to be a full sub-category of…
Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A…
For a stably framed Liouville manifold X , we construct a "Donaldson-Fukaya category over the sphere spectrum" F(X; S). The objects are closed exact Lagrangians whose Gauss maps are nullhomotopic compatibly with the ambient stable framing,…
If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed under pushforward along right maps. We refer to this…
We study the moduli functor of flat bundles on smooth, possibly non-proper, algebraic variety $X$ (over a field of characteristic zero). For this we introduce the notion of \emph{formal boundary} of $X$, denoted by $\partial X$, which is a…
Let $X/\mathbb{C}$ be a smooth variety with simple normal crossings compactification $\bar{X}$, and let $L$ be an irreducible $\overline{\mathbb{Q}}_{\ell}$-local system on $X$ with torsion determinant. Suppose $L$ is cohomologically rigid.…