In a series of papers [11, 12, 13, 14] we have been studying the geometric theta correspondence (see below) for non-compact arithmetic quotients of symmetric spaces associated to orthogonal groups. It is our overall goal to develop a general theory of geometric theta liftings in the context of the real differential geometry/topology of non-compact locally symmetric spaces of orthogonal and unitary groups which generalizes the theory of Kudla-Millson in the compact case, see .
In this paper we study in detail the geometric theta lift for Hilbert modular surfaces. In particular, we will give a new proof and an extension (to all finite index subgroups of the Hilbert modular group) of the celebrated theorem of Hirzebruch and Zagier  that the generating function for the intersection numbers of the Hirzebruch-Zagier cycles is a classical modular form of weight .11Eichler,  p.104, proposed a proof using “Siegel’s work on indefinite theta functions”. This is what our proof is, though with perhaps more differential geometry than Eichler had in mind. In our approach we replace Hirzebuch’s smooth complex analytic compactification of the Hilbert modular surface with the (real) Borel-Serre compactification . The various algebro-geometric quantities that occur in  are then replaced by topological quantities associated to -manifolds with boundary. In particular, the “boundary contribution” in  is replaced by sums of linking numbers of circles (the boundaries of the cycles) in the -manifolds of type Sol (torus bundle over a circle) which comprise the Borel-Serre boundary.
We first explain the term “geometric theta correspondence”. The Weil (or oscillator) representation gives us a method to construct closed differential forms on locally symmetric spaces associated to groups which belong to dual pairs. Let be a rational quadratic space of signature with for simplicity even dimension. Then the Weil representation induces an action of on , the Schwartz functions on . Let and let be a maximal compact subgroup. We let and be their respective Lie algebras and let be the associated Cartan decomposition. Suppose
is a cocycle in the relative Lie algebra complex for with values in . Then corresponds to a closed differential -form on the symmetric space of dimension with values in . For a coset of a lattice in , we define the theta distribution by , where is the delta measure concentrated at . It is obvious that is invariant under . There is also a congruence subgroup of ) such that is also invariant under . Hence we can apply the theta distribution to to obtain a closed -form on given by
Assume now in addition that has weight under the maximal compact subgroup . Then also gives rise to a (in general) non-holomorphic function on the upper half place which is modular of weight for . We may then use as the kernel of a pairing of modular forms with (closed) differential -forms or -chains (cycles) in . The resulting pairing in , (or ), and as these objects vary, we call the geometric theta correspondence.
The key point of the work of Kudla and Millson [21, 22] is that they found (in greater generality) a family of cocycles in with weight for . Moreover, these cocycles give rise to Poincaré dual forms for certain totally geodesic, “special” cycles in . Recently, it has now been shown, first  for , and then  for all and (with ) in the cocompact (standard arithmetic) case that the geometric theta correspondence specialized to induces on the adelic level an isomorphism from the appropriate space of classical modular forms to . In particular, for any congruence quotient, the dual homology groups are spanned by special cycles. This gives further justification to the term geometric theta correspondence and highlights the significance of these cocycles. In  we generalize to allow suitable non-trivial coefficient systems (and one has an analogous isomorphism in ).
In the present paper, we consider the case when has signature with -rank . Then , and is a Hilbert modular surface. We let be the Borel-Serre compactification of which is obtained by replacing each isolated cusp associated to a rational parabolic with a boundary face which turns out to be a torus bundle over a circle, a -manifold of type Sol. This makes a -manifold with boundary. For simplicity, we assume that has only one cusp so that , and we write for the inclusion. The special cycles 22We distinguish the relative cycles in from the Hirzebruch-Zagier cycles in , see below. in question are now embedded modular and Shimura curves, and are parameterized by . They define relative homology classes in .
The geometric theta correspondence of Kudla-Millson  for the cocycle in this situation takes the following shape. For a compact cycle in , we have that
is a holomorphic modular form of weight and is equal to the generating series of the intersection numbers with . Here with . (There is a similar statement for the pairing of with a closed compactly supported differential -form on representing a class in , see Theorem 7.1). Our first result is
(Theorem 7.3) The differential form on extends to a form on , and the restriction of to gives an exact differential form on . Moreover, there exists a theta series for a space of signature of weight with values in the -forms on such that is a primitive for :
Considering the mapping cone for the inclusion (see Section 3.3) we then view the pair as an element of the compactly supported cohomology . Explictly, let be a relative cycle in representing a class in . Then the Kronecker pairing between and is given by
In this way, we obtain an extension of the geometric theta lift which captures the non-compact situation.
To describe the geometric interpretation of this extension, we study the cycle at the boundary (Section 4). The intersection of with is a union of circles contained in the torus fibers of Sol. But rationally such circles are homologically trivial. Hence we can find a (suitably normalized) rational -chain in whose boundary is the boundary of in . “Capping” off by , we obtain a closed cycle in defining a class in . Our main result is the extension of (1.1):
(Theorem 7.7) Let be a relative cycle in . Then
is a holomorphic modular form of weight and is equal to the generating series of the intersection numbers with the capped cycles . (Similarly for the pairing with an arbitrary closed -form on representing a class in ).
Note that in view of (1.2) the lift of classes of or is the sum of two in general non-holomorphic modular forms (see below).
In  we systematically study for the restriction of the classes (also with non-trivial coefficients) to the Borel-Serre boundary. Whenever the restriction vanishes cohomologically, we can expect that a similar analysis to the one given in this paper will give analogous extensions of the geometric theta correspondence. In fact, aside from this paper we have at present managed to do this for several other cases, namely for modular curves with non-trivial coefficients  generalizing work of Shintani  and for Picard modular surfaces  generalizing work of Cogdell .
The theta series at the boundary is of independent interest and has geometric meaning in its own right. Recall that for two disjoint (rationally) homological trivial -cycles and in a -manifold we can define the linking number of and as the intersection number
of (rational) chains in . Here is a -chain in with boundary . We show
(Theorem 6.3) Let be homologically trivial -cycle in which is disjoint from the torus fibers containing components of . Then the holomorphic part of the weight non-holomorphic modular form is given by the generating series of the linking numbers .
We also give a simple formula in Theorem 4.10 for the linking number of two circles contained in the fiber of a -manifold of type Sol in terms of the glueing homeomorphism for the bundle.
One can reformulate the previous theorem stating that is a “mixed Mock modular form” of weight ; it is the product of a Mock modular form of weight with a unary theta series. Such forms, which originate with the famous Ramanujan Mock theta functions, have recently generated great interest.
Theorem 1.3 (and its analogues for the Borel-Serre boundary of modular curves with non-trivial coefficients and Picard modular surfaces) suggest that there is a more general connection between modular forms and linking numbers of nilmanifold subbundles over special cycles in nilmanifold bundles over locally symmetric spaces.
In their seminal paper , Hirzebruch-Zagier provided a map from the second homology of the smooth compactification of certain Hilbert modular surfaces to modular forms. They introduced the Hirzebruch-Zagier curves in , which are given by the closure of the cycles in . They then defined “truncated” cycles as the projections of orthogonal to the subspace of spanned by the compactifying divisors of . The principal result of  was that defines a holomorphic modular form of weight with values in . We show (Proposition 4.7), and hence the Hirzebruch-Zagier theorem follows easily from Theorem 1.2 above, see Theorem 7.9.
The main work in  was to show that the generating function
for the intersection numbers in of with a fixed is a modular form of weight . The Hirzebruch-Zagier proof of the modularity of was a remarkable synthesis of algebraic geometry, combinatorics, and modular forms. They explicitly computed the intersection numbers as the sum of two terms, , where is the geometric intersection number of and in the interior of and which they called the “contribution from infinity”. They then proved both generating functions and are the holomorphic parts of two non-holomorphic forms and with the same non-holomorphic part (with opposite signs). Hence combining these two forms gives .
We recover this feature of the original Hirzebruch-Zagier proof via (1.2) with . The first term on the right hand side of (1.2) was studied in the thesis of the first author of this paper  and gives the interior intersections encoded in . So via Theorem 1.2 the second term on the right hand side of (1.2) must match the boundary contribution in , that is, we obtain
Hence we give an interpretation for the boundary contribution in  in terms of linking numbers in . In fact, the construction of owes a great deal to Section 2.3 in , where a scalar-valued version of is introduced, see also Example 6.4. Using Theorem 4.11 one can also make the connection between our linking numbers and the formulas of the boundary contribution in  explicit.
To summarize, we start with the difference of theta integrals (1.2) (which we know a priori is a holomorphic modular form), then by functorial differential topological computations we relate its Fourier coefficients to intersection/linking numbers, and by direct computation of the integrals involved we obtain the explicit formulas of Hirzebruch-Zagier and a “closed form” for their generating function.
One of the key properties of the cocycle is that the -th Fourier coefficients of represents the Poincaré dual class for the cycle . Kudla-Millson establish this by showing that gives rise to a Thom form for the normal bundle of each of the components of . To prove our main result, Theorem 1.2, we follow a different approach using currents which is implicit in  and is closely related to the Green’s function for the divisors constructed by Kudla [18, 19]. This function plays an important role in the Kudla program (see eg ) which considers the analogous generating series for the special cycles in arithmetic geometry. In the non-compact situation however, one needs to modify to obtain a Green’s function for the cycle in . Discussions with U. Kühn suggest that the constructions in this paper indeed give rise to such a modification of , see Remark 8.5.
We would like to thank Rolf Berndt, Jan Bruinier, Jose Burgos, Misha Kapovich, and Ulf Kühn for fruitful and extensive discussions on the constructions and results of this paper. As always it is a great pleasure to thank Steve Kudla for his interest and encouragement. Each of us began the work of relating theta lifts and special cycles with him.
We dedicate this paper to the memory of Gretchen Taylor Millson, beloved wife of the second author.
Let be a rational vector space of dimension with a non-degenerate symmetric bilinear form of signature . We let , viewed as an algebraic group over . We let be the connected component of the identity of the real points of . It is most convenient to identify the associated symmetric space with the space of negative -planes in on which the bilinear form is negative definite:
We pick an orthogonal basis of with and . We denote the coordinates of a vector with respect to this basis by . We pick as base point of the plane spanned by and , and we let be the maximal compact subgroup of stabilizing . Thus . Of course, , the product of two upper half planes.
We let be a rational parabolic subgroup stabilizing a rational isotropic line and define as before. We let be its unipotent subgroup and . We let and be two isotropic vectors so that . We assume that are defined over and obtain a rational Witt decomposition
with , , and a subspace such that . The choice of gives a Levi splitting of , and we write
for the Langlands decomposition. Here, with respect to the basis , we have
Note . We obtain coordinates for by where is the negative two-plane in with .
We let be an even lattice in of level , that is , the dual lattice, for , and . We fix and let be a subgroup of finite index of the stabilizer of in . For each isotropic line , we assume that is primitive in the lattice in . We will throughout assume that the -rank of is , that is, splits exactly one hyperbolic plane over . Then we define the Hilbert modular surface
An important example is the following. Let be the discriminant of the real quadratic field over , its ring of integers. We denote by the Galois involution on . We let be the space of skew-hermitian matrices in , i.e., which satisfy . Then the determinant on gives the structure of a non-degenerate rational quadratic space of signature and -rank . We define the integral skew-hermitian matrices by
Then is a lattice of level . We embed into by so that acts on by as isometries. Hirzebruch and Zagier actually considered this case for a prime.
The quotient space is in general an oriented uniformizable orbifold with isolated singularities. We will treat as a manifold - we will use Stokes’ Theorem and Poincaré duality over on . This is justified because in each instance we can pass to a finite normal cover of with a manifold. Hence, the formulas we want hold on . We then then go back to the quotient by taking invariants or summing over the group of covering transformations. The point is that the de Rham complex of is the algebra of -invariants in the one of and the rational homology (cohomology) groups of are the groups of -coinvariants (invariants) of those of .
We let and . Then the quotient is a non-trivial arithmetic subgroup of and lies inside the connected component of the identity of the real points of . Furthermore, acts as isometries of spinor norm on the anisotropic quadratic space of signature . Hence is infinite cyclic. Therefore the exact sequence
splits. We fix such that its image generates . Then defines a Levi subgroup . In fact, the element generates . Hence
We will say a Levi decomposition is admissible if . In the following we assume that we have picked an admissible Levi decomposition for each rational parabolic.
Here is the symmetric space associated to the orthogonal group of . Then is given by
where varies over all rational parabolics. The action of on extends to in a natural way, and we let
be the Borel-Serre compactification of . This makes a manifold with boundary such that
where for each cusp, the corresponding boundary component is given by
Here runs over all -conjugacy classes. The space is a circle. Hence is a torus bundle over the circle, where the torus is given by . That is, , and we have the natural map . We have a natural product neighborhood of in and hence for in given by for sufficiently large given by with . We let and be the natural inclusions.
It is one of the fundamental properties of the Borel-Serre compactification that it is homotopic equivalent to itself. Hence their (co)homology groups coincide.
We let be the Baily-Borel compactifciation of , which is obtained by collapsing in each boundary component to a single point or topologically by taking a cone on each component of the Borel-Serre boundary. It is well known that is a projective algebraic variety. We let be Hirzebruch’s smooth resolution of the cusp singularities and be the natural map collapsing the compactifying divisors for each cusp. We let be the natural embedding. Note that the Borel-Serre boundary separates into two pieces, the (connected) inside , which is isomorphic to and the (disconnected) outside , which for each cusp is a neighborhood of the compactifying divisors. Note that we can view as lying in both and since the intersection is equal to .
In this section we describe the relationship between the (co)homology of the various compactifications.
Every element of is a rational multiple of a commutator in and accordingly the image of in is trivial. Let be the class of the identity section of and be the class of the torus fiber of . It is clear that the intersection number of and is (up to sign) whence and are nontrivial primitive classes. Furthermore, generates and , generated by . So
The first rational homology group of is generated by .
The second homology group of is generated by .
To compute the homology over one has only to use the Wang sequence for a fiber bundle over a circle, see , page 67.
Let be the unique -invariant -form on such that
Since is the image of the fundamental class of inside , we see that that the restriction of to lifts to the area form on normalized such that has area .
Accordingly to the discussion in Section 2.2.3 we have the Mayer-Vietoris sequence
Here denotes the span of the classes defined by compactifying divisors at the cusp associated to . The zero on the left comes from and the zero on the right comes from the fact that for each the class injects into , see , II.3. Since the generator has trivial intersection with each of the compactifying divisors, bounds on the outside so a fortiori it bounds in . Thus the above short exact sequence is the sum of the two short exact sequences and . By adding the third terms of the two sequences and equating them to we obtain the orthogonal splittings (for the intersection pairing) - see also , p.123,
Here is the push-forward map. Furthermore, the pairings on each summand are non-degenerate. Considering we also obtain
is the kernel of so that
We briefly review the mapping-cone-complex realization of the cohomology of compact supports of . For a more detailed discussion, see , section 5.
We let be the complex of compactly supported differential forms on which gives rise to , the cohomology of compact supports. We now represent the compactly-supported cohomology of by the cohomology of the mapping cone of , see , p.19, where as before . However, we will change the sign of the differential on and shift the grading down by one. Thus we have
with . If is a cocycle in we will use to denote its cohomology class. We have
The cochain map given by is a quasi-isomorphism.
We now give a cochain map from to which induces the inverse to the above isomorphism. We let be a product neighborhood of as in Section 2.2.2, and we let be the projection. If is a form on we obtain a form on V. Let be a smooth function of the geodesic flow coordinate which is near and zero for for some sufficiently large . We may regard as a function on by making it constant on the factor. We extend to all of by making it zero off of . Let be a cocycle in . Then there exist a compactly supported closed form and a form which vanishes on such that
We define the cohomology class in the compactly supported cohomology to be the class of , and the assignment gives the desired inverse. From this we obtain the following integral formulas for the Kronecker pairings with .
Let be a closed form on and a relative cycle in of appropriate degree. Then
For such that , we define
Then is an embedded upper half plane in . We let be the stabilizer of and define the special or Hirzebruch-Zagier cycle by
and by slight abuse identify with its image in . These are modular or Shimura curves. For positive , we write . Then the composite cycles are given by
Since the divisors define in general relative cycles, we take the sum in .
We now study the closure of in , which is the same as the intersection of or with the union of the hypersurfaces . A straightforward calculation gives
If then there exists a neighborhood of such that
If , then is contained in the fiber of over , where is the unique element of satifying
At the intersection is the affine line in given by
We define to be the closed geodesic in the fiber over which is the image of under the covering . We have
The -cycle is a finite union of circles.
At a cusp associated to , each circle is contained in a fiber of the map and hence is a rational boundary (by Lemma 3.1).
Two boundary circles and are parallel if they are contained in the same fiber. In particular,
We now describe the intersection of or with . For we can write
for some lattices and vectors .
Via the isomorphism , we can identify with a lattice in . Since is primitive in and for a vector we see that is contained in the dual lattice of .
The intersection is given by
Here denotes that we take the minimum over all nonzero values of .
We will first prove is a disjoint union
where . Indeed, first note that by Proposition 4.1 only vectors in can contribute to . The action of on induces an equivalence relation on the set which is consequently a union of equivalence classes . We may accordingly organize the union on the right-hand side of (4.1) as But it is clear that and hence we have the equality of -cycles in and
since an element gives rise to the lift of to that intersects and this intersection projects to . Thus we may rewrite the right-hand side of(4.1) as But it is clear that this latter union is and (4.1) follows. Finally, we easily see that is a complete set of representatives of -equivalence classes in . These give the circles above.
Let with . Then there exists a rational -chain in such that
, here is the area form for the fibers (see (3.1))
We will define by . Then sum over the components to obtain a rational -chain in . Then we have (noting that )
We define the rational absolute -cycle in by
with the -chain in as in Proposition 4.4. In particular, defines a class in . In the same way we obtain .
Following Hirzebruch-Zagier we let be the cycle in given by the closure of the cycle in . Hence defines a class in .
Consider the decomposition , which is orthogonal with respect to the intersection pairing on . We let be the image of under orthogonal projection onto the summand .
For simplicity, we assume that has only one cusp. The -manifold separates and we can write as (appropriately oriented) -chains in . It is obvious that we have as -chains. We write . We have . Hence we can write , the sum of two -cycles in . Here is obtained by ‘capping’ in with the negative of the cap of . Since is clearly orthogonal to (since it lies in ) and (since it lies in ) the decomposition is just the decomposition of relative to the splitting . Hence , as claimed. ∎
We will now prove Proposition 4.4. In fact we will show that it holds for any circle contained in a torus fiber of and passing through a rational point. We would like to thank Misha Kapovich for simplifying our original argument. The idea is to construct, for each component of , a -chain with that component as boundary so that is a sum of three simplicial -chains in . We then verify that the “parallelogram” and the “triangle” have rational area and the period of over the “monodromy chain” is zero.
In what follows we will pass from pictures in the plane involving directed line segments, triangles and parallelograms to identities in the space of simplicial -chains on . The principal behind this is that any -dimensional subcomplex of a simplicial complex which is the fundamental cycle of an oriented -submanifold (possibly with boundary) of corresponds in a unique way to a sum of oriented -simplices in .
In this subsection we will work with a general -manifold with Sol geometry. Of course this includes all the manifolds that occur in this paper. Let be a hyperbolic element. We will then consider the -manifold obtained from (with the -torus ) given by the relation
We let be the resulting infinite cyclic covering.
We now define notation we will use below. We will use Greek letters to denote closed geodesics on , a subscript will indicate that the geodesic starts at the point on . We will use the analogous notation for geodesic arcs on . We will use to denote the corresponding homology class of a closed geodesic on . If and are points on we will use to denote the oriented line segment joining to and to denote the corresponding (free) vector i.e. the equivalence class of modulo parallel translation.
We first take care of the fact that does not necessarily pass through the origin. For convenience we will assume is in the fiber over the base-point corresponding to . Let be the parallel translate of to the origin. Then we can find a cylinder , image of an oriented parallelogram under the universal cover with rational vertices, such that in , the group of rational -cycles, we have
Since has rational vertices we find .
Now we take care of the harder part of finding as above. The key is the construction of “monodromy -chains”. For any closed geodesic starting at we define the monodromy -chain to be the image of the cylinder in . The reader will verify using (4.3) that in we have
Since preserves the origin, the geodesic is also a closed geodesic starting at the origin. Since is hyperbolic we have and hence . Put and define by
Note that is necessarily an integer homology class. Also note that is an equation in the first homology, it is not an equation in the group of -cycles . Since any homology class contains a unique closed geodesic starting at the origin we obtain a closed geodesic and a corresponding monodromy -chain whence (4.5) holds in . We now solve
Find an equation in which descends to (4.6).
Let resp. denote the covering transformation of corresponding to the element resp of the fundamental group of . Define and in by and . Define by in . Let be the oriented triangle with vertices . Then
We now leave it to the reader to combine the homology equation (4.6) and the three equations to show the equality of directed line segments
With this we can solve the problem. We see that if we consider as an oriented -simplex we have the following equality of one chains
Let be the image of under . Take the direct image of the previous equation under and use equation (4.7) which implies that the second edge is equivalent under in the covering group to the directed line segment which maps to . Hence also maps to . We obtain the following equation in
Combining this with (4.4) and setting where we obtain
in . Hence if we define to be the rational chain in we have the following equation in :
Finally, the integral of over is rational. Indeed, the integral over is rational. Since all vertices of are integral the area of is integral, the integral of over is integral. Thus it suffices to observe that the restriction of to is zero. With this we have completed the proof of Proposition 4.4.
In the introduction we defined the linking number of two two disjoint homologically trivial -cycles and in a closed -manifold as , where is any rational -chain in with boundary . Since defines a trivial homology class in , the link is well-defined, ie, does not depend on the choice of .
We let be the Sol manifold as before realized as in Section 4.3 via (4.3) and consider the case when and are two contained in two torus fibers. Then by the previous section they are homologically trivial. If and are contained in the same fiber we move to the right (i.e. in the direction of positive ) to a nearby fiber. We take , and in this section we are allowed to confuse and with their representatives in the lattice and the unique closed geodesic in passing through the origin that represents them. We will write for the image of and in and and . Our goal is to compute the linking number . By the explicit construction of the cap in Section 4.3 we obtain
Here is the rational one cycle obtained by solving and is the (rational) monodromy -chain associated to (see above) with boundary . Here the first is the intersection of chains in , the next is the intersection number of -cycles in the fiber and the last is the intersection number of -cycles in .
Noting that this last intersection number coincides with the intersection number of the underlying homology classes which in term coincides with the symplectic form on we have found our desired formula for the linking number.
It is a remarkable fact that there is a simple formula involving only the action of the glueing homeomorphism on for linking numbers for -cycles contained in fiber tori of in Sol (unlike the case of linking numbers in ).
This immediately leads to an explicit formula for the numbers . Using Lemma 4.3 we obtain
Let . Then
Here is properly oriented primitive vector in such that .
We consider the integral skew Hermitian matrices in Example 2.1. Let , so that . The symplectic form on is given by . The action of the unipotent radical on a vector is now slightly different, namely, . Hence in these coordinates, is given by the image of the line , and is a primitive generator in for that line. We let be a generator of , the totally positive units in , and we assume that the glueing map is realized by multiplication with . For a prime and , has only component arising from and . Then Theorem 4.11 becomes (the -term is now wrt )
Let be a non-degenerate rational quadratic space of signature and even dimension . We will later apply the following to and . Changing notation from before, we let with maximal compact subgroup and write for the associated symmetric space. We let be the space of Schwartz functions on on which acts via the Weil representation .
Let be an eigenfunction under the maximal compact of of weight . Define by . Then we have . Accordingly we define
Here we have also defined . Let be a -module and let be any element that carries the basepoint in to . Then define for , the -valued -invariant Schwartz functions on , the functions and for by
We will continue to use these notational conventions for other (not necessarily Schwartz) functions that arise in this paper.
Let be the Lie algebra of and be the Cartan decomposition of associated to . We identify as usual via . We write and note that is spanned by with and . We write for their dual. We orient such that gives rise to the -invariant volume element on .
The Kudla-Millson form is an element in
where the isomorphism is given by evaluation at the base point. Here denotes the differential -forms on . Note that acts diagonally in the natural fashion. At the base point is given by
Here , where is the minimal majorant associated to the base point in . Note that has weight , see . There is another Schwartz form of weight which lies in and is given by
The key relationship is (see , §8)
Here is the Weil representation action of the -lowering operator on , while denotes the exterior differentiation on .
We define the singular form by
for , and as before and . We see that is defined for . Formulated differently, for fixed is defined for . Furthermore, as if was a Schwartz function of weight , we define
is a differential -form with singularities along . Outside , we have
Here denotes the exterior differentiation on . In particular, for , we see that is exact. Furthermore,
The construction of the singular form works in much greater generality for whenever we have two Schwartz forms and (of weight and resp.) such that
Then the analogous construction of then immediately yields outside a singular set. The main example for this are the general Kudla-Millson forms and , see . For these forms, this construction is already implicit in . In particular, the proof of Theorem 7.2 in  shows that gives rise to a differential character for the analogous cycle , see also Section 8 of this paper. The unitary case will be considered in .
Let be the rational quadratic space of signature obtained from the Witt decomposition of . We will refer to the nullcone of as the light-cone. We write for the Lie algebra of . Then is its natural generator with dual . We identify the associated symmetric space to with the space of lines in on which the bilinear form is negative definite:
We pick as base point of the line spanned by . We set . This realizes the isomorphism . Namely, . Accordingly, we frequently write for and vice versa. A vector of positive length defines a point in via . So if and only if . We also write .
Here acts diagonally on all three factors. Explicitly at the base point, we have
Note that has weight , see , Theorem 6.2. We define and as before. There is another Schwartz function of weight given by
and also and . Note that the notation differs from , section 6.5. The function defined here is the term given in Theorem 6.11 in . The key relation between and (correcting a sign mistake in ) is given by
(, Theorem 6.2)
When made explicit, we have, again using (5.1),
In the same way as for we define
for all , including . Define , as before and also
Note that has a singularity at . Define functions and by
We extend these functions to as before. We see by integrating by parts
Here is the incomplete -funtion at .
It is now immediate that is continuous and bounded on . Since is clearly bounded we find that and are locally integrable on and integrable and square-integrable on . The singularities of and are given as follows.
is on the Minkowski plane .
is on the Minkowski plane .
Use Lemma 5.5, expand the incomplete gamma function around , and observe that is for . ∎
The key properties of analogous to Lemma 5.2 are given by
Inspired by , section 2.3, we define a functions and on by
is on the complement of the light-cone in and on nonzero -orbits.
is on the complement of the light-cone in and on nonzero -orbits.
We define by
and . A little calculation shows that is locally constant on with a singularity at and holomorphic in :
Outside we have
We now combine and to obtain an integrable and also square-integrable -valued function
is on the complement of the light-cone in and on nonzero -orbits.
is on the complement of the light-cone in and on nonzero orbits.
on all of .
So for given , the function is a -function on with values in .
The form on is exact. Namely,
The function is an eigenfunction of of weight under the Weil representation. More precisely,
where is the standard character of .
It suffices to show this for one component of , that is, the function . Then the assertion has been already proved in §2.3 by showing that is an eigenfunction under the Fourier transform. We give here an infinitesimal proof. Since acts essentially as Fourier transform and is , we see that is continuous. Hence it suffices to establish the corresponding current equality , since continuous functions coincide when they induce the same current. The infinitesimal generator of acts by , and a straightforward calculation immediately shows
outside the singularity . Now we consider the currents and . An easy calculation using that and are up to shows that for a test function on we have
Thus as claimed. ∎
We define a map
Here we used the isomorphism and identify with its dual via the bilinear form so that . In , Section 6.2 we explain that is a map of Lie algebra complexes. Hence we obtain a map of complexes
which we also denote by . Here acts trivially on . Explicitly, the vectors and in map under to the left-invariant -forms
with the coordinate functions on defined by . We apply to the forms on of this section, and we obtain , , , and .
We let be a -invariant (coset of a) lattice in , where acts trivially on . For , we define its theta function by
and similarly for , and . Then the usual theta machinery gives that and both transform like (non)-holomorphic modular forms of weight for some congruence subgroup of .
The claim is not obvious for , since is not a Schwartz function. In that case, we use Proposition 5.11. The component of is outside the light cone. Since is anisotropic we can then apply Possion summation, and this component transforms like a modular form. Then apply the differential operator to obtain the same for the other component of .
In fact, if is isotropic and intersects non-trivially with the light cone, then is not quite a modular form. The case, when the -rank of is is interesting in its own right. We will discuss this elsewhere.
Via the map from Section 5.3.5 we can view all theta functions for as functions resp. differential forms on . We set , and similarly and . Since is a map of complexes we immediately see by Theorem 5.4 and Theorem 5.12
We now interpret the (holomorphic) Fourier coefficients of the boundary theta lift associated to . They are given by linking numbers. We have
Let a homological trivial -cycle in which is disjoint from the torus fibers containing components of or for for one of the components of , we have
So the Fourier coefficients of the holomorphic part of are the linking numbers of the cycles and at the boundary component .
We begin with a general discussion of integral formulas for linking numbers. Such formulas go back to the classical Gauss-Ampère formula for , see , p.79-81, and  for its generalization to and . Suppose now that is a -cycle in an oriented compact -manifold M that is a rational boundary and is a tubular neighborhood of .
We will say any closed form in is a linking dual (relative to ) of the bounding -cycle if for any -cycle in which is a rational boundary in we have
We will prove that given a cycle that bounds rationally then linking duals for exist for all tubular neighborhoods of . Let be a Thom form for compactly supported in . This means that is closed and has integral over any normal disk to . Let be the extension of to by zero. It is standard in topology (the extension of the Thom class by zero is the Poincaré dual of the zero section of the normal bundle) that the form represents the -dimensional cohomology class on which is Poincaré dual to . Since is a rational boundary there exists a -form on such that . We will now see that is a linking dual of . To this end, suppose is a -cycle in which is a rational boundary in , hence there exists a rational chain with . We may suppose vanishes in a neighborhood of which is disjoint from . Then the restriction of to represents the (relative) Poincaré dual of the absolute cycle in . Using this the reader will show that
Note that restriction of to is closed. Then
Hence we have
is a linking dual of .
We now return to the case in hand. In what follows, we drop subscript and superscript ’s since we are fixing a boundary component . We let be the union of the fibers containing components of , and we let be the fiber containing . Recall that is the image of in .
Let . The -form is a linking dual for in relative to any neighborhood of . Hence, for a rational -boundary in which is disjoint from we have
Furthermore, (6.1) holds when contained in one fiber of .
We will first deal with the case in which is disjoint from (which we will refer to in what follows as case (i)), then at the end of this section we will reduce the case in which (which we will refer to as case (ii)) to case (i) by a Stokes’ Theorem argument. Thus we will now assume we are in case (i).
The key step is
Let and let be an exact -form in which is compactly supported in the complement of . Then
Note that (6.2) also holds in case . In this case the right-hand side is zero by the normalization of the cap and the left-hand side is zero because since has bidegree and has bidegree (here we use the obvious base/fiber bigrading on the de Rham algebra of ).
Under the hypothesis on in Proposition 6.8 we have
We use Lemma 4.3. Write for some -form which by the support condition on is closed in . Since and are parallel hence homologous circles in , we see . ∎
Proposition 6.8 will now follow from
Under the hypothesis on in Proposition 6.8, we have for any positive length vector
By choosing appropriate coordinates we can assume that with , so that the singularity of in occurs at . We pick a tubular neighborhood in around . Then we have first
Since outside and we see by Stokes’ theorem
For we note that is continuous at , while for , we have
Hence taking the limit in the last term of (6.3) we obtain
In the expression (and for the rest of this proof) we have abused notation and identified the cycle with the subgroup of .
Here is the component of and we used that is the -line in . Note that the inner integral on the right is the period of over (homologous) horizontal translates of the cycle . But the restriction of to is closed so is independent of and the last integral becomes . But . The proposition is then a consequence of
which follows from the fact that the map given by induces an isomorphism .
We now prove Theorem 6.7. First we will assume that we are in case(i). We need to show
The theorem will be a consequence of the following discussion. We may assume that is an embedded loop in (note that since any loop in a manifold of dimension or more is homotopic to an embedded loop by transversality any homology class of degree in is represented by an embedded loop).
Choose a tubular neighborhood of such that is disjoint from . Let be a closed -form which is supported inside and has integral on the disk fibers of (a Thom class for the normal disk bundle ). Then we have proved in Subsection 6.2
We then have
To prove the Lemma we compute in two different ways. First we apply Proposition 6.8 with . We deduce
Next choose a tubular neighborhood of the fibers such that contains . Then is smooth on . Also, since is the extension of a Thom class by zero, the restriction of to represents the Poincaré dual of the absolute cycle in . The lemma now follows from
It remains to treat case (ii). Thus we now assume that which is contained in a fiber containing a component of . We first prove
We can take and hence is contained in the fiber over the image of . Hence, by Proposition 4.1, is the circle in the torus fiber at in the -direction, i.e., parallel to the image of in . We note that by (6.4) even though is not defined on the whole fiber over its restriction to is smooth. Hence the left hand side is well-defined since all the other terms in the sum are defined on the whole fiber and in fact in a neighborhood of that fiber. Hence the locally constant form is closed on the cylinder , and its integrals over the circles all coincide. But . The lemma follows. ∎
Summing over and using case (i) we obtain
since is disjoint from all the components of . Thus it suffices to prove
To this end suppose that and are the components of contained in . Hence and , are all parallel. Since the fibers containing all other components of are disjoint from , (6.6) will follow from
If then the previous equation is the definition of . Thus we may assume is parallel to and disjoint from . In this case their linking number is already topologically defined. But since is disjoint from the circles and are homologous in the complement of (by the product homology ) and since the linking number with is a homological invariant of the complement of in we have .
We this Theorem 6.7 is proved.
In this section, we show that the generating series of the ‘capped’ cycles gives rise to a modular form, extending Theorem 7.1 to a lift of the full cohomology of . In particular, we give our new proof of the theorem of Hirzebruch and Zagier and show how a remarkable feature of their proof appears from our point of view.
We define the theta series
In the following we will often drop the argument . For , we also set
Clearly, and descend to closed differential -forms on . Furthermore, is a non-holomorphic modular form in of weight for the principal congruence subgroup . In fact, for as in Example 2.1, transforms like a form for of nebentypus.
That is, for any closed -form on with compact support,
Here is Kronecker delta, and is the Kähler form on normalized such that its restriction to the base point is given by . We obtain a map
from the cohomology with compact supports to the space of holomorphic modular forms of weight for the principal congruence subgroup . Alternatively, for an absolute -cycle in defining a class in , the lift is given by (1.1) with the class given by .
The key fact for the proof of the Fourier expansion is that for , the form is a Poincaré dual form of , while is exact for , see also Section 8.
The differential forms and on extend to the Borel-Serre compactification . More precisely, for the restriction to the boundary face of , we have
We conclude by Proposition 6.2
The restriction of to the boundary of is exact and
We also have a crucial restriction result for the singular form . However, one needs to be careful in forming the naive theta series associated to by summing over all (non-zero) lattice elements. This would give a form on with singularities on a dense subset of . Instead we define in the same way as for by summing over all non-zero of length . This gives a -form on which for has singularities along the locally finite cycle . Similarly, we define
which descends to a -form on with singularities. We also define and in the same way. We have
The restriction of the -form to is given by
We assume that is the stabilizer of the isotropic line . For , we have for the majorant at the formula
Here is the majorant associated to . Hence by (5.4) and (5.2) we see that the sum of all with in is uniformly rapidly decreasing as . Now fix an element . Then for all for some ; in fact all elements in are of this form. We consider as . By considerations as in , sections 4 and 9, we can assume and . We apply Poisson summation for the sum on and obtain
Now the sum over all is rapidly decreasing while for we obtain . If , i.e., for one needs to argue slightly differently. Then we have
which goes to . This proves the proposition. ∎
In the previous sections, we constructed a closed -form on such that the restriction of to the boundary was exact with primitive . From now on we usually write for and for if it does not cause any confusion. By the definition of the differential for the mapping cone complex we immediately obtain by Theorem 7.2 and Theorem 7.3
The pair is a -cocycle in .
We write for short . We obtain a class in and hence a class in . The pairing with then defines a lift on differential -forms on , which factors through . By Lemma 3.5 it is given by
The class is holomorphic, that is,
Hence is a holomorphic modular form with values in the compactly supported cohomology of , so that the lift takes values in the holomorphic modular forms.
It remains to compute the Fourier expansion in of . We will carry this out in Section 8.
That is, for any closed -form on
In particular, the map takes values in the holomorphic modular forms and factors through cohomology. We obtain a map
from the cohomology with compact supports to the space of holomorphic modular forms of weight for the principal congruence subgroup . Alternatively, for any relative -cycle in defining a class in , we have
In the theorem we now consider the Kähler form representing a class in the compactly supported cohomology. In fact, our mapping cone construction gives an explicit coboundary by which is modified to become rapidly decreasing.
We now view as a class in via the map . We recover the Hirzebruch-Zagier-Theorem.
This is the result Hirzebruch-Zagier proved for certain Hilbert modular surfaces (Example 2.1) by explicitly computing the intersection numbers .
This follows from Theorem 7.7 since (Proposition 4.7), combined with the following general principle. Suppose is a compactly supported form on such that the cohomology class of is the Poincaré dual of the homology class of a cycle : . Then we have . To see this we have only to replace by a cohomologous ‘Thom representative’ of , namely a closed form supported in a tubular neighborhood of in such that the integral of over any disk of is one. Then it is a general fact from algebraic topology (extension by zero of a Thom class) that represents the Poincaré dual of in any manifold containing , in particular for . ∎
If one is only interested in recovering the statement of this theorem, then there is also a different way of deriving this from the Kudla-Millson theory. Namely, the lift on (Theorem 7.1) factors through the quotient of by since the restriction of is exact (Theorem 7.3). But by Proposition 3.3 we have , and the Hirzebruch-Zagier result exactly stipulates the modularity of the lift of classes in . However, in that way one misses the remarkable extra structure coming from as we will explain in the next subsection.
The two terms on the right, the integrals over and , are both non-holomorphic modular forms (see below) whose difference is holomorphic (by Theorem 7.6). So the generating series series of is the sum of two non-holomorphic modular forms. We now give geometric interpretations for the two individual non-holomorphic forms.
Following  we define the interior intersection number of two special cycles by
the sum of the transversal intersections and the volume of the -dimensional (complex) intersection of and which occur if one of the components of is equal to .
So the Fourier coefficients of the holomorphic part of the non-holomorphic modular form are the interior intersection numbers of the cycles and .
This is essentially , section 5, where more generally is considered. There the interpretation of the holomorphic Fourier coefficients as interior intersection number is given. (For more details of an analogous calculation see , section 8). A little calculation using the formulas in  gives the non-holomorphic contribution. A more conceptual proof would use the relationship between and (see Proposition 5.2 and Section 8) and the restriction formula for (Theorem 7.4). ∎
By slight abuse of notation we write for the total linking number of and . Then by Theorem 6.3 we obtain
So the Fourier coefficients of the holomorphic part of are the linking numbers of the cycles and at the boundary component .
Hirzebruch-Zagier also obtain the modularity of the functions given in Theorems 7.11 and 7.12, but by quite different methods. In particular, they explicitly calculate the intersection number . They split the intersection number into the interior part and a ‘boundary contribution’ given by
Now by Theorem 7.9 and its proof we have
In this section we prove Theorem 7.7, the crucial Fourier coefficient formula for our lift . As a consequence of our approach we will also obtain Theorem 6.7, the linking number interpretation for the lift at the boundary.
The key step for the entire Kudla-Millson theory is that for the form is a Poincaré dual form for the cycle , i.e.,
To show this they employ at some point a homotopy argument which requires to be rapidly decaying. Since we require to be any closed -form on the compactification , their approach is not applicable in our case. Instead, we use a differential character argument for which implicitly already occurred in , Section 7 for general signature . Namely, we have
(, Section 7) Let . The singular form is a differential character in the sense of Cheeger-Simons for the cycle . More precisely, is a locally integrable -form on , and for any compactly supported -form we have
This is the content of the proofs of Theorem 7.1 and Theorem 7.2 in . There the analogous properties for a singular theta lift associated to is established. However, the proofs boil down to establish the claims for . The form there is indeed the form of this paper. ∎
For we define
and follow the current approach to show that for the form is a Poincaré dual form for the cycle . Here we follow the notation of subsection 3.3. That is, is the pullback to a product neighborhood of , and is a smooth function on of the geodesic flow coordinate which is near and zero else. Note that is exactly the -th Fourier coefficient of the mapping cone element , when realized as a rapidly decreasing form on . We also define
We call a differential form on special if in a neighborhood of each boundary component it is the pullback of a form on under the geodesic retraction and if the pullback of the form to the universal cover is -left-invariant. The significance of the forms lies in the fact that the complex of special forms also computes the cohomology of . Note that the proof of Theorem 7.2 shows that is ‘almost’ special; it only differs from a special form by a rapidly decreasing form.
Let . The form is a differential character for the cycle . More precisely, is a locally integrable -form on and satisfies the following current equation on special forms on :
That is, for any special -form on we have
This implies Theorem 7.7 for the positive Fourier coefficients. For , the form is exact with primitive which by Theorem 7.4 is decaying. So Theorem 8.4 holds also for with . Hence for the these coefficients only the term contributes, which gives the integral of against the Kähler form.
In view of Remark 8.3 it is very natural question to ask how one can modify Kudla’s Green’s function to obtain a Green’s function for the cycle in . Extensive discussions with Kühn suggest that (if has only one cusp)
is such a Green’s function, but we have not checked all details.
For simplicity assume that has only one cusp and continue the drop the superscript . We let be a family of smooth functions on a standard fundamental domain of in only depending on which is for and for . We then have
We apply Theorem 8.2 for the compactly supported form and obtain
The first term on the right hand side of (8.1) goes to as , while the third vanishes for any by Stokes’ theorem. For the two remaining terms of (8.1) we first note and outside . We obtain for these two terms
It remains to compute the second term in the previous equation. For sufficiently large we have . Furthermore by Theorem 7.4 and its proof we have . As , we can replace by . Since is special it does not depend on the -variable near the boundary. For the last term in (8.2)
Indeed, for this is Remark 6.9. Otherwise, is exact with special primitive , and it is not hard to see that the proof of Proposition 6.8 carries over to this situation. Since collecting all terms completes the proof of Theorem 8.4.