Searcharxiv⌕ Search

arXiv subjects

Yunyang Xiao

Publications and source records attributed to Yunyang Xiao.

3 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↗

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↗