arXiv Science⌕ Search

arXiv subjects

Kefeng Liu

Publications and source records attributed to Kefeng Liu.

At least 19 recordsLinked to original sources
arXiv2026

Algebraicity, Hodge Gradings, and the Geometry of Period Images

We prove the algebraicity of period images in arithmetic quotients without using o-minimality. The proof uses infinitesimal neighborhoods and formal algebraization to recover the images and the maps from their algebraic sources. Hodge positivity and an algebraic ampleness criterion yield the Griffiths polarization and quasi-projectivity. For lifted images, we construct Stein neighborhoods and holomorphic matrix realizations of the Hodge filtration. On closed horizontal subspaces, we bound canonical Bergman density below by the Hodge volume form. We compare the Bergman and Griffiths--Schmid metrics near one-parameter boundaries with nontrivial unipotent monodromy and nondegenerate graded period maps, and in all directions near general one- and two-node quintic threefolds. A period surface arising from abelian threefolds shows that the upper metric comparison fails in general.

math.AG↗
arXiv2026

Fibrewise Real-Analytic Landsberg Metrics in Dimension at Least Four Are Berwald

Let $M$ be a smooth manifold of dimension $n\ge4$, and let $F$ be a smooth, strongly convex Landsberg metric, regular on the entire slit tangent bundle. We prove that $F$ is Berwald if, at each fixed base point, the Minkowski norm is real-analytic on the entire slit tangent space. The proof rests on two analytic rigidity theorems for a single Minkowski space. The first asserts that, in dimension at least $3$, a real-analytic Minkowski norm whose Hessian metric is flat is induced by an inner product. The second asserts that, in dimension at least $4$, the Hessian metric of a real-analytic Minkowski norm is flat if the entire indicatrix carries a nonzero smooth symmetric quartic form satisfying a twisted Codazzi equation. The quartic form need not be real-analytic, and the second theorem is proved independently of the first. Applying these results to the angular Berwald quartic form shows that the metric is Riemannian on the open set of base points on whose fibres the Berwald curvature is not identically zero. Since every Riemannian metric is Berwald, this set must be empty. No analytic structure, compactness or completeness of the base manifold is assumed, and the metric need not be reversible.

math.DG↗
arXiv2026

A proof of the spectral rigidity for complex projective space

We give a proof of a folklore conjecture that a compact Kähler manifold with the same scalar Laplace spectrum as complex projective space equipped with the Fubini--Study metric is holomorphically isometric to it. More generally, we prove that the spectrum of the Hodge Laplacian in any one fixed degree $p$ determines $\CP^n$ up to holomorphic isometry among compact connected Kähler manifolds, for every fixed pair of integers $(p,n)$ with $0\leq p\leq n$. Equality of a single Hodge spectrum first forces periodic geodesic flow and the integral cohomology ring of complex projective space. The ordinary first heat coefficient then identifies the total scalar curvature except on a Pell sequence of pairs. For those pairs, a clean wave-trace argument, a Krawtchouk estimate, and a mod-two projective-bundle obstruction determine the geodesic return holonomy. A canonical Kähler involution recovers a weighted first heat coefficient which is nonzero throughout the exceptional sequence. The Kobayashi--Ochiai theorem and a fixed-class second-heat-coefficient calculation complete the argument.

math.DG↗
arXiv2026

Balancing tautological intersection numbers

We prove the three balancing inequalities conjectured by the authors about 20 years ago: moving one unit from a larger index to a smaller one cannot decrease a mixed tautological intersection number, whether the two distinguished insertions are psi classes, kappa classes, or Hodge Chern classes.

math.AG↗
arXiv2026

Transverse rational curves and the homogeneity of contact Fano manifolds

We prove that every smooth complex projective contact Fano manifold is homogeneous under its connected contact automorphism group. The argument extends and simplifies the incidence method of our earlier proof of the LeBrun--Salamon conjecture. After the classical reductions, balanced transverse rational maps through every point yield tangent sections extending across the nodal boundary. These establish irreducibility and nonlinearity of the general variety of minimal rational tangents associated with contact lines, enabling Hwang's descent theorem to produce global vector fields generating the tangent bundle. Consequences include very ampleness of the contact line bundle, embeddedness of every balanced rational map, Kähler--Einstein existence, K-polystability, and the LeBrun--Salamon conjecture.

math.AG↗
arXiv2026

Uniform asymptotics and the Weil--Petersson constant

