Multiplying Modular Forms
Transcript of Multiplying Modular Forms
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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