Theta correspondence and the Borisov-Gunnells relations

Technische Samenvatting: Theta-correspondentie en de Borisov-Gunnells-relaties

Probleemstelling
Dit artikel onderzoekt de geometrische theta-correspondentie van de eerste homologie van een modulaire curve $Y_1(N)$ naar de ruimte van holomorfe modulaire vormen van gewicht 2, $M_2(\Gamma_1(N))$. Het primaire doel is om deze correspondentie expliciet te evalueren op specifieke generatoren van de homologiegroep—namelijk modulaire symbolen, modulaire caps en hyperbolische cycli—om bekende resultaten met betrekking tot de spannende verzamelingen van modulaire vormen te herstellen en te verklaren. Specifiek tracht de auteur de relatie te verhelderen tussen het werk van Borisov en Gunnells, die de ruimte van nieuwe vormen van rang 0 en Eisenstein-reeksen beschreven met behulp van producten van gewicht 1 Eisenstein-reeksen, en het werk van Li, die vergelijkbare ruimtes beschreef met behulp van diagonale restricties van Hilbert-Eisenstein-reeksen. Een secundair doel is om dit geometrische kader te gebruiken om lineaire relaties tussen Eisenstein-reeksen af te leiden.

Methodologie
De methodologie rust op de constructie van een gesloten differentiaalvorm $E(z, \tau)$ op de modulaire curve, die waarden heeft in modulaire vormen van gewicht 2. Deze constructie combineert ideeën van Bergeron-Charollois-Garcia en Kudla-Millson, gebruikmakend van de Mathai-Quillen-formalisme en de Weil-representatie.

1. Geometrische Opzet: De auteur beschouwt de Borel-Serre-compactificatie $Y_1(N)^{BS}$ van de modulaire curve. De homologie $H_1(Y_1(N); \mathbb{C})$ wordt, volgens Stevens, ontbonden in een directe som van de ruimte van gesloten modulaire caps $C(C)$ en de ruimte van modulaire symbolen van graad 0, $MS_0(\mathbb{C})$.
2. Theta-lift: De afbeelding $E: H_1(Y_1(N); \mathbb{C}) \to M_2(\Gamma_1(N))$ wordt gedefinieerd door het integreren van de differentiaalvorm $E(z, \tau)$ over 1-cycli. De vorm wordt geconstrueerd via de pushforward van een theta-reeks geassocieerd met een rooster-coset $L_{1,0}$ in de ruimte van $2 \times 2$ matrices.
3. Expliciete Evaluatie:
   • Modulaire Caps: Het integraal over een gesloten modulaire cap $C_r$ bij een cusp $r$ wordt berekend door de constante term van de vorm bij de grens te analyseren.
   • Modulaire Symbolen: Het integraal over unimodulaire symbolen wordt berekend met behulp van Poisson-sommatie en de restrictie van de theta-reeks tot geodesen.
   • Hyperbolische Cycli: Met behulp van Stevens' continu doorgaande breukalgoritme worden hyperbolische cycli $Z_\gamma$ ontbonden in lineaire combinaties van modulaire caps en unimodulaire symbolen. Het integraal wordt vervolgens term-voor-term geëvalueerd.
4. Spectrale Analyse: De afbeelding van de theta-lift wordt geanalyseerd met behulp van de spectrale decompositie van de cohomologie, waarbij de lift wordt gerelateerd aan nieuwe vormen met een niet-verdwijnende $L$-waarde bij $s=1$ en Eisenstein-reeksen.

Belangrijkste Bijdragen en Resultaten

• Evaluatie op Homologiegeneratoren (Stelling 1.4):

  • Het integraal van de theta-lift over een gesloten modulaire cap $C_r$ (waarbij $r = \gamma \infty$) levert een Eisenstein-reeks van gewicht 2 op, $H^{(2)}_{d, -c}(\tau)$.
  • Het integraal over een unimodulair symbool $M = \gamma\{0, \infty\}$ levert het product van twee Eisenstein-reeksen van gewicht 1 op, specifiek $-G^{(1)}_d(\tau)G^{(1)}_c(\tau)$.

• Spannende Verzamelingen en Li's Resultaat (Stellingen 1.2, 1.3 en 3.15):

  • De afbeelding van de theta-lift, $\text{Im}(E)$, bevat de subruimte gespannen door Eisenstein-reeksen van gewicht 2 $H^{(2)}$ en de subruimte van nieuwe vormen van rang 0 ($S^{new}_{2, rk=0}$). Wanneer $N$ priem is, is deze inclusie gelijk aan de afbeelding zelf.
  • Door de lift te evalueren op hyperbolische cycli $Z_\gamma$, herstelt de auteur Li's resultaat: de ruimte $S^{new}_{2, rk=0}$ wordt gespannen door de diagonale restricties van Hilbert-Eisenstein-reeksen $E^{(1)}_{1, f_\gamma}(\tau, \tau)$.
  • Het artikel stelt vast dat $\text{Im}(E)$ een deelverzameling is van de ruimte gespannen door Eisenstein-reeksen van gewicht 2 en producten van Eisenstein-reeksen van gewicht 1 ($H^{(1,1)}$), waarmee een geometrische verklaring wordt geboden voor de spannende verzameling zoals beschreven door Borisov en Gunnells.

• Relaties Tussen Eisenstein-reeksen (Stelling 1.6 en 4.10):

  • Door een hyperbolische driehoek $T$ in de Borel-Serre-compactificatie te overwegen waarvan de rand bestaat uit drie unimodulaire symbolen en drie modulaire caps, maakt de auteur gebruik van het feit dat de rand homoloog is aan nul ($\partial T = 0$).
  • Dit levert de relatie op:
    $$G^{(1)}_a G^{(1)}_b + G^{(1)}_b G^{(1)}_c + G^{(1)}_c G^{(1)}_a = G^{(2)}_a + G^{(2)}_b + G^{(2)}_c$$
    voor gehele getallen $a, b, c$ die voldoen aan $a+b+c \equiv 0 \pmod N$ en niet nul zijn modulo $N$. Dit biedt een geometisch bewijs van relaties die eerder door Borisov en Gunnells zijn vastgesteld.

Significantie
Het artikel claimt significantie door een verenigend geometrisch kader te bieden dat twee verschillende beschrijvingen van modulaire vormruimtes verbindt:

1. Het verklaart de Borisov-Gunnells-relaties (producten van Eisenstein-reeksen van gewicht 1) en de resultaten van Li (diagonale restricties van Hilbert-Eisenstein-reeksen) als natuurlijke consequenties van het evalueren van een enkele geometrische theta-lift op verschillende homologiegeneratoren.
2. Het biedt een geometrisch bewijs van specifieke lineaire relaties tussen Eisenstein-reeksen van gewicht 1 en 2, afgeleid direct uit de topologie van de modulaire curve en de eigenschappen van de theta-lift, in plaats van louter analytische manipulaties.
3. Het verheldert de rol van de Borel-Serre-compactificatie en modulaire caps in de theorie van modulaire symbolen, door aan te tonen hoe de randtermen (caps) corresponderen met Eisenstein-reeksen terwijl de interne termen (symbolen) corresponderen met producten van lagere gewichten.

De auteur merkt op dat hoewel de resultaten met betrekking tot spannende verzamelingen vergelijkbaar zijn met de bestaande literatuur (met name [BG01] en [Li17]), de bijdrage ligt in de afleiding via de theta-correspondentie en de expliciete geometrische interpretatie van de Fourier-coëfficiënten en integralen.