Text only print
Full screen print
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
2025/03/21
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Wentao Teng (The University of Tokyo)
A positive product formula of integral kernels of $k$-Hankel transforms (English)
Wentao Teng (The University of Tokyo)
A positive product formula of integral kernels of $k$-Hankel transforms (English)
[ Abstract ]
Let $R$ be a root system in $\mathbb R^N$ and $G$ be the finite subgroup generated by the reflections associated to the root system.
We establish a positive radial product formula for the integral kernels $B_{k,1}(x,y)$ of $(k,1)$-generalized Fourier transforms (or the $k$-Hankel transforms) $F_{k,1}$
$$B_{k,1}(x,z)j_{2\left\langle k\right\rangle+N-2}\left(2\sqrt{t\left|z\right|}\right)=\int_{\mathbb R^N} B_{k,1}(\xi,z)\,d\sigma_{x,t}^{k,1}(\xi),$$
where $j_{\lambda}$ is the normalized Bessel function, and $\sigma_{x,t}^{k,1}(\xi)$ is the unique probability measure. Such a product formula is equivalent to the following representation of the generalized spherical mean operator $f\mapsto M_f,\;f\in C_b(\mathbb{R}^N)$ in $(k,1)$-generalized Fourier analysis
\begin{align*} M_f(x,t)=\int_{\mathbb{R}^N}f\,d\sigma_{x,t}^{k,1},\;(x,t)\in\mathbb{R}^N\times{\mathbb{R}}_+.\end{align*}
We will then analyze the representing measure $\sigma_{x,t}^{k,1}(\xi)$ and show that the support of the measure is contained in
$$\left\{\xi\in\mathbb{R}^N:\sqrt{\vert\xi\vert}\geq\vert\sqrt{\vert x\vert}-\sqrt t\vert\right\}\cap\left(\bigcup_{g\in G}\{\xi\in\mathbb{R}^N:d(\xi,gx)\leq\sqrt t\}\right),$$
where $d\left(x,y\right)=\sqrt{\left|x\right|+\left|y\right|-\sqrt{2\left(\left|x\right|\left|y\right|+\left\langle x,y\right\rangle\right)}}$.
Based on the support of the representing measure $\sigma_{x,t}^{k,1}$, we will get a weak Huygens's principle for the deformed wave equation in $(k,1)$-generalized Fourier analysis.
Moreover, for $N\geq 2$, if we assume that $F_{k,1}\left(\mathcal S(\mathbb{R}^N)\right)$ consists of rapidly decreasing functions at infinity, then we get two different results on $\text{supp}\sigma_{x,t}^{k,1}$, which indirectly denies such assumption.
Let $R$ be a root system in $\mathbb R^N$ and $G$ be the finite subgroup generated by the reflections associated to the root system.
We establish a positive radial product formula for the integral kernels $B_{k,1}(x,y)$ of $(k,1)$-generalized Fourier transforms (or the $k$-Hankel transforms) $F_{k,1}$
$$B_{k,1}(x,z)j_{2\left\langle k\right\rangle+N-2}\left(2\sqrt{t\left|z\right|}\right)=\int_{\mathbb R^N} B_{k,1}(\xi,z)\,d\sigma_{x,t}^{k,1}(\xi),$$
where $j_{\lambda}$ is the normalized Bessel function, and $\sigma_{x,t}^{k,1}(\xi)$ is the unique probability measure. Such a product formula is equivalent to the following representation of the generalized spherical mean operator $f\mapsto M_f,\;f\in C_b(\mathbb{R}^N)$ in $(k,1)$-generalized Fourier analysis
\begin{align*} M_f(x,t)=\int_{\mathbb{R}^N}f\,d\sigma_{x,t}^{k,1},\;(x,t)\in\mathbb{R}^N\times{\mathbb{R}}_+.\end{align*}
We will then analyze the representing measure $\sigma_{x,t}^{k,1}(\xi)$ and show that the support of the measure is contained in
$$\left\{\xi\in\mathbb{R}^N:\sqrt{\vert\xi\vert}\geq\vert\sqrt{\vert x\vert}-\sqrt t\vert\right\}\cap\left(\bigcup_{g\in G}\{\xi\in\mathbb{R}^N:d(\xi,gx)\leq\sqrt t\}\right),$$
where $d\left(x,y\right)=\sqrt{\left|x\right|+\left|y\right|-\sqrt{2\left(\left|x\right|\left|y\right|+\left\langle x,y\right\rangle\right)}}$.
Based on the support of the representing measure $\sigma_{x,t}^{k,1}$, we will get a weak Huygens's principle for the deformed wave equation in $(k,1)$-generalized Fourier analysis.
Moreover, for $N\geq 2$, if we assume that $F_{k,1}\left(\mathcal S(\mathbb{R}^N)\right)$ consists of rapidly decreasing functions at infinity, then we get two different results on $\text{supp}\sigma_{x,t}^{k,1}$, which indirectly denies such assumption.
2024/11/27
13:30-14:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Joint with FJ-LMI seminar
Hidenori FUJIWARA (OCAMI, Kindai University)
Inductions and restrictions of unitary representations for exponential solvable Lie groups (English)
Joint with FJ-LMI seminar
Hidenori FUJIWARA (OCAMI, Kindai University)
Inductions and restrictions of unitary representations for exponential solvable Lie groups (English)
[ Abstract ]
Let $G=\exp{\mathfrak{g}}$ be a connected and simply connected real nilpotent Lie group with Lie algebra ${\mathfrak{g}}$, $H=\exp{\mathfrak{h}}$ an analytic subgroup of $G$ with Lie algebra ${\mathfrak{h}}$, $\chi$ a unitary character of $H$ and $\tau=\operatorname{ind}_H^G \chi$ the monomial representation of $G$ induced from $\chi$. Let $D_{\tau}(G/H)$ be the algebra of the $G$-invariant differential operators on the line bundle over $G/H$ associated to the data $(H,\chi)$. We denote by $C_{\tau}$ the center of $D_{\tau}(G/H)$. We know that $\chi$ is written as $\chi_f$, where $\chi_f(\exp X)=e^{if(X)}$ $(X∈{\mathfrak{h}})$ with a certain $f∈{\mathfrak{g}}^{\ast}$ verifying $f([{\mathfrak{h}}, {\mathfrak{h}}])=\{0\}$. Let $S({\mathfrak{g}})$ be the symmetric algebra of ${\mathfrak{g}}$ and ${\mathfrak{a}}_{\tau}=\{X+\sqrt{-1} f(X) ; X∈{\mathfrak{h}}\}$. We regard $S({\mathfrak{g}})$ as the algebra of polynomial functions on ${\mathfrak{g}}^{\ast}$ by $X(\ell)=\sqrt{-1} \ell(X)$ for $X∈{\mathfrak{g}}$, $\ell ∈{\mathfrak{g}}^{\ast}$. Now, $S({\mathfrak{g}})$ possesses the Poisson structure $\{,\}$ well determined by the equality $\{X,Y\}=[X,Y]$ if $X$,$Y$ are in ${\mathfrak{g}}$. Let us consider the algebra $(S({\mathfrak{g}})/S({\mathfrak{g}})\overline{{\mathfrak{a}}_{\tau}})^H$ of the $H$-invariant polynomial functions on the affine subspace $\Gamma_{\tau}=\{ℓ \in {\mathfrak{g}}^{\ast}:\ell(X)=f(X),X \in {\mathfrak{h}}\}$ of ${\mathfrak{g}}^{\ast}$. This inherits the Poisson structure from $S({\mathfrak{g}})$. We denote by $Z_{\tau}$ its Poisson center. Michel Duflo asked: the two algebras $C_{\tau}$ and $Z_{\tau}$, are they isomorphic? Here we provide a positive answer to this question.
Let $G=\exp{\mathfrak{g}}$ be a connected and simply connected real nilpotent Lie group with Lie algebra ${\mathfrak{g}}$, $H=\exp{\mathfrak{h}}$ an analytic subgroup of $G$ with Lie algebra ${\mathfrak{h}}$, $\chi$ a unitary character of $H$ and $\tau=\operatorname{ind}_H^G \chi$ the monomial representation of $G$ induced from $\chi$. Let $D_{\tau}(G/H)$ be the algebra of the $G$-invariant differential operators on the line bundle over $G/H$ associated to the data $(H,\chi)$. We denote by $C_{\tau}$ the center of $D_{\tau}(G/H)$. We know that $\chi$ is written as $\chi_f$, where $\chi_f(\exp X)=e^{if(X)}$ $(X∈{\mathfrak{h}})$ with a certain $f∈{\mathfrak{g}}^{\ast}$ verifying $f([{\mathfrak{h}}, {\mathfrak{h}}])=\{0\}$. Let $S({\mathfrak{g}})$ be the symmetric algebra of ${\mathfrak{g}}$ and ${\mathfrak{a}}_{\tau}=\{X+\sqrt{-1} f(X) ; X∈{\mathfrak{h}}\}$. We regard $S({\mathfrak{g}})$ as the algebra of polynomial functions on ${\mathfrak{g}}^{\ast}$ by $X(\ell)=\sqrt{-1} \ell(X)$ for $X∈{\mathfrak{g}}$, $\ell ∈{\mathfrak{g}}^{\ast}$. Now, $S({\mathfrak{g}})$ possesses the Poisson structure $\{,\}$ well determined by the equality $\{X,Y\}=[X,Y]$ if $X$,$Y$ are in ${\mathfrak{g}}$. Let us consider the algebra $(S({\mathfrak{g}})/S({\mathfrak{g}})\overline{{\mathfrak{a}}_{\tau}})^H$ of the $H$-invariant polynomial functions on the affine subspace $\Gamma_{\tau}=\{ℓ \in {\mathfrak{g}}^{\ast}:\ell(X)=f(X),X \in {\mathfrak{h}}\}$ of ${\mathfrak{g}}^{\ast}$. This inherits the Poisson structure from $S({\mathfrak{g}})$. We denote by $Z_{\tau}$ its Poisson center. Michel Duflo asked: the two algebras $C_{\tau}$ and $Z_{\tau}$, are they isomorphic? Here we provide a positive answer to this question.
2024/11/27
14:30-15:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Joint with FJ-LMI seminar
Ali BAKLOUTI (University of Sfax)
A proof of the Zariski closure conjecture for coadjoint orbits of exponential Lie groups (English)
Joint with FJ-LMI seminar
Ali BAKLOUTI (University of Sfax)
A proof of the Zariski closure conjecture for coadjoint orbits of exponential Lie groups (English)
[ Abstract ]
I will begin by defining the Zariski Closure Conjecture for coadjoint orbits of exponential solvable Lie groups, examining some cases that have been solved, and addressing the ongoing challenges in resolving the conjecture fully. I will then introduce new approaches to explore the relationship between generating families of primitive ideals and the set of polynomials that vanish on the associated coadjoint orbits, ultimately aiming to advance toward a solution to the conjecture.
I will begin by defining the Zariski Closure Conjecture for coadjoint orbits of exponential solvable Lie groups, examining some cases that have been solved, and addressing the ongoing challenges in resolving the conjecture fully. I will then introduce new approaches to explore the relationship between generating families of primitive ideals and the set of polynomials that vanish on the associated coadjoint orbits, ultimately aiming to advance toward a solution to the conjecture.
2024/11/13
17:30-18:30 Room #118 (Graduate School of Math. Sci. Bldg.)
Richard Stanley (MIT)
Some combinatorial aspects of cyclotomic polynomials
Richard Stanley (MIT)
Some combinatorial aspects of cyclotomic polynomials
[ Abstract ]
Euler showed that the number of partitions of n into distinct parts is equal to the number of partitions of n into odd parts. MacMahon showed that the number of partitions of n for which no part occurs exactly once is equal to the number of partitions of n into parts divisible by 2 or 3. Both these results are instances of a general phenomenon based on the fact that certain polynomials are the product of cyclotomic polynomials. After discussing this assertion, we explain how it can be extended to such topics as counting certain polynomials over finite fields and obtaining Dirichlet series generating functions for certain classes of integers.
Euler showed that the number of partitions of n into distinct parts is equal to the number of partitions of n into odd parts. MacMahon showed that the number of partitions of n for which no part occurs exactly once is equal to the number of partitions of n into parts divisible by 2 or 3. Both these results are instances of a general phenomenon based on the fact that certain polynomials are the product of cyclotomic polynomials. After discussing this assertion, we explain how it can be extended to such topics as counting certain polynomials over finite fields and obtaining Dirichlet series generating functions for certain classes of integers.
2024/11/12
17:30-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)
Joint with Tuesday Seminar on Topology
Junko Inoue (Tottori University)
Holomorphically induced representations of some solvable Lie groups
(Japanese )
Joint with Tuesday Seminar on Topology
Junko Inoue (Tottori University)
Holomorphically induced representations of some solvable Lie groups
(Japanese )
[ Abstract ]
From a viewpoint of the orbit method, holomorphic induction is originally based on the idea of realizing an irreducible unitary representation of a Lie group $G$ in an $L^2$-space of some holomorphic sections of some line bundle over a $G$-homogeneous space associated with a polarization for a linear form of the Lie algebra of $G$. It is a generalization of ordinary induction from a unitary character; Through this process, Auslander-Kostant constructed the irreducible unitary representations of type 1, connected, simply connected solvable Lie groups.
In this talk, focusing on the class of exponential solvable Lie groups, we are concerned with holomorphically induced representations $\rho$ in some general settings.
We would like to discuss the following problems:
(1) conditions of non-vanishing of $\rho$,
(2) decomposition of $\rho$ into a direct integral of irreducible representations,
(3) Frobenius reciprocity in the sense of Penney distributions.
From a viewpoint of the orbit method, holomorphic induction is originally based on the idea of realizing an irreducible unitary representation of a Lie group $G$ in an $L^2$-space of some holomorphic sections of some line bundle over a $G$-homogeneous space associated with a polarization for a linear form of the Lie algebra of $G$. It is a generalization of ordinary induction from a unitary character; Through this process, Auslander-Kostant constructed the irreducible unitary representations of type 1, connected, simply connected solvable Lie groups.
In this talk, focusing on the class of exponential solvable Lie groups, we are concerned with holomorphically induced representations $\rho$ in some general settings.
We would like to discuss the following problems:
(1) conditions of non-vanishing of $\rho$,
(2) decomposition of $\rho$ into a direct integral of irreducible representations,
(3) Frobenius reciprocity in the sense of Penney distributions.
2024/09/11
13:30-14:30 Room #122 (Graduate School of Math. Sci. Bldg.)
Joint with FJ-LMI seminar.
Çağrı SERT (Univeristy of Warwick)
Counting limit theorems for representations of Gromov-hyperbolic groups (English)
Joint with FJ-LMI seminar.
Çağrı SERT (Univeristy of Warwick)
Counting limit theorems for representations of Gromov-hyperbolic groups (English)
[ Abstract ]
Let Г be a Gromov-hyperbolic group and S a finite symmetric generating set. The choice of S determines a metric on Г (namely the graph metric on the associated Cayley graph).
Given a representation ρ: Г→GL_d(R), we are interested in obtaining probabilistic limit theorems for the deterministic sequence of spherical averages (with respect to S-metric) for various numerical quantities (such as the operator norm) associated to elements of Г via the representation. We will discuss a general law of large numbers and more refined limit theorems such as central limit theorem and large deviations. Time permitting, connections with the results of Lubotzky–Mozes–Raghunathan and Kaimanovich–Kapovich–Schupp will also be mentioned. Joint work with Stephen Cantrell.
Let Г be a Gromov-hyperbolic group and S a finite symmetric generating set. The choice of S determines a metric on Г (namely the graph metric on the associated Cayley graph).
Given a representation ρ: Г→GL_d(R), we are interested in obtaining probabilistic limit theorems for the deterministic sequence of spherical averages (with respect to S-metric) for various numerical quantities (such as the operator norm) associated to elements of Г via the representation. We will discuss a general law of large numbers and more refined limit theorems such as central limit theorem and large deviations. Time permitting, connections with the results of Lubotzky–Mozes–Raghunathan and Kaimanovich–Kapovich–Schupp will also be mentioned. Joint work with Stephen Cantrell.
2023/06/13
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Yoshiki Oshima (The University of Tokyo)
Examples of discrete branching laws of derived functor modules (Japanese)
Yoshiki Oshima (The University of Tokyo)
Examples of discrete branching laws of derived functor modules (Japanese)
[ Abstract ]
We consider the restriction of Zuckerman's derived functor modules for symmetric pairs of real reductive groups assuming that it is discretely decomposable in the sense of Kobayashi. By using a classification result, it can be shown that the restriction decomposes as a direct sum of Zuckerman's derived functor modules for the subgroup. In the last talk, by using the realization of representations as D-modules, a decomposition of Zuckerman's modules corresponding to an orbit decomposition of flag varieties was explained. In this talk, we would like to see that such a decomposition can be written as a direct sum of Zuckerman's modules of the subgroup in some concrete examples.
We consider the restriction of Zuckerman's derived functor modules for symmetric pairs of real reductive groups assuming that it is discretely decomposable in the sense of Kobayashi. By using a classification result, it can be shown that the restriction decomposes as a direct sum of Zuckerman's derived functor modules for the subgroup. In the last talk, by using the realization of representations as D-modules, a decomposition of Zuckerman's modules corresponding to an orbit decomposition of flag varieties was explained. In this talk, we would like to see that such a decomposition can be written as a direct sum of Zuckerman's modules of the subgroup in some concrete examples.
2023/06/06
17:30-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)
Joint with Tuesday Seminar on Topology
Atsumu Sasaki (Tokai University)
Visible actions on reductive spherical homogeneous spaces and their invariant measures
(Japanese)
Joint with Tuesday Seminar on Topology
Atsumu Sasaki (Tokai University)
Visible actions on reductive spherical homogeneous spaces and their invariant measures
(Japanese)
[ Abstract ]
Toshiyuki Kobayashi has established propagation theorem of multiplicity-freeness property.
This theorem enables us to give an unified explanation of multiplicity-freeness of multiplicity-free representations which have been found so far, and also to find new examples of multiplicity-free representations systematically. Kobayashi further has introduced the notion of visible actions on complex manifolds as a basic condition for propagation theorem of multiplicity-freeness property. This notion plays an important role to this theorem and also brings us to find various decomposition theorems of Lie groups and homogeneous spaces.
In this talk, we explain visible actions on reductive spherical homogeneous spaces. In particular, we see that for a visible action on reductive spherical homogeneous space our construction of a submanifold which meets every orbit (called a slice) is given by an explicit description of a Cartan decomposition for this space. As a corollary of this study, we characterize the invariant measure on a reductive spherical homogeneous space by giving an integral formula for a Cartan decomposition explicitly.
Toshiyuki Kobayashi has established propagation theorem of multiplicity-freeness property.
This theorem enables us to give an unified explanation of multiplicity-freeness of multiplicity-free representations which have been found so far, and also to find new examples of multiplicity-free representations systematically. Kobayashi further has introduced the notion of visible actions on complex manifolds as a basic condition for propagation theorem of multiplicity-freeness property. This notion plays an important role to this theorem and also brings us to find various decomposition theorems of Lie groups and homogeneous spaces.
In this talk, we explain visible actions on reductive spherical homogeneous spaces. In particular, we see that for a visible action on reductive spherical homogeneous space our construction of a submanifold which meets every orbit (called a slice) is given by an explicit description of a Cartan decomposition for this space. As a corollary of this study, we characterize the invariant measure on a reductive spherical homogeneous space by giving an integral formula for a Cartan decomposition explicitly.
2023/05/30
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Yoshiki Oshima (The University of Tokyo)
Discrete branching laws of derived functor modules (Japanese)
Yoshiki Oshima (The University of Tokyo)
Discrete branching laws of derived functor modules (Japanese)
[ Abstract ]
We consider the restriction of Zuckerman's derived functor modules for symmetric pairs of real reductive groups assuming that it is discretely decomposable in the sense of Kobayashi. By using a classification result, it can be shown that the restriction decomposes as a direct sum of Zuckerman's derived functor modules for the subgroup. In this talk, we would like to discuss how to obtain explicit branching formulas for some examples.
We consider the restriction of Zuckerman's derived functor modules for symmetric pairs of real reductive groups assuming that it is discretely decomposable in the sense of Kobayashi. By using a classification result, it can be shown that the restriction decomposes as a direct sum of Zuckerman's derived functor modules for the subgroup. In this talk, we would like to discuss how to obtain explicit branching formulas for some examples.
2023/05/23
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Temma Aoyama (The University of Tokyo)
Deformation of the heat kernel and the Wiener measure from the viewpoint of Laguerre semigroup theory (Japanese)
Temma Aoyama (The University of Tokyo)
Deformation of the heat kernel and the Wiener measure from the viewpoint of Laguerre semigroup theory (Japanese)
[ Abstract ]
I talk about basic properties of generalized heat kernels and a construction of generalized Wiener measures form the viewpoint of Laguerre semigroup theory and generalized Fourier analysis introduced by B. Saïd--T. Kobayashi--B. Ørsted.
I talk about basic properties of generalized heat kernels and a construction of generalized Wiener measures form the viewpoint of Laguerre semigroup theory and generalized Fourier analysis introduced by B. Saïd--T. Kobayashi--B. Ørsted.
2023/05/16
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Hiroyoshi TAMORI (Shibaura institute of technology)
Integral expression of the $(k,a)$-generalized Laguerre semigroup
(Japanese)
Hiroyoshi TAMORI (Shibaura institute of technology)
Integral expression of the $(k,a)$-generalized Laguerre semigroup
(Japanese)
[ Abstract ]
The $(k,a)$-generalized Laguerre semigroup was introduced by Ben
Sa\"{\i}d--Kobayashi-{\O}rsted as an interpolation of the Hermite semigroup (the k=0, a=2 case) and the Laguerre semigroup (the k=0, a=1 case). Based on a joint work with Kouichi Taira (Ritsumeikan University), I will explain an integral expression of the semigroup and an upper estimate of the integral kernel, which leads to Strichartz estimates for operators $|x|^{2-a}\Delta_{k}-|x|^a$ and $|x|^{2-a}\Delta_{k}$ ($\Delta_k$ denotes the Dunkl Laplacian) under some condition on the deformation parameter $(k,a)$.
The $(k,a)$-generalized Laguerre semigroup was introduced by Ben
Sa\"{\i}d--Kobayashi-{\O}rsted as an interpolation of the Hermite semigroup (the k=0, a=2 case) and the Laguerre semigroup (the k=0, a=1 case). Based on a joint work with Kouichi Taira (Ritsumeikan University), I will explain an integral expression of the semigroup and an upper estimate of the integral kernel, which leads to Strichartz estimates for operators $|x|^{2-a}\Delta_{k}-|x|^a$ and $|x|^{2-a}\Delta_{k}$ ($\Delta_k$ denotes the Dunkl Laplacian) under some condition on the deformation parameter $(k,a)$.
2022/06/28
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Ryosuke Nakahama (Kyushu University)
Computation of weighted Bergman inner products on bounded symmetric domains and Plancherel-type formulas for $(Sp(2r,\mathbb{R}),Sp(r,\mathbb{R})\times Sp(r,\mathbb{R}))$ (Japanese)
Ryosuke Nakahama (Kyushu University)
Computation of weighted Bergman inner products on bounded symmetric domains and Plancherel-type formulas for $(Sp(2r,\mathbb{R}),Sp(r,\mathbb{R})\times Sp(r,\mathbb{R}))$ (Japanese)
[ Abstract ]
Let $(G,G_1)=(G,(G^\sigma)_0)$ be a symmetric pair of holomorphic type, and we consider a pair of Hermitian symmetric spaces $D_1=G_1/K_1\subset D=G/K$, realized as bounded symmetric domains in complex vector spaces $\mathfrak{p}^+_1:=(\mathfrak{p}^+)^\sigma\subset\mathfrak{p}^+$ respectively. Then the universal covering group $\widetilde{G}$ of $G$ acts unitarily on the weighted Bergman space $\mathcal{H}_\lambda(D)\subset\mathcal{O}(D)=\mathcal{O}_\lambda(D)$ on $D$ for sufficiently large $\lambda$. Its restriction to the subgroup $\widetilde{G}_1$ decomposes discretely and multiplicity-freely, and its branching law is given explicitly by Hua--Kostant--Schmid--Kobayashi's formula in terms of the $\widetilde{K}_1$-decomposition of the space $\mathcal{P}(\mathfrak{p}^+_2)$ of polynomials on $\mathfrak{p}^+_2:=(\mathfrak{p}^+)^{-\sigma}\subset\mathfrak{p}^+$. Our goal is to understand the decomposition of the restriction $\mathcal{H}_\lambda(D)|_{\widetilde{G}_1}$ by studying the weighted Bergman inner product on each $\widetilde{K}_1$-type in $\mathcal{P}(\mathfrak{p}^+_2)\subset\mathcal{H}_\lambda(D)$.
Today we mainly deal with the symmetric pair $(G,G_1)=(Sp(2r,\mathbb{R}),Sp(r,\mathbb{R})\times Sp(r,\mathbb{R}))$.
Let $(G,G_1)=(G,(G^\sigma)_0)$ be a symmetric pair of holomorphic type, and we consider a pair of Hermitian symmetric spaces $D_1=G_1/K_1\subset D=G/K$, realized as bounded symmetric domains in complex vector spaces $\mathfrak{p}^+_1:=(\mathfrak{p}^+)^\sigma\subset\mathfrak{p}^+$ respectively. Then the universal covering group $\widetilde{G}$ of $G$ acts unitarily on the weighted Bergman space $\mathcal{H}_\lambda(D)\subset\mathcal{O}(D)=\mathcal{O}_\lambda(D)$ on $D$ for sufficiently large $\lambda$. Its restriction to the subgroup $\widetilde{G}_1$ decomposes discretely and multiplicity-freely, and its branching law is given explicitly by Hua--Kostant--Schmid--Kobayashi's formula in terms of the $\widetilde{K}_1$-decomposition of the space $\mathcal{P}(\mathfrak{p}^+_2)$ of polynomials on $\mathfrak{p}^+_2:=(\mathfrak{p}^+)^{-\sigma}\subset\mathfrak{p}^+$. Our goal is to understand the decomposition of the restriction $\mathcal{H}_\lambda(D)|_{\widetilde{G}_1}$ by studying the weighted Bergman inner product on each $\widetilde{K}_1$-type in $\mathcal{P}(\mathfrak{p}^+_2)\subset\mathcal{H}_\lambda(D)$.
Today we mainly deal with the symmetric pair $(G,G_1)=(Sp(2r,\mathbb{R}),Sp(r,\mathbb{R})\times Sp(r,\mathbb{R}))$.
2022/05/17
17:00-18:00 Room #on line (Graduate School of Math. Sci. Bldg.)
Takashi Satomi (The University of Tokyo)
Estimate of the optimal constant of convolution inequalities on unimodular
locally compact groups
(Japanese)
Takashi Satomi (The University of Tokyo)
Estimate of the optimal constant of convolution inequalities on unimodular
locally compact groups
(Japanese)
[ Abstract ]
Some convolution inequalities (Young's inequality, the reverse Young's inequality, the Hausdorff--Young inequality) known for a long time on $\mathbb{R}$ can be generalized for any unimodular locally compact group.
In this seminar, we estimate the optimal constants (the ratio of both sides such that these inequalities are optimal) of these inequalities from above and below, and discuss that these estimates are the best for $G=\mathbb{R}$.
Some convolution inequalities (Young's inequality, the reverse Young's inequality, the Hausdorff--Young inequality) known for a long time on $\mathbb{R}$ can be generalized for any unimodular locally compact group.
In this seminar, we estimate the optimal constants (the ratio of both sides such that these inequalities are optimal) of these inequalities from above and below, and discuss that these estimates are the best for $G=\mathbb{R}$.
2022/05/10
17:00-18:00 Room #on line (Graduate School of Math. Sci. Bldg.)
Koichi Arashi (Nagoya University)
Holomorphic multiplier representations over bounded homogeneous domains (Japanese)
Koichi Arashi (Nagoya University)
Holomorphic multiplier representations over bounded homogeneous domains (Japanese)
[ Abstract ]
I will talk about unitarizations in the spaces of holomorphic sections of equivariant holomorphic line bundles over bounded homogeneous domains. We consider the identity components of algebraic groups acting transitively on the domains. The main part of this talk is a classification of such unitary representations.
We discuss an explicit description of the classification for a specific five-dimensional non-symmetric bounded homogeneous domain to illustrate the method of the classification (K. Arashi, "Holomorphic multiplier representations for bounded homogeneous domains", Journal of Lie Theory 30, 1091-1116 (2020)).
I will talk about unitarizations in the spaces of holomorphic sections of equivariant holomorphic line bundles over bounded homogeneous domains. We consider the identity components of algebraic groups acting transitively on the domains. The main part of this talk is a classification of such unitary representations.
We discuss an explicit description of the classification for a specific five-dimensional non-symmetric bounded homogeneous domain to illustrate the method of the classification (K. Arashi, "Holomorphic multiplier representations for bounded homogeneous domains", Journal of Lie Theory 30, 1091-1116 (2020)).
2022/04/26
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Joint with Tuesday Seminar on Topology
Yoshiki Oshima (The University of Tokyo)
On the existence of discrete series for homogeneous spaces (Japanese)
Joint with Tuesday Seminar on Topology
Yoshiki Oshima (The University of Tokyo)
On the existence of discrete series for homogeneous spaces (Japanese)
[ Abstract ]
When a Lie group $G$ acts transitively on a manifold $X$, an irreducible subrepresentation of $L^2(X)$ is called a discrete series representation of $X$. One may ask which homogeneous space $X$ has a discrete series representation. For reductive symmetric spaces, it is known that the existence of discrete series is equivalent to a rank condition by works of Flensted-Jensen, T.Matsuki, and T.Oshima. The problem for general reductive homogeneous spaces was considered by T.Kobayashi and a sufficient condition for the existence of discrete series was obtained by using his theory of admissible restriction. In this talk, we would like to
see another sufficient condition for general homogeneous spaces and also the case of their line bundles in terms of the orbit method.
When a Lie group $G$ acts transitively on a manifold $X$, an irreducible subrepresentation of $L^2(X)$ is called a discrete series representation of $X$. One may ask which homogeneous space $X$ has a discrete series representation. For reductive symmetric spaces, it is known that the existence of discrete series is equivalent to a rank condition by works of Flensted-Jensen, T.Matsuki, and T.Oshima. The problem for general reductive homogeneous spaces was considered by T.Kobayashi and a sufficient condition for the existence of discrete series was obtained by using his theory of admissible restriction. In this talk, we would like to
see another sufficient condition for general homogeneous spaces and also the case of their line bundles in terms of the orbit method.
2022/04/19
17:30-18:30 Room #online (Graduate School of Math. Sci. Bldg.)
Joint with Tuesday Seminar on Topology
Toshihisa Kubo (Ryukoku University)
On the classification and construction of conformal symmetry breaking operators for anti-de Sitter spaces
(Japanese)
Joint with Tuesday Seminar on Topology
Toshihisa Kubo (Ryukoku University)
On the classification and construction of conformal symmetry breaking operators for anti-de Sitter spaces
(Japanese)
[ Abstract ]
Let $X$ be a smooth manifold and $Y$ a smooth submanifold of $X$. Take $G' \subset G$ to be a pair of Lie groups that act on $Y \subset X$, respectively. Consider a $G'$-intertwining differential operator $\mathcal{D}$ from the space of smooth sections for a $G$-equivariant vector bundle over $X$ to that for a $G'$-equivariant vector bundle over $Y$. Toshiyuki Kobayashi called such a differential operator $\mathcal{D}$ a \emph{differential symmetry breaking operator} (differential SBO for short)
([T. Kobayashi, Differential Geom. Appl. (2014)]).
In [Kobayashi-K-Pevzner, Lecture Notes in Math. 2170 (2016)], we explicitly constructed and classified all the differential SBOs from the space of differential $i$-forms $\mathcal{E}^i(S^n)$ over the standard
Riemann sphere $S^n$ to that of differential $j$-forms $\mathcal{E}^j(S^{n-1})$ over the totally geodesic hypersphere $S^{n-1}$.
In this talk, by extending the results in a Riemannian setting, we discuss about the classification and construction of differential SBOs in a pseudo-Riemannian setting such as anti-de Sitter spaces and hyperbolic spaces. This is a joint work with Toshiyuki Kobayashi and Michael Pevzner.
Let $X$ be a smooth manifold and $Y$ a smooth submanifold of $X$. Take $G' \subset G$ to be a pair of Lie groups that act on $Y \subset X$, respectively. Consider a $G'$-intertwining differential operator $\mathcal{D}$ from the space of smooth sections for a $G$-equivariant vector bundle over $X$ to that for a $G'$-equivariant vector bundle over $Y$. Toshiyuki Kobayashi called such a differential operator $\mathcal{D}$ a \emph{differential symmetry breaking operator} (differential SBO for short)
([T. Kobayashi, Differential Geom. Appl. (2014)]).
In [Kobayashi-K-Pevzner, Lecture Notes in Math. 2170 (2016)], we explicitly constructed and classified all the differential SBOs from the space of differential $i$-forms $\mathcal{E}^i(S^n)$ over the standard
Riemann sphere $S^n$ to that of differential $j$-forms $\mathcal{E}^j(S^{n-1})$ over the totally geodesic hypersphere $S^{n-1}$.
In this talk, by extending the results in a Riemannian setting, we discuss about the classification and construction of differential SBOs in a pseudo-Riemannian setting such as anti-de Sitter spaces and hyperbolic spaces. This is a joint work with Toshiyuki Kobayashi and Michael Pevzner.
2022/04/05
17:00-17:30 Room #online (Graduate School of Math. Sci. Bldg.)
Toshiyuki KOBAYASHI (The University of Tokyo)
Note on the restriction of minimal representations with respect to reductive symmetric pairs (Japanese)
Toshiyuki KOBAYASHI (The University of Tokyo)
Note on the restriction of minimal representations with respect to reductive symmetric pairs (Japanese)
[ Abstract ]
I discuss briefly some abstract feature of branching problems with focus on the restriction of minimal representations with respect to reductive symmetric pairs.
I discuss briefly some abstract feature of branching problems with focus on the restriction of minimal representations with respect to reductive symmetric pairs.
2022/04/05
17:30-18:30 Room #online (Graduate School of Math. Sci. Bldg.)
Junko INOUE (Tottori University)
Estimate of the norm of the $L^p$-Fourier transform on compact extensions of locally compact groups
(Japanese)
Junko INOUE (Tottori University)
Estimate of the norm of the $L^p$-Fourier transform on compact extensions of locally compact groups
(Japanese)
[ Abstract ]
The classical Hausdorff-Young theorem for locally compact abelian groups is generalized by Kunze for unimodular locally compact groups.
When the group $G$ is of type I, the abstract Plancherel theorem gives a decomposition of the regular representation into a direct integral of irreducible representations through the Fourier transform;
By the Hausdorff-Young theorem generalized by Kunze, for exponents $p$ $(1 < p \leq 2)$ and ${p'}=p/(p-1)$, the Fourier transform yields a bounded operator $\mathcal{F}^p:L^p(G)\to L^{p'}(\widehat{G})$, where $L^{p'}(\widehat{G})$ is the $L^{p'}$ space of measurable fields of the Schatten class operators on the unitary dual $\widehat{G}$ of $G$.
Under this setting, we are concerned with the norm $\|\mathcal{F}^p(G)\|$ of the $L^p$-Fourier transform $\mathcal{F}^p$.
Let $G$ be a separable unimodular locally compact group of type I,and $N$ be a type I, unimodular, closed normal subgroup of $G$. Suppose $G/N$ is compact. Then we show the inequality $\|\mathcal{F}^p(G)\|\leq\|\mathcal F^p(N)\|$ for $1< p \leq 2$.
This result is a joint work with Ali Baklouti
(J. Fourier Anal. Appl. 26 (2020), Paper No. 26).
The classical Hausdorff-Young theorem for locally compact abelian groups is generalized by Kunze for unimodular locally compact groups.
When the group $G$ is of type I, the abstract Plancherel theorem gives a decomposition of the regular representation into a direct integral of irreducible representations through the Fourier transform;
By the Hausdorff-Young theorem generalized by Kunze, for exponents $p$ $(1 < p \leq 2)$ and ${p'}=p/(p-1)$, the Fourier transform yields a bounded operator $\mathcal{F}^p:L^p(G)\to L^{p'}(\widehat{G})$, where $L^{p'}(\widehat{G})$ is the $L^{p'}$ space of measurable fields of the Schatten class operators on the unitary dual $\widehat{G}$ of $G$.
Under this setting, we are concerned with the norm $\|\mathcal{F}^p(G)\|$ of the $L^p$-Fourier transform $\mathcal{F}^p$.
Let $G$ be a separable unimodular locally compact group of type I,and $N$ be a type I, unimodular, closed normal subgroup of $G$. Suppose $G/N$ is compact. Then we show the inequality $\|\mathcal{F}^p(G)\|\leq\|\mathcal F^p(N)\|$ for $1< p \leq 2$.
This result is a joint work with Ali Baklouti
(J. Fourier Anal. Appl. 26 (2020), Paper No. 26).
2022/03/08
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Masatoshi Kitagawa (Waseda University)
On the structure of Hamiltonian G-varieties (Japanese)
Masatoshi Kitagawa (Waseda University)
On the structure of Hamiltonian G-varieties (Japanese)
[ Abstract ]
I will talk about a result by I. Losev (Math. Z. 2009) on the structure of Hamiltonian G-varieties.
In particular, I will explain how to reduce the result to central-nilpotent cases.
I will give an application of the result to branching laws.
I will talk about a result by I. Losev (Math. Z. 2009) on the structure of Hamiltonian G-varieties.
In particular, I will explain how to reduce the result to central-nilpotent cases.
I will give an application of the result to branching laws.
2022/02/22
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Hiroyoshi Tamori (Hokkaido University)
On a long exact sequence of the Schwartz homology (Japanese)
Hiroyoshi Tamori (Hokkaido University)
On a long exact sequence of the Schwartz homology (Japanese)
[ Abstract ]
For a smooth Fr\’{e}chet representation of moderate growth of an almost linear Nash group, Chen-Sun introduced a homology (called Schwartz homology) equipped with certain topology. Given a short exact sequence of such representations, we can construct a long exact sequence of Schwartz homology groups via the natural isomorphism with relative Lie algebra homology. We give an example of a long exact sequence where the connecting homomorphism is not continuous.
For a smooth Fr\’{e}chet representation of moderate growth of an almost linear Nash group, Chen-Sun introduced a homology (called Schwartz homology) equipped with certain topology. Given a short exact sequence of such representations, we can construct a long exact sequence of Schwartz homology groups via the natural isomorphism with relative Lie algebra homology. We give an example of a long exact sequence where the connecting homomorphism is not continuous.
2022/02/15
17:00-18:00 Room #online (Graduate School of Math. Sci. Bldg.)
Kazuki Kannaka (RIKEN iTHEMS)
Deformations of standard compact Clifford-Klein forms (Japanese)
Kazuki Kannaka (RIKEN iTHEMS)
Deformations of standard compact Clifford-Klein forms (Japanese)
[ Abstract ]
Let Γ be a discontinuous group for a homogeneous manifold G/H of reductive type.
The Clifford-Klein form Γ\G/H is standard if Γ is contained in a reductive subgroup of G acting properly on G/H.
For 12 series of standard compact Clifford-Klein forms given by Kobayashi-Yoshino, we discuss in this talk whether or not there exist (1) locally rigid ones, (2) non-standard deformations, and (3) Zariski-dense deformations in G.
After briefly explaining Kobayashi's work and Kassel's work on these
questions, we will explain the new results.
Let Γ be a discontinuous group for a homogeneous manifold G/H of reductive type.
The Clifford-Klein form Γ\G/H is standard if Γ is contained in a reductive subgroup of G acting properly on G/H.
For 12 series of standard compact Clifford-Klein forms given by Kobayashi-Yoshino, we discuss in this talk whether or not there exist (1) locally rigid ones, (2) non-standard deformations, and (3) Zariski-dense deformations in G.
After briefly explaining Kobayashi's work and Kassel's work on these
questions, we will explain the new results.
2022/01/18
17:00-18:00 Room #On line (Graduate School of Math. Sci. Bldg.)
Hideyuki Ishi (Osaka City University)
Strongly visible actions on complex domains (Japanese)
Hideyuki Ishi (Osaka City University)
Strongly visible actions on complex domains (Japanese)
[ Abstract ]
In this century, the Cartan-Hartogs domain and its variations, on which the Bergman kernel function and the Kahler-Einstein metric can be computed explicitly, have been actively studied. Reasoning that strongly visible actions on the domains enable such nice calculations, we introduce a new type of complex domain analogous to the Cartan-Hartogs domain, and present a research plan about harmonic analysis over the domain.
In this century, the Cartan-Hartogs domain and its variations, on which the Bergman kernel function and the Kahler-Einstein metric can be computed explicitly, have been actively studied. Reasoning that strongly visible actions on the domains enable such nice calculations, we introduce a new type of complex domain analogous to the Cartan-Hartogs domain, and present a research plan about harmonic analysis over the domain.
2022/01/11
17:00-18:00 Room #on line (Graduate School of Math. Sci. Bldg.)
Joint with Tuesday Seminar on Topology.
Keiichi Maeta (The University of Tokyo)
On the existence problem of Compact Clifford-Klein forms of indecomposable pseudo-Riemannian symmetric spaces with signature (n,2) (Japanese)
Joint with Tuesday Seminar on Topology.
Keiichi Maeta (The University of Tokyo)
On the existence problem of Compact Clifford-Klein forms of indecomposable pseudo-Riemannian symmetric spaces with signature (n,2) (Japanese)
[ Abstract ]
For a homogeneous space $G/H$ and its discontinuous group $\Gamma\subset G$, the double coset space $\Gamma\backslash G/H$ is called a Clifford-Klein form of $G/H$. In the study of Clifford-Klein forms, the classification of homogeneous spaces which admit compact Clifford-Klein forms is one of the important open problems, which was introduced by Toshiyuki Kobayashi in 1980s.
We consider this problem for indecomposable and reducible pseudo-Riemannian symmetric spaces with signature (n,2). We show the non-existence of compact Clifford-Klein forms for some series of symmetric spaces, and construct new compact Clifford-Klein forms of countably infinite five-dimensional pseudo-Riemannian symmetric spaces with signature (3,2).
For a homogeneous space $G/H$ and its discontinuous group $\Gamma\subset G$, the double coset space $\Gamma\backslash G/H$ is called a Clifford-Klein form of $G/H$. In the study of Clifford-Klein forms, the classification of homogeneous spaces which admit compact Clifford-Klein forms is one of the important open problems, which was introduced by Toshiyuki Kobayashi in 1980s.
We consider this problem for indecomposable and reducible pseudo-Riemannian symmetric spaces with signature (n,2). We show the non-existence of compact Clifford-Klein forms for some series of symmetric spaces, and construct new compact Clifford-Klein forms of countably infinite five-dimensional pseudo-Riemannian symmetric spaces with signature (3,2).
2021/12/21
17:30-18:30 Room #on line (Graduate School of Math. Sci. Bldg.)
Joint with Tuesday Seminar on Topology.
Hiroki Shimakura (Tohoku University)
Classification of holomorphic vertex operator algebras of central charge 24
(Japanese)
Joint with Tuesday Seminar on Topology.
Hiroki Shimakura (Tohoku University)
Classification of holomorphic vertex operator algebras of central charge 24
(Japanese)
[ Abstract ]
Holomorphic vertex operator algebras are important in vertex operator algebra theory. For example, the famous moonshine vertex operator algebra is holomorphic.
One of the fundamental problems is to classify holomorphic vertex operator algebras. It is known that holomorphic vertex operator algebras of central charge 8 and 16 are lattice vertex operator algebras.
I will talk about recent progress on the classification of holomorphic vertex operator algebras of central charge 24.
Holomorphic vertex operator algebras are important in vertex operator algebra theory. For example, the famous moonshine vertex operator algebra is holomorphic.
One of the fundamental problems is to classify holomorphic vertex operator algebras. It is known that holomorphic vertex operator algebras of central charge 8 and 16 are lattice vertex operator algebras.
I will talk about recent progress on the classification of holomorphic vertex operator algebras of central charge 24.
2021/12/14
17:00-18:00 Room #on line (Graduate School of Math. Sci. Bldg.)
Yosuke Morita (Kyoto University)
On the definition of Conley indices (Japanese)
Yosuke Morita (Kyoto University)
On the definition of Conley indices (Japanese)
[ Abstract ]
Conley indices are used to describe local behaviour of topological dynamical systems. In this talk, I will explain a new framework for Conley index theory. Our approach is very elementary, and uses only general topology and some computations of inclusion relations of subsets.
Conley indices are used to describe local behaviour of topological dynamical systems. In this talk, I will explain a new framework for Conley index theory. Our approach is very elementary, and uses only general topology and some computations of inclusion relations of subsets.
