The Koppelman-Leray formula on complex manifolds is obtained, and under suitable condition the continuous solution of partial derivative-equation on complex manifolds is obtained.
On an almost Hermitian manifold, there are two Hermitian scalar curvatures associated with a canonical Hermitian connection. In this paper, two explicit formulas on these two scalar curvatures are obtained in terms of...On an almost Hermitian manifold, there are two Hermitian scalar curvatures associated with a canonical Hermitian connection. In this paper, two explicit formulas on these two scalar curvatures are obtained in terms of the Riemannian scalar curvature, norms of the components of the covariant derivative of the fundamental 2-form with respect to the Levi-Civita connection, and the codifferential of the Lee form. Then we use them to get characterization results of the K?hler metric, the balanced metric, the locally conformal K?hler metric or the k-Gauduchon metric. As corollaries, we show partial results related to a problem given by Lejmi and Upmeier(2020) and a conjecture by Angella et al.(2018).展开更多
An automated reasoning method, based on Wu’s method and calculus of differential forms, is proposed for mechanical theorem proving in local theory of space surfaces in differential geometry. The method has been used ...An automated reasoning method, based on Wu’s method and calculus of differential forms, is proposed for mechanical theorem proving in local theory of space surfaces in differential geometry. The method has been used to simplify one of Chern’s theorems: "The non-trivial families of isometric surfaces having the same principal curvatures are W-surfaces." Some other theorems are also tested by this method. The proofs are generally simpler than those in differential geometry textbooks.展开更多
文摘The Koppelman-Leray formula on complex manifolds is obtained, and under suitable condition the continuous solution of partial derivative-equation on complex manifolds is obtained.
基金supported by National Natural Science Foundation of China(Grant Nos.10831008,11025103 and 11501505)。
文摘On an almost Hermitian manifold, there are two Hermitian scalar curvatures associated with a canonical Hermitian connection. In this paper, two explicit formulas on these two scalar curvatures are obtained in terms of the Riemannian scalar curvature, norms of the components of the covariant derivative of the fundamental 2-form with respect to the Levi-Civita connection, and the codifferential of the Lee form. Then we use them to get characterization results of the K?hler metric, the balanced metric, the locally conformal K?hler metric or the k-Gauduchon metric. As corollaries, we show partial results related to a problem given by Lejmi and Upmeier(2020) and a conjecture by Angella et al.(2018).
基金Project supported partially by the National Natural Science Foundation of China.
文摘An automated reasoning method, based on Wu’s method and calculus of differential forms, is proposed for mechanical theorem proving in local theory of space surfaces in differential geometry. The method has been used to simplify one of Chern’s theorems: "The non-trivial families of isometric surfaces having the same principal curvatures are W-surfaces." Some other theorems are also tested by this method. The proofs are generally simpler than those in differential geometry textbooks.
