Lie Groups and Representation Theory
Seminar information archive ~04/30|Next seminar|Future seminars 05/01~
Date, time & place | Tuesday 16:30 - 18:00 126Room #126 (Graduate School of Math. Sci. Bldg.) |
---|
Seminar information archive
2019/10/30
16:30-18:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Quentin Labriet (Reims University)
On holographic transform (English)
Quentin Labriet (Reims University)
On holographic transform (English)
[ Abstract ]
In representation theory, decomposing the restriction of a given representation $¥pi$ of a Lie group $G$ to an appropriate subgroup $G'$ is an important issue referred to as a branching law. In this context, one can define symmetry breaking operators, as $G'$-intertwining operators between the restriction $¥pi¥vert_{G'}$ and its irreducible
components. Going in the opposite direction gives rise to holographic operators and the notion of holographic transform.
I will illustrate this construction by two examples :
- the diagonal case where one considers the restriction problem for $¥pi$ being an outer product of two holomorphic discrete series representations, $G=SL(2,R)¥times SL(2,R)$ and $G'=SL(2,R)$.
- the conformal case for the restriction of a scalar valued holomorphic discrete series representation $¥pi$ of $G=SO(2,n)$ to $G'=SO(2,n-1)$.
I will then explain different methods for an explicit construction of such holographic operators in these cases, and present some of my results and open problems in this direction.
In representation theory, decomposing the restriction of a given representation $¥pi$ of a Lie group $G$ to an appropriate subgroup $G'$ is an important issue referred to as a branching law. In this context, one can define symmetry breaking operators, as $G'$-intertwining operators between the restriction $¥pi¥vert_{G'}$ and its irreducible
components. Going in the opposite direction gives rise to holographic operators and the notion of holographic transform.
I will illustrate this construction by two examples :
- the diagonal case where one considers the restriction problem for $¥pi$ being an outer product of two holomorphic discrete series representations, $G=SL(2,R)¥times SL(2,R)$ and $G'=SL(2,R)$.
- the conformal case for the restriction of a scalar valued holomorphic discrete series representation $¥pi$ of $G=SO(2,n)$ to $G'=SO(2,n-1)$.
I will then explain different methods for an explicit construction of such holographic operators in these cases, and present some of my results and open problems in this direction.
2019/10/23
16:30-18:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Clemens Weiske (Aarhus University)
Symmetry breaking and unitary branching laws for finite-multiplicity pairs of rank one (English)
Clemens Weiske (Aarhus University)
Symmetry breaking and unitary branching laws for finite-multiplicity pairs of rank one (English)
[ Abstract ]
Let (G,G’) be a real reductive finite multiplicity pair of rank one, i.e. a rank one real reductive group G with reductive subgroup G’, such that the space of symmetry breaking operators (SBOs) between all (smooth admissible) irreducible representations is finite dimensional.
We give a classification of SBOs between spherical principal series representations of G and G’, essentially generalizing the results on (O(1,n+1),O(1,n)) of Kobayashi—Speh (2015). Moreover we show how to decompose unitary representations occurring in (not necessarily) spherical principal series representations of G in terms of unitary G’ representations, by making use of the knowledge gathered in the classification of the SBOs and the structure of the open P’orbit in G/P as a homogenous G’-space, where P’ is a minimal parabolic in G’ and P is a minimal parabolic in G. This includes the construction of discrete spectra in the restriction of complementary series representations and unitarizable composition factors.
Let (G,G’) be a real reductive finite multiplicity pair of rank one, i.e. a rank one real reductive group G with reductive subgroup G’, such that the space of symmetry breaking operators (SBOs) between all (smooth admissible) irreducible representations is finite dimensional.
We give a classification of SBOs between spherical principal series representations of G and G’, essentially generalizing the results on (O(1,n+1),O(1,n)) of Kobayashi—Speh (2015). Moreover we show how to decompose unitary representations occurring in (not necessarily) spherical principal series representations of G in terms of unitary G’ representations, by making use of the knowledge gathered in the classification of the SBOs and the structure of the open P’orbit in G/P as a homogenous G’-space, where P’ is a minimal parabolic in G’ and P is a minimal parabolic in G. This includes the construction of discrete spectra in the restriction of complementary series representations and unitarizable composition factors.
2018/12/11
17:00-18:00 Room #117 (Graduate School of Math. Sci. Bldg.)
Motoki Takigiku (the University of Tokyo)
A Pieri-type formula and a factorization formula for K-k-Schur functions
Motoki Takigiku (the University of Tokyo)
A Pieri-type formula and a factorization formula for K-k-Schur functions
[ Abstract ]
We give a Pieri-type formula for the sum of K-k-Schur functions \sum_{\mu\le\lambda}g^{(k)}_{\mu} over a principal order ideal of the poset of k-bounded partitions under the strong Bruhat order, which sum we denote by \widetilde{g}^{(k)}_{\lambda}. As an application of this, we also give a k-rectangle factorization formula \widetilde{g}^{(k)}_{R_t\cup\lambda}=\widetilde{g}^{(k)}_{R_t} \widetilde{g}^{(k)}_{\lambda}
where R_t=(t^{k+1-t}), analogous to that of k-Schur functions s^{(k)}_{R_t\cup \lambda}=s^{(k)}_{R_t}s^{(k)}_{\lambda}.
We give a Pieri-type formula for the sum of K-k-Schur functions \sum_{\mu\le\lambda}g^{(k)}_{\mu} over a principal order ideal of the poset of k-bounded partitions under the strong Bruhat order, which sum we denote by \widetilde{g}^{(k)}_{\lambda}. As an application of this, we also give a k-rectangle factorization formula \widetilde{g}^{(k)}_{R_t\cup\lambda}=\widetilde{g}^{(k)}_{R_t} \widetilde{g}^{(k)}_{\lambda}
where R_t=(t^{k+1-t}), analogous to that of k-Schur functions s^{(k)}_{R_t\cup \lambda}=s^{(k)}_{R_t}s^{(k)}_{\lambda}.
2018/12/03
17:00-18:00 Room #126 (Graduate School of Math. Sci. Bldg.)
Ali Baklouti (Faculté des Sciences de Sfax)
Monomial representations of discrete type and differential operators. (English)
Ali Baklouti (Faculté des Sciences de Sfax)
Monomial representations of discrete type and differential operators. (English)
[ Abstract ]
Let $G$ be an exponential solvable Lie group and $\tau$ a monomial representation of $G$, an induced representation from a connected closed subgroup of $G$ of a unitary character. It is well known that $\tau$ disintegrates into irreducible factors and the multiplicities of each isotypic component are explicitly determined. In the case where $G$ is nilpotent, these multiplicities are either finite or infinite almost everywhere, with respect to the disintegration's measure. We associate to $\tau$ an algebra of differential operators and it is shown that in the nilpotent case, the commutativity of this algebra is equivalent to the finiteness of the multiplicities of $\tau$. In the exponential case, we define the notion of monomial representation of discrete type. In this case, we show that such an equivalence does not hold and this answers a question posed by M. Duflo. This is a joint work with H. Fujiwara and J. Ludwig.
Let $G$ be an exponential solvable Lie group and $\tau$ a monomial representation of $G$, an induced representation from a connected closed subgroup of $G$ of a unitary character. It is well known that $\tau$ disintegrates into irreducible factors and the multiplicities of each isotypic component are explicitly determined. In the case where $G$ is nilpotent, these multiplicities are either finite or infinite almost everywhere, with respect to the disintegration's measure. We associate to $\tau$ an algebra of differential operators and it is shown that in the nilpotent case, the commutativity of this algebra is equivalent to the finiteness of the multiplicities of $\tau$. In the exponential case, we define the notion of monomial representation of discrete type. In this case, we show that such an equivalence does not hold and this answers a question posed by M. Duflo. This is a joint work with H. Fujiwara and J. Ludwig.
2018/03/12
15:00-16:30 Room #126 (Graduate School of Math. Sci. Bldg.)
Christian Ikenmeyer (Max-Planck-Institut fur Informatik)
Plethysms and Kronecker coefficients in geometric complexity theory
Christian Ikenmeyer (Max-Planck-Institut fur Informatik)
Plethysms and Kronecker coefficients in geometric complexity theory
[ Abstract ]
Research on Kronecker coefficients and plethysms gained significant momentum when the topics were connected with geometric complexity theory, an approach towards computational complexity lower bounds via algebraic geometry and representation theory. This talk is about several recent results that were obtained with geometric complexity theory as motivation, namely the NP-hardness of deciding the positivity of Kronecker coefficients and an inequality between rectangular Kronecker coefficients and plethysm coefficients. While the proof of the former statement is mainly combinatorial, the proof of the latter statement interestingly uses insights from algebraic complexity theory. As far as we know algebraic complexity theory has never been used before to prove an inequality between representation theoretic multiplicities.
Research on Kronecker coefficients and plethysms gained significant momentum when the topics were connected with geometric complexity theory, an approach towards computational complexity lower bounds via algebraic geometry and representation theory. This talk is about several recent results that were obtained with geometric complexity theory as motivation, namely the NP-hardness of deciding the positivity of Kronecker coefficients and an inequality between rectangular Kronecker coefficients and plethysm coefficients. While the proof of the former statement is mainly combinatorial, the proof of the latter statement interestingly uses insights from algebraic complexity theory. As far as we know algebraic complexity theory has never been used before to prove an inequality between representation theoretic multiplicities.
2017/10/24
17:30-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)
Reiko Miyaoka (Tohoku University)
Approach from the submanifold theory to the FLoer homology of Lagrangian intersections (JAPANESE)
Reiko Miyaoka (Tohoku University)
Approach from the submanifold theory to the FLoer homology of Lagrangian intersections (JAPANESE)
[ Abstract ]
The Gauss map images of isoparametric hypersurfaces in the spheres supply a rich family of minimal Lagrangian submanifolds of the complex hyperquadric Q_n(C). In simple cases, these are real forms of Q_n(C), and their Floer homology is known. In this talk, we consider the case when the number of distinct principal curvatures is 3,4,6, and report our results, which do not directly follow from FOOO’s theory. This is a joint work with Hiroshi Iriyeh (Ibaraki U.), Hui Ma (Tsinghua U.) and Yoshihiro Ohnita (Osaka City U.).
The Gauss map images of isoparametric hypersurfaces in the spheres supply a rich family of minimal Lagrangian submanifolds of the complex hyperquadric Q_n(C). In simple cases, these are real forms of Q_n(C), and their Floer homology is known. In this talk, we consider the case when the number of distinct principal curvatures is 3,4,6, and report our results, which do not directly follow from FOOO’s theory. This is a joint work with Hiroshi Iriyeh (Ibaraki U.), Hui Ma (Tsinghua U.) and Yoshihiro Ohnita (Osaka City U.).
2017/09/26
17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)
Hideko Sekiguchi (The University of Tokyo)
Representations of Semisimple Lie Groups and Penrose Transform (Japanese)
Hideko Sekiguchi (The University of Tokyo)
Representations of Semisimple Lie Groups and Penrose Transform (Japanese)
[ Abstract ]
The classical Penrose transform is generalized to an intertwining operator on Dolbeault cohomologies of complex homogeneous spaces $X$ of (real) semisimple Lie groups.
I plan to discuss a detailed analysis when $X$ is an indefinite Grassmann manifold.
To be more precise, we determine the image of the Penrose transform, from the Dolbeault cohomology group on the indefinite Grassmann manifold consisting of maximally positive $k$-planes in ${\mathbb{C}}^{p,q}$ ($1 \le k \le \min(p,q)$) to the space of holomorphic functions over the bounded symmetric domain.
Furthermore, we prove that there is a duality between Dolbeault cohomology groups in two indefinite Grassmann manifolds, namely, that of positive $k$-planes and that of negative $k$-planes.
The classical Penrose transform is generalized to an intertwining operator on Dolbeault cohomologies of complex homogeneous spaces $X$ of (real) semisimple Lie groups.
I plan to discuss a detailed analysis when $X$ is an indefinite Grassmann manifold.
To be more precise, we determine the image of the Penrose transform, from the Dolbeault cohomology group on the indefinite Grassmann manifold consisting of maximally positive $k$-planes in ${\mathbb{C}}^{p,q}$ ($1 \le k \le \min(p,q)$) to the space of holomorphic functions over the bounded symmetric domain.
Furthermore, we prove that there is a duality between Dolbeault cohomology groups in two indefinite Grassmann manifolds, namely, that of positive $k$-planes and that of negative $k$-planes.
2017/03/10
17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)
Lizhen Ji (University of Michigan, USA)
Satake compactifications and metric Schottky problems (English)
Lizhen Ji (University of Michigan, USA)
Satake compactifications and metric Schottky problems (English)
[ Abstract ]
The quotient of the Poincare upper half plane by the modular group SL(2, Z) is a basic locally symmetric space and also the moduli space of compact Riemann surfaces of genus 1, and it admits two important classes of generalization:
(1) Moduli spaces M_g of compact Riemann surfaces of genus g>1,
(2) Arithmetic locally symmetric spaces \Gamma \ G/K such as the Siegel modular variety A_g, which is also the moduli of principally polarized abelian varieties of dimension g.
There have been a lot of fruitful work to explore the similarity between these two classes of spaces, and there is also a direct interaction between them through the Jacobian (or period) map J: M_g --> A_g.
In this talk, I will discuss some results along these lines related to the Stake compactifications and the Schottky problems on understanding the image J(M_g) in A_g from the metric perspective.
The quotient of the Poincare upper half plane by the modular group SL(2, Z) is a basic locally symmetric space and also the moduli space of compact Riemann surfaces of genus 1, and it admits two important classes of generalization:
(1) Moduli spaces M_g of compact Riemann surfaces of genus g>1,
(2) Arithmetic locally symmetric spaces \Gamma \ G/K such as the Siegel modular variety A_g, which is also the moduli of principally polarized abelian varieties of dimension g.
There have been a lot of fruitful work to explore the similarity between these two classes of spaces, and there is also a direct interaction between them through the Jacobian (or period) map J: M_g --> A_g.
In this talk, I will discuss some results along these lines related to the Stake compactifications and the Schottky problems on understanding the image J(M_g) in A_g from the metric perspective.
2016/07/05
17:00-18:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Toshiaki Hattori (Tokyo Institute of Technology)
Shimizu's lemma for general linear groups
Toshiaki Hattori (Tokyo Institute of Technology)
Shimizu's lemma for general linear groups
[ Abstract ]
We find two versions of Shimizu's lemma for subgroups of GL(n, C). By using these results, we study the noncompact classical groups and the associated Riemannian symmetric spaces. This is a continuation of the talk at this seminar in July 2015.
We find two versions of Shimizu's lemma for subgroups of GL(n, C). By using these results, we study the noncompact classical groups and the associated Riemannian symmetric spaces. This is a continuation of the talk at this seminar in July 2015.
2016/04/12
17:00-18:30 Room #128 (Graduate School of Math. Sci. Bldg.)
Piotr Pragacz (Institute of Mathematics, Polish Academy of Sciences)
Universal Gysin formulas for flag bundles
Piotr Pragacz (Institute of Mathematics, Polish Academy of Sciences)
Universal Gysin formulas for flag bundles
[ Abstract ]
We give generalizations of the formula for the push-forward of a power of the hyperplane class in a projective bundle to flag bundles of type A, B, C, D. The formulas (and also the proofs) involve only the Segre classes of the original vector bundles and characteristic classes of universal bundles. This is a joint work with Lionel Darondeau.
We give generalizations of the formula for the push-forward of a power of the hyperplane class in a projective bundle to flag bundles of type A, B, C, D. The formulas (and also the proofs) involve only the Segre classes of the original vector bundles and characteristic classes of universal bundles. This is a joint work with Lionel Darondeau.
2015/11/26
17:00-18:45 Room # (Graduate School of Math. Sci. Bldg.)
Birgit Speh (Cornell University)
Introduction to the cohomology of discrete groups and modular symbols 2 (English)
Birgit Speh (Cornell University)
Introduction to the cohomology of discrete groups and modular symbols 2 (English)
[ Abstract ]
The course is an introduction to the cohomology of torsion free discrete subgroups $\Gamma \subset G $ of a semi simple group $G$. The discrete group $\Gamma$ acts freely on the symmetric space $X= G/K$ and we will always assume that $\Gamma \backslash G/K$ is compact or has finite volume. An example is a torsion free subgroup $\Gamma_n $ of finite index n in Sl(2,Z) acting on $Sl(2.R)/SO(2) \simeq {\mathcal H}=\{z=x+iy \in C| y >0 \}$ by fractional linear transformations. $\Gamma_n \backslash {\mathcal H}$ can be determined explicitly and it can be visualized as an area in the upper half plane glued at the boundary. It is easy to see that it has some nice compactifications.
The cohomology $H^*(\Gamma, C)$ of the group $\Gamma$ is equal to the deRham cohomology $H^*_{deRham}(\Gamma \backslash X, C)$ of the manifold $\Gamma\backslash X$. This cohomology is studied by proving that it is isomorphic to the $H^*(g,K,{\mathcal A}(\Gamma \backslash G))$. Here ${\mathcal A}(\Gamma \backslash G)$ of automorphic functions on $\Gamma \backslash G$. In the case $\Gamma_n \subset Sl(2,Z)$ the space ${\mathcal A}(\Gamma \backslash G)$ is the space of classical automorphic functions on the upper half plane containing holomorphic cusp form, Eisenstein series, Maass forms and it is often introduced in an introductory course in analytic number theory.
On the geometric side we will construct some of the cycles (modular symbols) in the homology $H_*(\Gamma\backslash X)$ which are dual to the cohomology classes we constructed. In our example $\Gamma_n\backslash Sl(2,R)/SO(2)$ these cycles correspond to geodesics and can easily be visualized.
In this course I will explain these results and show how to use them to prove vanishing and non vanishing theorem for $H^*_{deRham}(\Gamma \backslash X)$. I will state the results in full generality, but I will prove them only in the classical case: G=SL$(2,R)$ and the subgroup $\Gamma= \Gamma_n$ a congruence subgroup. Some familiarity with Lie groups and Lie algebras is only prerequisite for the course.
The course is an introduction to the cohomology of torsion free discrete subgroups $\Gamma \subset G $ of a semi simple group $G$. The discrete group $\Gamma$ acts freely on the symmetric space $X= G/K$ and we will always assume that $\Gamma \backslash G/K$ is compact or has finite volume. An example is a torsion free subgroup $\Gamma_n $ of finite index n in Sl(2,Z) acting on $Sl(2.R)/SO(2) \simeq {\mathcal H}=\{z=x+iy \in C| y >0 \}$ by fractional linear transformations. $\Gamma_n \backslash {\mathcal H}$ can be determined explicitly and it can be visualized as an area in the upper half plane glued at the boundary. It is easy to see that it has some nice compactifications.
The cohomology $H^*(\Gamma, C)$ of the group $\Gamma$ is equal to the deRham cohomology $H^*_{deRham}(\Gamma \backslash X, C)$ of the manifold $\Gamma\backslash X$. This cohomology is studied by proving that it is isomorphic to the $H^*(g,K,{\mathcal A}(\Gamma \backslash G))$. Here ${\mathcal A}(\Gamma \backslash G)$ of automorphic functions on $\Gamma \backslash G$. In the case $\Gamma_n \subset Sl(2,Z)$ the space ${\mathcal A}(\Gamma \backslash G)$ is the space of classical automorphic functions on the upper half plane containing holomorphic cusp form, Eisenstein series, Maass forms and it is often introduced in an introductory course in analytic number theory.
On the geometric side we will construct some of the cycles (modular symbols) in the homology $H_*(\Gamma\backslash X)$ which are dual to the cohomology classes we constructed. In our example $\Gamma_n\backslash Sl(2,R)/SO(2)$ these cycles correspond to geodesics and can easily be visualized.
In this course I will explain these results and show how to use them to prove vanishing and non vanishing theorem for $H^*_{deRham}(\Gamma \backslash X)$. I will state the results in full generality, but I will prove them only in the classical case: G=SL$(2,R)$ and the subgroup $\Gamma= \Gamma_n$ a congruence subgroup. Some familiarity with Lie groups and Lie algebras is only prerequisite for the course.
2015/11/24
17:00-18:45 Room # (Graduate School of Math. Sci. Bldg.)
Birgit Speh (Cornell University)
Introduction to the cohomology of discrete groups and modular symbols 1 (English)
Birgit Speh (Cornell University)
Introduction to the cohomology of discrete groups and modular symbols 1 (English)
[ Abstract ]
The course is an introduction to the cohomology of torsion free discrete subgroups $\Gamma \subset G $ of a semi simple group $G$. The discrete group $\Gamma$ acts freely on the symmetric space $X= G/K$ and we will always assume that $\Gamma \backslash G/K$ is compact or has finite volume. An example is a torsion free subgroup $\Gamma_n $ of finite index n in Sl(2,Z) acting on $Sl(2.R)/SO(2) \simeq {\mathcal H}=\{z=x+iy \in C| y >0 \}$ by fractional linear transformations. $\Gamma_n \backslash {\mathcal H}$ can be determined explicitly and it can be visualized as an area in the upper half plane glued at the boundary. It is easy to see that it has some nice compactifications.
The cohomology $H^*(\Gamma, C)$ of the group $\Gamma$ is equal to the deRham cohomology $H^*_{deRham}(\Gamma \backslash X, C)$ of the manifold $\Gamma\backslash X$. This cohomology is studied by proving that it is isomorphic to the $H^*(g,K,{\mathcal A}(\Gamma \backslash G))$. Here ${\mathcal A}(\Gamma \backslash G)$ of automorphic functions on $\Gamma \backslash G$. In the case $\Gamma_n \subset Sl(2,Z)$ the space ${\mathcal A}(\Gamma \backslash G)$ is the space of classical automorphic functions on the upper half plane containing holomorphic cusp form, Eisenstein series, Maass forms and it is often introduced in an introductory course in analytic number theory.
On the geometric side we will construct some of the cycles (modular symbols) in the homology $H_*(\Gamma\backslash X)$ which are dual to the cohomology classes we constructed. In our example $\Gamma_n\backslash Sl(2,R)/SO(2)$ these cycles correspond to geodesics and can easily be visualized.
In this course I will explain these results and show how to use them to prove vanishing and non vanishing theorem for $H^*_{deRham}(\Gamma \backslash X)$. I will state the results in full generality, but I will prove them only in the classical case: G=SL$(2,R)$ and the subgroup $\Gamma= \Gamma_n$ a congruence subgroup. Some familiarity with Lie groups and Lie algebras is only prerequisite for the course.
The course is an introduction to the cohomology of torsion free discrete subgroups $\Gamma \subset G $ of a semi simple group $G$. The discrete group $\Gamma$ acts freely on the symmetric space $X= G/K$ and we will always assume that $\Gamma \backslash G/K$ is compact or has finite volume. An example is a torsion free subgroup $\Gamma_n $ of finite index n in Sl(2,Z) acting on $Sl(2.R)/SO(2) \simeq {\mathcal H}=\{z=x+iy \in C| y >0 \}$ by fractional linear transformations. $\Gamma_n \backslash {\mathcal H}$ can be determined explicitly and it can be visualized as an area in the upper half plane glued at the boundary. It is easy to see that it has some nice compactifications.
The cohomology $H^*(\Gamma, C)$ of the group $\Gamma$ is equal to the deRham cohomology $H^*_{deRham}(\Gamma \backslash X, C)$ of the manifold $\Gamma\backslash X$. This cohomology is studied by proving that it is isomorphic to the $H^*(g,K,{\mathcal A}(\Gamma \backslash G))$. Here ${\mathcal A}(\Gamma \backslash G)$ of automorphic functions on $\Gamma \backslash G$. In the case $\Gamma_n \subset Sl(2,Z)$ the space ${\mathcal A}(\Gamma \backslash G)$ is the space of classical automorphic functions on the upper half plane containing holomorphic cusp form, Eisenstein series, Maass forms and it is often introduced in an introductory course in analytic number theory.
On the geometric side we will construct some of the cycles (modular symbols) in the homology $H_*(\Gamma\backslash X)$ which are dual to the cohomology classes we constructed. In our example $\Gamma_n\backslash Sl(2,R)/SO(2)$ these cycles correspond to geodesics and can easily be visualized.
In this course I will explain these results and show how to use them to prove vanishing and non vanishing theorem for $H^*_{deRham}(\Gamma \backslash X)$. I will state the results in full generality, but I will prove them only in the classical case: G=SL$(2,R)$ and the subgroup $\Gamma= \Gamma_n$ a congruence subgroup. Some familiarity with Lie groups and Lie algebras is only prerequisite for the course.
2015/07/28
17:00-18:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Fabian Januszewski (Karlsruhe Institute of Technology)
On g,K-modules over arbitrary fields and applications to special values of L-functions
Fabian Januszewski (Karlsruhe Institute of Technology)
On g,K-modules over arbitrary fields and applications to special values of L-functions
[ Abstract ]
I will introduce g,K-modules over arbitrary fields of characteristic 0 and discuss their fundamental properties and constructions, including Zuckerman functors. This may be applied to produce models of certain standard modules over number fields, which has applications to special values of automorphic L-functions, and also furnishes the space of regular algebraic cusp forms of GL(n) with a natural global Q-structure.
I will introduce g,K-modules over arbitrary fields of characteristic 0 and discuss their fundamental properties and constructions, including Zuckerman functors. This may be applied to produce models of certain standard modules over number fields, which has applications to special values of automorphic L-functions, and also furnishes the space of regular algebraic cusp forms of GL(n) with a natural global Q-structure.
2015/07/21
17:00-18:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Paul Baum (Penn State University)
GEOMETRIC STRUCTURE IN SMOOTH DUAL
Paul Baum (Penn State University)
GEOMETRIC STRUCTURE IN SMOOTH DUAL
[ Abstract ]
Let G be a connected split reductive p-adic group. Examples are GL(n, F) , SL(n, F) , SO(n, F) , Sp(2n, F) , PGL(n, F) where n can be any positive integer and F can be any finite extension of the field Q_p of p-adic numbers. The smooth (or admissible) dual of G is the set of equivalence classes of smooth irreducible representations of G. This talk will first review the theory of the Bernstein center. According to this theory, the smooth dual of G is the disjoint union of subsets known as the Bernstein components. The talk will then explain the ABPS (Aubert-Baum-Plymen-Solleveld) conjecture which states that each Bernstein component is a complex affine variety. Each of these complex affine varieties is explicitly identified as the extended quotient associated to the given Bernstein component.
The ABPS conjecture has been proved for GL(n, F), SO(n, F), and Sp(2n, F).
Let G be a connected split reductive p-adic group. Examples are GL(n, F) , SL(n, F) , SO(n, F) , Sp(2n, F) , PGL(n, F) where n can be any positive integer and F can be any finite extension of the field Q_p of p-adic numbers. The smooth (or admissible) dual of G is the set of equivalence classes of smooth irreducible representations of G. This talk will first review the theory of the Bernstein center. According to this theory, the smooth dual of G is the disjoint union of subsets known as the Bernstein components. The talk will then explain the ABPS (Aubert-Baum-Plymen-Solleveld) conjecture which states that each Bernstein component is a complex affine variety. Each of these complex affine varieties is explicitly identified as the extended quotient associated to the given Bernstein component.
The ABPS conjecture has been proved for GL(n, F), SO(n, F), and Sp(2n, F).
2015/07/21
15:30-16:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Toshiaki Hattori (Tokyo Institute of Technology)
(Japanese)
Toshiaki Hattori (Tokyo Institute of Technology)
(Japanese)
2015/07/14
17:00-18:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Paul Baum (Penn State University)
MORITA EQUIVALENCE REVISITED
Paul Baum (Penn State University)
MORITA EQUIVALENCE REVISITED
[ Abstract ]
Let X be a complex affine variety and k its coordinate algebra. A k- algebra is an algebra A over the complex numbers which is a k-module (with an evident compatibility between the algebra structure of A and the k-module structure of A). A is not required to have a unit. A k-algebra A is of finite type if as a k-module A is finitely generated. This talk will review Morita equivalence for k-algebras and will then introduce --- for finite type k-algebras ---a weakening of Morita equivalence called geometric equivalence. The new equivalence relation preserves the primitive ideal space (i.e. the set of isomorphism classes of irreducible A-modules) and the periodic cyclic homology of A. However, the new equivalence relation permits a tearing apart of strata in the primitive ideal space which is not allowed by Morita equivalence.
Let G be a connected split reductive p-adic group, The ABPS (Aubert- Baum-Plymen-Solleveld) conjecture states that the finite type algebra which Bernstein assigns to any given Bernstein component in the smooth dual of G, is geometrically equivalent to the coordinate algebra of the associated extended quotient. The second talk will give an exposition of the ABPS conjecture.
Let X be a complex affine variety and k its coordinate algebra. A k- algebra is an algebra A over the complex numbers which is a k-module (with an evident compatibility between the algebra structure of A and the k-module structure of A). A is not required to have a unit. A k-algebra A is of finite type if as a k-module A is finitely generated. This talk will review Morita equivalence for k-algebras and will then introduce --- for finite type k-algebras ---a weakening of Morita equivalence called geometric equivalence. The new equivalence relation preserves the primitive ideal space (i.e. the set of isomorphism classes of irreducible A-modules) and the periodic cyclic homology of A. However, the new equivalence relation permits a tearing apart of strata in the primitive ideal space which is not allowed by Morita equivalence.
Let G be a connected split reductive p-adic group, The ABPS (Aubert- Baum-Plymen-Solleveld) conjecture states that the finite type algebra which Bernstein assigns to any given Bernstein component in the smooth dual of G, is geometrically equivalent to the coordinate algebra of the associated extended quotient. The second talk will give an exposition of the ABPS conjecture.
2015/06/30
17:00-18:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Anatoly Vershik (St. Petersburg Department of Steklov Institute of Mathematics)
Random subgroups and representation theory
Anatoly Vershik (St. Petersburg Department of Steklov Institute of Mathematics)
Random subgroups and representation theory
[ Abstract ]
The following problem had been appeared independently in different teams and various reason:
to describe the Borel measures on the lattice of all subgroups of given group, which are invariant with respect to the action of the group by conjugacy. The main interest of course represents nonatomic measures which exist not for any group.
I will explain how these measures connected with characters and representations of the group, and describe the complete list of such measures for infinite symmetric group.
The following problem had been appeared independently in different teams and various reason:
to describe the Borel measures on the lattice of all subgroups of given group, which are invariant with respect to the action of the group by conjugacy. The main interest of course represents nonatomic measures which exist not for any group.
I will explain how these measures connected with characters and representations of the group, and describe the complete list of such measures for infinite symmetric group.
2015/05/26
17:00-18:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Takeyoshi Kogiso (Josai University)
Local functional equations of Clifford quartic forms and homaloidal EKP-polynomials
Takeyoshi Kogiso (Josai University)
Local functional equations of Clifford quartic forms and homaloidal EKP-polynomials
[ Abstract ]
It is known that one can associate local functional equation to the irreducible relative invariant of an irreducible regular prehomogeneous vector spaces. We construct Clifford quartic forms that cannot obtained from prehomogeneous vector spaces, but, for which one can associate local functional equations. The characterization of polynomials which satisfy local functional equations is an interesting problem. In relation to this characterization problem (in a more general form), Etingof, Kazhdan and Polishchuk raised a conjecture. We make a counter example of this conjecture from Clifford quartic forms. (This is based on the joint work with F.Sato)
It is known that one can associate local functional equation to the irreducible relative invariant of an irreducible regular prehomogeneous vector spaces. We construct Clifford quartic forms that cannot obtained from prehomogeneous vector spaces, but, for which one can associate local functional equations. The characterization of polynomials which satisfy local functional equations is an interesting problem. In relation to this characterization problem (in a more general form), Etingof, Kazhdan and Polishchuk raised a conjecture. We make a counter example of this conjecture from Clifford quartic forms. (This is based on the joint work with F.Sato)
2015/05/19
17:00-18:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Anton Evseev (University of Birmingham)
RoCK blocks, wreath products and KLR algebras (English)
Anton Evseev (University of Birmingham)
RoCK blocks, wreath products and KLR algebras (English)
[ Abstract ]
The so-called RoCK (or Rouquier) blocks play an important role in representation theory of symmetric groups over a finite field of characteristic $p$, as well as of Hecke algebras at roots of unity. Turner has conjectured that a certain idempotent truncation of a RoCK block is Morita equivalent to the principal block $B_0$ of the wreath product $S_p\wr S_d$ of symmetric groups, where $d$ is the "weight" of the block. The talk will outline a proof of this conjecture, which generalizes a result of Chuang-Kessar proved for $d < p$. The proof uses an isomorphism between a Hecke algebra at a root of unity and a cyclotomic Khovanov-Lauda-Rouquier algebra, the resulting grading on the Hecke algebra and the ideas behind a construction of R-matrices for modules over KLR algebras due to Kang-Kashiwara-Kim.
The so-called RoCK (or Rouquier) blocks play an important role in representation theory of symmetric groups over a finite field of characteristic $p$, as well as of Hecke algebras at roots of unity. Turner has conjectured that a certain idempotent truncation of a RoCK block is Morita equivalent to the principal block $B_0$ of the wreath product $S_p\wr S_d$ of symmetric groups, where $d$ is the "weight" of the block. The talk will outline a proof of this conjecture, which generalizes a result of Chuang-Kessar proved for $d < p$. The proof uses an isomorphism between a Hecke algebra at a root of unity and a cyclotomic Khovanov-Lauda-Rouquier algebra, the resulting grading on the Hecke algebra and the ideas behind a construction of R-matrices for modules over KLR algebras due to Kang-Kashiwara-Kim.
2015/04/28
17:00-18:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Bent Orsted (Aarhus University and the University of Tokyo)
Restricting automorphic forms to geodesic cycles (English)
Bent Orsted (Aarhus University and the University of Tokyo)
Restricting automorphic forms to geodesic cycles (English)
[ Abstract ]
We find estimates for the restriction of automorphic forms on hyperbolic manifolds to compact geodesic cycles in terms of their expansion into eigenfunctions of the Laplacian. Our method resembles earlier work on products of automorphic forms by Bernstein and Reznikov, and it uses Kobayashi's new symmetry-breaking kernels. This is joint work with Jan M\"o{}llers.
We find estimates for the restriction of automorphic forms on hyperbolic manifolds to compact geodesic cycles in terms of their expansion into eigenfunctions of the Laplacian. Our method resembles earlier work on products of automorphic forms by Bernstein and Reznikov, and it uses Kobayashi's new symmetry-breaking kernels. This is joint work with Jan M\"o{}llers.
2015/04/21
17:00-18:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Ryosuke Nakahama (the University of Tokyo, Department of Mathematical Sciences)
Norm computation and analytic continuation of vector valued holomorphic discrete series representations
(English)
Ryosuke Nakahama (the University of Tokyo, Department of Mathematical Sciences)
Norm computation and analytic continuation of vector valued holomorphic discrete series representations
(English)
[ Abstract ]
The holomorphic discrete series representations is realized on the space of vector-valued holomorphic functions on the complex bounded symmetric domains. When the parameter is sufficiently large, then its norm is given by the converging integral, but when the parameter becomes small, then the integral does not converge. However, if once we compute the norm explicitly, then we can consider its analytic continuation, and can discuss its properties, such as unitarizability. In this talk we treat the results on explicit norm computation.
The holomorphic discrete series representations is realized on the space of vector-valued holomorphic functions on the complex bounded symmetric domains. When the parameter is sufficiently large, then its norm is given by the converging integral, but when the parameter becomes small, then the integral does not converge. However, if once we compute the norm explicitly, then we can consider its analytic continuation, and can discuss its properties, such as unitarizability. In this talk we treat the results on explicit norm computation.
2015/04/14
16:30-18:00 Room #122 (Graduate School of Math. Sci. Bldg.)
Yuichiro Tanaka (Institute of Mathematics for Industry, Kyushu University)
Visible actions of compact Lie groups on complex spherical varieties (English)
Yuichiro Tanaka (Institute of Mathematics for Industry, Kyushu University)
Visible actions of compact Lie groups on complex spherical varieties (English)
[ Abstract ]
With the aim of uniform treatment of multiplicity-free representations of Lie groups, T. Kobayashi introduced the theory of visible actions on complex manifolds.
In this talk we consider visible actions of a compact real form U of a connected complex reductive algebraic group G on G-spherical varieties. Here a complex G-variety X is said to be spherical if a Borel subgroup of G has an open orbit on X. The sphericity implies the multiplicity-freeness property of the space of polynomials on X. Our main result gives an abstract proof for the visibility of U-actions. As a corollary, we obtain an alternative proof for the visibility of U-actions on linear multiplicity-free spaces, which was earlier proved by A. Sasaki (2009, 2011), and the visibility of U-actions on generalized flag varieties, earlier proved by Kobayashi (2007) and T- (2013, 2014).
With the aim of uniform treatment of multiplicity-free representations of Lie groups, T. Kobayashi introduced the theory of visible actions on complex manifolds.
In this talk we consider visible actions of a compact real form U of a connected complex reductive algebraic group G on G-spherical varieties. Here a complex G-variety X is said to be spherical if a Borel subgroup of G has an open orbit on X. The sphericity implies the multiplicity-freeness property of the space of polynomials on X. Our main result gives an abstract proof for the visibility of U-actions. As a corollary, we obtain an alternative proof for the visibility of U-actions on linear multiplicity-free spaces, which was earlier proved by A. Sasaki (2009, 2011), and the visibility of U-actions on generalized flag varieties, earlier proved by Kobayashi (2007) and T- (2013, 2014).
2015/04/07
16:30-18:00 Room #122 (Graduate School of Math. Sci. Bldg.)
Bent Orsted (Aarhus University)
Branching laws and elliptic boundary value problems
(English)
Bent Orsted (Aarhus University)
Branching laws and elliptic boundary value problems
(English)
[ Abstract ]
Classically the Poisson transform relates harmonic functions in the complex upper half plane to their boundary values on the real axis. In
some recent work by Caffarelli et al. some new generalizations of this appears in connection with the fractional Laplacian. In this lecture we
shall explain how the symmetry-breaking operators introduced by T. Kobayashi for studying branching laws may shed new light on the situation for elliptic boundary value problems. This is based on joint work with J. M\"o{}llers and G. Zhang.
Classically the Poisson transform relates harmonic functions in the complex upper half plane to their boundary values on the real axis. In
some recent work by Caffarelli et al. some new generalizations of this appears in connection with the fractional Laplacian. In this lecture we
shall explain how the symmetry-breaking operators introduced by T. Kobayashi for studying branching laws may shed new light on the situation for elliptic boundary value problems. This is based on joint work with J. M\"o{}llers and G. Zhang.
2015/03/24
18:00-19:30 Room #126 (Graduate School of Math. Sci. Bldg.)
Piotr Pragacz (Institute of Mathematics, Polish Academy of Sciences)
A Gysin formula for Hall-Littlewood polynomials
Piotr Pragacz (Institute of Mathematics, Polish Academy of Sciences)
A Gysin formula for Hall-Littlewood polynomials
[ Abstract ]
Schubert calculus on Grassmannians is governed by Schur S-functions, the one on Lagrangian Grassmannians by Schur Q-functions. There were several attempts to give a unifying approach to both situations.
We propose to use Hall-Littlewood symmetric polynomials. They appeared implicitly in Hall's study of the combinatorial lattice structure of finite abelian p-groups and in Green's calculations of the characters of GL(n) over finite fields; they appeared explicitly in the work of Littlewood on some problems in representation theory.
With the projection in a Grassmann bundle, there is associated its Gysin map, induced by pushing forward cycles (topologists call it "integration along fibers").
We state and prove a Gysin formula for HL-polynomials in these bundles. We discuss its two specializations, giving better insights to previously known formulas for Schur S- and P-functions.
Schubert calculus on Grassmannians is governed by Schur S-functions, the one on Lagrangian Grassmannians by Schur Q-functions. There were several attempts to give a unifying approach to both situations.
We propose to use Hall-Littlewood symmetric polynomials. They appeared implicitly in Hall's study of the combinatorial lattice structure of finite abelian p-groups and in Green's calculations of the characters of GL(n) over finite fields; they appeared explicitly in the work of Littlewood on some problems in representation theory.
With the projection in a Grassmann bundle, there is associated its Gysin map, induced by pushing forward cycles (topologists call it "integration along fibers").
We state and prove a Gysin formula for HL-polynomials in these bundles. We discuss its two specializations, giving better insights to previously known formulas for Schur S- and P-functions.
2015/01/27
16:30-18:00 Room #126 (Graduate School of Math. Sci. Bldg.)
Hironori Oya (The University of Tokyo)
Representations of quantized function algebras and the transition matrices from Canonical bases to PBW bases (JAPANESE)
Hironori Oya (The University of Tokyo)
Representations of quantized function algebras and the transition matrices from Canonical bases to PBW bases (JAPANESE)
[ Abstract ]
Let $G$ be a connected simply connected simple complex algebraic group of type $ADE$ and $\mathfrak{g}$ the corresponding simple Lie algebra. In this talk, I will explain our new algebraic proof of the positivity of the transition matrices from the canonical basis to the PBW bases of $U_q(\mathfrak{n}^+)$. Here, $U_q(\mathfrak{n}^+)$ denotes the positive part of the quantized enveloping algebra $U_q(\ mathfrak{g})$. (This positivity, which is a generalization of Lusztig's result, was originally proved by Kato (Duke Math. J. 163 (2014)).) We use the relation between $U_q(\mathfrak{n}^+)$ and the specific irreducible representations of the quantized function algebra $\mathbb{Q} _q[G]$. This relation has recently been pointed out by Kuniba, Okado and Yamada (SIGMA. 9 (2013)). Firstly, we study it taking into account the right $U_q(\mathfrak{g})$-algebra structure of $\mathbb{Q}_q[G]$. Next, we calculate the transition matrices from the canonical basis to the PBW bases using the result obtained in the first step.
Let $G$ be a connected simply connected simple complex algebraic group of type $ADE$ and $\mathfrak{g}$ the corresponding simple Lie algebra. In this talk, I will explain our new algebraic proof of the positivity of the transition matrices from the canonical basis to the PBW bases of $U_q(\mathfrak{n}^+)$. Here, $U_q(\mathfrak{n}^+)$ denotes the positive part of the quantized enveloping algebra $U_q(\ mathfrak{g})$. (This positivity, which is a generalization of Lusztig's result, was originally proved by Kato (Duke Math. J. 163 (2014)).) We use the relation between $U_q(\mathfrak{n}^+)$ and the specific irreducible representations of the quantized function algebra $\mathbb{Q} _q[G]$. This relation has recently been pointed out by Kuniba, Okado and Yamada (SIGMA. 9 (2013)). Firstly, we study it taking into account the right $U_q(\mathfrak{g})$-algebra structure of $\mathbb{Q}_q[G]$. Next, we calculate the transition matrices from the canonical basis to the PBW bases using the result obtained in the first step.