2025-07-08 | | Total: 19
Consider a dominant rational self-map f on a smooth projective variety X defined over \overline{\mathbb{Q}}. We prove that \begin{align} \lim_{n \to \infty} \frac{h_{Y}(f^{n}(x))}{h_{H}(f^{n}(x)) } = 0, \end{align} where h_{Y} is a height associated with a closed subscheme Y \subset X of codimension c, h_{H} is any ample height on X, and x \in X(\overline{\mathbb{Q}}) is a point with well-defined orbit, under the following assumptions: (1) either f is a morphism, or Y is pure dimensional, regularly embedded in X, and contained in the locus over which all iterates of f are finite; (2) the orbit of x is generic; (3) d_{c}(f)^{1/c} < \alpha_{f}(x), where d_{c}(f) is the c-th dynamical degree of f and \alpha_{f}(x) is the arithmetic degree of x.
A refined Brill--Noether theory seeks to determine which linear series are admitted by a ``general'' curve in a particular Brill--Noether locus. However, as Brill--Noether loci are not irreducible in general, a coarse answer is given by the relative positions of Brill--Noether loci. Via an analysis of unstable Lazarsfeld--Mukai bundles on K3 surfaces, we distinguish Brill--Noether loci and provide expectations for the relative positions of Brill--Noether loci in general. Together with classical results, the refined Brill--Noether theory for curves of fixed gonality and on Hirzebruch surfaces, and explicit constructions, we identify the relative positions of all Brill--Noether loci in genus g\leq 11, and all but one locus in genus 12.
We show a special case of Steenbrink vanishing for rational singularities in positive characteristic. As a consequence, we prove that strongly F-regular threefolds and klt threefolds in characteristic p>41 satisfy Steenbrink vanishing.
We show that the optimal upper bound of the anticanonical degrees of non-Gorenstein \mathbb{Q}-factorial canonical Fano threefolds with Picard number one is 200/3.
We consider rational projective homogeneous varieties over an algebraically closed field of positive characteristic, namely quotients of a semi-simple group by a possibly non-reduced parabolic subgroup. We determine the group scheme structure of the neutral component of their automorphism group, generalizing the classical result of Demazure on automorphism groups of flag varieties.
The Cremona group of rank n over a field k is the group of birational automorphisms of the n-dimensional projective space over the field k. We study the minimal dimension such that all finite subgroups of the Cremona group have a faithful representation of that dimension over the same field. We find the exact value for rank 1 and 2 over all fields. We prove that the value is infinite for all fields of positive characteristic and rank greater than one. For many fields of characteristic 0, which include number fields and the complex field, we show that the value is finite for all ranks. Finally, for all fields of characteristic 0, we prove that the dimension is bounded below by a function that is exponential in the rank.
The Hodge Conjecture, posits a profound connection between the topology and algebraic geometry of complex algebraic varieties. It asserts that Hodge cycles, specific elements in the cohomology of a Kähler variety with rational properties, originate from algebraic subvarieties. This paper introduces a novel approach to investigate this conjecture by generalizing the concept of Zernike moments through the lens of harmonic analysis and spectral geometry. Our core idea involves defining a ``characteristic form'' \eta_Z for a Hodge cycle Z within a Kähler variety X, and expanding this form in terms of the eigenfunctions of the Laplace-Beltrami operator on Z. We hypothesize that for algebraic Hodge cycles, the coefficients of this spectral expansion (termed ``spectral fingerprints'') will exhibit specific algebraic patterns, such as being rational numbers, algebraic numbers, or algebraic functions of moduli parameters. We illustrate the computational methodology with a simplified ``toy model'' using a characteristic function on a torus, demonstrating how such coefficients can indeed be rational in a controlled setting. We then outline a conceptual framework for applying this approach to more complex scenarios, specifically K3 surfaces, by leveraging the theory of variations of Hodge structures and moduli spaces to define ``dynamic characteristic forms'' and analyze the algebraic nature of their coefficients. This framework promises to open new avenues in understanding the Hodge Conjecture by translating a deep geometric problem into a question about the algebraic properties of spectral data.
We study the connectedness of the real locus of smooth geometrically rational Fano threefolds and prove a sufficient criterion of \mathbb{R}-rationality.
In this note, we show that there exists an autoequivalence of positive categorical entropy on the derived category of certain bielliptic surfaces. This gives the first example of a surface admitting positive categorical entropy in the absence of both positive topological entropy and any spherical objects. Moreover, we prove a Gromov-Yomdin type equality for the categorical entropy of autoequivalences on bielliptic surfaces and give a counterexample of this equality on Enriques surfaces.
We construct a family of smooth supersingular curves of genus 5 in characteristic 2 with several notable features: its dimension matches the expected dimension of any component of the supersingular locus in genus 5, its members are non-hyperelliptic curves with non-trivial automorphism groups, and each curve in the family admits a double cover structure over both an elliptic curve and a genus-2 curve. We also provide an explicit parametrization of this family.
The focus of this article is the study of a certain type of singularities and their transfer properties in a universally equidimensional morphism (i.e. an open morphism with constant pure-dimensional fibers). The singularities of interest are those called weakly rational, characterized by the vanishing of the (m-1)-th direct image of the structural sheaf in a given desingularization of a complex space of dimension m. If the singular locus of the considered space has codimension at least two, this condition is equivalent to the equality, in maximal degree, of the Grothendieck dualizing sheaves {\omega} and L (whose sections extend analytically across any resolution of singularities). We show that this type of singularity transfers from the fibers and the base to the total space. Moreover, if the morphism induces local holomorphic traces (meaning it is geometrically flat), there is a transfer from the total space to the base. Finally, under certain conditions ensuring the existence of a simultaneous resolution, there is a natural transfer from the total space to the fibers, provided the base itself has such singularities.
The category of coherent sheaves over a noetherian scheme is very important for studying the properties of a given scheme. For noetherian schemes it is a well-known fact that the topology can be fully recovered from the corresponding partially ordered set of its points together with the specializaion partial order. Here we show that the same thing holds for the category of coherent sheaves over a noetherian scheme, i.e. there exists an equivalent description of this category in the "language" of this poset. First we build the equivalent notion of the structure sheaf, then we introduce the desired functor from the category of coherent sheaves to a certain category of presheaves over it, show this functor is fully faithful, describe its essential image and hence find an equivalent category for the category of coherent sheaves over a noetherian scheme. This paper is based on the author's master's thesis.
The pencil of Kuribayashi-Komiya quartics x^4 + y^4 + z^4 + t(x^2y^2 + x^2z^2 + y^2z^2)=0 \, \mbox{ where } t \in \bar{\mathbb{C}} is a complex one-dimensional family of Riemann surfaces of genus three endowed with a group of automorphisms isomorphic to the symmetric group of order twenty-four. This pencil has been extensively studied from different points of view. This paper is aimed at studying, for each prime number p \geqslant 5, the pencil of \textit{generalised Kuribayashi-Komiya curves} \mathcal{F}_p, given by the curves x^{2p}+y^{2p}+z^{2p}+t(x^p y^p +x^p z^p +y^p z^p)=0\mbox{ where } t \in \bar{\mathbb{C}}.We determine the full automorphism group G of each smooth member X \in \mathcal{F}_p and study the action of G and of its subgroups on X. In particular, we show that no member of the pencil is hyperelliptic. As a by-product, we derive a classification of all those Riemann surfaces of genus (p-1)(2p-1) that are endowed with a group of automorphisms isomorphic to the full automorphism group of the generic smooth member of \mathcal{F}_p.
In a recent paper the authors classified differentiable structures on the non-Hausdorff one-dimensional manifold \mathbb{L} called the line with two origins which is obtained by gluing two copies of the real line \mathbb{R} via the identity homeomorphism of \mathbb{R}\setminus 0. Here we give a classification of differentiable structures on another non-Hausdorff one-dimensional manifold \mathbb{Y} (called letter "Y") obtained by gluing two copies of \mathbb{R} via the identity map of positive reals. It turns out that, in contrast to the real line, for every r=1,\ldots,\infty, both manifolds \mathbb{L} and \mathbb{Y} admit uncountably many pair-wise non-diffeomorphic \mathcal{C}^{k}-structures. We also observe that the proofs of these classifications are very similar. This allows to formalize the arguments and extend them to a certain general statement about arrows in arbitrary categories.
In this paper we establish a connection between Gromov-Witten invariants and the number of degenerate fixed points of Hamiltonian diffeomorphisms on a closed rational symplectic manifold via deformed Hamiltonian spectral invariants. We prove a new cuplength estimate, in particular including Arnol'd conjecture over complex numbers, for fixed points of Hamiltonian diffeomorphisms on closed rational symplectic manifolds admitting nonzero Gromov-Witten invariants with two point insertions. We extend Schwarz's quantum cuplength to the notion of deformed quantum cuplength for symplectic periods and employ it to estimate the number of fixed points of Hamiltonian diffeomorphisms on monotone symplectic manifolds with nonzero mixed Gromov-Witten invariants. We generalize Givental's symplectic fixed point theorem for toric manifolds to closed rational symplectic manifolds admitting nonzero Gromov-Witten invariants with fixed marked points and one point insertion.
We derive explicit formulas for the Frobenius-Hecke traces of the etale cohomology of certain strata of Kottwitz varieties (which are certain compact unitary type Shimura varieties considered by Kottwitz), in terms of automorphic representations and certain explicit polynomials. We obtain our results using the trace formula, representations of general linear groups over p-adic fields, and a truncation of the formula of Kottwitz for the number of points on Shimura varieties over finite fields.
We study a generalization of Eulerian polynomials to the multivariate setting introduced by Brändén. Although initially these polynomials were introduced using the language of hyperbolic and stable polynomials, we manage to translate some restrictions of these polynomials to our real zero setting. Once we are in this setting, we focus our attention on the rigidly convex sets (RCSs) defined by these polynomials. In particular, we study the corresponding rigidly convex sets looking at spectrahedral relaxations constructed through the use of monic symmetric linear matrix polynomials (MSLMPs) of small size and depending polynomially (actually just cubically) on the coefficients of the corresponding polynomials. We analyze how good are the obtained spectrahedral approximations to these rigidly convex sets. We do this analysis by measuring the behavior along the diagonal, where we precisely recover the original univariate Eulerian polynomials. Thus we conclude that, measuring through the diagonal, our relaxation-based spectrahedral method for approximation of the rigidly convex sets defined by multivariate Eulerian polynomials is highly accurate. In particular, we see that this relaxation-based spectrahedral method for approximation of the rigidly convex sets defined by multivariate Eulerian polynomials provides bounds for the extreme roots of the corresponding univariate Eulerian polynomials that are better than these already found in the literature. All in all, this tells us that, at least close to the diagonal, the global outer approximation to the rigidly convex sets provided by this relaxation-based spectrahedral method is itself highly accurate.
Fine, regular, and star triangulations (FRSTs) of four-dimensional reflexive polytopes give rise to toric varieties, within which generic anticanonical hypersurfaces yield smooth Calabi-Yau threefolds. We employ transformers -- deep learning models originally developed for language modeling -- to generate FRSTs across a range of polytope sizes. Our models exhibit efficient and unbiased sampling, and can self-improve through retraining on their own output. These results lay the foundation for AICY: a community-driven platform that combines self-improving machine learning models with a continuously expanding FRST database to explore and catalog the Calabi-Yau landscape.
Consider a polynomial f with a convenient Newton polytope P and generic complex coefficients. By the global version of the Kouchnirenko formula, the hypersurface \{f = 0\} \subset \mathbb C^n has the homotopy type of a bouquet of (n-1)-spheres, and the number of spheres is given by a certain alternating sum of volumes, called the Newton number \nu(P). Using the Furukawa-Ito classification of dual defective sets, we classify convenient Newton polytopes with vanishing Newton numbers as certain Cayley sums called B_k-polytopes. These B_k-polytopes generalize the B_1- and B_2-facets appearing in the local monodromy conjecture in the Newton non-degenerate case. Our classification provides a partial solution to the Arnold's monotonicity problem. The local h^*-polynomial (or \ell^*-polynomial) is a natural invariant of lattice polytopes that refines the h^*-polynomial coming from Ehrhart theory. We obtain decomposition formulas for the Newton number, for instance, prove the inequality \nu(P) \ge \ell^*(P;1). The B_k-polytopes are non-trivial examples of thin polytopes. We generalize the Newton number in two independent ways: the \ell-Newton number and the e-Newton number. The \ell-Newton number comes from Ehrhart theory, namely, from certain generalizations of Katz-Stapledon decomposition formulas. It is the main ingredient in the proof of the thinness of the B_k-polytopes. The e-Newton number is the number of points of zero-dimensional critical complete intersections. Vanishing of the e-Newton number characterizes the dual defective sets. The e-Newton number calculates the algebraic degrees (Maximum Likelihood, Euclidean Distance, and Polar degrees). For instance, we show that all the known formulas for the algebraic degrees in the Newton non-degenerate case are implied by basic properties of the e-Newton number.