--- title: Miyaoka–Yau Inequality Overview url: https://www.emergentmind.com/topics/miyaoka-yau-inequality type: topic --- # Miyaoka–Yau Inequality Overview The Miyaoka–Yau inequality is a family of Chern class inequalities governing complex varieties whose canonical or anti-canonical geometry is sufficiently positive, flat, or controlled by stability. In its classical surface form it is the Bogomolov–Miyaoka–Yau inequality \(c_1^2 \le 3c_2\); in higher dimension it takes the form \[ \bigl(2(n+1)c_2 - n c_1^2\bigr)\cdot [K_X]^{n-2}\ge 0, \] and it has been extended to orbifolds, klt spaces, log pairs, compact Kähler spaces, and more specialized settings such as hyperplane arrangements in \(\mathbb{CP}^n\) [1511.08822] [2411.09573]. ## 1. Classical formulation and differential-geometric origin For smooth minimal surfaces of general type, the inequality is \[ c_1(T_X)^2 \le 3\,c_2(T_X), \] equivalently \(c_1(X)^2 \le 3c_2(X)\). In higher dimension, Yau’s Kähler–Einstein framework yields \[ \bigl(2(n+1)c_2(X)-n\,c_1(X)^2\bigr)\cdot [K_X]^{n-2}\ge 0 \] for compact Kähler manifolds with ample \(K_X\); when \(n=2\), this reduces exactly to the surface inequality [1511.08822]. A fundamental differential-geometric expression is the Chern–Weil identity \[ \bigl( 2(n+1)\, c_2(X) - n\, c_1(X)^2 \bigr) \cdot [\omega]^{n-2} = \frac{1}{4\pi^2\, n(n-1)} \int_X \left( (n+1)\, |\operatorname{Rm}_c(\omega)|^2 - (n+2)\, |\operatorname{Ric}_c(\omega)|^2 \right)\, \omega^n, \] where \(\operatorname{Rm}_c(\omega)\) and \(\operatorname{Ric}_c(\omega)\) are the trace-free curvature and trace-free Ricci components. This identity clarifies why the inequality is a curvature constraint: it compares a Chern number combination to an \(L^2\)-norm of curvature tensors [1802.05425]. In the smooth negatively curved setting, equality is rigid. If equality holds for a compact Kähler manifold with \(K_X\) ample, then the trace-free curvature vanishes, the metric has constant negative holomorphic sectional curvature, and the universal cover is the complex unit ball \(\mathbb{B}^n\) [1511.08822]. This equality phenomenon is the prototype for later uniformization theorems in singular, orbifold, and logarithmic settings. ## 2. Singular, orbifold, and logarithmic formulations A major development is the replacement of ordinary Chern classes by orbifold or \( \mathbb{Q}\)-Chern classes of reflexive sheaves. For an \(n\)-dimensional projective klt variety of general type with nef \(K_X\), the orbifold Miyaoka–Yau inequality is \[ \bigl(2(n+1)\, c_2^{\mathrm{orb}}(T_X) - n\, c_1^{\mathrm{orb}}(T_X)^2\bigr)\cdot [K_X]^{\,n-2} \ge 0. \] This formulation uses the reflexive tangent sheaf, Higgs sheaves, semistability, and a \( \mathbb{Q}\)-Bogomolov–Gieseker inequality on klt spaces [1511.08822]. For minimal dlt pairs \((X,D)\) with standard coefficients and \(K_X+D\) nef, the inequality takes an orbifold-logarithmic form. If \(\nu=\nu(K_X+D)\), \(i=\min(\nu,n-2)\), and \(j=n-i-2\), then \[ \bigl( 2(n+1)\, c_2(X,D) - n\, c_1(X,D)^2 \bigr)\cdot (K_X + D)^{i}\cdot H^j \ge 0 \] for any ample divisor \(H\). When \(K_X+D\) is nef and big, the mixed term simplifies to \((K_X+D)^{n-2}\) [1611.05981]. The same logic has a stack-theoretic realization. For a smooth proper Deligne–Mumford surface \(\mathcal X\) with projective coarse moduli space and nef \(K_{\mathcal X}\), \[ 3\,c_2(T_{\mathcal X}) \ge c_1(T_{\mathcal X})^2. \] In codimension one, root-stack constructions recover logarithmic inequalities of the form \((K_X+D)^2 \le 3e_{\mathrm{orb}}(X,D)\); in codimension two, the formula reproduces Miyaoka-type bounds for quotient singularities [1101.3481]. These singular and orbifold formulations preserve the original philosophy of the inequality while replacing smooth Chern classes by invariants adapted to quotient singularities, adapted covers, or orbifold charts. The decisive inputs are semistability of tangent or cotangent objects and Bogomolov–Gieseker-type inequalities in the appropriate category. ## 3. Equality and uniformization The equality case is the rigid core of Miyaoka–Yau theory. For minimal varieties of general type with terminal singularities and nef \(K_X\), equality in the orbifold inequality implies that the canonical model is smooth in codimension two and admits a finite Galois quasi-étale cover by a ball quotient. Equivalently, the canonical model is a singular ball quotient, meaning it is projective, klt, smooth in codimension two, \(K_X\) is ample, and equality holds in the orbifold Miyaoka–Yau expression [1511.08822]. For compact Kähler klt pairs \((X,\Delta)\) with standard coefficients, the equality theory bifurcates according to the sign of \(K_X+\Delta\). If \(K_X+\Delta\) is ample and equality holds in the orbifold Miyaoka–Yau inequality, then the orbifold universal cover is \(\mathbb{B}^n\). If \(c_1(K_X+\Delta)=0\) and equality holds in the flat version \[ \check c_2(X,\Delta)\cdot \alpha^{n-2}=0, \] then the orbifold universal cover is \(\mathbb{C}^n\) [2305.04074]. In positive curvature, the analogous equality theory uses the canonical extension of the orbifold tangent sheaf. For a log Fano pair \((X,\Delta)\) with standard coefficients, semistability of the canonical extension together with \[ \bigl(2(n+1)\, c_2(X,\Delta) - n\, c_1(X,\Delta)^2\bigr)\cdot H^{\,n-2}=0, \qquad H=c_1(-(K_X+\Delta)), \] implies that the orbifold universal cover is \(\mathbb{P}^n\), equivalently \((X,\Delta)\cong (\mathbb{P}^n/G,\Delta_G)\) for a finite group \(G\subset PGL(n+1,\mathbb C)\) [2501.05887]. Equality also has flat orbifold incarnations on surfaces of Kodaira dimension \(0\). For smooth-orbifold K3 and Enriques surfaces, equality in the orbifold Bogomolov–Miyaoka–Yau inequality is characterized by uniformization by \(\mathbb{C}^2\). In the K3 case, this is tied to generalized Kummer surfaces \(X=\mathrm{Km}(T,G)\), where equality is realized on quotient orbifolds \(T/G\) and the uniformization group is a lattice in the affine automorphism group of \(\mathbb C^2\) [1708.09358]. Recent work also shows that these equality cases can be topologically rigid. Singular ball quotients, singular torus quotients, and projective spaces are characterized by Chern-class equalities and, in several cases, by homeomorphism type among projective klt varieties [2309.14121]. ## 4. Kähler, nef/big, and intermediate-Kodaira-dimension extensions The classical projective hypothesis is not essential for many modern formulations. For compact Kähler manifolds with semi-positive \(K_X\), one has \[ \left( 2(n+1)\, c_2(X) - n\, c_1(X)^2 \right)\cdot c_1(K_X)^{n-2} \ge 0, \] proved via the normalized Kähler–Ricci flow and an \(L^2\)-estimate for the scalar curvature [1802.05425]. A shorter argument using constant scalar curvature Kähler metrics near the canonical class yields the same inequality for every compact Kähler manifold with nef canonical bundle, that is, for every smooth minimal model in the Kähler sense [2012.14096]. In the singular Kähler setting, minimal Kähler klt spaces satisfy a mixed Miyaoka–Yau inequality depending on the numerical dimension \(v=v(K_X)\). If \(i=\min(v,n-2)\), then for any Kähler class \([\omega_X]\), \[ \bigl(2(n+1)\,c_2^{\mathrm{orb}}(X)-n\,c_1^{\mathrm{orb}}(X)^2\bigr)\cdot K_X^i\cdot[\omega_X]^{n-2-i}\ge 0. \] This statement is obtained from generalized Bogomolov inequalities for Higgs sheaves on compact Kähler klt spaces and from analytic estimates for twisted Kähler–Einstein metrics on resolutions [2503.13365]. When the relevant class is big but not nef, the polarization is replaced by a non-pluripolar product. For projective klt \(n\)-folds with big \(K_X\), \[ (2(n+1)\widehat c_2(X)-n\widehat c_1(X)^2)\cdot \langle c_1(K_X)^{n-2}\rangle \ge 0. \] There is an anti-canonical counterpart for klt varieties with big \(-K_X\) under K-semistability, again polarized by a non-pluripolar product [2507.08522]. A recent \(\nu\)-sensitive extension interpolates between the numerically trivial and general-type endpoints. If \(X\) is a minimal projective klt \(n\)-fold with numerical dimension \(\nu=\nu(K_X)\ge2\), then for sufficiently small rational \(\epsilon>0\), \[ (2(\nu+1)c_2(X)-\nu c_1(X)^2)\cdot (K_X+\epsilon H)^{n-2}\ge0 \] for any ample Cartier divisor \(H\). Equality is characterized by a finite quasi-étale Galois cover \(X'\to X\) with \(X'\cong A\times B\), where \(A\) is an Abelian variety of dimension \(n-\nu\) and \(B\cong \mathbb B^\nu/\Lambda\) is a smooth ball quotient [2601.15138]. There is also an anti-canonical nef version. For an \(n\)-dimensional projective manifold with nef \(-K_X\), if \[ \limsup_{\epsilon\to0}\delta(-K_X+\epsilon A)>1 \] for some ample line bundle \(A\), then \[ (2(n+1)c_2(X)-n c_1(X)^2)\cdot c_1(-K_X)^{n-2}\ge0. \] If \(-K_X\) is nef and big, equality is equivalent to the anti-canonical model admitting a finite codimension-one étale cover [2403.09120]. ## 5. Arrangement-theoretic and combinatorial incarnations A striking recent development is the translation of Miyaoka–Yau into discrete geometry for hyperplane arrangements. Let \(\mathcal H\) be a hyperplane arrangement in \(\mathbb{CP}^n\). One defines a quadratic form \(Q\) on \(\mathbb{R}^{\mathcal H}\), determined entirely by the intersection poset of \(\mathcal H\), by \[ Q(a) = 4(n+1)\left[ \sum_{L \in L^{n-2}} a_L^2 - \frac12 \sum_{H \in \mathcal H} B_H a_H^2 - \frac{s(a)^2}{2(n+1)} \right], \] with \(s(a)=\sum_{H\in\mathcal H}a_H\) and \(a_L=\frac12\sum_{H\supset L}a_H\). If the weighted arrangement \((\mathcal H,a)\) is stable, then \(Q(a)\le0\) [2411.09573]. The proof uses the minimal De Concini–Procesi resolution, a locally abelian parabolic structure on \(E=\pi^*(T\mathbb{CP}^n)\), and Mochizuki’s parabolic Bogomolov–Gieseker inequality. On the Calabi–Yau slice \(s(a)=n+1\), the leading coefficient of the parabolic second Chern class is precisely the quadratic expression defining \(Q\), so the arrangement inequality is a genuine Miyaoka–Yau-type statement in combinatorial disguise [2411.09573]. In the symmetric case of equal weights, the inequality becomes a lower bound on codimension-two multiplicities. If \(N=|\mathcal H|\), then \[ \sum_{L\in L^{n-2}} m_L \ge \left(1-\frac{2}{n+1}\right)N^2+N. \] Equality holds if and only if every hyperplane \(H\in\mathcal H\) meets the others along \[ \left(1-\frac{2}{n+1}\right)N+1 \] codimension-two subspaces, extending Hirzebruch’s condition from line arrangements in \(\mathbb{CP}^2\) to higher dimension [2411.09573]. Earlier orbifold-logarithmic methods already produced Hirzebruch-type inequalities for plane curve arrangements. For a line arrangement with no point of multiplicity greater than \(\lfloor k/2\rfloor\), Langer’s orbifold Miyaoka–Yau inequality yields \[ t_2+\frac34 t_3 \ge k+\sum_{r\ge5}(r-4)t_r, \] improving the classical Hirzebruch inequality in that range [1612.05141]. The arrangement version in \(\mathbb{CP}^n\) may therefore be viewed as a higher-dimensional parabolic generalization of an already established log-surface paradigm. ## 6. Related variants and broader scope The Miyaoka–Yau mechanism extends beyond the minimal or general-type locus, but often with modified coefficients or correction terms. For every smooth projective non-uniruled variety \(X\) of dimension \(n\) and any ample divisor \(H\), one can write \[ K_X=P+N,\qquad P\cdot N\cdot H^{n-2}=0, \] with \[ (3\,c_2(X)-c_1(X)^2)\cdot H^{n-2}\ge N\cdot H^{n-2}. \] If \(K_X\) is nef, then \(N=0\), recovering Miyaoka’s algebraic inequality \((3c_2-c_1^2)\cdot H^{n-2}\ge0\) [2208.01343]. In positive characteristic, the classical surface inequality fails in its characteristic-zero form, but a substitute survives. For a minimal smooth projective surface of general type over an algebraically closed field of characteristic \(p>0\), \[ K_S^2 \le 32\,\chi(\mathcal O_S). \] If \(18\,\chi(\mathcal O_S)0 \] [2109.05414]. Across these variants, the same structural pattern recurs. The inequality is obtained from some combination of semistability, Bogomolov–Gieseker-type estimates, Chern–Weil identities, Kähler–Einstein or Ricci-flow methods, and carefully chosen polarizations. Equality, when understood, is typically uniformizing: it singles out ball quotients, torus quotients, projective-space quotients, or their orbifold analogues. This suggests that the Miyaoka–Yau inequality is best regarded not as a single formula, but as a rigidity principle linking curvature, stability, and the birational or orbifold structure of complex varieties [1511.08822] [2305.04074]. Source: https://www.emergentmind.com/topics/miyaoka-yau-inequality