In their celebrated work on the large-genus asymptotic expansion of Weil--Petersson volumes, Mirzakhani and Zograf left open the question of whether the Weil--Petersson constant satisfies $C_{\mathrm{WP}}=π^{-1/2}$. We resolve the conjecture affirmatively. Our strategy is to consider a family of spectral curves interpolating between $y=z-4z^3$ and $y=\sin(2πz)/(2π)$. For each fixed number $n\geq2$ of marked points, we normalize the cusp coefficients using the action integral and the derivative at its first positive zero. We prove that the logarithmic derivatives of these normalized coefficients with respect to the family parameter are $O_n(g^{-1})$, uniformly along the family. The proof combines the descendant recursion, positivity, the dilaton equation, KdV, and coefficient asymptotics for the Painlevé I equation.

math.AG↗
arXiv2026

Finiteness of planar central configurations of five bodies with positive masses

We prove that, for every choice of positive masses, the planar Newtonian five-body problem has finitely many central configurations up to similarity. After normalization and removal of the translation and rotation freedoms, every physical configuration is isolated in the complex solution variety. The proof combines the classification of singular sequences by Albouy and Kaloshin with a lower bound for the potential, asymptotic estimates, and local analytic reductions.

math.DS↗
arXiv2026

Invariance of logarithmic plurigenera and adjoint volumes in Kähler families

We consider smooth proper families of compact complex manifolds over a disk whose total space is Kähler, together with a boundary divisor with relative simple normal crossings. We prove that, if the boundary is a rational divisor with coefficients in $[0,1)$, every logarithmic pluricanonical form on a fiber extends to a neighborhood of that fiber, and hence that the logarithmic plurigenera are constant. No positivity of the log canonical class is assumed. We prove further that, for real boundary coefficients in $[0,1]$, a log-adjoint class twisted by a smooth semipositive form has the same volume on every fiber, and that it is pseudoeffective either on every fiber or on none. When the log-adjoint class is nef on every fiber, we give a second proof of the extension theorem, which does not use the minimal model program.

math.CV↗
arXiv2026

Limits of Hyperkähler Manifolds and Moduli Spaces of Sheaves on K3 Surfaces

We prove that a compact strongly Gauduchon manifold which is a limit of compact hyperkähler manifolds is bimeromorphic to a compact hyperkähler manifold. This settles a case of a conjecture of Soldatenkov and Verbitsky. A closed completion of a Gauduchon metric bounds the Dirichlet energies of nearby biholomorphisms. This bound yields a meromorphic limit map, which has degree one and is therefore a bimeromorphism onto a compact hyperkähler manifold. We apply this result to moduli spaces of stable torsion-free coherent sheaves on K3 surfaces. A Bott--Chern diagonal formula gives the $\partial\bar\partial$-lemma, and positivity of determinant classes gives Kählerness, proving Perego's conjecture.

math.AG↗
arXiv2026

A proof of the framed LMOV conjecture for links

We prove the Labastida--Mariño--Ooguri--Vafa conjecture for oriented links with arbitrary integer framings. Consequently, the framed reformulated invariants have finite integral LMOV expansions for every integer framing vector.

math.GT↗
arXiv2026

Sharp parameter gaps for quantized Mabuchi energies and cscK metrics

For polarized manifolds, we show that semistability for the quantized Mabuchi energy at one fixed finite parameter is equivalent to uniform K-stability and to unique existence of constant scalar curvature Kähler (cscK) metrics. We obtain sharp comparisons between quantized Mabuchi slopes at different parameters and with the ordinary Mabuchi slope. In the presence of automorphisms, we give an equivariant criterion using torus twists under the vanishing of the Futaki character. The estimates also hold for finite-energy geodesic rays in compact Kähler classes. On a fixed ruled surface with discrete automorphism group, we construct cscK polarizations with unbounded critical parameters. Their ratios to the $α$-invariant are also unbounded.

math.DG↗
arXiv2026

Transverse rational curves and the LeBrun--Salamon conjecture

We prove that every compact connected positive quaternionic--Kähler manifold of real dimension $4n$ with $n\ge2$ is isometric to a Wolf space after rescaling the metric by a positive constant. This proves the LeBrun--Salamon conjecture. The proof uses transverse rational curves and the contact structure of the twistor space.

math.AG↗
arXiv2026

Rigidity of complex bounded domains with finite-volume quotients

