Abstract
We exhibit a curious link between the Quadratic Orthogonal Bisectional Curvature, combinatorics, and distance geometry. The Weitzenböck curvature operator, acting on real (1, 1)–forms, is realized as the Dirichlet energy of a finite graph, weighted by a matrix of the curvature. These results also illuminate the difference in the nature of the Quadratic Orthogonal Bisectional Curvature and the Real Bisectional Curvature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
In [4, 5], the author initiated a program to study the growing number of curvatures in complex geometry by viewing them as quadratic form-valued functions on the unitary frame bundle. This has led to a number of developments, and primary insight which furnished the progress on the Schwarz lemma in [4]. The purpose of the present note is to extend this program to the Quadratic Orthogonal Bisectional Curvature (QOBC from here on):
We recall that the Mori [20], Siu–Yau [28] solution to the Frankel conjecture informs us that a compact Kähler manifold with a Kähler metric \(\omega \) of positive bisectional curvature \(\text {HBC}_{\omega }>0\) is biholomorphic to complex projective space \({\mathbb {P}}^n\). Mok [19] generalized this result to the case of non-negative bisectional curvature, further indicating that a sign on the bisectional curvature is a very restrictive assumption. A number of relaxations of the bisectional curvature have been introduced.
The restriction of the bisectional curvature to orthogonal pairs of tangent vectors yields the orthogonal bisectional curvature \(\text {HBC}_{\omega }^{\perp }\). The positivity of \(\text {HBC}_{\omega }^{\perp }\) is certainly weaker, algebraically, than the positivity of the full bisectional curvature \(\text {HBC}_{\omega }\). It was shown by Gu–Zhang [15], however, that the Kähler–Ricci flow on a compact Kähler manifold with \(\text {HBC}_{\omega }^{\perp } \ge 0\) converges to a Kähler metric with \(\text {HBC}_{\omega } \ge 0\). The classification of compact Kähler manifolds with \(\text {HBC}_{\omega } \ge 0\) given by Mok’s solution [19] of the generalized Frankel conjecture applies, showing that the positivity of the orthogonal bisectional curvature furnishes no new examples; they are all biholomorphic to a product of projective spaces and Hermitian symmetric spaces of rank \(\ge 2\).
The QOBC was introduced by Wu–Yau–Zheng [30], where it was shown that on a compact Kähler manifold supporting a Kähler metric with non-negative QOBC, every nef class is semi-positive (c.f., [14]). Historically, however, it first appears implicitly in the paper of Bishop–Goldberg [1] as the Weitzenböck curvature operator (c.f., [10, 11, 23,24,25,26]) acting on (1, 1)–forms. In contrast with the orthogonal bisectional curvature, the QOBC is strictly weaker than the bisectional curvature, with an explicit example constructed in [18]. The QOBC has been the subject of large interest in recent years (see, e.g., [6,7,8,9,10,11, 17, 18, 21, 22, 29]).
The purpose of the present short note is to describe the link between combinatorics, distance geometry, and the QOBC. These results are dispersed throughout the papers [6, 7, 9], since the considerations here led to solutions of problems in the fields of combinatorics and distance geometry. The papers [6, 7, 9] are intended for those communities, however, and not differential geometers. The present paper is intended for this original audience.
Let us first give a formal definition of the QOBC:
Let \((X, \omega )\) be a compact Kähler manifold. The QOBC is the function
where \({\mathcal {F}}_X\) denotes the unitary frame bundle, \(v = (v_1, ...,v_n) \in {\mathbb {R}}^n\) is a vector, and \(\text {QOBC}_{\omega }(0) {:}{=} 0\).
To state the first theorem, let us introduce some terminology. A symmetric matrix \(A \in {\mathbb {R}}^{n \times n}\) is declared to be a Euclidean distance matrix (EDM) (of embedding dimension 1) if there is a vector \(v = (v_1, ..., v_n) \in {\mathbb {R}}^n\) such that \(A_{\alpha \gamma } = (v_{\alpha } - v_{\gamma })^2\). The well-known Schoenberg criterion [27] asserts that a real symmetric matrix with no non-zero diagonal entries (i.e., a hollow matrix) is an EDM if and only if it is negative semi-definite on the hyperplane \(H = \{ x \in {\mathbb {R}}^n : x^t {{\textbf {e}}} =0 \}\), where \({{\textbf {e}}} = (1,..., 1)^t\). Let us remark that there are remnants of the Schoenberg criterion in [10, Lemma 2.6], where the Kähler form \(\omega \) appears to play the role of the vector \({{\textbf {e}}}\). An EDM is, by definition, a non-negative matrix in the sense that each entry of the matrix is a non-negative real number. In particular, the Perron–Frobenius theorem informs us that the largest eigenvalue of A is non-negative and occurs with eigenvector in the non-negative orthant. This eigenalue is often referred to as the Perron root of A. Let \(\delta _1 \ge \delta _2 \ge \cdots \ge \delta _n\) denote the eigenvalues of the EDM A. We will assume that \(\delta _1 \ne 0\). From the above discussion, we know that \(\delta _1 >0\) and \(\delta _k \le 0\) for all \(k \ge 2\). Define, therefore, for \(2 \le k \le n\), the kth Perron weight to be the ratio \(r_k : = - \delta _k/\delta _1\), which is a real number lying in the interval \(r_k \in [0,1]\).
Let \((X^n, \omega )\) be a compact Kähler manifold with \({\mathcal {R}}\) the matrix with entries \({\mathcal {R}}_{\alpha \gamma } = R_{\alpha {\overline{\alpha }} \gamma {\overline{\gamma }}}\). Let \(\lambda _1 \ge \lambda _2 \ge \cdots \ge \lambda _n\) denote the eigenvalues of \({\mathcal {R}}\) with respect to the frame which minimizes the QOBC. Then \(\text {QOBC}_{\omega } \ge 0\) if and only if
holds for all Perron weights \(0 \le r_k \le 1\).
FormalPara ProofFix a frame which minimizes the quadratic orthogonal bisectional curvature of \(\omega \). Let \(\lambda _1 \ge \lambda _2 \ge \cdots \ge \lambda _n\) denote the eigenvalues of \({\mathcal {R}} \in {\mathbb {R}}^{n \times n}\) and denote by \(\delta _1 \ge \delta _2 \ge \cdots \ge \delta _n\) the eigenvalues of an EDM \(\Delta \). Write \({\mathcal {R}} = U^t \text {diag}(\lambda ) U\) and \(\Delta = V^t \text {diag}(\delta ) V\) for the eigenvalue decompositions of \({\mathcal {R}}\) and \(\Delta \). Then
where \(Q = UV^t\) is orthogonal. The Hadamard square (by which, we mean the matrix \(Q \circ Q\) with entries \(Q_{ij}^2\)) of an orthogonal matrix is doubly stochastic (see, e.g., [16]). The class of \(n \times n\) doubly stochastic matrices forms a convex polytope – the Birkhoff polytope \({\mathcal {B}}^n\). The minimum of \(\text {tr}({\mathcal {R}} \Delta )\) is given by
This function is linear in S, achieving its minimum on the boundary of \({\mathcal {B}}^n\). The well-known Birkhoff–von Neumann theorem tells us that \({\mathcal {B}}^n\) is the convex hull of the set of permutation matrices, and moreover, the vertices of \({\mathcal {B}}^n\) are precisely the permutation matrices. Hence,
where \(S_n\) denotes the symmetric group on n letters. An elementary argument (by induction, for instance) shows that
From the discussion after Definition 1, this completes the proof. \(\square \)
FormalPara Remark 1The main theorem is interesting for a number of reasons. The first is that there is an eigenvalue characterization in terms of the matrix \({\mathcal {R}}\). Of course, this matrix requires a frame to be fixed, but given that there are a number of frame-dependent curvatures in complex geometry that have appeared in recent years (most notably, the real bisectional curvature [31], and the Schwarz bisectional curvatures [4, 5]), this offers some insight into the relationship between these curvatures. Further detail in this direction will be discussed shortly.
The existence of an eigenvalue characterization is surprising in itself [7] since Euclidean distance matrices are defined in a frame-dependent manner; the class of positive matrices (i.e., matrices with positive entries) are certainly not invariant under a change of basis. We suspect that this result (motivated entirely by complex-geometric considerations) will have further generalizations and applications to combinatorics and distance geometry.
The class of matrices A satisfying \(\sum _{\alpha ,\gamma =1}^n A_{\alpha \gamma } (v_{\alpha } - v_{\gamma })^2 \ge 0\) form the so-called dual EDM cone. This is a completely elementary observation: An EDM (of embedding dimension 1) is a matrix of the form \(B_{\alpha \gamma } := (v_{\alpha } - v_{\gamma })^2\). Hence, we can write \(\sum _{\alpha ,\gamma =1}^n A_{\alpha \gamma } (v_{\alpha } - v_{\gamma })^2 \ge 0\) as \(\text {tr}(AB) \ge 0\), from which we immediately see the following:
Let \((X, \omega )\) be a compact Kähler manifold. Then \(\text {QOBC}_{\omega } \ge 0\) if and only if, with respect to the frame which minimizes the QOBC, the matrix \({\mathcal {R}}\) lies in the dual EDM cone.
The above result, albeit elementary, is important, in that it gives us the appropriate language to speak when considering the QOBC. It also allows us to exploit the results of distance geometry and combinatorics to say something about the QOBC. For instance, using Dattorro’s dual EDM cone criterion [12, 13], we have:
Let \(\delta : {\mathbb {R}}^n \rightarrow {\mathcal {S}}_{\text {diag}}^n\) be the operator mapping a vector \(v \in {\mathbb {R}}^n\) to the diagonal matrix \(\text {diag}(v)\). Then a real symmetric matrix A lies in the dual EDM cone if and only if \(\delta (A {{\textbf {e}}}) - A\) is positive-semi-definite. In particular,
Recall that the real bisectional curvature \(\text {RBC}_{\omega }\) of a Hermitian metric \(\omega \) was introduced by Yang–Zheng [31] as follows:
The real bisectional curvature is clearly similar in appearance to the QOBC. The above theorem, however, indicates that they are in fact opposite in the following sense: The condition that \(\text {RBC}_{\omega } > 0\) translates to the matrix \({\mathcal {R}}\) being positive-definite. Let \(\mathcal {PD}\) denote the cone of positive-definite matrices, and let \(\mathcal {EDM}\) denote the cone of Euclidean distance matrices. The \(\mathcal {PD}\) cone is self-dual, while the \(\mathcal {EDM}\) cone is not self-dual, and moreover, from Theorem 2, the intersection of these cones is trivial:
Hence, the real bisectional curvature (corresponding to \({\mathcal {R}} \in \mathcal {PD}\)) is opposite to the QOBC (corresponding to \({\mathcal {R}} \in \mathcal {EDM}^{*})\) in the sense that the dual cones intersect trivially.
1 Combinatorics and distance geometry
Let us conclude by describing the curious link with combinatorics and distance geometry. Indeed, let G be a finite weighted graph (with possibly negative weights) with vertex set \(V(G) = \{ v_1, ..., v_n \}\). Let \(A \in {\mathbb {R}}^{n \times n}\) be the adjacency matrix specifying the weighting. The Dirichlet energy for a weighted graph (G, A) is defined by
where \(f : V(G) \rightarrow {\mathbb {R}}\) is a function defined on the vertices of G.
Theorem 3
Let \((X, \omega )\) be a compact Kähler manifold. Then \(\text {QOBC}_{\omega } \ge 0\) is equivalent to the non-negativity of the Dirichlet energy of every weighted graph (G, A) with G a finite graph with n vertices and A given by the matrix \({\mathcal {R}} = ({\mathcal {R}}_{\alpha \gamma })\).
Remark 3
Recall that the QOBC first appears in the paper of Bishop–Goldberg [1] as the Weitzenböck curvature operator (c.f., [23,24,25,26]) acting on real (1, 1)–forms. In other words, if \(\Delta _g\) denotes the Bochner Laplace operator, and \(\Delta _d\) denote the Laplace–Beltrami operator, acting on real (1, 1)–forms, their difference realizes the QOBC. What is curious, is that the above theorem indicates that the difference of these Laplace operators is the (discrete analog of the) Dirichlet energy associated with the curvature. We hope that those more experienced in the discrete theory can give further insight in this direction.
Data Availability Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Bishop, R.L., Goldberg, S.I.: On the second cohomology group of a Kaehler manifold of positive curvature. Proc. Amer. Math. Soc. 16, 119–122 (1965)
Bochner, S.: Vector fields and Ricci curvature. Bull. Amer. Math. Soc. 52, 776–797 (1946)
Bochner, S., Yano, K.: Curvature and Betti numbers, Annals of Mathematics Studies, No. 32, Princeton University Press, Princeton, N. J., (1953)
Broder, K.: The Schwarz Lemma in Kähler and non-Kähler geometry, arXiv:2109.06331
Broder, K.: The Schwarz Lemma: An Odyssey, arXiv:2110.04989
Broder, K.: On the nonnegativity of the Dirichlet energy of a weighted graph, Bull. of the Aust. Math. Soc., 1-5. https://doi.org/10.1017/S0004972721001015
Broder, K.: An eigenvalue characterization of the dual EDM cone, Bull. of the Aust. Math. Soc., 1-3. https://doi.org/10.1017/S0004972721000915
Broder, K., Tang, K.: On the weighted orthogonal Ricci curvature, arXiv:2111.00346
Broder, K., Tang, K.: On the altered holomorphic curvatures of Hermitian manifolds, arXiv:2201.03666
Chau, A., Tam, L.F.: Kähler C-spaces and quadratic bisectional curvature. J. Differential Geom. 94(3), 409–468 (2013)
Chau, A., Tam, L.F.: On quadratic orthogonal bisectional curvature. J. Differential Geom. 92(2), 187–200 (2012)
Dattorro, Jon: Equality relating Euclidean distance cone to positive semidefinite cone. Linear Algebra Appl. 428(11–12), 2597–2600 (2008)
Dattorro, Jon: Convex optimization \(\dagger \) Euclidean distance geometry. Available at the author’s webpage: https://ccrma.stanford.edu/~dattorro/
Demailly, J.P., Peternell, T., Schneider, M.: Compact complex manifolds with numerically effective tangent bundles. J. Alg. Geom. 3, 295–345 (1994)
Gu, H., Zhang, Z.: An extension of Mok’s theorem on the generalized Frankel conjecture. Sci. China Math. 53, 1–12 (2010)
Heinz, T.F.: Topological Properties of Orthostochastic Matrices. Linear algebra and its applications 20, 265–269 (1978)
Huang, S., Tam, L.F.: U(n)-invariant Kähler metrics with nonnegative quadratic bisectional curvature. Asian J. Math. 19(1), 1–16 (2015)
Li, Q., Wu, D., Zheng, F.: An example of compact Kähler manifold with non-negative quadratic bisectional curvature. Proc. Amer. Math. Soc. 141(6), 2117–2126 (2013)
Mok, N.: The uniformization theorem for compact Kähler manifolds of nonnegative holomorphic bisectional curvature. J. Diff. Geom. 27, 179–214 (1988)
Mori, S.: Projective manifolds with ample tangent bundles. Ann. of Math. (2) 110(3), 593–606 (1979)
Ni, L., Niu, Y.: Gap theorem on Kähler manifolds with nonnegative orthogonal bisectional curvature. J. Reine Angew. Math. 763, 111–127 (2020)
Niu, Y.: A note on nonnegative quadratic orthogonal bisectional curvature. Proc. Amer. Math. Soc. 142(11), 3975–3979 (2014)
Petersen, P., Wink, M.: New curvature conditions for the Bochner Technique. Inventiones Mathematicae 224, 33–54 (2021)
Petersen, P., Wink, M.: The Bochner Technique and Weighted Curvatures, arXiv:2005.02604
Petersen, P., Wink, M.: Estimation and Vanishing Results for Hodge numbers, arXiv:2009.14319
Petersen, P., Wink, M.: Tachibana-type Theorems and special Holonomy, arXiv:2105.09290
Schoenberg, I.J.: Remarks to Maurice Fréchet’s article “Sur la définition axiomatique d’une classe déspace distanciés vectoriellement applicable sur l’espace de Hilbert’’. Annals of Mathematics 36(3), 724–732 (1935)
Siu, Y.T., Yau, S.T.: Compact Kähler manifolds of positive bisectional curvature. Invent. Math. 59(2), 189–204 (1980)
Tong, F.: A new positivity condition for the curvature of Hermitian manifolds. Math. Z. 298(3–4), 1175–1185 (2021)
Wu, D., Yau, S.T., Zheng, F.: A degenerate Monge-Ampère equation and the boundary classes of Kähler cones. Math. Res. Lett. 16(2), 365–374 (2009)
Yang, X., Zheng, F.: On the real bisectional curvature for Hermitian manifolds. Trans. Amer. Math. Soc. 371(4), 2703–2718 (2019)
Acknowledgements
The author would like to thank his advisors Ben Andrews and Gang Tian for their support, encouragement, and interest in this work. He would also like to express his gratitude to Peter Petersen, Fangyang Zheng, Yanir Rubinstein, Renato Bettiol, and Kai Tang for their interest and valuable communications.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supported by an Australian Government Research Training Program Scholarship.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Broder, K. Remarks on the quadratic orthogonal bisectional curvature. J. Geom. 113, 39 (2022). https://doi.org/10.1007/s00022-022-00653-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00022-022-00653-3
Keywords
- Quadratic Orthogonal Bisectional Curvature
- Real Bisectional Curvature
- Kähler C-spaces
- Generalized Hartshorne conjecture
- Euclidean distance matrices