2025-06-16 | | Total: 5
For a $p$-divisible group $G$ over a smooth projective variety $X$ over $k$, where $k$ is a field finitely generated over a perfect field of characteristic $p$, we show that the formal group $R^i f_{\fppf*} G$ is isogenous to a $p$-divisible group. The Dieudonné crystal of its divisible part is canonically isomorphic to the slope-$[0,1]$ part of $R^i f_{\crys*} \cM^{cr}(G)$ in the category of $F$-isocrystals over $k$. This provides an answer to the rational form of a question of Artin--Mazur regarding the enlarged formal Brauer groups.
By extending methods of Favale-Pirola arXiv:2108.02157 and González-Alonso-Torelli arXiv:2402.15158 to toric surfaces via toric Jacobian ring, we are able to show there exists trigonal curve with trigonal deformation of rank $g$ for $g=5,7,9,11,13,15$ by giving an explicit example. Also, we give a computable criterion to determine whether a nondegenerate ample section of toric surface has first order deformation of rank $g$ within the linear system.
We study a geometric version of the dimension growth conjecture. Let $X$ be an irreducible projective variety defined over $\mathbb{C}(t)$ of dimension $m$ and degree $d \geq 2$. The set $X(b)$ of $\mathbb{C}(t)$-rational points of degree smaller than $b$ lying on $X$, has a natural structure of an algebraic variety over $\mathbb{C}$. We study the dimension and irreducibility of this variety for each $b$, and obtain a geometric analogue of the classical dimension growth conjecture in this case, namely that $\operatorname{dim} X(b) \leq mb $ for any $d \geq 2$. In particular, if $X$ is defined over $\mathbb{C}$, this provides uniform bounds on the dimension of the space of degree $b$ rational curves lying on $X$. By developing a geometric version of Heath-Brown's $p$-adic determinant method for varieties defined over $\mathbb{C}(t)$, we are furthermore able to study and bound the number of irreducible components of largest possible dimension of $X(b)$, providing an upper bound polynomial in $d$, and independent of $b$, for $d \geq 6$. This also allows us to study $C(b)$ when $C$ is a projective or affine curve, and obtain an analogue of the Bombieri--Pila theorem for affine curves (and similarly, a result for projective curves).
If $C:y^2=x(x-1)(x-a_1)(x-a_2)(x-a_3)$ is genus $2$ curve a natural question to ask is: Under what conditions on $a_1,a_2,a_3$ does the Jacobian $J(C)$ have real multiplication by $\mathbb{Z}[\sqrt{\Delta}]$ for some $\Delta>0$. Over a hundred years ago Humbert gave an answer to this question for $\Delta=5$ and $\Delta=8$. In this paper we use work of Birkenhake and Wilhelm along with some classical results in enumerative geometry to generalize this to all discriminants, in principle. We also work it out explicitly in a few more cases.
Reflexive dg categories were introduced by Kuznetsov and Shinder to abstract the duality between bounded and perfect derived categories. In particular this duality relates their Hochschild cohomologies, autoequivalence groups, and semiorthogonal decompositions. We establish reflexivity in a variety of settings including affine schemes, simple-minded collections, chain and cochain dg algebras of topological spaces, Ginzburg dg algebras, and Fukaya categories of cotangent bundles and surfaces as well as the closely related class of graded gentle algebras. Our proofs are based on the interplay of reflexivity with gluings, derived completions, and Koszul duality. In particular we show that for certain (co)connective dg algebras, reflexivity is equivalent to derived completeness.