要約:
We study the $p$-adic analogue of the $\ell$-adic hypergeometric sheaves for reductive groups, called the hypergeometric $\mathscr{D}^{\dagger}(\infty)$-modules. They are overholonomic objects in the derived category of arithmetic $\mathscr{D}$-modules with Frobenius structures. Over the non-degenerate locus, the hypergeometric $\mathscr{D}^{\dagger}(\infty)$-modules define $F$-isocrystals overconvergent along the complement of the non-degenerate locus. As an application, we use the theory of $L$-functions of overholonomic arithmetic $\mathscr{D}$-modules to study hypergeometric exponential sums on reductive groups.
要約:
The multiplicity-one theorem for the simultaneous equations characterizing the superspeciality of hyperelliptic curves was established by Igusa in 1958 for genus one, and later extended by Harashita and Yamamoto in 2026 to genus two. In this paper, we generalize this result to arbitrary genus. Our approach employs the Lauricella system of type D for hypergeometric series in $2g-1$ variables, whose truncations (up to scalar multiplication) give the entries of a Cartier-Manin matrix. The multiplicity-one theorem is obtained through an analysis of equalities involving partial derivatives of these entries.
要約:
Let $\Omega \subset \mathbb{R}^n $ be an open set, and let $\mathcal{E}(\Omega)$ be the ring of infinitely differentiable functions on $\Omega$. For an ideal $I \subset \mathcal{E}(\Omega)$, we denote by $Z(I)$ its zero set. A classical result of Ren\'e Thom asserts that if $I$ is a finitely generated {\L}ojasiewicz ideal, then $Z(I)$ contains an open dense subset of smooth points. The goal of this note is to examine a converse question: does the existence of an open dense set of smooth points in $Z(I)$ ( $I\subset\mathcal{E}(\Omega) $ is a finitely generated ideal) imply that the ideal $I$ is \L{}ojasiewicz? We analyze obstructions to such a converse and identify geometric conditions under which it fails.
As an application, we study smooth real-valued functions of two variables whose zero set coincides with the classical Hawaiian earring, the union of infinitely many tangent circles accumulating at the origin. We show that any such function must be flat at the origin, in the sense that all partial derivatives vanish there. We formulate a geometric criterion concerning families of smooth arcs tangent at a point with unbounded or infinitely varying curvature, and derive from it a degenerate form of the {\L}ojasiewicz inequality adapted to this non-analytic setting.
要約:
We introduce a non-associative model for the Hilbert scheme of points in arbitrary dimension. We define a smooth ambient space, which we call the non-associative Hilbert scheme, containing the classical nested Hilbert scheme $\mathrm{NHilb}^{\underline{d}}(\mathbb{A}^n)$ as the associativity, cut out by an explicit section of an associativity bundle. This construction yields canonical perfect obstruction theories and virtual fundamental classes on $\mathrm{NHilb}^{\underline{d}}(\mathbb{A}^n)$ for all $(n,\underline d)$. Using virtual localization, we obtain closed formulas for these virtual classes as sums over admissible nested partitions. Over the punctual locus, we rewrite these as a single multivariable iterated residue formula governing all virtual integrals. Our construction works for all $n$, produces positive-dimensional virtual classes when $n$ is large compared to the number of points, and we expect that they extend the non-commutative matrix model and virtual class construction on Calabi-Yau threefolds.
要約:
The polynomials $f_{i,j}$ are introduced by Abe-Harada-Horiguchi-Masuda to produce an explicit presentation by generators and relations of the cohomology rings of regular nilpotent Hessenberg varieties. In this paper we quantize the polynomials $f_{i,j}$ by a method of Fomin-Gelfand-Postnikov. Our main result states that their quantizations $F_{i,j}$ are related to the coordinate rings of regular semisimple Hessenberg varieties. This result yields a connection between the coordinate rings of regular semisimple Hessenberg varieties and the cohomology rings of regular nilpotent Hessenberg varieties. We also provide the quantized recursive formula for $F_{i,j}$.
要約:
Given a vector bundle $E$, we give an explicit formula to compute Chern classes of Schur bundles $\operatorname{S}^\alpha E$ in terms of those of $E$.
要約:
We generalize the Cartier transform of Ogus and Vologodsky to log smooth schemes. More precisely, we generalize a local version of this transform, due to Shiho, and a topos-theoretic version, due to Oyama. Let $k$ be a perfect field of positive characteristic $p$ and equip $S=\operatorname{Spec}k$ with the trivial log structure. For a log smooth scheme $X$ over $S,$ we obtain, under the assumption that the exact relative Frobenius lifts to the Witt vectors, a fully faithful functor from the category of quasi-coherent modules on the base change $X'=X\times_{S,F_S}S$ of $X$ by the Frobenius $F_S$ of $S,$ equipped with a quasi-nilpotent Higgs field, to the category of quasi-coherent modules on $X$ equipped with a quasi-nilpotent integrable connection. In another direction, we construct crystalline-like topoi and subcategories of crystals $\mathcal{C}'$ and $\underline{\mathcal{C}},$ equivalent respectively to modules with Higgs fields and integrable connections, and a fully faithful functor $\mathcal{C}' \rightarrow \underline{\mathcal{C}}.$ Since the Frobenius morphism is not, in general, flat in the log smooth setting, it is not clear that these functors are essentially surjective. To address this issue, we refine the topoi and crystals mentioned above by endowing them with an indexed structure, inspired by Lorenzon's extension of Cartier descent to smooth logarithmic schemes. Using the Azumaya property of the ring of logarithmic differential operators, we then obtain an equivalence between the corresponding categories of indexed crystals, thereby generalizing the Cartier transform.
要約:
We study the Diophantine equation $a^5+b^5=c^5+d^5$ subject to the linear constraint $(c+d)-(a+b)=h$. We establish the necessary modular condition $30 \mid h$ and focus on the first admissible slice $h=30$. The problem reduces to finding rational sections on a genus-one fibration over $\mathbb{Q}(S)$, which need not admit a section. We explicitly construct the associated Jacobian elliptic surface $E/\mathbb{Q}(S)$. By exploiting a global rational $2$-torsion point and applying the Gusi\'c-Tadi\'c injectivity criterion for the specialization homomorphism, we prove the upper bound $\mathrm{rank}\,E(\mathbb{Q}(S))\le 1$. This result severely restricts the possible structure of infinite families of integer solutions within the slice.
要約:
We study the polynomial optimization problem of minimizing a multihomogeneous polynomial over the product of spheres. This polynomial optimization problem models the tensor optimization problem of finding the best rank one approximation of an arbitrary tensor. We show that the moment-SOS hierarchy has finite convergence in this case, for a generic multihomogeneous objective function. To show finite convergence of the hierarchy, we use a result of Huang et al. [SIAM J.Optim. 34(4) (2024), pp 3399-3428], which relies on local optimality conditions. To prove that the local optimality conditions hold generically, we use techniques from differential geometry and Morse theory. This work generalizes the main result of Huang [Optim. Lett. 17(5) (2023), pp 1263-1270], which shows finite convergence for the case of a homogeneous polynomial over a single sphere.
要約:
We construct an arithmetic period map for cubic fourfolds, in direct analogy with Rizov's work on K3 surfaces. For each $N\geq 1$, we introduce a Deligne-Mumford stack $\widetilde{\mathcal{C}^{[N]}}$ of cubic fourfolds with level structure and prove that the associated period map $j_{N}:\widetilde{\mathcal{C}^{[N]}}_{\mathbb{C}}\to {\rm Sh}_{K_{N}}(L)_{\mathbb{C}}$ is algebraic, \'etale, and descends to $\mathbb{Q}$ whenever $N$ is coprime to $2310$. As an application, we develop complex multiplication theory for cubic fourfolds and show that every cubic fourfold of CM type is defined over an abelian extension of its reflex field. Moreover, using the CM theory for rank-21 cubic fourfolds, we provide an alternative proof of the modularity of rank-21 cubic fourfolds established by Livn\'e.
要約:
Strongly Koszul algebras were introduced by Herzog, Hibi and Restuccia in 2000. The goal of the present paper is to provide an in-depth study of such algebras and to investigate how strong Koszulness interacts with the existence of a quadratic Gr\"obner basis for the defining ideal. Firstly, we prove that the existence of a quadratic revlex-universal Gr\"obner basis with a strong sparsity condition (that we name "tidiness") is a sufficient condition for strong Koszulness, and exhibit several concrete examples arising from determinantal objects and Macaulay's inverse system. We then prove that there exist standard graded algebras that are strongly Koszul but do not admit a Gr\"obner basis of quadrics even after a linear change of coordinates, thus answering negatively a question posed by Conca, De Negri and Rossi. As a bonus, we prove that strong Koszulness behaves well under tensor and fiber products of algebras and illustrate how Severi varieties and Macaulay's inverse system interact to produce examples of strongly Koszul algebras with a geometric flavor.
要約:
We construct log-motivic cohomology groups for semistable varieties and study the $p$-adic deformation theory of log-motivic cohomology classes. Our main result is the deformational part of a $p$-adic variational Hodge conjecture for varieties with semistable reduction: a rational log-motivic cohomology class in bidegree $(2n,n)$ lifts to a continuous pro-class if and only if its Hyodo-Kato class lies in the $n$-th step of the Hodge filtration. This generalises a theorem of Bloch-Esnault-Kerz which treats the good reduction case. In the case $n=1$ the lifting criterion is the one obtained by Yamashita for the logarithmic Picard group. Along the way, we relate log-motivic cohomology to logarithmic Milnor $K$-theory and the logarithmic Hyodo-Kato Hodge-Witt sheaves.
要約:
In many cases involving mirror symmetry, it is important to have concrete mirror dual families. In this paper, we construct a natural crepant resolutions of the Batyrev-Borisov mirror dual family to the complete intersection of two cubic hypersurfaces in $\mathbb P^5$. It is, similarly to the mirrors of quintic threefolds, a family over $\mathbb{P}^1$ with singular fibers over the set $\{0, \infty\} \cup \mu_6$. We compute the Picard-Fuchs equation and limiting mixed Hodge structures of the singular fibers. We find that the singular fiber over $\infty$ has maximal unipotent monodromy, and $0$ is of a new type compared to the quintic case.
要約:
We study the minimal model program for lc pairs on projective morphism between complex analytic spaces. More precisely, we generalize the results by Birkar and the second author to the setup by Fujino.
要約:
For real polynomial maps and mixed polynomial maps $f=(f^1,\dots,f^p)$, with $f(0)=0$, we introduce the notion of \textit{Inner Khovanskii Non-Degeneracy} (IKND), which generalize a previous non-degeneracy condition for complex polynomial functions introduced by Wall Wall (J. Reine Angew. Math. 509 (1999), 1-19.). We prove that IKND is a sufficient condition that ensures the link of the singularity of $f$ at the origin is smooth and well-defined. We then study one-parameter deformations of an IKND map $f$, given by $F(\bm{x},\varepsilon)=f(\bm{x})+\theta(\bm{x},\varepsilon),\ F(0,\varepsilon)=0$. We prove that the deformation is \textit{link-constant} under suitable conditions on $f$ and $\theta$, meaning that the ambient isotopy type of the link remains unchanged along the deformation. Furthermore, by employing a strong version of this non-degeneracy, \textit{Strong Inner Khovanskii Non-Degeneracy} (SIKND), we obtain results on topological triviality. Finally, as an application of our link-constancy results, we provide a complete characterization of the links arising from IKND mixed polynomial functions in two variables, thereby extending and refining the characterization previously established by Bode (Bull. Braz. Math. Soc. (N.S.) 56 (2025), no. 4, Paper No. 55).
要約:
The saturated de Rham-Witt complex, introduced by Bhatt-Lurie-Mathew in arXiv:1805.05501, is a variant of the classical de Rham-Witt complex which is expected to behave better for singular schemes. We provide partial justification for this expectation by showing that the saturated de Rham-Witt complex satisfies a dimensional vanishing property even in the presence of singularities. This is stronger than the vanishing properties of the classical de Rham-Witt complex, crystalline cohomology, or de Rham cohomology, and is instead comparable to \'etale cohomology.
要約:
Let \( f: X \to Y \) be an algebraic fiber space, where \( X \) and \( Y \) are smooth projective varieties of dimensions \( n \) and \( m \), respectively. In \cite{Caopaun}, Cao and P\u{a}un proved \( C_{n,m} \) when \( Y \) has maximal Albanese dimension. In this paper, we prove \( C_{n,m} \) in the case where the Albanese dimension $\alpha(Y)$ of \( Y \) satisfies \( \alpha(Y) \geq m-2 \).
要約:
We establish a connection between properties of partially symmetric tensors (i.e. tensors associated to linear systems of quadric hypersurfaces) and the geometry of some related loci, generalization of the Weddle loci introduced in \cite{CFF+22} for their role in the study of configurations of points and interpolation problems. In particular, we consider linear systems of plane conics and linear systems of quadric surfaces, and show that when the associated tensors have low rank, then the singularities of the corresponding Weddle loci satisfy a (sharp) lower bound. Thus, we obtain a criterion to exclude that the rank of some partially symmetric tensors is too low. In the final section, devoted to partially symmetric $n\times n\times n$ tensors which lie in one component $M$ of a standard decomposition of the space of $3$-dimensional tensors (\cite{IR22}), we prove that the number of singular points of the Weddle locus associated to a general tensor in $M$ equals the (recursively defined) $n$-th Jacobsthal number.
要約:
Let X be a smooth projective complex variety, and L a line bundle on X . We say that the linear system |L| has maximal variation if its elements have the maximum number dim|L| of moduli. We discuss four cases where this situation is expected: hypersurfaces, double coverings of the projective space, K3 surfaces, and abelian varieties.
要約:
We consider the Diophantine equation $x^4 + y^4 - w^2 = n$ for $n \in \mathbb{Z}$, which is related to near misses for the quartic case of Fermat's Last Theorem. For certain $n$ we show that the set of solutions is infinite, or more generally not thin. Our approach is via the geometry of del Pezzo surfaces of degree $2$, and we prove a more general result on non-thinness of integral points on double conic bundle surfaces.