Searcharxiv⌕ Search

arXiv subjects

Jixiang Fu

Publications and source records attributed to Jixiang Fu.

At least 19 recordsLinked to original sources

Positivity of Relative Pluricanonical Direct Images via Fixed-Point Metrics

We develop a direct analytic approach to positivity of relative pluricanonical direct images through a fixed-point Hermitian metric by direct differential curvature calculations. The curvature resolvent formula from fixed-point equation leads to two-sided estimates of entire Nakano curvature by determinant curvature. In this way, we identify generic rank of determinant curvature with birational variation dimension for a projective algebraic fibration between smooth connected projective varieties with general fiber of general type and maximal birational variation, assuming $mK_F$ is globally generated or the $m$-canonical map is birational for general fiber $F$. In the global generation case, Green--Griffiths Conjecture asks for the tautological bigness of the ordinary symmetric powers $\operatorname{Sym}^{\ell}f_*ω_{X/Y}^{\otimes m}$, without passing to reflexive hulls, for $\ell\geq P_m(F)=h^0(F,mK_F)$ whenever $m\geq 1$. We prove it for all $\ell\geq1$ at levels $m\geq 2$, also in the case of birational $m$-canonical map, but construct a counterexample at level $m=1$. Over curves, curvature and boundary estimates give a direct analytic proof of Viehweg's ampleness theorem requested by Fujino. For smooth projective families, we also establish numerical dimension and vanishing results related to the birational variation dimension.

math.AG↗

Explicit Ricci-flat Metrics on Kummer K3 Surfaces

We give a convergent explicit representation of the Ricci-flat Kähler metrics supplied by the Calabi--Yau theorem in a one-parameter family of classes on a fixed Kummer K3 surface. An explicit radial background has normalized Monge--Ampère residual \(O(a^4)\). Its scalar Green operator \(G_a\) is represented by periodic Ewald kernels, separated radial kernels, finite-dimensional Schur complements, and convergent Neumann series. The coefficients are defined by \(U_{a,1}=-G_af_a\) and \(U_{a,n}=G_a\sum_{j=1}^{n-1}Q_a(U_{a,j},U_{a,n-j})\), where \(Q_a\) is the polarized quadratic Monge--Ampère term. A Green estimate of order \(a^{-1}\) gives a first correction of order \(a^3\) and a convergence parameter of order \(a^2\). A Catalan majorant proves absolute convergence on the entire smooth surface for every sufficiently small fixed \(a\). The sum defines a positive form solving the volume equation; comparison identifies the sum with the smooth normalized Calabi--Yau potential. We also record sufficient analytic conditions for the same recursion on collapsing elliptic K3 surfaces.

math.DG↗

Resolutions of compact balanced spaces

Let $X$ be a compact reduced balanced complex space of pure dimension $n\geq2$. We prove that every resolution of singularities of $X$ is a balanced manifold; in particular, $X$ belongs to the class $\mathscr{B}$. This removes the additional cohomological assumptions appearing in earlier results of Fu-Meng-Xia. The main new ingredient is the linear independence of the Aeppli classes of the exceptional prime divisors of a projective bimeromorphic morphism onto a normal complex space. This follows from the vanishing of curve degrees for Aeppli-trivial divisors and the relative negativity lemma. For non-normal spaces, strict positivity is used to eliminate divisors mapping onto codimension-one subsets before passing to the normalization. We also recall a classical surface example of Grauert showing that the inclusion of compact balanced spaces in $\mathscr{B}$ is strict.

math.CV↗

Explicit Ricci-flat metrics on a special Schoen threefold

