Expand all Collapse all | Results 1 - 25 of 122 |
1. CJM Online first
Lifting Representations of Finite Reductive Groups I: Semisimple Conjugacy Classes Suppose that $\tilde{G}$ is a connected reductive group
defined over a field $k$, and
$\Gamma$ is a finite group acting via $k$-automorphisms
of $\tilde{G}$ satisfying a certain quasi-semisimplicity condition.
Then the identity component of the group of $\Gamma$-fixed points
in $\tilde{G}$ is reductive.
We axiomatize the main features of the relationship between this
fixed-point group and the pair $(\tilde{G},\Gamma)$,
and consider any group $G$ satisfying the axioms.
If both $\tilde{G}$ and $G$ are $k$-quasisplit, then we
can consider their duals $\tilde{G}^*$ and $G^*$.
We show the existence of and give an explicit formula for a natural
map from the set of semisimple stable conjugacy classes in $G^*(k)$
to the analogous set for $\tilde{G}^*(k)$.
If $k$ is finite, then our groups are automatically quasisplit,
and our result specializes to give a map
of semisimple conjugacy classes.
Since such classes parametrize packets of irreducible representations
of $G(k)$ and $\tilde{G}(k)$, one obtains a mapping of such packets.
Keywords:reductive group, lifting, conjugacy class, representation, Lusztig series Categories:20G15, 20G40, 20C33, 22E35 |
2. CJM Online first
Expression d'un facteur epsilon de paire par une formule intÃ©grale Let $E/F$ be a quadratic extension of $p$-adic fields and
let $d$, $m$ be nonnegative integers of distinct parities. Fix
admissible irreducible tempered representations $\pi$ and $\sigma$ of
$GL_d(E)$ and $GL_m(E)$ respectively. We assume that $\pi$ and
$\sigma$ are conjugate-dual. That is to say $\pi\simeq \pi^{\vee,c}$
and $\sigma\simeq \sigma^{\vee,c}$ where $c$ is the non trivial
$F$-automorphism of $E$. This implies, we can extend $\pi$ to an
unitary representation $\tilde{\pi}$ of a nonconnected group
$GL_d(E)\rtimes \{1,\theta\}$. Define $\tilde{\sigma}$ the same
way. We state and prove an integral formula for
$\epsilon(1/2,\pi\times \sigma,\psi_E)$ involving the characters of
$\tilde{\pi}$ and $\tilde{\sigma}$. This formula is related to the
local Gan-Gross-Prasad conjecture for unitary groups.
Keywords:epsilon factor, twisted groups Categories:22E50, 11F85 |
3. CJM Online first
Symplectic Degenerate Flag Varieties A simple finite dimensional module $V_\lambda$ of a simple complex
algebraic group $G$ is naturally endowed with a filtration induced by the PBW-filtration
of $U(\mathrm{Lie}\, G)$. The associated graded space $V_\lambda^a$ is a module
for the group $G^a$, which can be roughly described as a semi-direct product of a
Borel subgroup of $G$ and a large commutative unipotent group $\mathbb{G}_a^M$. In analogy
to the flag variety $\mathcal{F}_\lambda=G.[v_\lambda]\subset \mathbb{P}(V_\lambda)$,
we call the closure
$\overline{G^a.[v_\lambda]}\subset \mathbb{P}(V_\lambda^a)$
of the $G^a$-orbit through the highest weight line the degenerate flag variety $\mathcal{F}^a_\lambda$.
In general this is a
singular variety, but we conjecture that it has many nice properties similar to
that of Schubert varieties. In this paper we consider the case of $G$ being the symplectic group.
The symplectic case is important for the conjecture
because it is the first known case where even for fundamental weights $\omega$ the varieties
$\mathcal{F}^a_\omega$ differ from $\mathcal{F}_\omega$. We give an explicit
construction of the varieties $Sp\mathcal{F}^a_\lambda$ and construct desingularizations,
similar to the Bott-Samelson resolutions in the classical case. We prove that $Sp\mathcal{F}^a_\lambda$
are normal locally complete intersections with terminal and rational singularities.
We also show that these varieties are Frobenius split. Using the above mentioned results, we
prove an analogue of the Borel-Weil theorem and obtain a $q$-character formula
for the characters of irreducible $Sp_{2n}$-modules via the Atiyah-Bott-Lefschetz fixed
points formula.
Keywords:Lie algebras, flag varieties, symplectic groups, representations Categories:14M15, 22E46 |
4. CJM Online first
Types et contragrÃ©dientes Soit $\mathrm{G}$ un groupe rÃ©ductif $p$-adique, et soit $\mathrm{R}$
un corps algÃ©briquement clos.
Soit $\pi$ une reprÃ©sentation lisse de $\mathrm{G}$ dans un espace
vectoriel $\mathrm{V}$ sur
$\mathrm{R}$.
Fixons un sous-groupe ouvert et compact $\mathrm{K}$ de $\mathrm{G}$ et une reprÃ©sentation
lisse irrÃ©ductible $\tau$ de $\mathrm{K}$ dans un espace vectoriel
$\mathrm{W}$ de dimension
finie sur $\mathrm{R}$.
Sur l'espace $\mathrm{Hom}_{\mathrm{K}(\mathrm{W},\mathrm{V})}$ agit l'algÃ¨bre
d'entrelacement $\mathscr{H}(\mathrm{G},\mathrm{K},\mathrm{W})$.
Nous examinons la compatibilitÃ© de ces constructions avec le passage aux
reprÃ©sentations contragrÃ©dientes $\mathrm{V}^Äe$ et $\mathrm{W}^Äe$, et donnons en
particulier des conditions sur $\mathrm{W}$ ou sur la caractÃ©ristique
de $\mathrm{R}$ pour que
le comportement soit semblable au cas des reprÃ©sentations complexes.
Nous prenons un point de vue abstrait, n'utilisant que des propriÃ©tÃ©s
gÃ©nÃ©rales de $\mathrm{G}$.
Nous terminons par une application Ã la thÃ©orie des types pour le groupe
$\mathrm{GL}_n$ et ses formes intÃ©rieures sur un corps local non archimÃ©dien.
Keywords:modular representations of p-adic reductive groups, types, contragredient, intertwining Category:22E50 |
5. CJM 2013 (vol 66 pp. 241)
Transfert du pseudo-coefficient de Kottwitz et formules de caractÃ¨re pour la sÃ©rie discrÃ¨te de $\mathrm{GL}(N)$ sur un corps local |
Transfert du pseudo-coefficient de Kottwitz et formules de caractÃ¨re pour la sÃ©rie discrÃ¨te de $\mathrm{GL}(N)$ sur un corps local Soit $G$ le groupe $\mathrm{GL}(N,F)$, oÃ¹ $F$ est un corps
localement compact et non archimÃ©dien.
En utilisant la thÃ©orie des types simples de Bushnell et Kutzko,
ainsi qu'une idÃ©e originale d'Henniart, nous construisons des pseudo-coefficients
explicites pour les reprÃ©sentations de la sÃ©rie discrÃ¨te de $G$.
Comme application, nous en dÃ©duisons des formules
inÃ©dites pour la valeur du charactÃ¨re d'Harish-Chandra de certaines
telles reprÃ©sentations en certains Ã©lÃ©ments elliptiques
rÃ©guliers.
Keywords:reductive p-adic groups , discrete series, Harish-Chandra character, pseudo-coefficient Category:22E50 |
6. CJM 2013 (vol 66 pp. 566)
Transfer of Plancherel Measures for Unitary Supercuspidal Representations between $p$-adic Inner Forms |
Transfer of Plancherel Measures for Unitary Supercuspidal Representations between $p$-adic Inner Forms Let $F$ be a $p$-adic field of characteristic $0$, and let $M$ be an $F$-Levi subgroup of a connected reductive $F$-split group such that $\Pi_{i=1}^{r} SL_{n_i} \subseteq M \subseteq \Pi_{i=1}^{r} GL_{n_i}$ for positive integers $r$ and $n_i$. We prove that the Plancherel measure for any unitary supercuspidal representation of $M(F)$ is identically transferred under the local Jacquet-Langlands type correspondence between $M$ and its $F$-inner forms, assuming a working hypothesis that Plancherel measures are invariant on a certain set. This work extends the result of
MuiÄ and Savin (2000) for Siegel Levi subgroups of the groups $SO_{4n}$ and $Sp_{4n}$ under the local Jacquet-Langlands correspondence. It can be applied to a simply connected simple $F$-group of type $E_6$ or $E_7$, and a connected reductive $F$-group of type $A_{n}$, $B_{n}$, $C_n$ or $D_n$.
Keywords:Plancherel measure, inner form, local to global global argument, cuspidal automorphic representation, Jacquet-Langlands correspondence Categories:22E50, 11F70, 22E55, 22E35 |
7. CJM 2013 (vol 66 pp. 354)
The Minimal Growth Rate of Cocompact Coxeter Groups in Hyperbolic 3-space Due to work of W. Parry it is known that the growth
rate of a hyperbolic Coxeter group acting cocompactly on ${\mathbb H^3}$
is a Salem number. This being the arithmetic situation, we prove that the simplex group
(3,5,3) has smallest growth rate among all cocompact hyperbolic
Coxeter groups, and that it is as such unique.
Our approach provides a different proof for
the analog situation in ${\mathbb H^2}$
where E. Hironaka identified Lehmer's number as the minimal growth
rate among all cocompact planar hyperbolic Coxeter groups and showed
that it is (uniquely) achieved by the Coxeter triangle group (3,7).
Keywords:hyperbolic Coxeter group, growth rate, Salem number Categories:20F55, 22E40, 51F15 |
8. CJM 2013 (vol 66 pp. 303)
Haar Null Sets and the Consistent Reflection of Non-meagreness A subset $X$ of a Polish group $G$ is called Haar null if there exists
a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that
$\mu(gBh)=0$ for every $g,h \in G$.
We prove that there exist a set $X \subset \mathbb R$ that is not Lebesgue null and a
Borel probability measure $\mu$ such that $\mu(X + t) = 0$ for every $t \in
\mathbb R$.
This answers a question from David Fremlin's problem list by showing
that one cannot simplify the definition of a Haar null set by leaving out the
Borel set $B$. (The answer was already known assuming the Continuum
Hypothesis.)
This result motivates the following Baire category analogue. It is consistent
with $ZFC$ that there exist an abelian Polish group $G$ and a Cantor
set $C \subset G$ such that for every non-meagre set $X \subset G$ there exists a $t
\in G$ such that $C \cap (X + t)$ is relatively non-meagre in $C$. This
essentially generalises results of BartoszyÅski and Burke-Miller.
Keywords:Haar null, Christensen, non-locally compact Polish group, packing dimension, Problem FC on Fremlin's list, forcing, generic real Categories:28C10, 03E35, 03E17, , , , , 22C05, 28A78 |
9. CJM 2012 (vol 66 pp. 102)
Continuity of convolution of test functions on Lie groups For a Lie group $G$, we show that the map
$C^\infty_c(G)\times C^\infty_c(G)\to C^\infty_c(G)$,
$(\gamma,\eta)\mapsto \gamma*\eta$
taking a pair of
test functions to their convolution is continuous if and only if $G$ is $\sigma$-compact.
More generally, consider $r,s,t
\in \mathbb{N}_0\cup\{\infty\}$ with $t\leq r+s$, locally convex spaces $E_1$, $E_2$
and a continuous bilinear map $b\colon E_1\times E_2\to F$
to a complete locally convex space $F$.
Let $\beta\colon C^r_c(G,E_1)\times C^s_c(G,E_2)\to C^t_c(G,F)$,
$(\gamma,\eta)\mapsto \gamma *_b\eta$ be the associated convolution map.
The main result is a characterization of those $(G,r,s,t,b)$
for which $\beta$ is continuous.
Convolution
of compactly supported continuous functions on a locally compact group
is also discussed, as well as convolution of compactly supported $L^1$-functions
and convolution of compactly supported Radon measures.
Keywords:Lie group, locally compact group, smooth function, compact support, test function, second countability, countable basis, sigma-compactness, convolution, continuity, seminorm, product estimates Categories:22E30, 46F05, 22D15, 42A85, 43A10, 43A15, 46A03, 46A13, 46E25 |
10. CJM 2012 (vol 65 pp. 1043)
Convolution of Trace Class Operators over Locally Compact Quantum Groups We study locally compact quantum groups $\mathbb{G}$ through the
convolution algebras $L_1(\mathbb{G})$ and $(T(L_2(\mathbb{G})),
\triangleright)$. We prove that the reduced quantum group
$C^*$-algebra $C_0(\mathbb{G})$ can be recovered from the convolution
$\triangleright$ by showing that the right $T(L_2(\mathbb{G}))$-module
$\langle K(L_2(\mathbb{G}) \triangleright T(L_2(\mathbb{G}))\rangle$ is
equal to $C_0(\mathbb{G})$. On the other hand, we show that the left
$T(L_2(\mathbb{G}))$-module $\langle T(L_2(\mathbb{G}))\triangleright
K(L_2(\mathbb{G})\rangle$ is isomorphic to the reduced crossed product
$C_0(\widehat{\mathbb{G}}) \,_r\!\ltimes C_0(\mathbb{G})$, and hence is
a much larger $C^*$-subalgebra of $B(L_2(\mathbb{G}))$.
We establish a natural isomorphism between the completely bounded
right multiplier algebras of $L_1(\mathbb{G})$ and
$(T(L_2(\mathbb{G})), \triangleright)$, and settle two invariance
problems associated with the representation theorem of
Junge-Neufang-Ruan (2009). We characterize regularity and discreteness
of the quantum group $\mathbb{G}$ in terms of continuity properties of
the convolution $\triangleright$ on $T(L_2(\mathbb{G}))$. We prove
that if $\mathbb{G}$ is semi-regular, then the space
$\langle T(L_2(\mathbb{G}))\triangleright B(L_2(\mathbb{G}))\rangle$ of right
$\mathbb{G}$-continuous operators on $L_2(\mathbb{G})$, which was
introduced by Bekka (1990) for $L_{\infty}(G)$, is a unital $C^*$-subalgebra
of $B(L_2(\mathbb{G}))$. In the representation framework formulated by
Neufang-Ruan-Spronk (2008) and Junge-Neufang-Ruan, we show that the
dual properties of compactness and discreteness can be characterized
simultaneously via automatic normality of quantum group bimodule maps
on $B(L_2(\mathbb{G}))$. We also characterize some commutation
relations of completely bounded multipliers of $(T(L_2(\mathbb{G})),
\triangleright)$ over $B(L_2(\mathbb{G}))$.
Keywords:locally compact quantum groups and associated Banach algebras Categories:22D15, 43A30, 46H05 |
11. CJM 2012 (vol 65 pp. 222)
Distance Sets of Urysohn Metric Spaces A metric space $\mathrm{M}=(M;\operatorname{d})$ is {\em homogeneous} if for every
isometry $f$ of a finite subspace of $\mathrm{M}$ to a subspace of
$\mathrm{M}$ there exists an isometry of $\mathrm{M}$ onto
$\mathrm{M}$ extending $f$. The space $\mathrm{M}$ is {\em universal}
if it isometrically embeds every finite metric space $\mathrm{F}$ with
$\operatorname{dist}(\mathrm{F})\subseteq \operatorname{dist}(\mathrm{M})$. (With
$\operatorname{dist}(\mathrm{M})$ being the set of distances between points in
$\mathrm{M}$.)
A metric space $\boldsymbol{U}$ is an {\em Urysohn} metric space if
it is homogeneous, universal, separable and complete. (It is not
difficult to deduce
that an Urysohn metric space $\boldsymbol{U}$ isometrically embeds
every separable metric space $\mathrm{M}$ with
$\operatorname{dist}(\mathrm{M})\subseteq \operatorname{dist}(\boldsymbol{U})$.)
The main results are: (1) A characterization of the sets
$\operatorname{dist}(\boldsymbol{U})$ for Urysohn metric spaces $\boldsymbol{U}$.
(2) If $R$ is the distance set of an Urysohn metric space and
$\mathrm{M}$ and $\mathrm{N}$ are two metric spaces, of any
cardinality with distances in $R$, then they amalgamate disjointly to
a metric space with distances in $R$. (3) The completion of every
homogeneous, universal, separable metric space $\mathrm{M}$ is
homogeneous.
Keywords:partitions of metric spaces, Ramsey theory, metric geometry, Urysohn metric space, oscillation stability Categories:03E02, 22F05, 05C55, 05D10, 22A05, 51F99 |
12. CJM 2012 (vol 64 pp. 721)
Analysis of the Brylinski-Kostant Model for Spherical Minimal Representations We revisit with another view point the construction by R. Brylinski
and B. Kostant of minimal representations of simple Lie groups. We
start from a pair $(V,Q)$, where $V$ is a complex vector space and $Q$
a homogeneous polynomial of degree 4 on $V$.
The manifold $\Xi $ is an orbit of a covering of ${\rm Conf}(V,Q)$,
the conformal group of the pair $(V,Q)$, in a finite dimensional
representation space.
By a generalized Kantor-Koecher-Tits construction we obtain a complex
simple Lie algebra $\mathfrak g$, and furthermore a real
form ${\mathfrak g}_{\mathbb R}$. The connected and simply connected Lie
group $G_{\mathbb R}$ with ${\rm Lie}(G_{\mathbb R})={\mathfrak
g}_{\mathbb R}$ acts unitarily on a Hilbert space of holomorphic
functions defined on the manifold $\Xi $.
Keywords:minimal representation, Kantor-Koecher-Tits construction, Jordan algebra, Bernstein identity, Meijer $G$-function Categories:17C36, 22E46, 32M15, 33C80 |
13. CJM 2012 (vol 65 pp. 66)
On Flag Curvature of Homogeneous Randers Spaces In this paper we give an explicit formula for the flag curvature of
homogeneous Randers spaces of Douglas type and apply this formula to
obtain some interesting results. We first deduce an explicit formula
for the flag curvature of an arbitrary left invariant Randers metric
on a two-step nilpotent Lie group. Then we obtain a classification of
negatively curved homogeneous Randers spaces of Douglas type. This
results, in particular, in many examples of homogeneous non-Riemannian
Finsler spaces with negative flag curvature. Finally, we prove a
rigidity result that a homogeneous Randers space of Berwald type whose
flag curvature is everywhere nonzero must be Riemannian.
Keywords:homogeneous Randers manifolds, flag curvature, Douglas spaces, two-step nilpotent Lie groups Categories:22E46, 53C30 |
14. CJM 2012 (vol 64 pp. 497)
Le lemme fondamental pondÃ©rÃ© pour le groupe mÃ©taplectique Dans cet article, on Ã©nonce une variante du lemme fondamental
pondÃ©rÃ© d'Arthur pour le groupe mÃ©taplectique de Weil, qui sera un
ingrÃ©dient indispensable de la stabilisation de la formule des
traces. Pour un corps de caractÃ©ristique rÃ©siduelle suffisamment
grande, on en donne une dÃ©monstration Ã l'aide de la mÃ©thode de
descente, qui est conditionnelle: on admet le lemme fondamental
pondÃ©rÃ© non standard sur les algÃ¨bres de Lie. Vu les travaux de
Chaudouard et Laumon, on s'attend Ã ce que cette condition soit
ultÃ©rieurement vÃ©rifiÃ©e.
Keywords:fundamental lemma, metaplectic group, endoscopy, trace formula Categories:11F70, 11F27, 22E50 |
15. CJM 2011 (vol 64 pp. 669)
The Genuine Omega-regular Unitary Dual of the Metaplectic Group We classify all genuine unitary representations of the metaplectic group whose
infinitesimal character is real and at least as regular as that of the
oscillator representation. In a previous paper we exhibited a certain family
of representations satisfying these conditions, obtained by cohomological
induction from the tensor product of a one-dimensional representation and an
oscillator representation. Our main theorem asserts that this family exhausts
the genuine omega-regular unitary dual of the metaplectic group.
Keywords:Metaplectic group, oscillator representation, bottom layer map, cohomological induction, Parthasarathy's Dirac Operator Inequality, pseudospherical principal series Category:22E46 |
16. CJM 2011 (vol 64 pp. 123)
Gosset Polytopes in Picard Groups of del Pezzo Surfaces In this article, we study the correspondence between the geometry of
del Pezzo surfaces $S_{r}$ and the geometry of the $r$-dimensional Gosset
polytopes $(r-4)_{21}$. We construct Gosset polytopes $(r-4)_{21}$ in
$\operatorname{Pic} S_{r}\otimes\mathbb{Q}$ whose vertices are lines, and we identify
divisor classes in $\operatorname{Pic} S_{r}$ corresponding to $(a-1)$-simplexes ($a\leq
r$), $(r-1)$-simplexes and $(r-1)$-crosspolytopes of the polytope $(r-4)_{21}$.
Then we explain how these classes correspond to skew $a$-lines($a\leq r$),
exceptional systems, and rulings, respectively.
As an application, we work on the monoidal transform for lines to study the
local geometry of the polytope $(r-4)_{21}$. And we show that the Gieser transformation
and the Bertini transformation induce a symmetry of polytopes $3_{21}$ and
$4_{21}$, respectively.
Categories:51M20, 14J26, 22E99 |
17. CJM 2011 (vol 64 pp. 481)
Some Functional Inequalities on Polynomial Volume Growth Lie Groups In this article we study some Sobolev-type inequalities on polynomial volume growth Lie groups.
We show in particular that improved Sobolev inequalities can be extended to this general framework
without the use of the Littlewood-Paley decomposition.
Keywords:Sobolev inequalities, polynomial volume growth Lie groups Category:22E30 |
18. CJM 2011 (vol 64 pp. 409)
Lifting Quasianalytic Mappings over Invariants Let $\rho \colon G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear
algebraic group $G$, and let $\sigma_1,\dots,\sigma_n$ be a system of generators of the algebra of
invariant polynomials $\mathbb C[V]^G$.
We study the problem of lifting mappings $f\colon \mathbb R^q \supseteq U \to \sigma(V) \subseteq \mathbb C^n$
over the mapping of invariants
$\sigma=(\sigma_1,\dots,\sigma_n) \colon V \to \sigma(V)$. Note that $\sigma(V)$ can be identified with the categorical quotient $V /\!\!/ G$
and its points correspond bijectively to the closed orbits in $V$. We prove that if $f$ belongs to a quasianalytic subclass
$\mathcal C \subseteq C^\infty$ satisfying some mild closedness properties that guarantee resolution of singularities in
$\mathcal C$,
e.g., the real analytic class, then $f$ admits a lift of the
same class $\mathcal C$ after desingularization by local blow-ups and local power substitutions.
As a consequence we show that $f$ itself allows for a lift
that belongs to $\operatorname{SBV}_{\operatorname{loc}}$, i.e., special functions of bounded variation.
If $\rho$ is a real representation of a compact Lie group, we obtain stronger versions.
Keywords:lifting over invariants, reductive group representation, quasianalytic mappings, desingularization, bounded variation Categories:14L24, 14L30, 20G20, 22E45 |
19. CJM 2011 (vol 63 pp. 1238)
Casselman's Basis of Iwahori Vectors and the Bruhat Order W. Casselman defined a basis $f_u$ of Iwahori fixed vectors of a spherical
representation $(\pi, V)$ of a split semisimple $p$-adic group $G$ over a
nonarchimedean local field $F$ by the condition that it be dual to the
intertwining operators, indexed by elements $u$ of the Weyl group $W$. On
the other hand, there is a natural basis $\psi_u$, and one seeks to find the
transition matrices between the two bases. Thus, let $f_u = \sum_v \tilde{m}
(u, v) \psi_v$ and $\psi_u = \sum_v m (u, v) f_v$. Using the Iwahori-Hecke
algebra we prove that if a combinatorial condition is satisfied, then $m (u,
v) = \prod_{\alpha} \frac{1 - q^{- 1} \mathbf{z}^{\alpha}}{1
-\mathbf{z}^{\alpha}}$, where $\mathbf z$ are the Langlands parameters
for the representation and $\alpha$ runs through the set $S (u, v)$ of
positive coroots $\alpha \in \hat{\Phi}$ (the dual root system of $G$) such
that $u \leqslant v r_{\alpha} < v$ with $r_{\alpha}$ the reflection
corresponding to $\alpha$. The condition is conjecturally always satisfied
if $G$ is simply-laced and the Kazhdan-Lusztig polynomial $P_{w_0 v, w_0 u}
= 1$ with $w_0$ the long Weyl group element. There is a similar formula for
$\tilde{m}$ conjecturally satisfied if $P_{u, v} = 1$.
This leads to various combinatorial conjectures.
Keywords:Iwahori fixed vector, Iwahori Hecke algebra, Bruhat order, intertwining integrals Categories:20C08, 20F55, 22E50 |
20. CJM 2011 (vol 63 pp. 1364)
The Cubic Dirac Operator for Infinite-Dimensonal Lie Algebras
Let $\mathfrak{g}=\bigoplus_{i\in\mathbb{Z}} \mathfrak{g}_i$ be an infinite-dimensional graded
Lie algebra, with $\dim\mathfrak{g}_i<\infty$, equipped with a non-degenerate
symmetric bilinear form $B$ of degree $0$. The quantum Weil algebra
$\widehat{\mathcal{W}}\mathfrak{g}$ is a completion of the tensor product of the
enveloping and Clifford algebras of $\mathfrak{g}$. Provided that the
Kac-Peterson class of $\mathfrak{g}$ vanishes, one can construct a cubic Dirac
operator $\mathcal{D}\in\widehat{\mathcal{W}}(\mathfrak{g})$, whose square is a quadratic Casimir
element. We show that this condition holds for symmetrizable
Kac-Moody algebras. Extending Kostant's arguments, one obtains
generalized Weyl-Kac character formulas for suitable ``equal rank''
Lie subalgebras of Kac-Moody algebras. These extend the formulas of
G. Landweber for affine Lie algebras.
Categories:22E65, 15A66 |
21. CJM 2011 (vol 63 pp. 1307)
A Bott-Borel-Weil Theorem for Diagonal Ind-groups A diagonal ind-group is a direct limit of classical affine algebraic
groups of growing rank under a class of
inclusions that contains the inclusion
$$
SL(n)\to SL(2n), \quad
M\mapsto \begin{pmatrix}M & 0 \\ 0 & M \end{pmatrix}
$$
as a typical special case. If $G$ is a diagonal ind-group and
$B\subset G$ is a Borel ind-subgroup,
we consider the ind-variety $G/B$ and compute the cohomology
$H^\ell(G/B,\mathcal{O}_{-\lambda})$
of any $G$-equivariant line bundle $\mathcal{O}_{-\lambda}$ on
$G/B$. It has been known that, for a generic $\lambda$,
all cohomology groups of $\mathcal{O}_{-\lambda}$ vanish, and that a
non-generic equivariant
line bundle $\mathcal{O}_{-\lambda}$ has at most one
nonzero cohomology group. The new result of this paper is a
precise description of when
$H^j(G/B,\mathcal{O}_{-\lambda})$ is nonzero and the proof of the fact
that, whenever nonzero,
$H^j(G/B, \mathcal{O}_{-\lambda})$ is a $G$-module dual to a highest
weight module.
The main difficulty is in defining an appropriate analog $W_B$ of the
Weyl group, so that the action of $W_B$
on weights of $G$ is compatible with the analog of the Demazure
``action" of the Weyl group on the cohomology
of line bundles. The highest weight corresponding to $H^j(G/B,
\mathcal{O}_{-\lambda})$ is then computed
by a procedure similar to that in the classical Bott-Borel-Weil theorem.
Categories:22E65, 20G05 |
22. CJM 2011 (vol 63 pp. 1083)
Decomposition of Splitting Invariants in Split Real Groups For a maximal torus in a quasi-split semi-simple simply-connected group over a local field of characteristic $0$,
Langlands and Shelstad constructed a
cohomological invariant called the splitting invariant, which is an important
component of their endoscopic transfer factors. We study this invariant in the
case of a split real group and prove a
decomposition theorem which expresses this invariant for a general torus as a product of the corresponding
invariants for simple tori. We also show how this reduction formula allows for the comparison of splitting invariants
between different tori in the given real group.
Keywords:endoscopy, real lie group, splitting invariant, transfer factor Categories:11F70, 22E47, 11S37, 11F72, 17B22 |
23. CJM 2011 (vol 63 pp. 1137)
Distribution Algebras on p-adic Groups and Lie Algebras When $F$ is a $p$-adic field, and $G={\mathbb
G}(F)$ is the group of $F$-rational points of a connected algebraic
$F$-group, the complex vector space ${\mathcal H}(G)$ of compactly
supported locally constant distributions on $G$ has a natural
convolution product that makes it into a ${\mathbb C}$-algebra
(without an identity) called the Hecke algebra. The Hecke algebra is a
partial analogue for $p$-adic groups of the enveloping algebra of a
Lie group. However, $\mathcal{H}(G)$ has drawbacks such as the lack of
an identity element, and the process $G \mapsto \mathcal{H}(G)$
is not a functor. Bernstein introduced an enlargement
$\mathcal{H}\,\hat{\,}(G)$
of $\mathcal{H}(G)$. The algebra
$\mathcal{H}\,\hat{\,} (G)$ consists of the distributions that are left
essentially compact. We show that the process $G \mapsto
\mathcal{H}\,\hat{\,} (G)$ is a functor. If $\tau \colon G \rightarrow
H$ is a morphism of $p$-adic groups, let $F(\tau) \colon
\mathcal{H}\,\hat{\,} (G) \rightarrow \mathcal{H}\,\hat{\,} (H)$ be
the morphism of $\mathbb{C}$-algebras. We identify the kernel of
$F(\tau)$ in terms of $\textrm{Ker}(\tau)$. In the setting of $p$-adic
Lie algebras, with $\mathfrak{g}$ a reductive Lie algebra,
$\mathfrak{m}$ a Levi, and $\tau \colon \mathfrak{g} \to \mathfrak{m}$ the
natural projection, we show that $F(\tau)$ maps $G$-invariant distributions
on $\mathcal{G}$ to $N_G (\mathfrak{m})$-invariant distributions on
$\mathfrak{m}$. Finally, we exhibit a natural family of $G$-invariant
essentially compact distributions on $\mathfrak{g}$ associated with a
$G$-invariant non-degenerate symmetric bilinear form on ${\mathfrak g}$
and in the case of $SL(2)$ show how certain members of the family can
be moved to the group.
Keywords:distribution algebra, p-adic group Categories:22E50, 22E35 |
24. CJM 2011 (vol 63 pp. 798)
Representing Multipliers of the Fourier Algebra on Non-Commutative $L^p$ Spaces We show that the multiplier algebra of the Fourier algebra on a
locally compact group $G$ can be isometrically represented on a direct
sum on non-commutative $L^p$ spaces associated with the right von
Neumann algebra of $G$. The resulting image is the idealiser of the
image of the Fourier algebra. If these spaces are given their
canonical operator space structure, then we get a completely isometric
representation of the completely bounded multiplier algebra. We make
a careful study of the non-commutative $L^p$ spaces we construct and
show that they are completely isometric to those considered recently
by Forrest, Lee, and Samei. We improve a result of theirs about module
homomorphisms. We suggest a definition of a Figa-Talamanca-Herz
algebra built out of these non-commutative $L^p$ spaces, say
$A_p(\widehat G)$. It is shown that $A_2(\widehat G)$ is isometric to
$L^1(G)$, generalising the abelian situation.
Keywords:multiplier, Fourier algebra, non-commutative $L^p$ space, complex interpolation Categories:43A22, 43A30, 46L51, 22D25, 42B15, 46L07, 46L52 |
25. CJM 2011 (vol 63 pp. 1107)
Genericity of Representations of p-Adic $Sp_{2n}$ and Local Langlands Parameters Let $G$ be the $F$-rational points of the symplectic group $Sp_{2n}$,
where $F$ is a non-Archimedean local field
of characteristic
$0$. Cogdell, Kim, Piatetski-Shapiro, and Shahidi
constructed local Langlands functorial lifting from irreducible
generic representations of $G$ to irreducible representations of
$GL_{2n+1}(F)$.
Jiang and Soudry constructed the descent map from irreducible
supercuspidal representations of $GL_{2n+1}(F)$ to those of $G$,
showing that the local Langlands functorial lifting from the
irreducible supercuspidal generic representations is surjective. In
this paper, based on above results, using the same descent method of
studying $SO_{2n+1}$ as Jiang and Soudry, we will show the rest
of local Langlands functorial lifting is also surjective, and for any
local Langlands parameter $\phi \in \Phi(G)$, we construct a
representation $\sigma$ such that $\phi$ and $\sigma$ have the same
twisted local factors. As one application, we prove the $G$-case of a
conjecture of
Gross-Prasad and Rallis, that is, a local Langlands parameter $\phi
\in \Phi(G)$ is generic, i.e., the representation attached to
$\phi$ is generic, if and only if the adjoint $L$-function of $\phi$
is holomorphic at $s=1$. As another application, we prove for each
Arthur parameter $\psi$, and the corresponding local Langlands
parameter
$\phi_{\psi}$, the representation attached to $\phi_{\psi}$
is generic if and only if $\phi_{\psi}$ is tempered.
Keywords:generic representations, local Langlands parameters Categories:22E50, 11S37 |