We study the structure of the invariant of K3 surfaces with involution, which we obtained using equivariant analytic torsion. It was known before that the invariant is expressed as the Petersson norm of an automorphic form on the moduli space. When the rank of the invariant sublattice of the K3-lattice with respect to the involution is strictly bigger than 10, we prove that this automorphic form is expressed as the tensor product of an explicit Borcherds lift and Igusa's Siegel modular form.
We prove the automorphic property of the invariant of K3 surfaces with involution, which we obtained using equivariant analytic torsion, in the case where the dimension of the moduli space is less than or equal to 2.
A holomorphic torsion invariant of K3 surfaces with involution was introduced by the second-named author. In this paper, we completely determine its structure as an automorphic function on the moduli space of such K3 surfaces. On every component of the moduli space, it is expressed as the product of an explicit Borcherds lift and a classical Siegel modular form. We also introduce its twisted version. We prove its modularity and a certain uniqueness of the modular form corresponding to the twisted holomorphic torsion invariant. This is used to study an equivariant analogue of Borcherds' conject…
Let $p\in X$ be the germ of a cusp singularity and let $ι$ be an antisymplectic involution, that is an involution such that there exists a nowhere vanishing holomorphic 2-form $Ω$ on $X\setminus \{p\}$ for which $ι^*(Ω)=-Ω$. Assume also that the involution is fixed point free on $X\setminus\{p\}$. We prove that a sufficient condition for such a singularity equipped with an antisymplectic involution to be equivariantly smoothable is the existence of a Looijenga (or anticanonical) pair $(Y,D)$ that admits an involution free on $Y\setminus D$ and that reverses the orientation of $D$. This work al…
This is the abstruct of the revised paper. We study the equivariant analytic torsion for K3 surfaces with an anti-symplectic involution with the invariant lattice M (such a surface is called a 2-elementary K3 surface of type M in this paper), and show that it (together with the analytic torsion of the fixed curves) can be identified with the automorphic form on the moduli space characterizing the discriminant locus. Three lattices A_1, II_{1,1}(2), II_{1,9}(2) are of particular interest, because they consist of the building blocks of 2-elementary lattices. An explicit formula is given for them…
We study the boundary behavior of the invariant of $K3^{[2]}$-type manifolds with antisymplectic involution, which we obtained using equivariant analytic torsion. We show the algebraicity of the singularity of the invariant by using the asymptotic of equivariant Quillen metrics and equivariant $L^2$-metrics. We prove that, in some cases, the invariant coincides with Yoshikawa's invariant for 2-elementary K3 surfaces. Hence, in these cases, our invariant is expressed as the Petersson norm of a Borcherds product and a Siegel modular form.
We make progress towards the classification of simple Nash germs invariant under the involution changing the sign of the first coordinate, with respect to equivariant blow-Nash equivalence, which is an equivariant Nash version of blow-analytic equivalence, taking advantage of invariants for this relation, the equivariant zeta functions.
By applying Borcherds' theory of automorphic forms on bounded symmetric domains of type IV, we give a 5-dimensional linear system of automorphic forms of weight 6 on Igusa quartic 3-fold which induces an S_6-equivariant rational map of degree 16 from Igusa quartic to Segre cubic.
Let ${\mathcal Q}_n^d$ be the vector space of forms of degree $d\ge 3$ on ${\mathbb C}^n$, with $n\ge 2$. The object of our study is the map $Φ$, introduced in papers [EI], [AI1], that assigns every nondegenerate form in ${\mathcal Q}_n^d$ the so-called associated form, which is an element of ${\mathcal Q}_n^{n(d-2)*}$. We focus on two cases: those of binary quartics ($n=2$, $d=4$) and ternary cubics ($n=3$, $d=3$). In these situations the map $Φ$ induces a rational equivariant involution on the projectivized space ${\mathbb P}({\mathcal Q}_n^d)$, which is in fact the only nontrivial rational …
Involution-equivariant topological recursion and mirror symmetry for the affine binary dihedral Calabi--Yau threefold
Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）；University of Sheffield, School of Mathematical and Physical Sciences（谢菲尔德大学数学与物理科学学院）
This article concerns the study of a new invariant bilinear form $\mathcal B$ on the space of automorphic forms of a split reductive group $G$ over a function field. We define $\mathcal B$ using the asymptotics maps from Bezrukavnikov-Kazhdan and Sakellaridis-Venkatesh, which involve the geometry of the wonderful compactification of $G$. We show that $\mathcal B$ is naturally related to miraculous duality in the geometric Langlands program through the functions-sheaves dictionary. In the proof, we highlight the connection between the classical non-Archimedean Gindikin-Karpelevich formula and c…
Lusztig defined certain involutions on the equivariant K-theory of Slodowy varieties and gave a characterization of certain bases called canonical bases. In this paper, we give a conjectural generalization of these involutions and K-theoretic canonical bases to conical symplectic resolutions which have good Hamiltonian torus actions and state several conjectures related to them which we check for toric hyper-Kahler manifolds. We also propose an elliptic analogue of these bar involutions. As a verification of our proposal, we explicitly construct elliptic lifts of K-theoretic canonical bases an…
The Hermite invariant H is the defining equation for the hypersurface of binary quintics in involution. This paper analyses the geometry and invariant theory of H. We determine the singular locus of this hypersurface and show that it is a complete intersection of a linear covariant of quintics. The projective dual of this hypersurface can be identified with itself via an involution. It is shown that the Jacobian ideal of H is perfect of height two, and we describe its SL_2-equivariant minimal resolution. The last section develops a general formalism for evectants of covariants of binary forms,…
We study equivariant real structures on spherical varieties. We call such a structure canonical if it is equivariant with respect to the involution defining the split real form of the acting reductive group G. We prove the existence and uniqueness of a canonical structure for homogeneous spherical varieties G/H with H self-normalizing and for their wonderful embeddings. For a strict wonderful variety we give an estimate of the number of real form orbits on the set of real points.
Given an automorphic line bundle ${\mathcal O}_X(k)$ of weight $k$ on the Drinfel'd upper half plane $X$ over a local field $K$, we construct a ${\rm GL}_2(K)$-equivariant integral lattice ${\mathcal O}_{\widehat{\mathfrak X}}(k)$ in ${\mathcal O}_X(k)\otimes_K\widehat{K}$, as a coherent sheaf on the formal model $\widehat{\mathfrak{X}}$ underlying $X\otimes_K\widehat{K}$. Here $\widehat{K}/K$ is ramified of degree $2$. This generalizes a construction of Teitelbaum from the case of even weight $k$ to arbitrary integer weight $k$. We compute $H^*(\widetilde{\mathfrak{X}},{\mathcal O}_{\widehat{…
We identify and examine a generalization of topological sigma models suitable for coupling to topological open strings. The targets are Kahler manifolds with a real structure, i.e. with an involution acting as a complex conjugation, compatible with the Kahler metric. These models satisfy axioms of what might be called ``equivariant topological quantum field theory,'' generalizing the axioms of topological field theory as given by Atiyah. Observables of the equivariant topological sigma models correspond to cohomological classes in an equivariant cohomology theory of the targets. Their correlat…
In this dissertation classification problems for K3-surfaces with finite group actions are considered. Special emphasis is put on K3-surfaces with antisymplectic involutions and compatible actions of symplectic transformations. Given a finite group $G$ it is investigated if it can act in a compatible fashion on a K3-surfaces $X$ with antisymplectic involution and to what extend the action of $G$ determines the geometry of $X$. If $G$ has large order or rich structure a precise description of $X$ as a branched double cover of a Del Pezzo surface is obtained. In particular, this leads to classif…
With each antiholomorphic involution $σ$ of a connected complex semisimple Lie group $G$ we associate an automorphism $ε_σ$ of the Dynkin diagram. The definition of $ε_σ$ is given in terms of the Satake diagram of $σ$. Let $H \subset G$ be a self-normalizing spherical subgroup. If $ε_σ={\rm id}$ then we prove the uniqueness and existence of a $σ$-equivariant real structure on $G/H$ and on the wonderful completion of $G/H$.
Publications on automorphic representations of the group U(3) assumed the validity of multiplicity one theorem since I claimed it in 1982. But the argument, published 1988, was based on a misinterpretation of a claim of Gelbart and Piatetski-Shapiro, SLN 1041 (1984), Prop. 2.4(i): ``L^2_{0,1} has multiplicity 1'', as meaning that each irreducible in the space L^2_{0,1} of generic cusp forms has multiplicity one in the space L^2_0 of cusp forms. The statement meant in SLN 1041, ``each irreducible in L^2_{0,1} has multiplicity 1 in L^2_{0,1}'' is too weak to be useful for nongeneric representati…
In this paper, we propose a definition of genus one real Gromov-Witten invariants for certain symplectic manifolds with real a structure, including Calabi-Yau threefolds, and use equivariant localization to calculate certain genus one real invariants of the projective space. For this definition, we combine three moduli spaces corresponding to three possible types of involutions on a symplectic torus, by gluing them along common boundaries, to get a moduli space without codimension-one boundary and then study orientation of the total space. Modulo a technical conjectural lemma, we can prove tha…