We give an explicit convergent representation of the Ricci-flat Kähler metric in a one-parameter family of classes on a fixed special Schoen threefold. The threefold resolves a shifted square-torus quotient with sixteen disjoint elliptic singular curves. Radial Eguchi--Hanson product metrics and fixed flat collars define a positive background with an exact $a^4$ volume defect. Spherical harmonics, tangential Fourier modes, Frobenius recurrences, radial ordered integrals, and the flat quotient heat kernel specify the inverse of the background scalar linearized operator. A boundary transmission series has contraction factor $1/15$. Independent weighted zeroth-order and six-dimensional Schauder estimates give the inverse bound needed for the quadratic and cubic Monge--Ampère terms. The resulting source-degree recursion converges for $0<a\le2^{-2260}$, with explicit coefficient, potential-tail, and relative metric-tail bounds. The representation uses specified kernels, prescribed integrals, and convergent series; its parameter interval is a sufficient quantitative bound on this fixed model.

math.DG↗

Deformations of Kähler and Balanced Hyperbolicity

We study the deformation stability of Kähler and balanced hyperbolicity. We prove that Kähler hyperbolicity is open under arbitrary small holomorphic deformations, but need not be closed, even in families of smooth projective surfaces. By contrast, balanced hyperbolicity is not open in general: in every complex dimension at least five, we construct a balanced hyperbolic central fibre with non-balanced nearby fibres. We establish criteria for the deformation stability of balanced hyperbolicity using Aeppli cohomology and Lefschetz theory. For principal holomorphic torus bundles over products of curves of genus at least two, we compute the relevant hyperbolic cohomology, obtain a numerical characterization of balanced hyperbolicity, and prove its openness under small deformations.

math.DG↗

Nakai-Moishezon type criteria for Hessian type equations on compact Kähler manifolds

We establish numerical criteria for polynomial positivity of real $(1,1)$-classes on compact Kähler manifolds for strictly right-Noetherian polynomials. As applications, we obtain existence and uniqueness for the generalized Monge-Ampère equations with a smooth zeroth coefficient, the complex Hessian and Hessian quotient equations, and the critical LYZ equation. We also characterize the cone of $k$-positive classes as a connected component of a numerical positivity cone.

math.DG↗

Divisorial Rigidity and Regularity of Boundary Cases for the Supercritical LYZ Equation

We study the supercritical LYZ equation on compact Kähler manifolds at the boundary of stability. Under numerical semistability, we prove a quantitative positivity estimate on the modified nef cone. It implies that the destabilizing prime divisors form a finite exceptional family. Assuming the existence of a smooth semisubsolution, we prove that the associated intersection form is negative definite on the span of classes of these divisors. Using this rigidity, we then construct a logarithmic singular subsolution along their union and obtain a bounded Bedford--Taylor solution which is smooth on its complement.

math.DG↗

Limiting Behavior of a Class of Hermitian Yang--Mills Metrics, II: Exponential Approximation

This paper is a sequel to [9], where the first-named author constructed a family of approximate Hermitian Yang--Mills metrics $H_{0,ε}$ on stable rank-two holomorphic vector bundles arising from double spectral covers over the product of two one-dimensional complex tori. We prove that these approximate metrics give an all-order, exponentially accurate asymptotic description of the exact Hermitian Yang--Mills metrics in the large Kähler limit. More precisely, the mean curvature of $H_{0,ε}$ decays exponentially in every $C^k$-norm. Moreover, if $H_{1,ε}$ denotes the exact Hermitian Yang--Mills metric and \[ H_ε=H_{0,ε}^{-1}H_{1,ε}, \] then, after normalization, for every nonnegative integer $k$, there exist positive constants $C_k$ and $c_k$ such that \[ \|H_ε- Id\|_{C^k}\leq C_k e^{-\frac{c_{k}}ε}. \] The main analytic difficulty lies in the global $C^0$-comparison. Obtaining $C^0$-estimates for the coupled nonlinear Hermitian Yang--Mills system is intrinsically difficult; moreover, the equation controls only the contraction of the curvature, and hence only certain combinations of second derivatives, whereas one needs global control of the full matrix-valued metric.

math.DG↗

Boundary Cases of the $J$-Equation: Divisorial Rigidity and a Global $C^0$ Estimate

