We prove a graph theoretic closed formula for coefficients in the Tian-Yau-Zelditch asymptotic expansion of the Bergman kernel. The formula is expressed in terms of the characteristic polynomial of the directed graphs representing Weyl invariants. The proof relies on a combinatorial interpretation of a recursive formula due to M. Engli\v s and A. Loi.

No abstract uploaded!

No abstract uploaded!

Let ($M$,$ω$) be a connected, symplectic 4-manifold. A$semitoric integrable system$on ($M$,$ω$) essentially consists of a pair of independent, real-valued, smooth functions$J$and$H$on$M$, for which$J$generates a Hamiltonian circle action under which$H$is invariant. In this paper we give a general method to construct, starting from a collection of five ingredients, a symplectic 4-manifold equipped a semitoric integrable system. Then we show that every semitoric integrable system on a symplectic 4-manifold is obtained in this fashion. In conjunction with the uniqueness theorem proved recently by the authors, this gives a classification of semitoric integrable systems on 4-manifolds, in terms of five invariants.

The classification work [5], [8] left unsettled only those anomalous isoparametric hypersurfaces with four principal curvatures and multiplicity pair {4, 5}, {6, 9}, or {7, 8} in the sphere. By systematically exploring the ideal theory in commutative algebra in conjunction with the geometry of isoparametric hypersurfaces, we show that an isoparametric hypersurface with four principal curvatures and multiplicities {4, 5} in S19 is homogeneous, and, moreover, an isoparametric hypersurface with four principal curvatures and multiplicities {6, 9} in S31 is either the inhomogeneous one constructed by Ferus, Karcher, and M¨unzner, or the one that is homogeneous. This classification reveals the striking resemblance between these two rather different types of isoparametric hypersurfaces in the homogeneous category, even though the one with multiplicities {6, 9} is of the type constructed by Ferus, Karcher, and M¨unzner and the one with multiplicities {4, 5} stands alone. The quaternion and the octonion algebras play a fundamental role in their geometric structures. A unifying theme in [5], [8], and the present sequel to them is Serre’s criterion of normal varieties. Its technical side pertinent to our situation that we developed in [5], [8] and extend in this sequel is instrumental. The classification leaves only the case of multiplicity pair {7, 8} open.