We prove that any bounded convex domain in $\mathbb{C}^n$ admitting a finite-volume quotient is biholomorphic to a bounded symmetric domain. We first show that such a convex domain always has a nontrivial one-parameter family of automorphisms; the proof then relies on our solution to Kazhdan's conjecture for contractible HHR/USq domains with finite-volume quotients. More precisely, we prove that any contractible bounded domain that has the uniform squeezing property and admits a finite-volume quotient is biholomorphic to a product of a bounded symmetric domain and a contractible complex manifold with discrete automorphism group. The quotient groups are discrete and may have finite stabilizers; volume is measured with respect to the complete Kähler--Einstein metric. As a further application, we also show that the automorphism groups of Bers--Griffiths domains in $\mathbb{C}^2$, which are not biholomorphic to the bidisk, are discrete.

math.DG↗
arXiv2026

Vanishing Theorems and Complex Structures on Non-Classical Flag Domains

Let $D=G_{\mathbb R}/V$ be a non-classical flag domain with $G_{\mathbb R}$ simple. We prove that every compact quotient of $D$ by a torsion-free discrete subgroup has no nonzero closed positive $(1,1)$-currents. Consequently, on any such quotient, every nontrivial holomorphic line bundle has no nonzero global sections, and a line bundle is pseudo-effective if and only if it is unitary flat. The proof combines a self-contained root-theoretic criterion with averaging of currents, without a homogeneity assumption on the line bundle. The same root criterion proves the Green--Griffiths--Kerr vanishing conjecture for locally homogeneous bundles induced by nontrivial irreducible representations of $V$ and gives an alternative proof of the Griffiths--Robles--Toledo bracket-generation lemma. For products of flag domains, we describe all closed positive $(1,1)$-currents on compact quotients by descent to the classical factors. If the lattice has dense joint projection to the classical subproduct, every such current is smooth. For non-classical domains of Hermitian type, we give an explicit second invariant complex structure whose compact quotients are projective, whereas the original quotients are not in Fujiki class $\mathcal C$. Finally, an explicit family on $SU(2,1)/H$ shows that topologically trivial holomorphic line bundles need not be homogeneous, even when their pullbacks to all rational curves are trivial.

math.AG↗
arXiv2026

Stable ample vector bundles without semipositive Kobayashi curvature

We construct slope-stable ample rank-two vector bundles on every Hirzebruch surface $\mathbb{F}_e$ that admit no smooth strongly pseudoconvex Finsler metric with semipositive Kobayashi curvature. These examples give a negative answer to Kobayashi's problem. The same bundles give counterexamples to the smooth strongly pseudoconvex Finsler formulation of Fulton's problem and to the Hartshorne--Schneider conjecture on the convexity of complements. For $e=1$, these counterexamples have a simply connected Fano base that is not a product.

math.DG↗
arXiv2026

Khovanov homology: pro-tangles, derived colimits and spectral sequences

This paper introduces \emph{pro-tangles}, a natural generalization of classical tangles, which are functors from the Boolean cube to Bar-Natan's cobordism category. By employing the simplicial Yoneda embedding, we construct the Khovanov simplicial presheaf of a pro-tangle as the total homotopy cofiber over the punctured Boolean cube, and prove that this simplicial presheaf is representable, with representing object the classical Khovanov simplicial object. We establish a fully faithful embedding showing that the weak equivalence class of this simplicial presheaf is determined by the chain homotopy type of the Khovanov complex. Furthermore, we utilize Boolean cube decompositions to construct an algebraic spectral sequence for pro-tangles. This spectral sequence converges to the total Khovanov homology, and its $E_1$ page is explicitly expressed in terms of the Khovanov homology of reduced tangles. This categorical setup yields a functorial interpretation of Reidemeister invariance in terms of morphisms of spectral sequences. By applying the tangle TQFT construction, we study this spectral sequence for Hopf clasps, the fundamental structural building blocks in tangle and link theory. We show that the spectral sequence collapses at the $E_3$ page, which further specializes to an $E_2$-collapse under the restriction to Hopf sums. Finally, we investigate connected sums of pro-tangles and pro-links. To address the module-action dependencies arising from tensor products in multi-connected sums, we introduce a state-dependent modified tensor operator and prove a structural decomposition theorem that generalizes the classical result at the chain complex level.

math.GT↗
arXiv2026

Sections of Hodge bundles I: Global theory and applications to period maps

We study global sections of Hodge bundles arising from two complementary constructions: a deformation-theoretic construction, which yields global geometric consequences for period maps, and a construction from the matrix representation of the image of the period map, which provides an explicit Euclidean realization. Combining these perspectives, we prove that the image of the lifted period map on the universal cover is contained in a complex Euclidean subspace of the period domain, thereby giving a partial solution to a conjecture of Griffiths on the global behavior of period maps. As an application, we construct a global complex affine structure on the Teichmüller space of Calabi--Yau type manifolds.

math.AG↗