We study two boundary cases of the stability condition for the $J$-equation. First, under the $J$-semistable condition, we show that the destabilizing prime divisors form an exceptional family in the sense of Boucksom, with a uniform numerical gap away from them. The related modified nef estimate can remove the $J$-big assumption in Liu's work~\cite{Liu2026Boundary}. Second, under the smooth boundary cone condition, we obtain a uniform global $C^0$ estimate for solutions of the approximating twisted $J$-equations. As a consequence, we construct a bounded-potential Bedford--Taylor solution of the $J$-equation, which is smooth outside the destabilizing prime divisors.

math.DG↗

A Numerical Criterion for the 2-Hessian Equation on Compact Kähler Manifolds

We show that a Nakai--Moishezon-type criterion associated with the complex $2$-Hessian equation produces a Gauduchon class. In complex dimension three, this numerical criterion is equivalent to the existence of a smooth $2$-admissible representative and hence to the solvability of the $2$-Hessian equation. As consequences of these results, we prove the corresponding conjectures of Murakami for the complex Hessian equation and of Székelyhidi for the Hessian quotient equation in dimension three. We also establish a boundary version of the above results.

math.DG↗

Limiting behavior of a class of Hermitian Yang-Mills metrics, II: exponential decay

In this note, the geometric set-up, the rank two bundle, the local HYM ansatz, and the global gluing construction are the same as in the preceding work \cite{Fu}. The new point is an exponential estimate for the radial ordinary differential equation obtained near each branch point. If $u_ε$ denotes the local radial solution and $\frac12\ln r$ the singular limiting solution, then for every integer $k\ge0$, there exist positive constants $C_k$ and $c_k$ such that \[ \big\| u_ε- \frac12\ln r \big\|_{C^k([r_0,2r_0])} \le C_k e^{-c_k/ε}. \] Consequently, all results of the preceding paper can be refined.

math.DG↗

The Critical LYZ Equation in Kähler Geometry

We establish the existence of smooth solutions for the LYZ equation at the critical phase $θ=(n-2)\fracπ{2}$, thereby solving the critical case of a problem posed by Collins-Jacob-Yau and Li concerning the solvability for phase $θ\leq (n-2)\fracπ{2}$. As applications, we solve the 3D Hessian equation $σ_2 = 1$ and the 4D Hessian quotient equation $σ_3 = σ_1$ under weaker assumptions than previously required.

math.DG↗

A new flow solving the LYZ equation in Kähler geometry

We introduced a new flow to the LYZ equation on a compact Kähler manifold. We first show the existence of the longtime solution of the flow. We then show that under the Collins-Jacob-Yau's condition on the subsolution, the longtime solution converges to the solution of the LYZ equation, which was solved by Collins-Jacob-Yau [5] by the continuity method. Moreover, as an application of the flow, we show that on a compact Kähler surface, if there exists a semi-subsolution of the LYZ equation, then our flow converges smoothly to a singular solution to the LYZ equation away from a finite number of curves of negative self-intersection. Such a solution can be viewed as a boundary point of the moduli space of the LYZ solutions for a given Kähler metric.

math.DG↗

The Monge-Ampère equation for $(n-1)$-quaternionic PSH functions on a hyperKähler manifold

We prove the existence of unique smooth solutions to the quaternionic Monge-Ampère equation for $(n-1)$-quaternionic plurisubharmonic functions on a hyperKähler manifold and thus obtain solutions for the quaternionic form type equation. We derive $C^0$ estimate by establishing a Cherrier-type inequality as in Tosatti and Weinkove [22]. By adopting the approach of Dinew and Sroka [9] to our context, we obtain $C^1$ and $C^2$ estimates without assuming the flatness of underlying hyperKähler metric comparing to previous results [14].

math.DG↗

On the global generation of higher direct images of pluricanonical bundles

Given a fibration $f$ between two projective manifolds $X$ and $Y$, we discuss the effective generation of the higher direct images $R^{i}f_{\ast}(K^{m}_{X})$, where $K^{m}_{X}$ is the $m$-th tensor power of the canonical bundle of $X$. In particular, we answer two questions posed by Popa--Schnell in [PS14].

math.AG↗