Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.08979

The splitting type of jet bundles on the projective line

Annet Kyomuhangi·Emanuela Marangone·Claudiu Raicu·Ethan Reed
View original source ↗Read source document ↗Export metadata ↓

Abstract

Given a vector bundle $\mathcal{E}$ on a smooth variety X, one can associate to it its jet bundles, or bundles of principal parts. These bundles encode the Taylor expansions of local sections of $\mathcal{E}$ and arise naturally in the study of differential operators. When $X=\mathbb{P}^1$ is the projective line, jet bundles decompose as direct sums of line bundles, making it natural to study their splitting types. The splitting type is well understood in characteristic zero, but exhibits subtler behavior in positive characteristic. Our goal is to give a complete answer in every positive characteristic, and in particular to provide a characterization of semistability for jet bundles on $\mathbb{P}^1$. We also determine their extremal summands and give applications to differential operators and formulas for cohomology of line bundles on infinitesimal thickenings of the diagonal.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Annet Kyomuhangi, Emanuela Marangone, Claudiu Raicu, Ethan Reed. 2026-11-06. The splitting type of jet bundles on the projective line. https://arxiv.org/abs/2611.08979

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Geometric Detection and Finiteness of Log Crystalline Local Systems

We prove a geometric detection theorem for log crystalline local systems in the smooth proper setting with a normal crossings boundary. The associated special-fiber log $F$-isocrystal detects geometric absolute irreducibility and, modulo constant rank-one twists, determines the pullback to the geometric generic fiber. The main ingredient is a determinant argument combining a finite-order rank-one reduction, logarithmic period comparison, and the Plücker embedding. As an application, using Abe--Esnault's finiteness theorem and finiteness of stable lattices, we prove finiteness, up to geometrically constant rank-one twists, of geometrically absolutely irreducible log crystalline local systems of fixed rank. Coefficients may lie in any fixed finite extension of $\mathbb Q_p$, and no bound on the Hodge--Tate weights is imposed.

math.AG↗
arXiv2026

Betti Numbers of Odd Biisotropic Symplectic Grassmannians

We compute the singular cohomology groups of odd biisotropic symplectic Grassmannians $\operatorname{S_2Gr}(k, 2n+1)$ by presenting an explicit dimension-preserving combinatorial bijection between the Bialynicki-Birula cells in $\operatorname{S_2Gr}(k, 2n+1)$ and the Schubert cells in $\operatorname{Gr}(k, 2n+2-k)$.

math.AG↗
arXiv2026

Motivic $C_p$-power operations in $\mathrm{MGL}$

In this paper, we give a new proof of the Hopkins-Morel-Hoyois theorem for fields $k$ of characteristic unequal to $p$ containing all primitive $p$-power roots of unity for a fixed prime $p$. This new proof follows Quillen's proof for the structure of the homotopy groups of $\mathrm{MU}$ which utilizes topological power operations. To this end we define a motivic analog of the Steenrod power operations, using the theory of normed motivic spectra as developed by Bachmann--Hoyois and their application for the definition of motivic colimits as developed by Bachmann-Elmanto-Heller.

math.AG↗