We introduce a geometric construction whose terminal configuration determines the kernel and cokernel of a morphism between positive Lagrangian branes in the derived Fukaya category of a Calabi-Yau manifold. Thus, if the construction always terminates, the full subcategory of positive Lagrangian branes is abelian, as conjectured by Joyce. We show that this abelian category admits Harder-Narasimhan filtrations with respect to the central charge defined by the holomorphic volume form. Under appropriate split-generation assumptions, we construct a Bridgeland stability condition whose stable objects are isomorphic to special Lagrangian branes, as predicted by the Thomas-Yau conjecture. The geometric construction is based on a one-parameter family of special Lagrangian submanifolds with boundary. One part of the boundary is contained in the Lagrangian underlying the domain of the morphism…
In the context of compact moduli spaces of Kollár, Shepherd-Barron, and Alexeev stable surfaces, a degeneration can acquire an exceptional K3 component in the limit, or more simply a K3 tail. We study this phenomenon for Kunev surfaces: minimal surfaces of general type with $K^2=p_g=1$ that arise as $(\mathbb{Z}/2\mathbb{Z})^2$-covers of the projective plane branched along two general cubics and a line. We classify the K3 tails that occur when the branch curve degenerates to a singular curve with a non-log canonical isolated semi-quasihomogeneous singularity, and describe the corresponding boundary strata. This builds on the Kerr-Laza classification of K3 tails arising from isolated semi-quasihomogeneous hypersurface singularities.
We prove that over $\mathbb{C}$, for any smooth projective curve $\mathscr{C}$ and any smooth hypersurface $V \subset \mathbb{P}^n$ of degree $d$ such that $n \geq 2^d(d-1)$, Faisant's equidistribution principle holds for $(\mathscr{C},V)$. In other words, for any reasonable set of jet conditions $W$, the moduli space $\mathrm{Hom}^e(\mathscr{C},V|W)$ of degree $e$ maps $\mathscr{C} \to V$ satisfying conditions $W$ converges in the Grothendieck ring of complex varieties, after renormalisation, as $e \to \infty$. This provides the dimension and decomposition into irreducible components of $\mathrm{Hom}^e(\mathscr{C},V|W)$ for $e$ large enough. The strategy follows Bilu and Browning's motivic version of the circle method, and Hase-Liu's framework for genus $\geq 1$.
We study quasi-isometry classes of automorphism groups of K3 surfaces using Sierpiński spaces. We introduce K3 surfaces of Sierpiński type and prove that their limit sets are round Sierpiński spaces. For such K3 surfaces, the quasi-isometry class of the automorphism group is equivalent to the rational isometry class of the Néron--Severi lattice together with its integral roots. As an application of this rigidity, we construct infinitely many quasi-isometry classes of hyperbolic automorphism groups in Picard rank 4. This reveals a new phenomenon in Picard rank 4, sharply contrasting with the finiteness of quasi-isometry classes in Picard ranks at most 3 and at least 6.
We classify the lattice polytopes arising from vertex-weighted oriented graphs that have the integer decomposition property (IDP). Allowing vertex weights and edge orientations introduces non-vertex lattice points in the polytope which need to be accounted for when studying the IDP. We can then identify forbidden induced subgraphs in the sense that their presence obstructs the IDP for the supergraph. We establish positive results for several families of graphs under suitable orientation and coprimality conditions, including weighted oriented paths and cycles, and show that any weighted oriented tree with a unique sink has the IDP.
In this paper, we study the properties of the real log canonical threshold $\text{rlct}(X,Y)$ associated with a pair $(X,Y)$ and the real log canonical thresholds with signs $\text{rlct}^{\pm}(f)$ associated with a polynomial function $f: \mathbb{R}^d \to \mathbb{R}$. In particular, we relate these invariants to other invariants arising from the theory of motivic integration. We also show how to compute these invariants in several particular cases, including the Newton non-degenerate case and the case of analytically irreducible plane curve germs.
We exhibit a congruence subgroup $Γ\subset\operatorname{SL}(2,\mathbb{Z})$ of level $120$ and index $23040$ whose modular curve $X_Γ$ has genus $1777$ and whose Jacobian is isogenous over $\overline{\mathbb{Q}}$ to a product of elliptic curves. This surpasses the previous record of a completely decomposable complex Jacobian of dimension $1297$ found by Ekedahl and Serre in $1993$.
We prove that for every nonempty smooth projective variety $X$ over an arbitrary field and every Brauer class $α$, the twisted derived category $D^b(X,α)$ admits a Bridgeland stability condition with full numerical support. Based on Chunyi Li's construction and its extension to arbitrary fields, we establish uniform phase control under tensoring by an Azumaya algebra and calibrate the resulting slicing to the induced central charge. We further show that the constructed stability condition is geometric and satisfies a mass--Hom bound, which persists throughout its connected component.
This note explains the counterexamples to Lee's conjecture on pseudo-Einstein structures obtained in joint work with Yoshinori Gongyo, Kengo Hirachi, and Shuya Matsumoto. The examples are links of normal isolated singularities and occur in every odd real dimension at least three. Each link has vanishing first Betti number and vanishing integral first Chern class of its CR structure, yet admits no pseudo-Einstein structure. We explain how finite first homology relates the existence problem on the link to the canonical divisor at the singular point. For the higher-dimensional examples, we describe the key obstruction directly in terms of the first normal derivatives of the transition functions of a line bundle along an exceptional hypersurface.
We study Chern characteristic classes of normal vector bundles of complex generalized flag submanifolds $G_{n-1}/P_{n-1}$ in complex generalized flag manifolds $G_n/P_n$. This procedure can be regarded as the relative version of Schubert calculus for the pair $G_{n-1}/P_{n-1}$ and $G_n/P_n$. The CW structure and additive structure of the cohomology of $\mathrm{Gr}(n, k)$ allows inductive calculation of Chern classes of the canonical and complementary canonical vector bundles over $\mathrm{Gr}(n, k)$. The combination of representation theory and algebraic geometry allows to derive analogous properties for the isotropic Grassmannians $\mathrm{LGr}(m, k)$ and $\mathrm{OGr}(m, k)$ via their embeddings in $\mathrm{Gr}(m, k)$. Then the induced CW structure yields the additive structure on the cohomology of $\mathrm{LGr}(m, k)$ and $\mathrm{OGr}(m, k)$, and consequently leads to the…
Let $k$ be an algebraically closed field of not necessarily characteristic $0$, and $d,n$ be integers $\ge 2$. We first formulate the dynamical moduli spaces of rational functions defined over $k$ in terms of the intrinsic reduction data of non-archimedean rational functions. As an application, we show that the locus $C_{d,n}$ of semistable intrinsic reduction data in degree $d$ whose $n$th iteration is defined and unstable is of codimension $d$ in the intrinsic reduction data space of degree $d$, settling a conjecture of Kiwi and Nie, and show that the image of $C_{d,n}$ in the compactified dynamical moduli $\overline{\mathrm{M}}_{d,k}$ is of dimension $\le d-2$ and the equality holds precisely either if $d$ is even or if $d\ge 5$ is odd and $(4/d)^n<1/(d-3)$ and determine the dimensions even for all the five exceptional pairs $(d,n)$, in addition describing the images of $C_{3,n}$…
We establish a version of Okounkov's conjecture on multiple $q$-zeta values arising from integrals over Hilbert schemes of points on smooth projective surfaces. We prove that normalized generating series of integrals involving products of Chern characters of tautological bundles belong to the algebra $\mathcal Z_q$ of multiple $q$-zeta values, without restrictions on the canonical class of the surface. The proof combines vertex-operator methods with a reduction to graph sums, whose arithmetic structure is governed by the cohomology of the surface. We also derive a closed universal formula for the Chern character operators acting on the cohomology of Hilbert schemes by solving a system of differential equations arising from Lehn's commutator relations.
We compute projective degrees of composition loci for polynomial and rational maps of the projective line. For normalized polynomials of degree $rs$ with a right composition factor of degree $s$, a projective-bundle construction gives the degree $S(r+s-2,r)$. We extend this calculation to composition chains, and obtain $S(r+s-1,r)$ in the uncentered normalization used for decomposable interpolation. For rational maps, a Grassmann-bundle model gives a Plücker degree formula and an interpretation by prescribed critical points. We relate these loci to factorization of the Bezoutian in the ring of symmetric polynomials, where factors correspond to monodromy orbits on unordered pairs. Fried's polynomial criterion then determines the invariant reducibility locus. For rational maps we determine its composition components when a marked pole fiber has exactly one ramified point and at least one…
We study inequalities between symmetric functions that hold in every number of variables. First, we prove that it is undecidable whether a symmetric function with rational coefficients is nonnegative in all dimensions, answering a question posed by Acevedo, Blekherman, Debus and Riener. As a consequence, the validity of dimension-free moment criteria for entanglement in quantum information is undecidable. Second, we present a homogeneous symmetric function of degree 8 which is positive definite in every dimension but admits no sum of squares multiplier that is uniform in the number of variables. Consequently, Artin's solution of Hilbert's 17th problem and the Krivine-Stengle Positivstellensatz have no any-dimensional analog and any-dimensional Positivstellensätze asked for by Levin and Chandrasekaran cannot hold in general.
We study the category of bounded complexes of finite sums of indecomposable injectives over a locally Noetherian scheme, which we call the immaculate complexes. We show that regularity and finiteness of dimension can be detected from this category using strong generation. Our methods involve studying when the unbounded derived category of a Grothendieck category is strongly generated by injectives. As applications we prove a conjecture of Hartshorne and recover a result of Keller and Krause. To any specialisation closed subset we associate a semi-orthogonal decomposition of the immaculates and use this to compute additive finitary invariants in terms of the completions of the local rings. The immaculates are equivalent to the perfect derived category of a left coherent preadditive category i.e. a ring with many objects and we compute this category for one-dimensional integral or…
We use a highly parallelized backtracking algorithm implemented in CUDA to enumerate every compatible collection of Harnack splits in degrees eight and nine. By a theorem of Haas (1997) this yields every maximal T-curve. In this way, we find that exactly 38 real schemes of real plane algebraic curves of degree eight with 22 real components and 225 of degree nine with 29 real components are realized by combinatorial patchworking.
We construct a 4-dimensional family of projective hyperkähler fourfolds of Kummer type. A general member of this family can be described as an irreducible component of a complete intersection of Heisenberg-invariant cubics in an 8-dimensional projective space. Several properties of the corresponding moduli space are also obtained. Our arguments rely on specializing to the case of generalized Kummer fourfolds of genus-two Jacobians, and make use of classical results dating back to Burkhardt and Coble.
We characterize products of projective spaces and smooth quadrics using Schur functors and positivity of vector bundles. First, we obtain characterizations of projective spaces and smooth quadrics using positivity of arbitrary Schur functors of extensions of a unipotent bundle by the tangent bundle, generalizing several existing results. We then prove that almost nef regular foliations whose direct sum is a subbundle of the tangent bundle determine a product decomposition, if the corresponding Schur functors admit suitable positive Schur submodules. For smooth weak Fano varieties similar results are obtained by replacing almost nefness and individual integrability of the foliations by the integrability of their total image. As special cases, we obtain product analogues of well-known characterizations of projective spaces and quadrics.
Let $X$ be a smooth projective curve of genus $g$ over an algebraically closed field $k$ of characteristic $p>2$. We give upper bounds for the $a$-number $a(X)$ when $X$ is hyperelliptic or, more generally, a tame cyclic cover of the projective line. For hyperelliptic curves, writing $g=pm+r$ with $0\le r<p$ and $n=(p-1)/2$, we prove the sharp bound $a(X)\le nm+\min\{n,r\}$. For tame cyclic covers, we refine previously known upper bounds and give curves attaining the resulting bound in infinitely many genera in characteristics $3$ and $5$. The proofs combine an alternating pairing on the bundle of locally exact differentials, originally due to Raynaud, with an explicit polynomial description of the Cartier operator. We also produce an explicit locus of hyperelliptic curves $X$ with $a(X)\ge a_g$, where $\frac{a_g}{g}$ converges to $\frac{p-1}{2p}$ as $g$ goes to $\infty$, whose…
We prove that a reduced complex analytic germ is weighted homogeneous if and only if, in suitable local coordinates, it admits a holomorphic vector field vanishing at the origin and pointing strictly outward along a single sufficiently small link. On a connected link, transversality suffices. The criterion applies in arbitrary codimension, including to non-isolated singularities. The proof uses a compact composition operator to control the spectrum on the Zariski tangent space and obtains a positive grading from the resulting spectral condition.
We study the top-weight sheaf $\mathcal W_n$ of linearly constrained Kloosterman sums over finite fields of odd characteristic, of rank $r(n)=2^n-\binom n{\lfloor n/2\rfloor}$. A local Fourier-transform analysis describes wild monodromy at infinity along rays through nonescaping critical points and their quadratic characters, giving explicit Swan conductors and the escape locus. The resulting stationary-phase description yields a ray-theoretic proof of the geometric determinant. A reflection pairing and a Frobenius calculation at the tame endpoint recover the arithmetic determinant $\det\mathcal W_n\simeq\mathcal L_ψ(-2^{n-1}λ^{-1}\sum_i h_i)\otimes\overline{\mathbb Q}_\ell(-(n+1)r(n)/2)$. We obtain reciprocity for exterior-power Frobenius traces, the exact distribution of normalized determinants, and spectral compression on symmetric loci. Assuming the ambient connected-monodromy…
We describe a quantization procedure for Betti mapping stacks with shifted Poisson targets by combining factorization homology and formal geometry. We quantize derived stacks of local systems of low-dimensional manifolds.
Building on Liu's and Liu--Sheshmani's systematized description of Kontsevich's localization methods in toric varieties, we develop a computational framework for genus-zero Gromov--Witten invariants of smooth projective toric varieties and their smooth complete intersections. This is grounded in equivariant localization and the combinatorial structure of toric fans. We describe how the geometric data required by the localization formulas can be recovered directly from the fan and extend the existing software for flag varieties to compute the small quantum multiplication by the first Chern class. The implementation also incorporates cyclic determinants and regularized-exponent multisets, providing computational tools for investigating the atomic decomposition of quantum cohomology. Using this framework, we obtain the nonrationality of every smooth complete intersection of a quadric and a…
Let $Q$ be a quiver and let $\mathbf{d}$ be a dimension vector. We prove that the affinized BPS cohomology of the stack of $\mathbf{d}$-dimensional representations of the preprojective algebra $Π_Q$ is generated by its reduced virtual fundamental class under the action of tautological classes. This is a generalisation to singular quiver varieties of the Kirwan surjectivity statement of McGerty-Nevins for smooth framed quiver varieties. We prove that the statement holds for every King stability condition. To prove this, we attach legs to vertices of $Q$ and construct a correspondence with a smooth quiver variety for the extended quiver. This correspondence sends the reduced virtual fundamental class of the singular preprojective quiver stack to the Vandermonde determinant capped with the fundamental class of the smooth preprojective quiver stack for the leg-extended quiver. We construct…
We introduce a new class of toric varieties which admit an HKKN stratification compatible with the combinatorics of the GKZ fan. This class includes all smooth projective toric varieties of Picard ranks 1 and 2. We show that the grade restriction windows due to Halpern-Leistner and Ballard--Favero--Katzarkov arising from our HKKN stratifications agree with the intrinsic window categories appearing in work of Ballard--Berkesch--Brown--Cranton Heller--Erman--Favero--Ganatra--Hanlon--Huang. On the other hand, we provide an example of a smooth projective toric DM stack where this intrinsic window is never a grade restriction window despite the many possible choices. As an application, we demonstrate that reordering and/or taking a subset of an HKKN stratification sometimes changes the grade restriction window and sometimes does not.