Real K3 surfaces without real points, equivariant determinant of the Laplacian, and the Borcherds Φ-function

We consider an equivariant analogue of a conjecture of Borcherds. Let (Y, σ) be a real K3 surface without real points. We shall prove that the equivariant determinant of the Laplacian of (Y, σ) with respect to a σ-invariant Ricci-flat Kähler metric is expressed as the norm of the Borcherds Φ-function at the “period point”. Here the period of (Y, σ) is not the one in algebraic geometry.

[1]  R. Borcherds.  The moduli space of Enriques surfaces and the fake monster Lie superalgebra , 1996 .

[2]  S. Donaldson.  Geometry of Low-dimensional Manifolds: Yang-Mills invariants of four-manifolds , 1991 .

[3]  Hirotaka Fushiya.  Limit theorem of a one dimensional Marokov process to sticky reflected Brownian motion , 2005 .

[4]  V V Nikulin,et al.  Integral Symmetric Bilinear Forms and Some of Their Applications , 1980 .

[5]  K. Yoshikawa.  K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space , 2004, 1506.00437.

[6]  G. Weingart,et al.  Quaternionic analytic torsion , 2001, math/0105103.

[7]  Yuji Umezawa.  The minimal risk of hedging with a convex risk measure , 2006 .

[8]  J. Noguchi,et al.  Degeneracy of holomorphic curves into algebraic varieties , 2005, math/0507122.

[9]  X. Ma,et al.  Holomorphic Morse Inequalities and Bergman Kernels , 2007 .

[10]  Ilia Itenberg,et al.  Real Enriques Surfaces , 2000 .

[11]  Automorphic forms with singularities on Grassmannians , 1996, alg-geom/9609022.

[12]  V. Kharlamov.  The topological type of nonsingular surfaces in RP3 of degree four , 1976 .

[13]  D. Roessler,et al.  A fixed point formula of Lefschetz type in Arakelov geometry II: a residue formula , 2002 .

[14]  V. Nikulin.  INVOLUTIONS OF INTEGRAL QUADRATIC FORMS AND THEIR APPLICATIONS TO REAL ALGEBRAIC GEOMETRY , 1984 .

[15]  V. Nikulin.  Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups generated by 2-reflections. Algebrogeometric applications , 1983 .

[16]  Jin Cheng,et al.  The conditional stability in line unique continuation for a wave equation and an inverse wave source problem , 2005 .

[17]  Y. Tashiro.  Compact four-dimensional Einstein manifolds , 1981 .

[18]  Fumio Kikuchi,et al.  Remarks on a posteriori error estimation for finite element solutions , 2007 .

[19]  Hao Fang,et al.  ANALYTIC TORSION FOR CALABI-YAU THREEFOLDS , 2006 .

[20]  S. Saitoh,et al.  Some stability estimates in determining sources and coefficients , 2005 .

[21]  Ken-Ichi Yoshikawa.  On the singularity of Quillen metrics , 2006 .

[22]  A fixed point formula of Lefschetz type in Arakelov geometry III: representations of Chevalley schemes and heights of flag varieties , 2001, math/0105100.

[23]  S. Yau.  On The Ricci Curvature of a Compact Kahler Manifold and the Complex Monge-Ampere Equation, I* , 1978 .

[24]  J. Bismut.  Equivariant immersions and Quillen metrics , 1995 .

[25]  I. Singer,et al.  Analytic torsion for complex manifolds , 1973 .

[26]  Masahiro Yamamoto,et al.  A stability result via Carleman estimates for an inverse source problem related to a hyperbolic integro-differential equation , 2006 .

[27]  S. Donaldson.  Polynomial invariants for smooth four-manifolds , 1990 .

[28]  A fixed point formula of Lefschetz type in Arakelov geometry I: statement and proof , 2001, math/0105098.

[29]  Yuuki Tadokoro,et al.  A nontrivial algebraic cycle in the Jacobian variety of the Klein quartic , 2005, math/0508433.

[30]  W. Barth.  Compact complex surfaces. , 2003 .

[31]  A. Fujiki.  On the de Rham Cohomology Group of a Compact Kähler Symplectic Manifold , 1987 .