More Like this

1. Cohomology of line bundles on the incidence correspondence

   https://doi.org/10.1090/btran/173  

   Gao, Zhao; Raicu, Claudiu (January 2024, Transactions of the American Mathematical Society, Series B)

   For a finite dimensional vector space $V$of dimension $n$, we consider the incidence correspondence (or partial flag variety) $X\subset <\#comment/>\mathbb{P}V\times <\#comment/>\mathbb{P}{V}^{\vee <\#comment/>}$, parametrizing pairs consisting of a point and a hyperplane containing it. We completely characterize the vanishing and non-vanishing behavior of the cohomology groups of line bundles on $X$in characteristic $p>0$. If $n=3$then $X$is the full flag variety of $V$, and the characterization is contained in the thesis of Griffith from the 70s. In characteristic $0$, the cohomology groups are described for all $V$by the Borel–Weil–Bott theorem. Our strategy is to recast the problem in terms of computing cohomology of (twists of) divided powers of the cotangent sheaf on projective space, which we then study using natural truncations induced by Frobenius, along with careful estimates of Castelnuovo–Mumford regularity. When $n=3$, we recover the recursive description of characters from recent work of Linyuan Liu, while for general $n$we give character formulas for the cohomology of a restricted collection of line bundles. Our results suggest truncated Schur functions as the natural building blocks for the cohomology characters. 

   more » « less
2. Every finite abelian group is the group of rational points of an ordinary abelian variety over 𝔽₂, 𝔽₃ and 𝔽₅

   https://doi.org/10.1090/proc/16127  

   Marseglia, Stefano; Springer, Caleb (February 2023, Proceedings of the American Mathematical Society)

   We show that every finite abelian group occurs as the group of rational points of an ordinary abelian variety over ${\mathbb{F}}_2$, ${\mathbb{F}}_3$and ${\mathbb{F}}_5$. We produce partial results for abelian varieties over a general finite field  ${\mathbb{F}}_q$. In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over ${\mathbb{F}}_q$when $q$is large. Finally, we show that every finite cyclic group arises as the group of rational points of infinitely many simple abelian varieties over  ${\mathbb{F}}_2$. 

   more » « less
3. Non-vanishing of geometric Whittaker coefficients for reductive groups

   https://doi.org/10.1090/jams/1051  

   Færgeman, Joakim; Raskin, Sam (April 2025, Journal of the American Mathematical Society)

   We prove that cuspidal automorphic $D$-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from $G{L}_n$to general reductive groups. The key tool is a microlocal interpretation of Whittaker coefficients. We establish various exactness properties in the geometric Langlands context that may be of independent interest. Specifically, we show Hecke functors are $t$-exact on the category of tempered $D$-modules, strengthening a classical result of Gaitsgory (with different hypotheses) for $G{L}_n$. We also show that Whittaker coefficient functors are $t$-exact for sheaves with nilpotent singular support. An additional consequence of our results is that the tempered, restricted geometric Langlands conjecture must be $t$-exact. We apply our results to show that for suitably irreducible local systems, Whittaker-normalized Hecke eigensheaves are perverse sheaves that are irreducible on each connected component of ${\mathrm{Bun}}_G$. 

   more » « less
4. Derived 𝑝-adic heights and the leading coefficient of the Bertolini–Darmon–Prasanna 𝑝-adic 𝐿-function

   https://doi.org/10.1090/btran/227  

   Castella, Francesc; Hsu, Chi-Yun; Kundu, Debanjana; Lee, Yu-Sheng; Liu, Zheng (May 2025, Transactions of the American Mathematical Society, Series B)

   Let $E/\mathbf{Q}$be an elliptic curve and let $p$be an odd prime of good reduction for $E$. Let $K$be an imaginary quadratic field satisfying the classical Heegner hypothesis and in which $p$splits. The goal of this paper is two-fold: (1) we formulate a $p$-adic BSD conjecture for the $p$-adic $L$-function $L_{\mathfrak{p}}^{\mathrm{B}\mathrm{D}\mathrm{P}}$introduced by Bertolini–Darmon–Prasanna [Duke Math. J. 162 (2013), pp. 1033–1148]; and (2) for an algebraic analogue $F_{\stackrel{¯<\#comment/>}{\mathfrak{p}}}^{\mathrm{B}\mathrm{D}\mathrm{P}}$of $L_{\mathfrak{p}}^{\mathrm{B}\mathrm{D}\mathrm{P}}$, we show that the “leading coefficient” part of our conjecture holds, and that the “order of vanishing” part follows from the expected “maximal non-degeneracy” of an anticyclotomic $p$-adic height. In particular, when the Iwasawa–Greenberg Main Conjecture $\left(F_{\stackrel{¯<\#comment/>}{\mathfrak{p}}}^{\mathrm{B}\mathrm{D}\mathrm{P}}\right)=\left(L_{\mathfrak{p}}^{\mathrm{B}\mathrm{D}\mathrm{P}}\right)$is known, our results determine the leading coefficient of $L_{\mathfrak{p}}^{\mathrm{B}\mathrm{D}\mathrm{P}}$at $T=0$up to a $p$-adic unit. Moreover, by adapting the approach of Burungale–Castella–Kim [Algebra Number Theory 15 (2021), pp. 1627–1653], we prove the main conjecture for supersingular primes $p$under mild hypotheses. In the $p$-ordinary case, and under some additional hypotheses, similar results were obtained by Agboola–Castella [J. Théor. Nombres Bordeaux 33 (2021), pp 629–658], but our method is new and completely independent from theirs, and apply to all good primes. 

   more » « less
5. Residual intersections and linear powers

   https://doi.org/10.1090/btran/127  

   Eisenbud, David; Huneke, Craig; Ulrich, Bernd (October 2023, Transactions of the American Mathematical Society, Series B)

   If $I$is an ideal in a Gorenstein ring $S$, and $S/I$is Cohen-Macaulay, then the same is true for any linked ideal $I^{\prime }$; but such statements hold for residual intersections of higher codimension only under restrictive hypotheses, not satisfied even by ideals as simple as the ideal $L_n$of minors of a generic $2\times <\#comment/>n$matrix when $n>3$. In this paper we initiate the study of a different sort of Cohen-Macaulay property that holds for certain general residual intersections of the maximal (interesting) codimension, one less than the analytic spread of $I$. For example, suppose that $K$is the residual intersection of $L_n$by $2n-<\#comment/>4$general quadratic forms in $L_n$. In this situation we analyze $S/K$and show that $I^{n-<\#comment/>3}\left(S/K\right)$is a self-dual maximal Cohen-Macaulay $S/K$-module with linear free resolution over $S$. The technical heart of the paper is a result about ideals of analytic spread 1 whose high powers are linearly presented. 

   more » « less