Suppose we have a $\operatorname{GL}_1$ over a number field $F$. I am interested in a description for the archimedean Hecke algebra (always taking the maximal compact subgroup). We know will be the tensor product of the archimedean Hecke algebras on the real places and the complex places. So that reduces the problem to a description of the Hecke algebras for $\mathbb{R}^{\times}$ and $\mathbb{C}^{\times}$. We have for $\mathbb{R}^{\times}$ that $K=\{1,-1\}$. That should mean that the Hecke algebra should be given by derivatives of all orders at $\{1,-1\}$, but I can not get a good sense of the convolution product.Is this isomorphic to something more familiar? The case for $\mathbb{C}^{\times}$ is even more confusing. A reference for the archimedean Hecke algebra will be also good. I only know the book Cohomological Induction and Unitary Representations by Knapp and Vogan, but there is no copy in my library.
2025-01-13 02:37:08.1736735828
Archimedean Hecke Algebra of $\operatorname{GL}_1(F)$ for $F = \mathbb{R}$ or $\mathbb{C}$
237 Views Asked by Carlos De la Mora https://math.techqa.club/user/carlos-de-la-mora/detail At
1
There are 1 best solutions below
Related Questions in NUMBER-THEORY
- Page 99 of Hindry's Arithmetics, follows from exact sequence that $\text{N}(IJ) = \text{N}(J)\text{card}(J/IJ)$?
- How do I solve this over the integers
- How many ways to write a number $n$ as the product of natural numbers $\geq 2$?
- Representing integers as difference of semi-primes
- If $f,g$ are non-zero polynomials and $f$ divides $g$, then $\partial f \leq \partial g$.
- Conjugacy Class in Galois Representations
- Understanding Quadratic Residue Modulo n Structure
- Properties of the Gamma function
- Matrix of quadratic form (in Serre's general notion)?
- Find all pairs of positive integers $(n,k)$
Related Questions in REPRESENTATION-THEORY
- Conjugation preserves representation?
- linear representations, usual assumption
- Example of representation
- Simultaneously diagonalize the regular representation of C2 (+) C2 (+) C2.
- In what sense are the linear characters among the irreducible characters
- representation of sym^2(V)
- Proof that the induced class function $\theta^G$ is a character if $\theta$ is a representation on subgroup
- Character representation of right regular representation as sum of irreducible characters
- For simple $\mathbb C[G]$-modules is the representation unique
- Formulas give irreducible representation, $SL(2, \mathbb{C})$.
Related Questions in LIE-GROUPS
- Invariant measure of Lorentz Group
- Vectors fixed under compact subgroup
- Peter-Weyl theorem versions
- ODEs are invariant under the given Lie groups?
- Right translations of left-invariant forms are left-invariant
- How can I show that the following pairs of permutations are in the same conjugacy class in S5:
- If $u_1$, $u_2 \in U$ then product $u_1^{-1}u_2 \in U$?
- How are groups with the same Lie Algebra inequivalent?
- Generators of a semi simple lie algebra must be traceless
- a method to find the infinitesimal generator of an ODE
Related Questions in MODULAR-FORMS
- Interpretation of enhanced elliptic curves
- How are holomorphic and real-analytic Eisenstein series related?
- proof of a lemma in Serre's book "A Course in Arithmetic" p 82
- Motivation for the definition of modular forms
- Genus of a modular curve mod p
- a conjecture of two equivalent q-continued fractions related to the reciprocal of the Göllnitz-Gordon continued fraction A111374-OEIS
- How many coefficients do you need to determine a modular form
- Maass forms as sections of line bundles?
- The elliptic integral $\frac{K'}{K}=\sqrt{2}-1$ is known in closed form?
- Archimedean Hecke Algebra of $\operatorname{GL}_1(F)$ for $F = \mathbb{R}$ or $\mathbb{C}$
Related Questions in HECKE-ALGEBRAS
- Degenerations of affine Hecke algebras
- If $M$ is a simple $R$-module, and an $F$-space, why does $End_F(M)\cong M^{\oplus\dim_F(M)}$?
- Submodule of $R$-Invariants for a Hecke Pair $(R,S)$
- Definition of Diamond Operator
- If two algebras are generated by the same elements, then are they isomorphic?
- Why do we care whether Hecke algebras are complete intersections?
- Why is $e_HKGe_H$ isomorphic to the algebra of functions $G\to K$ constant on $(H,H)$-double cosets?
- Why is the index map on the Hecke algebra $\mathcal{H}(G,H,1_H)$ an algebra homomorphism?
- Finite group with $BN$-pair, if $s_i$ and $s_j$ are conjugate in $W$, why do they have the same index parameter?
- Hecke operators acting on the Jacobian $J(X_1(N))$
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
Let $G = \operatorname{GL}_1(F)$ for $F = \mathbb{R}$ or $\mathbb{C}$, and fix a maximal compact subgroup $K$ of $G$. The archimedean Hecke algebra $H(G,K)$ is the algebra of right- (or left-) $K$-finite distributions on $G$ supported in $K$.
Case 1: $F = \mathbb{R}$
Here, as you say, a maximal compact subgroup is $K = \{\pm 1\}$. Accordingly, the $K$-finiteness condition is unnecessary, and the space $H(G,K)$ consists of all distributions supported on $\pm 1$. The distributions supported at a point $g \in G$ are spanned by the Dirac delta $\delta_g$ and all of its derivatives, so in this case $H(G,K)$ takes the form $\mathbb{C}[d/dx]\delta_1 \oplus \mathbb{C}[d/dx]\delta_{-1} \cong U(\mathfrak{g}) \oplus U(\mathfrak{g})$.
Case 2: $F = \mathbb{C}$
This case is a bit more complicated since both $K = S^1 = \{z \in \mathbb{C} : |z| = 1\}$ and derivatives on $G$ (that is, the Lie algebra of $G$) is less trivial. I can leave it as an exercise or come back and provide a revision when time permits.
Instead let me write up a brief summary of a process by which you can analyze $H(G,K)$. Take $\mathfrak{g}_\mathbb{R}$ for $\operatorname{Lie}(G)$ as a real Lie algebra and $\mathfrak{g}$ for the complexification $\mathfrak{g}_\mathbb{R} \oplus i\mathfrak{g}_\mathbb{R}$ of $\mathfrak{g}_\mathbb{R}$. Similarly define $\mathfrak{k}$ as a complexification of the real vector space $\mathfrak{k}_\mathbb{R}$ corresponding to $\operatorname{Lie}(K)$ by forgetting complex structure. Let $U(\mathfrak{g})$ and $U(\mathfrak{k})$ denote the universal enveloping algebras of $\mathfrak{g}$ and $\mathfrak{k}$, respectively. Finally, let $H(K)$ denote the space of right- (or left-) $K$-finite distributions on $K$. (Left- and right-$K$-finiteness are equivalent for distributions on $K$.) By fixing a Haar measure $dk$ on $K$, the space $H(K)$ may be identified with the convolution algebra of measures $C^\infty(K) \cdot dk$.
The algebra $H(K)$ can be embedded into $H(G,K)$, where the action of $T_f := f \cdot dk \in H(K)$ on $F \in C^\infty(G)$ is given by
$$ T_f(F) = \int_K f(k) F(k)\,dk. $$ In fact, for each $u \in U(\mathfrak{g})$ and each $T_f \in H(K)$, we may form the tensor $u \otimes T_f$ and let it act as a distribution on $G$ by setting $$ (u \otimes T_f)(F) = \int_K f(k) (\partial(u)F)(k)\,dk. $$ Here $\partial(u)F \in C^\infty(G)$ is the $u$-th right derivative of $F$ (that is, the image of $F$ under the canonical extension to $U(\mathfrak{g})$ of the action of $\mathfrak{g}$ on $C^\infty(G)$ by right-differential operators). Extending to linear combinations of these tensors, it turns out we exhaust $H(G,K)$; one has an isomorphism of algebras $$ H(G,K) \cong U(\mathfrak{g}) \otimes_{U(\mathfrak{k})} H(K), $$ where the tensor product is over $U(\mathfrak{k})$ rather than, say, $\mathbb{C}$ due to relationship between the actions of the two factors. If you look closely, our characterization in the real case is a decomposition of exactly this form, and you can use the same decomposition to compute $H(G,K)$ for $F = \mathbb{C}$ (and in general).