multiplying modular forms
TRANSCRIPT
![Page 1: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/1.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Multiplying Modular Formsassociated to discrete series
M. Weissman
July 24, 2007 / Hausdorff Institute of Mathematics
M. Weissman Multiplying Modular Forms
![Page 2: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/2.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Outline
1 IntroductionA remark of DeligneHolomorphic Modular FormsMultiplication Datum
2 Compact GroupsBorel-Weil TheoremMultiplying Algebraic Modular Forms
3 Discrete SeriesConstruction via lowest K -typeMultiplication
4 Future Directions
M. Weissman Multiplying Modular Forms
![Page 3: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/3.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Outline
1 IntroductionA remark of DeligneHolomorphic Modular FormsMultiplication Datum
2 Compact GroupsBorel-Weil TheoremMultiplying Algebraic Modular Forms
3 Discrete SeriesConstruction via lowest K -typeMultiplication
4 Future Directions
M. Weissman Multiplying Modular Forms
![Page 4: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/4.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Remarque 2.1.4.Formes Modulaires et Representations de GL(2)
Remarque 2.1.4. L’espace F (G, GL(2, Z)) ci-dessus est stablepar produit. D’autre part, Dk−1 ⊗ D`−1 contient les Dk+`+2m−1(m ≥ 0). Pour m = 0, ceci correspond au fait que le produit fgd’une forme modulaire holomorphe de poids k par une depoids ` en est une de poids k + `. Pour m = 1, en coordonnées(1.5.2), on trouve que ` ∂f
∂z · g − kf · ∂g∂z est modulaire
holomorphe de poids k + ` + 2, et ainsi de suite. De mêmedans le cadre adélique.
M. Weissman Multiplying Modular Forms
![Page 5: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/5.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Remark 2.1.4.Modular forms and representations of GL(2)
Remark 2.1.4. The space F (G, GL(2, Z)) [smooth functions ofmoderate growth on GL(2, R), invariant on the right byGL(2, Z)] is stable under products. On the other hand,Dk−1 ⊗ D`−1 [the tensor product of holomorphic discrete seriesrepresentations] contains Dk+`+2m−1 (m ≥ 0). For m = 0, thiscorresponds to the fact that the product fg of a modular form ofweight k and one of weight ` is one of weight k + `. Whenm = 1, in the coordinates of (1.5.2) [a typo - should be 1.2.5],we find that ` ∂f
∂z · g − kf · ∂g∂z is a holomorphic modular form of
weight k + ` + 2, and so on. A similar phenomenon occurs inthe adelic case.
M. Weissman Multiplying Modular Forms
![Page 6: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/6.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Outline
1 IntroductionA remark of DeligneHolomorphic Modular FormsMultiplication Datum
2 Compact GroupsBorel-Weil TheoremMultiplying Algebraic Modular Forms
3 Discrete SeriesConstruction via lowest K -typeMultiplication
4 Future Directions
M. Weissman Multiplying Modular Forms
![Page 7: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/7.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
The Simplest Case of Multiplication.(of modular forms)
Let H be the upper half plane.Let M(k) be the space of holomorphic modular forms onH, of level 1.If f1 ∈ M(k1), and f2 ∈ M(k2), then f1 · f2 ∈ M(k1 + k2).
M. Weissman Multiplying Modular Forms
![Page 8: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/8.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
The Simplest Case of Multiplication.(of modular forms)
Let H be the upper half plane.Let M(k) be the space of holomorphic modular forms onH, of level 1.If f1 ∈ M(k1), and f2 ∈ M(k2), then f1 · f2 ∈ M(k1 + k2).
M. Weissman Multiplying Modular Forms
![Page 9: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/9.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
The Simplest Case of Multiplication.(of modular forms)
Let H be the upper half plane.Let M(k) be the space of holomorphic modular forms onH, of level 1.If f1 ∈ M(k1), and f2 ∈ M(k2), then f1 · f2 ∈ M(k1 + k2).
M. Weissman Multiplying Modular Forms
![Page 10: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/10.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
The Simplest Case of Multiplication.(of modular forms)
Let H be the upper half plane.Let M(k) be the space of holomorphic modular forms onH, of level 1.If f1 ∈ M(k1), and f2 ∈ M(k2), then f1 · f2 ∈ M(k1 + k2).
M. Weissman Multiplying Modular Forms
![Page 11: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/11.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 12: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/12.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 13: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/13.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 14: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/14.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 15: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/15.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 16: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/16.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 17: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/17.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 18: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/18.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 19: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/19.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Holomorphic Discrete Series
A family of representations of SL2(R) . . .For every integer k ≥ 2 :
Dk = f : H → C . . .such that f is holomorphic . . .and
∫H f (z)yk−2dxdy < ∞.
The action of SL2(R) on such f :
g =
(a bc d
)⇒ [gf ](z) = (−bz + d)−k f
(az − c−bz + d
).
Dk has a one-dimensional lowest K -type Ck . Fix a nonzerolowest K -type vector j . (Canonical normalization later...)
M. Weissman Multiplying Modular Forms
![Page 20: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/20.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Automorphic Forms
Take G = SL2(R), Γ fixed arithmetic, K = SO(2), for example.Let A = A(Γ\G) denote the space of automorphic forms:
Functions f ∈ C∞(Γ\G).K -finite.Z(gC)-finite.Moderate growth.
A is a (gC, K )-module (by right-translation).
M. Weissman Multiplying Modular Forms
![Page 21: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/21.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Automorphic Forms
Take G = SL2(R), Γ fixed arithmetic, K = SO(2), for example.Let A = A(Γ\G) denote the space of automorphic forms:
Functions f ∈ C∞(Γ\G).K -finite.Z(gC)-finite.Moderate growth.
A is a (gC, K )-module (by right-translation).
M. Weissman Multiplying Modular Forms
![Page 22: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/22.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Automorphic Forms
Take G = SL2(R), Γ fixed arithmetic, K = SO(2), for example.Let A = A(Γ\G) denote the space of automorphic forms:
Functions f ∈ C∞(Γ\G).K -finite.Z(gC)-finite.Moderate growth.
A is a (gC, K )-module (by right-translation).
M. Weissman Multiplying Modular Forms
![Page 23: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/23.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Automorphic Forms
Take G = SL2(R), Γ fixed arithmetic, K = SO(2), for example.Let A = A(Γ\G) denote the space of automorphic forms:
Functions f ∈ C∞(Γ\G).K -finite.Z(gC)-finite.Moderate growth.
A is a (gC, K )-module (by right-translation).
M. Weissman Multiplying Modular Forms
![Page 24: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/24.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Automorphic Forms
Take G = SL2(R), Γ fixed arithmetic, K = SO(2), for example.Let A = A(Γ\G) denote the space of automorphic forms:
Functions f ∈ C∞(Γ\G).K -finite.Z(gC)-finite.Moderate growth.
A is a (gC, K )-module (by right-translation).
M. Weissman Multiplying Modular Forms
![Page 25: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/25.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Automorphic Forms
Take G = SL2(R), Γ fixed arithmetic, K = SO(2), for example.Let A = A(Γ\G) denote the space of automorphic forms:
Functions f ∈ C∞(Γ\G).K -finite.Z(gC)-finite.Moderate growth.
A is a (gC, K )-module (by right-translation).
M. Weissman Multiplying Modular Forms
![Page 26: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/26.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Automorphic Forms
Take G = SL2(R), Γ fixed arithmetic, K = SO(2), for example.Let A = A(Γ\G) denote the space of automorphic forms:
Functions f ∈ C∞(Γ\G).K -finite.Z(gC)-finite.Moderate growth.
A is a (gC, K )-module (by right-translation).
M. Weissman Multiplying Modular Forms
![Page 27: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/27.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Modular Forms as Intertwining Operators
Fix an integer k ≥ 2.Suppose that F : Dk → A is (gC, K )-intertwining.There is a unique function f : H → C satisfying:
[g−1f ](i) = F (j)(g),
for all g ∈ SL2(R).This function f is in M(k). This yields an isomorphism(classicalization):
cl : Hom(gC,K )(Dk ,A) ∼= M(k).
M. Weissman Multiplying Modular Forms
![Page 28: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/28.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Modular Forms as Intertwining Operators
Fix an integer k ≥ 2.Suppose that F : Dk → A is (gC, K )-intertwining.There is a unique function f : H → C satisfying:
[g−1f ](i) = F (j)(g),
for all g ∈ SL2(R).This function f is in M(k). This yields an isomorphism(classicalization):
cl : Hom(gC,K )(Dk ,A) ∼= M(k).
M. Weissman Multiplying Modular Forms
![Page 29: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/29.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Modular Forms as Intertwining Operators
Fix an integer k ≥ 2.Suppose that F : Dk → A is (gC, K )-intertwining.There is a unique function f : H → C satisfying:
[g−1f ](i) = F (j)(g),
for all g ∈ SL2(R).This function f is in M(k). This yields an isomorphism(classicalization):
cl : Hom(gC,K )(Dk ,A) ∼= M(k).
M. Weissman Multiplying Modular Forms
![Page 30: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/30.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Modular Forms as Intertwining Operators
Fix an integer k ≥ 2.Suppose that F : Dk → A is (gC, K )-intertwining.There is a unique function f : H → C satisfying:
[g−1f ](i) = F (j)(g),
for all g ∈ SL2(R).This function f is in M(k). This yields an isomorphism(classicalization):
cl : Hom(gC,K )(Dk ,A) ∼= M(k).
M. Weissman Multiplying Modular Forms
![Page 31: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/31.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Modular Forms as Intertwining Operators
Fix an integer k ≥ 2.Suppose that F : Dk → A is (gC, K )-intertwining.There is a unique function f : H → C satisfying:
[g−1f ](i) = F (j)(g),
for all g ∈ SL2(R).This function f is in M(k). This yields an isomorphism(classicalization):
cl : Hom(gC,K )(Dk ,A) ∼= M(k).
M. Weissman Multiplying Modular Forms
![Page 32: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/32.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Tensor Products of Holomorphic Discrete Seriesafter J. Repka
Fix k1, k2 ≥ 2.As a representation of SO(2), we have:
Dk =⊕n≥0
Ck+2n.
Hence, the tensor product (gC, K )-module decomposes:
Dk1 ⊗ Dk2 =⊕n≥0
(n + 1)Ck1+k2+2n.
Lowest K -type Ck1+k2 occurs with multiplicity one. There existsan embedding:
ν1,2 : Dk1+k2 → Dk1 ⊗ Dk2 .
M. Weissman Multiplying Modular Forms
![Page 33: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/33.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Tensor Products of Holomorphic Discrete Seriesafter J. Repka
Fix k1, k2 ≥ 2.As a representation of SO(2), we have:
Dk =⊕n≥0
Ck+2n.
Hence, the tensor product (gC, K )-module decomposes:
Dk1 ⊗ Dk2 =⊕n≥0
(n + 1)Ck1+k2+2n.
Lowest K -type Ck1+k2 occurs with multiplicity one. There existsan embedding:
ν1,2 : Dk1+k2 → Dk1 ⊗ Dk2 .
M. Weissman Multiplying Modular Forms
![Page 34: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/34.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Tensor Products of Holomorphic Discrete Seriesafter J. Repka
Fix k1, k2 ≥ 2.As a representation of SO(2), we have:
Dk =⊕n≥0
Ck+2n.
Hence, the tensor product (gC, K )-module decomposes:
Dk1 ⊗ Dk2 =⊕n≥0
(n + 1)Ck1+k2+2n.
Lowest K -type Ck1+k2 occurs with multiplicity one. There existsan embedding:
ν1,2 : Dk1+k2 → Dk1 ⊗ Dk2 .
M. Weissman Multiplying Modular Forms
![Page 35: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/35.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Tensor Products of Holomorphic Discrete Seriesafter J. Repka
Fix k1, k2 ≥ 2.As a representation of SO(2), we have:
Dk =⊕n≥0
Ck+2n.
Hence, the tensor product (gC, K )-module decomposes:
Dk1 ⊗ Dk2 =⊕n≥0
(n + 1)Ck1+k2+2n.
Lowest K -type Ck1+k2 occurs with multiplicity one. There existsan embedding:
ν1,2 : Dk1+k2 → Dk1 ⊗ Dk2 .
M. Weissman Multiplying Modular Forms
![Page 36: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/36.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Tensor Products of Holomorphic Discrete Seriesafter J. Repka
Fix k1, k2 ≥ 2.As a representation of SO(2), we have:
Dk =⊕n≥0
Ck+2n.
Hence, the tensor product (gC, K )-module decomposes:
Dk1 ⊗ Dk2 =⊕n≥0
(n + 1)Ck1+k2+2n.
Lowest K -type Ck1+k2 occurs with multiplicity one. There existsan embedding:
ν1,2 : Dk1+k2 → Dk1 ⊗ Dk2 .
M. Weissman Multiplying Modular Forms
![Page 37: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/37.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication via the Tensor Product
Multiplication of modular forms is a collection of bilinear maps:
M(k1)⊗M(k2) → M(k1 + k2).
We can identify:
M(k) ∼= Hom(gC,K )(Dk ,A).
Multiplication of automorphic forms yields a bilinear map:
m : A⊗A → C∞(Γ\G).
Multiplication arises from representation theory:
F1 ∈ Hom(gC,K )(Dk1 ,A), F2 ∈ Hom(gC,K )(Dk2 ,A),
Define F ∈ Hom(gC,K )(Dk ,A) by:
F (v) = m((F1 ⊗ F2)(ν1,2(v))).
M. Weissman Multiplying Modular Forms
![Page 38: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/38.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication via the Tensor Product
Multiplication of modular forms is a collection of bilinear maps:
M(k1)⊗M(k2) → M(k1 + k2).
We can identify:
M(k) ∼= Hom(gC,K )(Dk ,A).
Multiplication of automorphic forms yields a bilinear map:
m : A⊗A → C∞(Γ\G).
Multiplication arises from representation theory:
F1 ∈ Hom(gC,K )(Dk1 ,A), F2 ∈ Hom(gC,K )(Dk2 ,A),
Define F ∈ Hom(gC,K )(Dk ,A) by:
F (v) = m((F1 ⊗ F2)(ν1,2(v))).
M. Weissman Multiplying Modular Forms
![Page 39: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/39.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication via the Tensor Product
Multiplication of modular forms is a collection of bilinear maps:
M(k1)⊗M(k2) → M(k1 + k2).
We can identify:
M(k) ∼= Hom(gC,K )(Dk ,A).
Multiplication of automorphic forms yields a bilinear map:
m : A⊗A → C∞(Γ\G).
Multiplication arises from representation theory:
F1 ∈ Hom(gC,K )(Dk1 ,A), F2 ∈ Hom(gC,K )(Dk2 ,A),
Define F ∈ Hom(gC,K )(Dk ,A) by:
F (v) = m((F1 ⊗ F2)(ν1,2(v))).
M. Weissman Multiplying Modular Forms
![Page 40: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/40.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication via the Tensor Product
Multiplication of modular forms is a collection of bilinear maps:
M(k1)⊗M(k2) → M(k1 + k2).
We can identify:
M(k) ∼= Hom(gC,K )(Dk ,A).
Multiplication of automorphic forms yields a bilinear map:
m : A⊗A → C∞(Γ\G).
Multiplication arises from representation theory:
F1 ∈ Hom(gC,K )(Dk1 ,A), F2 ∈ Hom(gC,K )(Dk2 ,A),
Define F ∈ Hom(gC,K )(Dk ,A) by:
F (v) = m((F1 ⊗ F2)(ν1,2(v))).
M. Weissman Multiplying Modular Forms
![Page 41: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/41.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication via the Tensor Product
Multiplication of modular forms is a collection of bilinear maps:
M(k1)⊗M(k2) → M(k1 + k2).
We can identify:
M(k) ∼= Hom(gC,K )(Dk ,A).
Multiplication of automorphic forms yields a bilinear map:
m : A⊗A → C∞(Γ\G).
Multiplication arises from representation theory:
F1 ∈ Hom(gC,K )(Dk1 ,A), F2 ∈ Hom(gC,K )(Dk2 ,A),
Define F ∈ Hom(gC,K )(Dk ,A) by:
F (v) = m((F1 ⊗ F2)(ν1,2(v))).
M. Weissman Multiplying Modular Forms
![Page 42: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/42.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
The diagram commutes
Extend the map (F1, F2) 7→ F linearly to a “multiplication”:
m1,2 : Hom(Dk1 ,A)⊗ Hom(Dk2 ,A) → Hom(Dk1+k2 ,A).
Then the following diagram commutes:
Hom(Dk1 ,A)⊗ Hom(Dk2 ,A)m1,2 //
clk1⊗clk2
Hom(Dk1+k2 ,A)
clk1+k2
M(k1)⊗M(k2)mult // M(k1 + k2)
M. Weissman Multiplying Modular Forms
![Page 43: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/43.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
The diagram commutes
Extend the map (F1, F2) 7→ F linearly to a “multiplication”:
m1,2 : Hom(Dk1 ,A)⊗ Hom(Dk2 ,A) → Hom(Dk1+k2 ,A).
Then the following diagram commutes:
Hom(Dk1 ,A)⊗ Hom(Dk2 ,A)m1,2 //
clk1⊗clk2
Hom(Dk1+k2 ,A)
clk1+k2
M(k1)⊗M(k2)mult // M(k1 + k2)
M. Weissman Multiplying Modular Forms
![Page 44: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/44.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Outline
1 IntroductionA remark of DeligneHolomorphic Modular FormsMultiplication Datum
2 Compact GroupsBorel-Weil TheoremMultiplying Algebraic Modular Forms
3 Discrete SeriesConstruction via lowest K -typeMultiplication
4 Future Directions
M. Weissman Multiplying Modular Forms
![Page 45: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/45.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
General Modular Forms
Suppose that G connected semisimple algebraic group over Q.Write G = G(R), Γ arithmetic subgroup, K maximal compact.Space of automorphic forms A = A(Γ\G), a (gC, K )-module.Suppose that J is an irreducible Harish-Chandra module (Aweight).
DefinitionThe space of modular forms of weight J is:
M(J ) = Hom(gC,K )(J ,A).
M. Weissman Multiplying Modular Forms
![Page 46: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/46.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
General Modular Forms
Suppose that G connected semisimple algebraic group over Q.Write G = G(R), Γ arithmetic subgroup, K maximal compact.Space of automorphic forms A = A(Γ\G), a (gC, K )-module.Suppose that J is an irreducible Harish-Chandra module (Aweight).
DefinitionThe space of modular forms of weight J is:
M(J ) = Hom(gC,K )(J ,A).
M. Weissman Multiplying Modular Forms
![Page 47: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/47.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
General Modular Forms
Suppose that G connected semisimple algebraic group over Q.Write G = G(R), Γ arithmetic subgroup, K maximal compact.Space of automorphic forms A = A(Γ\G), a (gC, K )-module.Suppose that J is an irreducible Harish-Chandra module (Aweight).
DefinitionThe space of modular forms of weight J is:
M(J ) = Hom(gC,K )(J ,A).
M. Weissman Multiplying Modular Forms
![Page 48: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/48.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
General Modular Forms
Suppose that G connected semisimple algebraic group over Q.Write G = G(R), Γ arithmetic subgroup, K maximal compact.Space of automorphic forms A = A(Γ\G), a (gC, K )-module.Suppose that J is an irreducible Harish-Chandra module (Aweight).
DefinitionThe space of modular forms of weight J is:
M(J ) = Hom(gC,K )(J ,A).
M. Weissman Multiplying Modular Forms
![Page 49: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/49.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
General Modular Forms
Suppose that G connected semisimple algebraic group over Q.Write G = G(R), Γ arithmetic subgroup, K maximal compact.Space of automorphic forms A = A(Γ\G), a (gC, K )-module.Suppose that J is an irreducible Harish-Chandra module (Aweight).
DefinitionThe space of modular forms of weight J is:
M(J ) = Hom(gC,K )(J ,A).
M. Weissman Multiplying Modular Forms
![Page 50: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/50.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication Datum
Suppose that J , J1, J2 are three weights. Suppose that:
ν1,2 : J → J1 ⊗ J2
is an intertwining operator (of (gC, K )-modules).
TheoremSuppose that F1 ∈ M(J1), F2 ∈ M(J2). The composition ofmaps F = m (F1 ⊗ F2) ν1,2, described below, is in M(J ).
J → J1 ⊗ J2 → A⊗A → C∞(Γ\G).
This gives a bilinear map:
m1,2 : M(J1)⊗M(J2) → M(J ).
M. Weissman Multiplying Modular Forms
![Page 51: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/51.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication Datum
Suppose that J , J1, J2 are three weights. Suppose that:
ν1,2 : J → J1 ⊗ J2
is an intertwining operator (of (gC, K )-modules).
TheoremSuppose that F1 ∈ M(J1), F2 ∈ M(J2). The composition ofmaps F = m (F1 ⊗ F2) ν1,2, described below, is in M(J ).
J → J1 ⊗ J2 → A⊗A → C∞(Γ\G).
This gives a bilinear map:
m1,2 : M(J1)⊗M(J2) → M(J ).
M. Weissman Multiplying Modular Forms
![Page 52: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/52.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication Datum
Suppose that J , J1, J2 are three weights. Suppose that:
ν1,2 : J → J1 ⊗ J2
is an intertwining operator (of (gC, K )-modules).
TheoremSuppose that F1 ∈ M(J1), F2 ∈ M(J2). The composition ofmaps F = m (F1 ⊗ F2) ν1,2, described below, is in M(J ).
J → J1 ⊗ J2 → A⊗A → C∞(Γ\G).
This gives a bilinear map:
m1,2 : M(J1)⊗M(J2) → M(J ).
M. Weissman Multiplying Modular Forms
![Page 53: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/53.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication Datum
Suppose that J , J1, J2 are three weights. Suppose that:
ν1,2 : J → J1 ⊗ J2
is an intertwining operator (of (gC, K )-modules).
TheoremSuppose that F1 ∈ M(J1), F2 ∈ M(J2). The composition ofmaps F = m (F1 ⊗ F2) ν1,2, described below, is in M(J ).
J → J1 ⊗ J2 → A⊗A → C∞(Γ\G).
This gives a bilinear map:
m1,2 : M(J1)⊗M(J2) → M(J ).
M. Weissman Multiplying Modular Forms
![Page 54: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/54.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Multiplication Datum
Suppose that J , J1, J2 are three weights. Suppose that:
ν1,2 : J → J1 ⊗ J2
is an intertwining operator (of (gC, K )-modules).
TheoremSuppose that F1 ∈ M(J1), F2 ∈ M(J2). The composition ofmaps F = m (F1 ⊗ F2) ν1,2, described below, is in M(J ).
J → J1 ⊗ J2 → A⊗A → C∞(Γ\G).
This gives a bilinear map:
m1,2 : M(J1)⊗M(J2) → M(J ).
M. Weissman Multiplying Modular Forms
![Page 55: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/55.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Problems
Multiplication of modular forms requires more than the previoustheorem:
We would like a collection of weights Jλ, indexed by acommutative monoid C.We would like a collection of intertwining operators:
νλ1,λ2 : Jλ1+λ2 → Jλ1 ⊗ Jλ2 ,
for all λ1, λ2 ∈ C.We require that the collection νλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity.
Fulfilling these conditions yields a ring of modular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 56: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/56.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Problems
Multiplication of modular forms requires more than the previoustheorem:
We would like a collection of weights Jλ, indexed by acommutative monoid C.We would like a collection of intertwining operators:
νλ1,λ2 : Jλ1+λ2 → Jλ1 ⊗ Jλ2 ,
for all λ1, λ2 ∈ C.We require that the collection νλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity.
Fulfilling these conditions yields a ring of modular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 57: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/57.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Problems
Multiplication of modular forms requires more than the previoustheorem:
We would like a collection of weights Jλ, indexed by acommutative monoid C.We would like a collection of intertwining operators:
νλ1,λ2 : Jλ1+λ2 → Jλ1 ⊗ Jλ2 ,
for all λ1, λ2 ∈ C.We require that the collection νλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity.
Fulfilling these conditions yields a ring of modular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 58: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/58.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Problems
Multiplication of modular forms requires more than the previoustheorem:
We would like a collection of weights Jλ, indexed by acommutative monoid C.We would like a collection of intertwining operators:
νλ1,λ2 : Jλ1+λ2 → Jλ1 ⊗ Jλ2 ,
for all λ1, λ2 ∈ C.We require that the collection νλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity.
Fulfilling these conditions yields a ring of modular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 59: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/59.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Problems
Multiplication of modular forms requires more than the previoustheorem:
We would like a collection of weights Jλ, indexed by acommutative monoid C.We would like a collection of intertwining operators:
νλ1,λ2 : Jλ1+λ2 → Jλ1 ⊗ Jλ2 ,
for all λ1, λ2 ∈ C.We require that the collection νλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity.
Fulfilling these conditions yields a ring of modular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 60: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/60.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Co-commutativity
We leave most of the axioms to the audience imagination. Buthere’s a sample:For all λ1, λ2 ∈ C, the following diagram commutes:
Jλ1 ⊗ Jλ2
comm
Jλ1+λ2
νλ1,λ288rrrrrrrrrr
νλ2,λ1 &&LLLLLLLLLL
Jλ2 ⊗ Jλ1
M. Weissman Multiplying Modular Forms
![Page 61: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/61.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Co-commutativity
We leave most of the axioms to the audience imagination. Buthere’s a sample:For all λ1, λ2 ∈ C, the following diagram commutes:
Jλ1 ⊗ Jλ2
comm
Jλ1+λ2
νλ1,λ288rrrrrrrrrr
νλ2,λ1 &&LLLLLLLLLL
Jλ2 ⊗ Jλ1
M. Weissman Multiplying Modular Forms
![Page 62: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/62.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
A remark of DeligneHolomorphicMultiplication Datum
Co-commutativity
We leave most of the axioms to the audience imagination. Buthere’s a sample:For all λ1, λ2 ∈ C, the following diagram commutes:
Jλ1 ⊗ Jλ2
comm
Jλ1+λ2
νλ1,λ288rrrrrrrrrr
νλ2,λ1 &&LLLLLLLLLL
Jλ2 ⊗ Jλ1
M. Weissman Multiplying Modular Forms
![Page 63: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/63.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Outline
1 IntroductionA remark of DeligneHolomorphic Modular FormsMultiplication Datum
2 Compact GroupsBorel-Weil TheoremMultiplying Algebraic Modular Forms
3 Discrete SeriesConstruction via lowest K -typeMultiplication
4 Future Directions
M. Weissman Multiplying Modular Forms
![Page 64: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/64.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Algebraic Modular Forms
Suppose that G (a connected semisimple group over Q) hasthe property that G = G(R) is a compact Lie group.In this situation, “weights” are finite-dimensional irreduciblerepresentations of G.Modular forms have been studied by B. Gross, under the name“Algebraic Modular Forms”.Such modular forms can be multiplied. This has been carriedout by Khuri-Makdisi.The case when G = B×1 (norm one elements in a definitequaternion algebra over Q) has been studied extensively.
M. Weissman Multiplying Modular Forms
![Page 65: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/65.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Algebraic Modular Forms
Suppose that G (a connected semisimple group over Q) hasthe property that G = G(R) is a compact Lie group.In this situation, “weights” are finite-dimensional irreduciblerepresentations of G.Modular forms have been studied by B. Gross, under the name“Algebraic Modular Forms”.Such modular forms can be multiplied. This has been carriedout by Khuri-Makdisi.The case when G = B×1 (norm one elements in a definitequaternion algebra over Q) has been studied extensively.
M. Weissman Multiplying Modular Forms
![Page 66: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/66.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Algebraic Modular Forms
Suppose that G (a connected semisimple group over Q) hasthe property that G = G(R) is a compact Lie group.In this situation, “weights” are finite-dimensional irreduciblerepresentations of G.Modular forms have been studied by B. Gross, under the name“Algebraic Modular Forms”.Such modular forms can be multiplied. This has been carriedout by Khuri-Makdisi.The case when G = B×1 (norm one elements in a definitequaternion algebra over Q) has been studied extensively.
M. Weissman Multiplying Modular Forms
![Page 67: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/67.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Algebraic Modular Forms
Suppose that G (a connected semisimple group over Q) hasthe property that G = G(R) is a compact Lie group.In this situation, “weights” are finite-dimensional irreduciblerepresentations of G.Modular forms have been studied by B. Gross, under the name“Algebraic Modular Forms”.Such modular forms can be multiplied. This has been carriedout by Khuri-Makdisi.The case when G = B×1 (norm one elements in a definitequaternion algebra over Q) has been studied extensively.
M. Weissman Multiplying Modular Forms
![Page 68: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/68.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Algebraic Modular Forms
Suppose that G (a connected semisimple group over Q) hasthe property that G = G(R) is a compact Lie group.In this situation, “weights” are finite-dimensional irreduciblerepresentations of G.Modular forms have been studied by B. Gross, under the name“Algebraic Modular Forms”.Such modular forms can be multiplied. This has been carriedout by Khuri-Makdisi.The case when G = B×1 (norm one elements in a definitequaternion algebra over Q) has been studied extensively.
M. Weissman Multiplying Modular Forms
![Page 69: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/69.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Realization of Representations
The Borel-Weil theorem yields a uniform realization of allirreducible representations of G.Irreducible representations of G are indexed by dominantweights λ ∈ Λ+.Fix a maximal torus T ⊂ G.Fix a Borel subgroup BC ⊂ GC, containing TC.Any λ ∈ Λ+ corresponds to an algebraic homomorphismTC → C×, and extends to BC.
M. Weissman Multiplying Modular Forms
![Page 70: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/70.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Realization of Representations
The Borel-Weil theorem yields a uniform realization of allirreducible representations of G.Irreducible representations of G are indexed by dominantweights λ ∈ Λ+.Fix a maximal torus T ⊂ G.Fix a Borel subgroup BC ⊂ GC, containing TC.Any λ ∈ Λ+ corresponds to an algebraic homomorphismTC → C×, and extends to BC.
M. Weissman Multiplying Modular Forms
![Page 71: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/71.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Realization of Representations
The Borel-Weil theorem yields a uniform realization of allirreducible representations of G.Irreducible representations of G are indexed by dominantweights λ ∈ Λ+.Fix a maximal torus T ⊂ G.Fix a Borel subgroup BC ⊂ GC, containing TC.Any λ ∈ Λ+ corresponds to an algebraic homomorphismTC → C×, and extends to BC.
M. Weissman Multiplying Modular Forms
![Page 72: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/72.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Realization of Representations
The Borel-Weil theorem yields a uniform realization of allirreducible representations of G.Irreducible representations of G are indexed by dominantweights λ ∈ Λ+.Fix a maximal torus T ⊂ G.Fix a Borel subgroup BC ⊂ GC, containing TC.Any λ ∈ Λ+ corresponds to an algebraic homomorphismTC → C×, and extends to BC.
M. Weissman Multiplying Modular Forms
![Page 73: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/73.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Realization of Representations
The Borel-Weil theorem yields a uniform realization of allirreducible representations of G.Irreducible representations of G are indexed by dominantweights λ ∈ Λ+.Fix a maximal torus T ⊂ G.Fix a Borel subgroup BC ⊂ GC, containing TC.Any λ ∈ Λ+ corresponds to an algebraic homomorphismTC → C×, and extends to BC.
M. Weissman Multiplying Modular Forms
![Page 74: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/74.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The Borel-Weil Theorem
Consider the space Hλ of functions h : GC → C such that:h is holomorphic.h(gb) = λ(b)h(g), for all g ∈ GC, b ∈ BC.
In other words, Hλ = H0(Y ,O(−λ)), where Y is the complexflag variety, and O(−λ) is the line bundle associated to thecharacter −λ of T .
Theorem (Borel-Weil)The space Hλ, with the left-translation action τλ of G, is anirreducible representation of G with highest weight λ.
M. Weissman Multiplying Modular Forms
![Page 75: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/75.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The Borel-Weil Theorem
Consider the space Hλ of functions h : GC → C such that:h is holomorphic.h(gb) = λ(b)h(g), for all g ∈ GC, b ∈ BC.
In other words, Hλ = H0(Y ,O(−λ)), where Y is the complexflag variety, and O(−λ) is the line bundle associated to thecharacter −λ of T .
Theorem (Borel-Weil)The space Hλ, with the left-translation action τλ of G, is anirreducible representation of G with highest weight λ.
M. Weissman Multiplying Modular Forms
![Page 76: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/76.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The Borel-Weil Theorem
Consider the space Hλ of functions h : GC → C such that:h is holomorphic.h(gb) = λ(b)h(g), for all g ∈ GC, b ∈ BC.
In other words, Hλ = H0(Y ,O(−λ)), where Y is the complexflag variety, and O(−λ) is the line bundle associated to thecharacter −λ of T .
Theorem (Borel-Weil)The space Hλ, with the left-translation action τλ of G, is anirreducible representation of G with highest weight λ.
M. Weissman Multiplying Modular Forms
![Page 77: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/77.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The Borel-Weil Theorem
Consider the space Hλ of functions h : GC → C such that:h is holomorphic.h(gb) = λ(b)h(g), for all g ∈ GC, b ∈ BC.
In other words, Hλ = H0(Y ,O(−λ)), where Y is the complexflag variety, and O(−λ) is the line bundle associated to thecharacter −λ of T .
Theorem (Borel-Weil)The space Hλ, with the left-translation action τλ of G, is anirreducible representation of G with highest weight λ.
M. Weissman Multiplying Modular Forms
![Page 78: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/78.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The Borel-Weil Theorem
Consider the space Hλ of functions h : GC → C such that:h is holomorphic.h(gb) = λ(b)h(g), for all g ∈ GC, b ∈ BC.
In other words, Hλ = H0(Y ,O(−λ)), where Y is the complexflag variety, and O(−λ) is the line bundle associated to thecharacter −λ of T .
Theorem (Borel-Weil)The space Hλ, with the left-translation action τλ of G, is anirreducible representation of G with highest weight λ.
M. Weissman Multiplying Modular Forms
![Page 79: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/79.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Additional structures
The Borel-Weil realization yields additional structures on therepresentations Hλ, defined uniformly in λ.We may define a Hilbert space structure on Hλ via:
〈h1, h2〉λ =
∫G
h1(g)h2(g)dg,
where Haar measure is normalized so that Vol(G) = 1.A highest weight vector hλ ∈ Hλ, unique up to scalar, can benormalized by requiring hλ(1) = 1.Another highest weight vector h∨λ is given by requiring that〈hλ, h∨λ 〉 = 1.
M. Weissman Multiplying Modular Forms
![Page 80: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/80.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Additional structures
The Borel-Weil realization yields additional structures on therepresentations Hλ, defined uniformly in λ.We may define a Hilbert space structure on Hλ via:
〈h1, h2〉λ =
∫G
h1(g)h2(g)dg,
where Haar measure is normalized so that Vol(G) = 1.A highest weight vector hλ ∈ Hλ, unique up to scalar, can benormalized by requiring hλ(1) = 1.Another highest weight vector h∨λ is given by requiring that〈hλ, h∨λ 〉 = 1.
M. Weissman Multiplying Modular Forms
![Page 81: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/81.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Additional structures
The Borel-Weil realization yields additional structures on therepresentations Hλ, defined uniformly in λ.We may define a Hilbert space structure on Hλ via:
〈h1, h2〉λ =
∫G
h1(g)h2(g)dg,
where Haar measure is normalized so that Vol(G) = 1.A highest weight vector hλ ∈ Hλ, unique up to scalar, can benormalized by requiring hλ(1) = 1.Another highest weight vector h∨λ is given by requiring that〈hλ, h∨λ 〉 = 1.
M. Weissman Multiplying Modular Forms
![Page 82: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/82.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Additional structures
The Borel-Weil realization yields additional structures on therepresentations Hλ, defined uniformly in λ.We may define a Hilbert space structure on Hλ via:
〈h1, h2〉λ =
∫G
h1(g)h2(g)dg,
where Haar measure is normalized so that Vol(G) = 1.A highest weight vector hλ ∈ Hλ, unique up to scalar, can benormalized by requiring hλ(1) = 1.Another highest weight vector h∨λ is given by requiring that〈hλ, h∨λ 〉 = 1.
M. Weissman Multiplying Modular Forms
![Page 83: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/83.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Outline
1 IntroductionA remark of DeligneHolomorphic Modular FormsMultiplication Datum
2 Compact GroupsBorel-Weil TheoremMultiplying Algebraic Modular Forms
3 Discrete SeriesConstruction via lowest K -typeMultiplication
4 Future Directions
M. Weissman Multiplying Modular Forms
![Page 84: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/84.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Intertwining Operators
Suppose that λ1, λ2 ∈ Λ+. Let λ = λ1 + λ2.There is a natural G-intertwining operator:
µ∗1,2 : Hλ1 ⊗ Hλ2 → Hλ,
µ∗1,2(h1 ⊗ h2) = h1 · h2.
We may dualize, via the Hilbert space structure, to get aG-intertwining operator:
µ1,2 : Hλ → Hλ1 ⊗ Hλ2 .
One may compute:
µ1,2(h∨λ ) = h∨λ1⊗ h∨λ2
.
M. Weissman Multiplying Modular Forms
![Page 85: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/85.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Intertwining Operators
Suppose that λ1, λ2 ∈ Λ+. Let λ = λ1 + λ2.There is a natural G-intertwining operator:
µ∗1,2 : Hλ1 ⊗ Hλ2 → Hλ,
µ∗1,2(h1 ⊗ h2) = h1 · h2.
We may dualize, via the Hilbert space structure, to get aG-intertwining operator:
µ1,2 : Hλ → Hλ1 ⊗ Hλ2 .
One may compute:
µ1,2(h∨λ ) = h∨λ1⊗ h∨λ2
.
M. Weissman Multiplying Modular Forms
![Page 86: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/86.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Intertwining Operators
Suppose that λ1, λ2 ∈ Λ+. Let λ = λ1 + λ2.There is a natural G-intertwining operator:
µ∗1,2 : Hλ1 ⊗ Hλ2 → Hλ,
µ∗1,2(h1 ⊗ h2) = h1 · h2.
We may dualize, via the Hilbert space structure, to get aG-intertwining operator:
µ1,2 : Hλ → Hλ1 ⊗ Hλ2 .
One may compute:
µ1,2(h∨λ ) = h∨λ1⊗ h∨λ2
.
M. Weissman Multiplying Modular Forms
![Page 87: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/87.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Intertwining Operators
Suppose that λ1, λ2 ∈ Λ+. Let λ = λ1 + λ2.There is a natural G-intertwining operator:
µ∗1,2 : Hλ1 ⊗ Hλ2 → Hλ,
µ∗1,2(h1 ⊗ h2) = h1 · h2.
We may dualize, via the Hilbert space structure, to get aG-intertwining operator:
µ1,2 : Hλ → Hλ1 ⊗ Hλ2 .
One may compute:
µ1,2(h∨λ ) = h∨λ1⊗ h∨λ2
.
M. Weissman Multiplying Modular Forms
![Page 88: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/88.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Intertwining Operators
Suppose that λ1, λ2 ∈ Λ+. Let λ = λ1 + λ2.There is a natural G-intertwining operator:
µ∗1,2 : Hλ1 ⊗ Hλ2 → Hλ,
µ∗1,2(h1 ⊗ h2) = h1 · h2.
We may dualize, via the Hilbert space structure, to get aG-intertwining operator:
µ1,2 : Hλ → Hλ1 ⊗ Hλ2 .
One may compute:
µ1,2(h∨λ ) = h∨λ1⊗ h∨λ2
.
M. Weissman Multiplying Modular Forms
![Page 89: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/89.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Properties of these Intertwining Operators
We have a monoid Λ+ of dominant weights.For each λ ∈ Λ+, an irreducible representation Hλ of G.For each pair λ1, λ2 ∈ Λ+, we have an intertwining operator:
µλ1,λ2 : Hλ1+λ2 → Hλ1 ⊗ Hλ2 .
TheoremThe collection of operators µλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity. Thus, for anyfixed arithmetic subgroup Γ ⊂ G, there is a Λ+-graded ring ofmodular forms:
M =⊕λ∈Λ+
M(Hλ).
M. Weissman Multiplying Modular Forms
![Page 90: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/90.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Properties of these Intertwining Operators
We have a monoid Λ+ of dominant weights.For each λ ∈ Λ+, an irreducible representation Hλ of G.For each pair λ1, λ2 ∈ Λ+, we have an intertwining operator:
µλ1,λ2 : Hλ1+λ2 → Hλ1 ⊗ Hλ2 .
TheoremThe collection of operators µλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity. Thus, for anyfixed arithmetic subgroup Γ ⊂ G, there is a Λ+-graded ring ofmodular forms:
M =⊕λ∈Λ+
M(Hλ).
M. Weissman Multiplying Modular Forms
![Page 91: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/91.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Properties of these Intertwining Operators
We have a monoid Λ+ of dominant weights.For each λ ∈ Λ+, an irreducible representation Hλ of G.For each pair λ1, λ2 ∈ Λ+, we have an intertwining operator:
µλ1,λ2 : Hλ1+λ2 → Hλ1 ⊗ Hλ2 .
TheoremThe collection of operators µλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity. Thus, for anyfixed arithmetic subgroup Γ ⊂ G, there is a Λ+-graded ring ofmodular forms:
M =⊕λ∈Λ+
M(Hλ).
M. Weissman Multiplying Modular Forms
![Page 92: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/92.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
Properties of these Intertwining Operators
We have a monoid Λ+ of dominant weights.For each λ ∈ Λ+, an irreducible representation Hλ of G.For each pair λ1, λ2 ∈ Λ+, we have an intertwining operator:
µλ1,λ2 : Hλ1+λ2 → Hλ1 ⊗ Hλ2 .
TheoremThe collection of operators µλ1,λ2 satisfies axioms ofco-identity, co-commutativity, and co-associativity. Thus, for anyfixed arithmetic subgroup Γ ⊂ G, there is a Λ+-graded ring ofmodular forms:
M =⊕λ∈Λ+
M(Hλ).
M. Weissman Multiplying Modular Forms
![Page 93: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/93.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The SU(2) case
The previous results have essentially been obtained byKhuri-Makdisi.Especially, when G = B×1, so G ∼= SU(2), the rings of modularforms have been studied.In this case, Λ+ = N, and we can define:
X (Γ) = Proj(M).
This is a “modular curve” parameterizing complex 2-tori, withendomorphims by an order in B.
M. Weissman Multiplying Modular Forms
![Page 94: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/94.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The SU(2) case
The previous results have essentially been obtained byKhuri-Makdisi.Especially, when G = B×1, so G ∼= SU(2), the rings of modularforms have been studied.In this case, Λ+ = N, and we can define:
X (Γ) = Proj(M).
This is a “modular curve” parameterizing complex 2-tori, withendomorphims by an order in B.
M. Weissman Multiplying Modular Forms
![Page 95: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/95.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The SU(2) case
The previous results have essentially been obtained byKhuri-Makdisi.Especially, when G = B×1, so G ∼= SU(2), the rings of modularforms have been studied.In this case, Λ+ = N, and we can define:
X (Γ) = Proj(M).
This is a “modular curve” parameterizing complex 2-tori, withendomorphims by an order in B.
M. Weissman Multiplying Modular Forms
![Page 96: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/96.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Borel-Weil TheoremMultiplying Algebraic Modular Forms
The SU(2) case
The previous results have essentially been obtained byKhuri-Makdisi.Especially, when G = B×1, so G ∼= SU(2), the rings of modularforms have been studied.In this case, Λ+ = N, and we can define:
X (Γ) = Proj(M).
This is a “modular curve” parameterizing complex 2-tori, withendomorphims by an order in B.
M. Weissman Multiplying Modular Forms
![Page 97: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/97.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Outline
1 IntroductionA remark of DeligneHolomorphic Modular FormsMultiplication Datum
2 Compact GroupsBorel-Weil TheoremMultiplying Algebraic Modular Forms
3 Discrete SeriesConstruction via lowest K -typeMultiplication
4 Future Directions
M. Weissman Multiplying Modular Forms
![Page 98: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/98.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Discrete series representations
Now, we consider when G is not necessarily compact.Suppose that G is a connected semisimple linear algebraicgroup over Q.A discrete series representation of G is a pair (π, V ), with V aHilbert space, π a continuous action of G on V , and all matrixcoefficients in L2(G).G has discrete series representations iff rank(G) = rank(K ).Hereafter, suppose that rank(G) = rank(K ).
M. Weissman Multiplying Modular Forms
![Page 99: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/99.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Discrete series representations
Now, we consider when G is not necessarily compact.Suppose that G is a connected semisimple linear algebraicgroup over Q.A discrete series representation of G is a pair (π, V ), with V aHilbert space, π a continuous action of G on V , and all matrixcoefficients in L2(G).G has discrete series representations iff rank(G) = rank(K ).Hereafter, suppose that rank(G) = rank(K ).
M. Weissman Multiplying Modular Forms
![Page 100: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/100.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Discrete series representations
Now, we consider when G is not necessarily compact.Suppose that G is a connected semisimple linear algebraicgroup over Q.A discrete series representation of G is a pair (π, V ), with V aHilbert space, π a continuous action of G on V , and all matrixcoefficients in L2(G).G has discrete series representations iff rank(G) = rank(K ).Hereafter, suppose that rank(G) = rank(K ).
M. Weissman Multiplying Modular Forms
![Page 101: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/101.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Discrete series representations
Now, we consider when G is not necessarily compact.Suppose that G is a connected semisimple linear algebraicgroup over Q.A discrete series representation of G is a pair (π, V ), with V aHilbert space, π a continuous action of G on V , and all matrixcoefficients in L2(G).G has discrete series representations iff rank(G) = rank(K ).Hereafter, suppose that rank(G) = rank(K ).
M. Weissman Multiplying Modular Forms
![Page 102: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/102.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Discrete series representations
Now, we consider when G is not necessarily compact.Suppose that G is a connected semisimple linear algebraicgroup over Q.A discrete series representation of G is a pair (π, V ), with V aHilbert space, π a continuous action of G on V , and all matrixcoefficients in L2(G).G has discrete series representations iff rank(G) = rank(K ).Hereafter, suppose that rank(G) = rank(K ).
M. Weissman Multiplying Modular Forms
![Page 103: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/103.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Construction of Discrete Series
Harish-Chandra proved that discrete series representations ofsuch groups G exist, and are parameterized by certain weightsλ ∈ Λ.His proof did not immediately lead to a construction. Manyconstructions were given shortly afterwards:
L2 or Dolbeaux cohomology of line bundles on G/T .(Langlands conjecture, proven by Schmid)D-module on GC/BC. (Beilinson-Bernstein)Cohomological induction. (Vogan)Harmonic spinors on G/K (Hotta-Parthasarathy).
M. Weissman Multiplying Modular Forms
![Page 104: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/104.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Construction of Discrete Series
Harish-Chandra proved that discrete series representations ofsuch groups G exist, and are parameterized by certain weightsλ ∈ Λ.His proof did not immediately lead to a construction. Manyconstructions were given shortly afterwards:
L2 or Dolbeaux cohomology of line bundles on G/T .(Langlands conjecture, proven by Schmid)D-module on GC/BC. (Beilinson-Bernstein)Cohomological induction. (Vogan)Harmonic spinors on G/K (Hotta-Parthasarathy).
M. Weissman Multiplying Modular Forms
![Page 105: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/105.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Construction of Discrete Series
Harish-Chandra proved that discrete series representations ofsuch groups G exist, and are parameterized by certain weightsλ ∈ Λ.His proof did not immediately lead to a construction. Manyconstructions were given shortly afterwards:
L2 or Dolbeaux cohomology of line bundles on G/T .(Langlands conjecture, proven by Schmid)D-module on GC/BC. (Beilinson-Bernstein)Cohomological induction. (Vogan)Harmonic spinors on G/K (Hotta-Parthasarathy).
M. Weissman Multiplying Modular Forms
![Page 106: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/106.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Construction of Discrete Series
Harish-Chandra proved that discrete series representations ofsuch groups G exist, and are parameterized by certain weightsλ ∈ Λ.His proof did not immediately lead to a construction. Manyconstructions were given shortly afterwards:
L2 or Dolbeaux cohomology of line bundles on G/T .(Langlands conjecture, proven by Schmid)D-module on GC/BC. (Beilinson-Bernstein)Cohomological induction. (Vogan)Harmonic spinors on G/K (Hotta-Parthasarathy).
M. Weissman Multiplying Modular Forms
![Page 107: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/107.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Construction of Discrete Series
Harish-Chandra proved that discrete series representations ofsuch groups G exist, and are parameterized by certain weightsλ ∈ Λ.His proof did not immediately lead to a construction. Manyconstructions were given shortly afterwards:
L2 or Dolbeaux cohomology of line bundles on G/T .(Langlands conjecture, proven by Schmid)D-module on GC/BC. (Beilinson-Bernstein)Cohomological induction. (Vogan)Harmonic spinors on G/K (Hotta-Parthasarathy).
M. Weissman Multiplying Modular Forms
![Page 108: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/108.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Construction of Discrete Series
Harish-Chandra proved that discrete series representations ofsuch groups G exist, and are parameterized by certain weightsλ ∈ Λ.His proof did not immediately lead to a construction. Manyconstructions were given shortly afterwards:
L2 or Dolbeaux cohomology of line bundles on G/T .(Langlands conjecture, proven by Schmid)D-module on GC/BC. (Beilinson-Bernstein)Cohomological induction. (Vogan)Harmonic spinors on G/K (Hotta-Parthasarathy).
M. Weissman Multiplying Modular Forms
![Page 109: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/109.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
The Hotta-Parthasarathy Realization
Suppose that λ ∈ Λ+k . Thus (τλ, Hλ) is a representation of K of
highest weight λ.Define Jλ = J (Y , Hλ), the set of functions j : G → Hλ suchthat:
j ∈ [L2 ∩ C∞](G, Hλ).f (gk) = τλ(k)−1f (g), for all g ∈ G, k ∈ K .Ωf = (‖λ‖2 −‖ρ‖2)f . (a second-order differential equation).
G acts on J (Y , Hλ) by left-translation.
M. Weissman Multiplying Modular Forms
![Page 110: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/110.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
The Hotta-Parthasarathy Realization
Suppose that λ ∈ Λ+k . Thus (τλ, Hλ) is a representation of K of
highest weight λ.Define Jλ = J (Y , Hλ), the set of functions j : G → Hλ suchthat:
j ∈ [L2 ∩ C∞](G, Hλ).f (gk) = τλ(k)−1f (g), for all g ∈ G, k ∈ K .Ωf = (‖λ‖2 −‖ρ‖2)f . (a second-order differential equation).
G acts on J (Y , Hλ) by left-translation.
M. Weissman Multiplying Modular Forms
![Page 111: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/111.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
The Hotta-Parthasarathy Realization
Suppose that λ ∈ Λ+k . Thus (τλ, Hλ) is a representation of K of
highest weight λ.Define Jλ = J (Y , Hλ), the set of functions j : G → Hλ suchthat:
j ∈ [L2 ∩ C∞](G, Hλ).f (gk) = τλ(k)−1f (g), for all g ∈ G, k ∈ K .Ωf = (‖λ‖2 −‖ρ‖2)f . (a second-order differential equation).
G acts on J (Y , Hλ) by left-translation.
M. Weissman Multiplying Modular Forms
![Page 112: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/112.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
The Hotta-Parthasarathy Realization
Suppose that λ ∈ Λ+k . Thus (τλ, Hλ) is a representation of K of
highest weight λ.Define Jλ = J (Y , Hλ), the set of functions j : G → Hλ suchthat:
j ∈ [L2 ∩ C∞](G, Hλ).f (gk) = τλ(k)−1f (g), for all g ∈ G, k ∈ K .Ωf = (‖λ‖2 −‖ρ‖2)f . (a second-order differential equation).
G acts on J (Y , Hλ) by left-translation.
M. Weissman Multiplying Modular Forms
![Page 113: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/113.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
The Hotta-Parthasarathy Realization
Suppose that λ ∈ Λ+k . Thus (τλ, Hλ) is a representation of K of
highest weight λ.Define Jλ = J (Y , Hλ), the set of functions j : G → Hλ suchthat:
j ∈ [L2 ∩ C∞](G, Hλ).f (gk) = τλ(k)−1f (g), for all g ∈ G, k ∈ K .Ωf = (‖λ‖2 −‖ρ‖2)f . (a second-order differential equation).
G acts on J (Y , Hλ) by left-translation.
M. Weissman Multiplying Modular Forms
![Page 114: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/114.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
The Hotta-Parthasarathy Realization
Suppose that λ ∈ Λ+k . Thus (τλ, Hλ) is a representation of K of
highest weight λ.Define Jλ = J (Y , Hλ), the set of functions j : G → Hλ suchthat:
j ∈ [L2 ∩ C∞](G, Hλ).f (gk) = τλ(k)−1f (g), for all g ∈ G, k ∈ K .Ωf = (‖λ‖2 −‖ρ‖2)f . (a second-order differential equation).
G acts on J (Y , Hλ) by left-translation.
M. Weissman Multiplying Modular Forms
![Page 115: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/115.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Lowest K-types
Not every representation of K is the lowest K -type of a discreteseries representation.But... every discrete series representation is uniquelydetermined by its lowest K -type.If (τλ, Hλ) is isomorphic to the lowest K -type of a discreteseries Dλ, then Dλ is isomorphic to J (Y , Hλ), as unitaryrepresentations of G.(Proven by Hotta-Parthasarathy, for λ away from the walls, andextended fully by Wallach).
M. Weissman Multiplying Modular Forms
![Page 116: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/116.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Lowest K-types
Not every representation of K is the lowest K -type of a discreteseries representation.But... every discrete series representation is uniquelydetermined by its lowest K -type.If (τλ, Hλ) is isomorphic to the lowest K -type of a discreteseries Dλ, then Dλ is isomorphic to J (Y , Hλ), as unitaryrepresentations of G.(Proven by Hotta-Parthasarathy, for λ away from the walls, andextended fully by Wallach).
M. Weissman Multiplying Modular Forms
![Page 117: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/117.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Lowest K-types
Not every representation of K is the lowest K -type of a discreteseries representation.But... every discrete series representation is uniquelydetermined by its lowest K -type.If (τλ, Hλ) is isomorphic to the lowest K -type of a discreteseries Dλ, then Dλ is isomorphic to J (Y , Hλ), as unitaryrepresentations of G.(Proven by Hotta-Parthasarathy, for λ away from the walls, andextended fully by Wallach).
M. Weissman Multiplying Modular Forms
![Page 118: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/118.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Lowest K-types
Not every representation of K is the lowest K -type of a discreteseries representation.But... every discrete series representation is uniquelydetermined by its lowest K -type.If (τλ, Hλ) is isomorphic to the lowest K -type of a discreteseries Dλ, then Dλ is isomorphic to J (Y , Hλ), as unitaryrepresentations of G.(Proven by Hotta-Parthasarathy, for λ away from the walls, andextended fully by Wallach).
M. Weissman Multiplying Modular Forms
![Page 119: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/119.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Outline
1 IntroductionA remark of DeligneHolomorphic Modular FormsMultiplication Datum
2 Compact GroupsBorel-Weil TheoremMultiplying Algebraic Modular Forms
3 Discrete SeriesConstruction via lowest K -typeMultiplication
4 Future Directions
M. Weissman Multiplying Modular Forms
![Page 120: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/120.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
What is needed for multiplication
Suppose that C ⊂ Λ+k is a submonoid, such that: for all λ ∈ C,
Hλ is the lowest K -tye of a discrete series representation.Suppose that we can find intertwining operators, for allλ1, λ2 ∈ C:
νλ1,λ2 : Jλ1+λ2 → Jλ1⊗Jλ2 ,
which descends to Harish-Chandra modules (more about thislater).Suppose co-ring axioms are satisfied. Then we get a ring ofmodular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 121: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/121.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
What is needed for multiplication
Suppose that C ⊂ Λ+k is a submonoid, such that: for all λ ∈ C,
Hλ is the lowest K -tye of a discrete series representation.Suppose that we can find intertwining operators, for allλ1, λ2 ∈ C:
νλ1,λ2 : Jλ1+λ2 → Jλ1⊗Jλ2 ,
which descends to Harish-Chandra modules (more about thislater).Suppose co-ring axioms are satisfied. Then we get a ring ofmodular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 122: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/122.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
What is needed for multiplication
Suppose that C ⊂ Λ+k is a submonoid, such that: for all λ ∈ C,
Hλ is the lowest K -tye of a discrete series representation.Suppose that we can find intertwining operators, for allλ1, λ2 ∈ C:
νλ1,λ2 : Jλ1+λ2 → Jλ1⊗Jλ2 ,
which descends to Harish-Chandra modules (more about thislater).Suppose co-ring axioms are satisfied. Then we get a ring ofmodular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 123: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/123.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
What is needed for multiplication
Suppose that C ⊂ Λ+k is a submonoid, such that: for all λ ∈ C,
Hλ is the lowest K -tye of a discrete series representation.Suppose that we can find intertwining operators, for allλ1, λ2 ∈ C:
νλ1,λ2 : Jλ1+λ2 → Jλ1⊗Jλ2 ,
which descends to Harish-Chandra modules (more about thislater).Suppose co-ring axioms are satisfied. Then we get a ring ofmodular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 124: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/124.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
What is needed for multiplication
Suppose that C ⊂ Λ+k is a submonoid, such that: for all λ ∈ C,
Hλ is the lowest K -tye of a discrete series representation.Suppose that we can find intertwining operators, for allλ1, λ2 ∈ C:
νλ1,λ2 : Jλ1+λ2 → Jλ1⊗Jλ2 ,
which descends to Harish-Chandra modules (more about thislater).Suppose co-ring axioms are satisfied. Then we get a ring ofmodular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 125: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/125.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
What is needed for multiplication
Suppose that C ⊂ Λ+k is a submonoid, such that: for all λ ∈ C,
Hλ is the lowest K -tye of a discrete series representation.Suppose that we can find intertwining operators, for allλ1, λ2 ∈ C:
νλ1,λ2 : Jλ1+λ2 → Jλ1⊗Jλ2 ,
which descends to Harish-Chandra modules (more about thislater).Suppose co-ring axioms are satisfied. Then we get a ring ofmodular forms:
MC =⊕λ∈C
M(Jλ).
M. Weissman Multiplying Modular Forms
![Page 126: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/126.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A branching problemin the unitary category
Finding an intertwining operator Jλ1+λ2 → Jλ1⊗Jλ2 can bethought of as a branching problem.Jλ1Jλ2 is a discrete series representation of G ×G.We would like to find a specific irreducible constituent, whenrestricted to G ⊂ G ×G.Geometrically, Jλ1Jλ2 can be realized as:
J (Y × Y , Hλ1 Hλ2).
One may restrict such sections to the diagonally embeddedY ⊂ Y × Y .
M. Weissman Multiplying Modular Forms
![Page 127: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/127.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A branching problemin the unitary category
Finding an intertwining operator Jλ1+λ2 → Jλ1⊗Jλ2 can bethought of as a branching problem.Jλ1Jλ2 is a discrete series representation of G ×G.We would like to find a specific irreducible constituent, whenrestricted to G ⊂ G ×G.Geometrically, Jλ1Jλ2 can be realized as:
J (Y × Y , Hλ1 Hλ2).
One may restrict such sections to the diagonally embeddedY ⊂ Y × Y .
M. Weissman Multiplying Modular Forms
![Page 128: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/128.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A branching problemin the unitary category
Finding an intertwining operator Jλ1+λ2 → Jλ1⊗Jλ2 can bethought of as a branching problem.Jλ1Jλ2 is a discrete series representation of G ×G.We would like to find a specific irreducible constituent, whenrestricted to G ⊂ G ×G.Geometrically, Jλ1Jλ2 can be realized as:
J (Y × Y , Hλ1 Hλ2).
One may restrict such sections to the diagonally embeddedY ⊂ Y × Y .
M. Weissman Multiplying Modular Forms
![Page 129: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/129.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A branching problemin the unitary category
Finding an intertwining operator Jλ1+λ2 → Jλ1⊗Jλ2 can bethought of as a branching problem.Jλ1Jλ2 is a discrete series representation of G ×G.We would like to find a specific irreducible constituent, whenrestricted to G ⊂ G ×G.Geometrically, Jλ1Jλ2 can be realized as:
J (Y × Y , Hλ1 Hλ2).
One may restrict such sections to the diagonally embeddedY ⊂ Y × Y .
M. Weissman Multiplying Modular Forms
![Page 130: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/130.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A branching problemin the unitary category
Finding an intertwining operator Jλ1+λ2 → Jλ1⊗Jλ2 can bethought of as a branching problem.Jλ1Jλ2 is a discrete series representation of G ×G.We would like to find a specific irreducible constituent, whenrestricted to G ⊂ G ×G.Geometrically, Jλ1Jλ2 can be realized as:
J (Y × Y , Hλ1 Hλ2).
One may restrict such sections to the diagonally embeddedY ⊂ Y × Y .
M. Weissman Multiplying Modular Forms
![Page 131: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/131.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A result of Orsted and Vargas
Suppose that j ∈ J (Y × Y , Hλ1 Hλ2).Then ResY (j) is naturally in C∞(Y , Hλ1 ⊗ Hλ2).
Theorem (Orsted-Vargas)
ResY (j) is contained in [L2 ∩ C∞](Y , Hλ1 ⊗ Hλ2). Moreover,ResY is a continuous G-intertwining map from the Hilbert spaceJ (Y × Y , Hλ1 Hλ2) to the Hilbert space L2(Y , Hλ1 ⊗ Hλ2).
M. Weissman Multiplying Modular Forms
![Page 132: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/132.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A result of Orsted and Vargas
Suppose that j ∈ J (Y × Y , Hλ1 Hλ2).Then ResY (j) is naturally in C∞(Y , Hλ1 ⊗ Hλ2).
Theorem (Orsted-Vargas)
ResY (j) is contained in [L2 ∩ C∞](Y , Hλ1 ⊗ Hλ2). Moreover,ResY is a continuous G-intertwining map from the Hilbert spaceJ (Y × Y , Hλ1 Hλ2) to the Hilbert space L2(Y , Hλ1 ⊗ Hλ2).
M. Weissman Multiplying Modular Forms
![Page 133: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/133.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A result of Orsted and Vargas
Suppose that j ∈ J (Y × Y , Hλ1 Hλ2).Then ResY (j) is naturally in C∞(Y , Hλ1 ⊗ Hλ2).
Theorem (Orsted-Vargas)
ResY (j) is contained in [L2 ∩ C∞](Y , Hλ1 ⊗ Hλ2). Moreover,ResY is a continuous G-intertwining map from the Hilbert spaceJ (Y × Y , Hλ1 Hλ2) to the Hilbert space L2(Y , Hλ1 ⊗ Hλ2).
M. Weissman Multiplying Modular Forms
![Page 134: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/134.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
An intertwining operator
Given the continuous map ResY , we have the adjoint map:
Res∗Y : L2(Y , Hλ1 ⊗ Hλ2) → J (Y × Y , Hλ1 Hλ2).
The intertwining operator of Borel-Weil representations yields:
µλ1,λ2 : L2(Y , Hλ) → L2(Y , Hλ1 ⊗ Hλ2).
The following inclusion is continuous an G-intertwining:
J (Y , Hλ) → L2(Y , Hλ).
Composing these three maps yields:
νλ1,λ2 : J (Y , Hλ) → J (Y × Y , Hλ1 Hλ2).
M. Weissman Multiplying Modular Forms
![Page 135: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/135.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
An intertwining operator
Given the continuous map ResY , we have the adjoint map:
Res∗Y : L2(Y , Hλ1 ⊗ Hλ2) → J (Y × Y , Hλ1 Hλ2).
The intertwining operator of Borel-Weil representations yields:
µλ1,λ2 : L2(Y , Hλ) → L2(Y , Hλ1 ⊗ Hλ2).
The following inclusion is continuous an G-intertwining:
J (Y , Hλ) → L2(Y , Hλ).
Composing these three maps yields:
νλ1,λ2 : J (Y , Hλ) → J (Y × Y , Hλ1 Hλ2).
M. Weissman Multiplying Modular Forms
![Page 136: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/136.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
An intertwining operator
Given the continuous map ResY , we have the adjoint map:
Res∗Y : L2(Y , Hλ1 ⊗ Hλ2) → J (Y × Y , Hλ1 Hλ2).
The intertwining operator of Borel-Weil representations yields:
µλ1,λ2 : L2(Y , Hλ) → L2(Y , Hλ1 ⊗ Hλ2).
The following inclusion is continuous an G-intertwining:
J (Y , Hλ) → L2(Y , Hλ).
Composing these three maps yields:
νλ1,λ2 : J (Y , Hλ) → J (Y × Y , Hλ1 Hλ2).
M. Weissman Multiplying Modular Forms
![Page 137: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/137.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
An intertwining operator
Given the continuous map ResY , we have the adjoint map:
Res∗Y : L2(Y , Hλ1 ⊗ Hλ2) → J (Y × Y , Hλ1 Hλ2).
The intertwining operator of Borel-Weil representations yields:
µλ1,λ2 : L2(Y , Hλ) → L2(Y , Hλ1 ⊗ Hλ2).
The following inclusion is continuous an G-intertwining:
J (Y , Hλ) → L2(Y , Hλ).
Composing these three maps yields:
νλ1,λ2 : J (Y , Hλ) → J (Y × Y , Hλ1 Hλ2).
M. Weissman Multiplying Modular Forms
![Page 138: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/138.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
An intertwining operator
Given the continuous map ResY , we have the adjoint map:
Res∗Y : L2(Y , Hλ1 ⊗ Hλ2) → J (Y × Y , Hλ1 Hλ2).
The intertwining operator of Borel-Weil representations yields:
µλ1,λ2 : L2(Y , Hλ) → L2(Y , Hλ1 ⊗ Hλ2).
The following inclusion is continuous an G-intertwining:
J (Y , Hλ) → L2(Y , Hλ).
Composing these three maps yields:
νλ1,λ2 : J (Y , Hλ) → J (Y × Y , Hλ1 Hλ2).
M. Weissman Multiplying Modular Forms
![Page 139: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/139.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Nonvanishing
It is not at all obvious that these intertwining operators arenonzero. Using spherical trace functions, and Schurorthogonality relations, one can prove:
Theorem (M. W.)The intertwining operators νλ1,λ2 are nonzero continuousembeddings of unitary representations. Furthermore, if j ∈ Jλ
is a lowest K -type vector, then the projection of νλ1,λ2(j) ontothe lowest (K × K )-type is nonzero.
M. Weissman Multiplying Modular Forms
![Page 140: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/140.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Nonvanishing
It is not at all obvious that these intertwining operators arenonzero. Using spherical trace functions, and Schurorthogonality relations, one can prove:
Theorem (M. W.)The intertwining operators νλ1,λ2 are nonzero continuousembeddings of unitary representations. Furthermore, if j ∈ Jλ
is a lowest K -type vector, then the projection of νλ1,λ2(j) ontothe lowest (K × K )-type is nonzero.
M. Weissman Multiplying Modular Forms
![Page 141: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/141.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Nonvanishing
It is not at all obvious that these intertwining operators arenonzero. Using spherical trace functions, and Schurorthogonality relations, one can prove:
Theorem (M. W.)The intertwining operators νλ1,λ2 are nonzero continuousembeddings of unitary representations. Furthermore, if j ∈ Jλ
is a lowest K -type vector, then the projection of νλ1,λ2(j) ontothe lowest (K × K )-type is nonzero.
M. Weissman Multiplying Modular Forms
![Page 142: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/142.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Nonvanishing
It is not at all obvious that these intertwining operators arenonzero. Using spherical trace functions, and Schurorthogonality relations, one can prove:
Theorem (M. W.)The intertwining operators νλ1,λ2 are nonzero continuousembeddings of unitary representations. Furthermore, if j ∈ Jλ
is a lowest K -type vector, then the projection of νλ1,λ2(j) ontothe lowest (K × K )-type is nonzero.
M. Weissman Multiplying Modular Forms
![Page 143: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/143.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A serious technical difficulty!
Update: (since a preprint was uploaded). Unfortunately, theoperators νλ1,λ2 often do not yield embeddings of the underlying(gC, K )-modules.We would like embeddings of (gC, K )-modules:
J K−finλ → J K−fin
λ1⊗ J K−fin
λ2.
Theorem (M.W., based on Kobayashi)The given intertwining operators descend to operators on(gC, K )-modules if and only if the appropriate tensor productrepresentation is discretely decomposable.
M. Weissman Multiplying Modular Forms
![Page 144: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/144.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A serious technical difficulty!
Update: (since a preprint was uploaded). Unfortunately, theoperators νλ1,λ2 often do not yield embeddings of the underlying(gC, K )-modules.We would like embeddings of (gC, K )-modules:
J K−finλ → J K−fin
λ1⊗ J K−fin
λ2.
Theorem (M.W., based on Kobayashi)The given intertwining operators descend to operators on(gC, K )-modules if and only if the appropriate tensor productrepresentation is discretely decomposable.
M. Weissman Multiplying Modular Forms
![Page 145: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/145.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
A serious technical difficulty!
Update: (since a preprint was uploaded). Unfortunately, theoperators νλ1,λ2 often do not yield embeddings of the underlying(gC, K )-modules.We would like embeddings of (gC, K )-modules:
J K−finλ → J K−fin
λ1⊗ J K−fin
λ2.
Theorem (M.W., based on Kobayashi)The given intertwining operators descend to operators on(gC, K )-modules if and only if the appropriate tensor productrepresentation is discretely decomposable.
M. Weissman Multiplying Modular Forms
![Page 146: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/146.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Naturality
Everything in the construction of the intertwining operatorsνλ1,λ2 is normalized.Choosing the Killing form normalizes measure on Y = G/K .Choosing the canonical Hilbert space structure on Hλ
normalizes the inner product on L2(Y , Hλ).This normalizes the “adjoint restriction” Res∗Y .The specific geometric realizations yield normalizedintertwining operators.
M. Weissman Multiplying Modular Forms
![Page 147: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/147.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Naturality
Everything in the construction of the intertwining operatorsνλ1,λ2 is normalized.Choosing the Killing form normalizes measure on Y = G/K .Choosing the canonical Hilbert space structure on Hλ
normalizes the inner product on L2(Y , Hλ).This normalizes the “adjoint restriction” Res∗Y .The specific geometric realizations yield normalizedintertwining operators.
M. Weissman Multiplying Modular Forms
![Page 148: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/148.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Naturality
Everything in the construction of the intertwining operatorsνλ1,λ2 is normalized.Choosing the Killing form normalizes measure on Y = G/K .Choosing the canonical Hilbert space structure on Hλ
normalizes the inner product on L2(Y , Hλ).This normalizes the “adjoint restriction” Res∗Y .The specific geometric realizations yield normalizedintertwining operators.
M. Weissman Multiplying Modular Forms
![Page 149: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/149.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Naturality
Everything in the construction of the intertwining operatorsνλ1,λ2 is normalized.Choosing the Killing form normalizes measure on Y = G/K .Choosing the canonical Hilbert space structure on Hλ
normalizes the inner product on L2(Y , Hλ).This normalizes the “adjoint restriction” Res∗Y .The specific geometric realizations yield normalizedintertwining operators.
M. Weissman Multiplying Modular Forms
![Page 150: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/150.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Naturality
Everything in the construction of the intertwining operatorsνλ1,λ2 is normalized.Choosing the Killing form normalizes measure on Y = G/K .Choosing the canonical Hilbert space structure on Hλ
normalizes the inner product on L2(Y , Hλ).This normalizes the “adjoint restriction” Res∗Y .The specific geometric realizations yield normalizedintertwining operators.
M. Weissman Multiplying Modular Forms
![Page 151: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/151.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Construction via lowest K -typeMultiplication
Consequences
Theorem (M.W.)Suppose that G is a connected semisimple group over Q. Fixan arithmetic subgroup Γ of G, and any monoid parameterizingK -types of discrete series representations of G. If tensorproducts of such discrete series representations decomposediscretely, then there is a ring of modular forms:
MC =⊕λ∈C
M(Jλ).
Theorem (M.W.)The rings above correspond precisely to ordinary multiplicationof modular forms, in the case of scalar-valued holomorphicmodular forms on tube domains.
M. Weissman Multiplying Modular Forms
![Page 152: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/152.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Limited hopes
It seems possible that discrete decomposability only occurs forholomorphic/antiholomorphic discrete series, andfinite-dimensional discrete series for compact groups.If so, then our results will yield essentially no new multiplication,and no new rings of modular forms.Kobayashi has criteria for discrete decomposability. Perhapssomeone who understands Vogan-Zuckerman modules canexplain and use these criteria for me?
M. Weissman Multiplying Modular Forms
![Page 153: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/153.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Limited hopes
It seems possible that discrete decomposability only occurs forholomorphic/antiholomorphic discrete series, andfinite-dimensional discrete series for compact groups.If so, then our results will yield essentially no new multiplication,and no new rings of modular forms.Kobayashi has criteria for discrete decomposability. Perhapssomeone who understands Vogan-Zuckerman modules canexplain and use these criteria for me?
M. Weissman Multiplying Modular Forms
![Page 154: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/154.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Limited hopes
It seems possible that discrete decomposability only occurs forholomorphic/antiholomorphic discrete series, andfinite-dimensional discrete series for compact groups.If so, then our results will yield essentially no new multiplication,and no new rings of modular forms.Kobayashi has criteria for discrete decomposability. Perhapssomeone who understands Vogan-Zuckerman modules canexplain and use these criteria for me?
M. Weissman Multiplying Modular Forms
![Page 155: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/155.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Compactifications
For vector-valued holomorphic modular forms, our results showhow to properly discuss multiplication. There are errors innormalization throughout the literature, which we can correct.Scalar-valued modular forms provide the Satakecompactification of locally symmetric spaces. Namely Γ\G/Kcan be embedded in the projective variety:
Proj
(⊕N
M(Jn)
),
where Jn denotes a scalar-valued holomorphic discrete seriesrepresentation.Vector valued modular forms may provide a purely automorphicconstruction of a toroidal compactification.
M. Weissman Multiplying Modular Forms
![Page 156: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/156.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Compactifications
For vector-valued holomorphic modular forms, our results showhow to properly discuss multiplication. There are errors innormalization throughout the literature, which we can correct.Scalar-valued modular forms provide the Satakecompactification of locally symmetric spaces. Namely Γ\G/Kcan be embedded in the projective variety:
Proj
(⊕N
M(Jn)
),
where Jn denotes a scalar-valued holomorphic discrete seriesrepresentation.Vector valued modular forms may provide a purely automorphicconstruction of a toroidal compactification.
M. Weissman Multiplying Modular Forms
![Page 157: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/157.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Compactifications
For vector-valued holomorphic modular forms, our results showhow to properly discuss multiplication. There are errors innormalization throughout the literature, which we can correct.Scalar-valued modular forms provide the Satakecompactification of locally symmetric spaces. Namely Γ\G/Kcan be embedded in the projective variety:
Proj
(⊕N
M(Jn)
),
where Jn denotes a scalar-valued holomorphic discrete seriesrepresentation.Vector valued modular forms may provide a purely automorphicconstruction of a toroidal compactification.
M. Weissman Multiplying Modular Forms
![Page 158: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/158.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Compactifications
For vector-valued holomorphic modular forms, our results showhow to properly discuss multiplication. There are errors innormalization throughout the literature, which we can correct.Scalar-valued modular forms provide the Satakecompactification of locally symmetric spaces. Namely Γ\G/Kcan be embedded in the projective variety:
Proj
(⊕N
M(Jn)
),
where Jn denotes a scalar-valued holomorphic discrete seriesrepresentation.Vector valued modular forms may provide a purely automorphicconstruction of a toroidal compactification.
M. Weissman Multiplying Modular Forms
![Page 159: Multiplying Modular Forms](https://reader035.vdocuments.site/reader035/viewer/2022071602/613d65e7736caf36b75cdb9b/html5/thumbnails/159.jpg)
IntroductionCompact Groups
Discrete SeriesFuture Directions
Compactifications
For vector-valued holomorphic modular forms, our results showhow to properly discuss multiplication. There are errors innormalization throughout the literature, which we can correct.Scalar-valued modular forms provide the Satakecompactification of locally symmetric spaces. Namely Γ\G/Kcan be embedded in the projective variety:
Proj
(⊕N
M(Jn)
),
where Jn denotes a scalar-valued holomorphic discrete seriesrepresentation.Vector valued modular forms may provide a purely automorphicconstruction of a toroidal compactification.
M. Weissman Multiplying Modular Forms