BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Toshiyuki Kobayashi contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We address some conjectures and open problems in "analysis of symmetries" which include the study of non-commutative harmonic analysis and discontinuous groups for reductive homogeneous spaces beyond the classical framework: (1) discrete series for non-symmetric homogeneous spaces $G/H$; (2) discontinuous group $Γ$ for $G/H$ beyond the Riemannian setting; (3) analysis on pseudo-Riemannian locally homogeneous spaces.
Let G be a real semisimple algebraic Lie group and H a real reductive algebraic subgroup. We describe the pairs (G,H) for which the representation of G in $L^2(G/H)$ is tempered. When G and H are complex Lie groups, the temperedness condition is characterized by the fact that the stabilizer in H of a generic point on G/H is virtually abelian.
Given irreducible representations $Π$ and $π$ of the rank one special orthogonal groups $G=SO(n+1,1)$ and $G'=SO(n,1)$ with nonsingular integral infinitesimal character, we state in terms of $θ$-stable parameter necessary and sufficient conditions so that \[ \operatorname{Hom}_{G'}(Π|_{G'}, π)\not = \{0\}. \] In the special case that both $Π$ and $π$ are tempered, this implies the Gross--Prasad conjectures for tempered representations of $SO(n+1,1) \times SO(n,1)$ which are nontrivial on the center. We apply these results to construct nonzero periods and distinguished representations. If both $Π$ and $ π$ have the trivial infinitesimal character $ρ$ then we use a theorem that the periods are nonzero on the minimal $K$-type to obtain a nontrivial bilinear form on the $({\mathfrak g},K)$-cohomology of the representations.
We give a complete classification of the reductive symmetric pairs (G,H) for which the homogeneous space $(G \times H)/diag(H)$ is real spherical in the sense that a minimal parabolic subgroup has an open orbit. Combining with a criterion established in [T. Kobayashi--T. Oshima, Adv. Math. 2013], we give a necessary and sufficient condition for a reductive symmetric pair $(G,H)$ such that the multiplicities for the branching law of the restriction any admissible smooth representation of $G$ to $H$ have finiteness/boundedness property.
We find upper and lower bounds of the multiplicities of irreducible admissible representations $π$ of a semisimple Lie group $G$ occurring in the induced representations $Ind_H^Gτ$ from irreducible representations $τ$ of a closed subgroup $H$. As corollaries, we establish geometric criteria for finiteness of the dimension of $Hom_G(π,Ind_H^G τ)$ (induction) and of $Hom_H(π|_H,τ)$ (restriction) by means of the real flag variety $G/P$, and discover that uniform boundedness property of these multiplicities is independent of real forms and characterized by means of the complex flag variety.
We measure the transmission phase of a quantum point contact (QPC) at a low carrier density in which electron interaction is expected to play an important role and anomalous behaviors are observed. In the first conductance plateau, the transmission phase shifts monotonically as the carrier density is decreased by the gate voltage. When the conductance starts to decrease, in what is often called the 0.7 regime, the phase exhibits an anomalous increase compared with the noninteracting model. The observation implies an increase in the wave vector as the carrier density is decreased, suggesting a transition to a spin-incoherent Luttinger liquid.
We give a classification of the triples (g,g',q) such that Zuckerman's derived functor (g,K)-module A_q(λ) for a θ-stable parabolic subalgebra q is discretely decomposable with respect to a reductive symmetric pair (g,g'). The proof is based on the criterion for discretely decomposable restrictions by the first author and on Berger's classification of reductive symmetric pairs.
We initiate a new line of investigation on branching problems for generalized Verma modules with respect to complex reductive symmetric pairs (g,k). Here we note that Verma modules of g may not contain any simple module when restricted to a reductive subalgebra k in general. In this article, using the geometry of K_C orbits on the generalized flag variety G_C/P_C, we give a necessary and sufficient condition on the triple (g,k, p) such that the restriction X|_k always contains simple k-modules for any g-module $X$ lying in the parabolic BGG category O^p attached to a parabolic subalgebra p of g. Formulas are derived for the Gelfand-Kirillov dimension of any simple k-module occurring in a simple generalized Verma module of g. We then prove that the restriction X|_k is multiplicity-free for any generic g-module X \in O if and only if (g,k) is isomorphic to a direct sum of (A_n,A_{n-1}), (B_n,D_n), or (D_{n+1},B_n). We also see that the restriction X|_k is multiplicity-free for any symmetric pair (g, k) and any parabolic subalgebra p with abelian nilradical and for any generic g-module X \in O^p. Explicit branching laws are also presented.
Minimal representations of a real reductive group G are the "smallest" irreducible unitary representations of G. The author suggests a program of global analysis built on minimal representations from the philosophy: small representation of a group = large symmetries in a representation space. This viewpoint serves as a driving force to interact algebraic representation theory with geometric analysis of minimal representations, yielding a rapid progress on the program. We give a brief guidance to recent works with emphasis on the Schroedinger model.
We discuss recent developments on branching problems of irreducible unitary representations $π$ of real reductive groups when restricted to reductive subgroups. Highlighting the case where the underlying $(g,K)$-modules of $π$ are isomorphic to Zuckerman's derived functor modules $A_q(λ)$, we show various and rich features of branching laws such as infinite multiplicities, irreducible restrictions, multiplicity-free restrictions, and discrete decomposable restrictions. We also formulate a number of conjectures.
We give a complete proof of a propagation theorem of multiplicity-free property from fibers to spaces of global sections for holomorphic vector bundles. The propagation theorem is formalised in three ways, aiming for producing various multiplicity-free theorems in representation theory for both finite and infinite dimensional cases in a systematic and synthetic manner. The key geometric condition in our theorem is an orbit-preserving anti-holomorphic diffeomorphism on the base space, which brings us to the concept of visible actions on complex manifolds.
Small representations of a group bring us to large symmetries in a representation space. Analysis on minimal representations utilises large symmetries in their geometric models, and serves as a driving force in creating new interesting problems that interact with other branches of mathematics. This article discusses the following three topics that arise from minimal representations of the indefinite orthogonal group: 1. construction of conservative quantities for ultra-hyperbolic equations, 2. quantative discrete branching laws, 3. deformation of the Fourier transform with emphasis on the prominent roles of Sato's idea on algebraic analysis.
We find a closed formula for the triple integral on spheres in $\mathbb{R}^{2n}\times\mathbb{R}^{2n}\times\mathbb{R}^{2n}$ whose kernel is given by powers of the standard symplectic form. This gives a new proof to the Bernstein--Reznikov integral formula in the $n=1$ case. Our method also applies for linear and conformal structures.
The most degenerate unitary principal series representations π_{iλ,δ} (with λ \in R, δ\in Z/2Z) of G = GL(N,R) attain the minimum of the Gelfand-Kirillov dimension among all irreducible unitary representations of G. This article gives an explicit formula of the irreducible decomposition of the restriction π_{iλ,δ}|_H (branching law) with respect to all symmetric pairs (G,H). For N=2n with n \geq 2, the restriction π_{iλ,δ}|_H remains irreducible for H=Sp(n,R) if λ\neq0 and splits into two irreducible representations if λ=0. The branching law of the restriction π_{iλ,δ}|_H is purely discrete for H = GL(n,C), consists only of continuous spectrum for H = GL(p,R) \times GL(q,R) (p+q=N), and contains both discrete and continuous spectra for H=O(p,q) (p>q\geq1). Our emphasis is laid on geometric analysis, which arises from the restriction of `small representations' to various subgroups.
We introduce the `Fourier transform' F_C on the isotropic cone C associated to an indefinite quadratic form of signature (n_1,n_2) on R^n (n=n_1+n_2: even). This transform is in some sense the unique and natural unitary operator on L^2(C), as is the case with the Euclidean Fourier transform. Inspired by recent developments of algebraic representation theory of reductive groups, we shed new light on classical analysis on the one hand, and give the global formulas for the L^2-model of the minimal representation of the simple Lie group G=O(n_1+1,n_2+1) on the other hand. The transform F_C expands functions on C into joint eigenfunctions of the n commuting, self-adjoint, second order differential operators. We decompose F_C into the singular Radon transform and the Mellin--Barnes integral, find its distribution kernel, and establish the inversion and the Plancherel formula. F_C reduces to the Hankel transform if G is O(n,2) or O(3,3). The unitary operator F_C together with the simple action of the conformal transformation group generates the minimal representation of the indefinite orthogonal group G. Various different models of the same representation have been constructed by Kazhdan, Kostant, Binegar-Zierau, Gross-Wallach, Zhu-Huang, Torasso, Brylinski, and Kobayashi-Orsted, and others. Among them, our model built on L^2(C) generalizes the classic Schrodinger model of the Weil representation. Yet another motif is special functions. Large group symmetries in the minimal representation yield functional equations of various special functions. We find explicit K-finite vectors on L^2(C), and give a new proof of the Plancherel formula for Meijer's G-transforms.
Motivated by recent developments on visible actions on complex manifolds, we raise a question whether or not the multiplication of three subgroups $L$, $G'$ and $H$ surjects a Lie group $G$ in the setting that $G/H$ carries a complex structure and contains $G'/G' \cap H$ as a totally real submanifold. Particularly important cases are when $G/L$ and $G/H$ are generalized flag varieties, and we classify pairs of Levi subgroups $(L, H)$ such that $L G' H = G$, or equivalently, the real generalized flag variety $G'/H \cap G'$ meets every $L$-orbit on the complex generalized flag variety $G/H$ in the setting that $(G, G') = (U(n), O(n))$. For such pairs $(L, H)$, we introduce a \textit{herringbone stitch} method to find a generalized Cartan decomposition for the double coset space $L \backslash G/H$, for which there has been no general theory in the non-symmetric case. Our geometric results provides a unified proof of various multiplicity-free theorems in representation theory of general linear groups.
We consider the deformation of a discontinuous group acting on the Euclidean space by affine transformations. A distinguished feature here is that even a `small' deformation of a discrete subgroup may destroy proper discontinuity of its action. In order to understand the local structure of the deformation space of discontinuous groups, we introduce the concepts from a group theoretic perspective, and focus on `stability' and `local rigidity' of discontinuous groups. As a test case, we give an explicit description of the deformation space of Z^k acting properly discontinuously on R^{k+1} by affine nilpotent transformations. Our method uses an idea of `continuous analogue' and relies on the criterion of proper actions on nilmanifolds.
The complex analytic methods have found a wide range of applications in the study of multiplicity-free representations. This article discusses, in particular, its applications to the question of restricting highest weight modules with respect to reductive symmetric pairs. We present a number of multiplicity-free branching theorems that include the multiplicity-free property of some of known results such as the Clebsh--Gordan--Pieri formula for tensor products, the Plancherel theorem for Hermitian symmetric spaces (also for line bundle cases), the Hua--Kostant--Schmid $K$-type formula, and the canonical representations in the sense of Vershik--Gelfand--Graev. Our method works in a uniform manner for both finite and infinite dimensional cases, for both discrete and continuous spectra, and for both classical and exceptional cases.
This article gives an up-to-date account of the theory of discrete group actions on non-Riemannian homogeneous spaces. As an introduction of the motifs of this article, we begin by reviewing the current knowledge of possible global forms of pseudo-Riemannian manifolds with constant curvatures, and discuss what kind of problems we propose to pursue. For pseudo-Riemannian manifolds, isometric actions of discrete groups are not always properly discontinuous. The fundamental problem is to understand when discrete subgroups of Lie groups $G$ act properly discontinuously on homogeneous spaces $G/H$ for non-compact $H$. For this, we introduce the concepts from a group-theoretic perspective, including the `discontinuous dual' of $G/H$ that recovers $H$ in a sense. We then summarize recent results giving criteria for the existence of properly discontinuous subgroups, and the known results and conjectures on the existence of cocompact ones. The final section discusses the deformation theory and in particular rigidity results for cocompact properly discontinuous groups for pseudo-Riemannian symmetric spaces.
The minimal representation $π$ of the indefinite orthogonal group $O(m+1,2)$ is realized on the Hilbert space of square integrable functions on $\mathbb R^m$ with respect to the measure $|x|^{-1} dx_1... dx_m$. This article gives an explicit integral formula for the holomorphic extension of $π$ to a holomorphic semigroup of $O(m+3, \mathbb C)$ by means of the Bessel function. Taking its `boundary value', we also find the integral kernel of the `inversion operator' corresponding to the inversion element on the Minkowski space $\mathbb R^{m,1}$.
A visible action on a complex manifold is a holomorphic action that admits a $J$-transversal totally real submanifold $S$. It is said to be strongly visible if there exists an orbit-preserving anti-holomorphic diffeomorphism $σ$ such that $σ|_S = \mathrm{id}$. In this paper, we prove that for any Hermitian symmetric space $D = G/K$ the action of any symmetric subgroup $H$ is strongly visible. The proof is carried out by finding explicitly an orbit-preserving anti-holomorphic involution and a totally real submanifold $S$. Our geometric results provide a uniform proof of various multiplicity-free theorems of irreducible highest weight modules when restricted to reductive symmetric pairs, for both classical and exceptional cases, for both finite and infinite dimensional cases, and for both discrete and continuous spectra.
This article discusses the existence problem of a compact quotient of a symmetric space by a properly discontinuous group with emphasis on the non-Riemannian case. Discontinuous groups are not always abundant in a homogeneous space $G/H$ if $H$ is non-compact. The first half of the article elucidates general machinery to study discontinuous groups for $G/H$, followed by the most update and complete list of symmetric spaces with/without compact quotients. In the second half, as applications of general theory, we prove: (i) there exists a 15 dimensional compact pseudo-Riemannian manifold of signature $(7,8)$ with constant curvature, (ii) there exists a compact quotient of the complex sphere of dimension 1, 3 and 7, and (iii) there exists a compact quotient of the tangential space form of signature $(p,q)$ if and only if $p$ is smaller than the Hurwitz-Radon number of $q$.
The irreducible decomposition of a unitary representation often contains continuous spectrum when restricted to a non-compact subgroup. The author singles out a nice class of branching problems where each irreducible summand occurs discretely with finite multiplicity (admissible restrictions). Basic theory and new perspectives of admissible restrictions are presented from both analytic and algebraic view points. We also discuss some applications of admissible restrictions to modular varieties and $L^p$-harmonic analysis.
This is the first in a series of papers devoted to an analogue of the metaplectic representation, namely, the minimal unitary representation of an indefinite orthogonal group; this representation corresponds to the minimal nilpotent coadjoint orbit in the philosophy of Kirillov-Kostant. We begin by applying methods from conformal geometry of pseudo-Riemannian manifolds to a general construction of an infinite-dimensional representation of the conformal group on the solution space of the Yamabe equation. By functoriality of the constructions, we obtain different models of the unitary representation, as well as giving new proofs of unitarity and irreducibility. The results in this paper play a basic role in the subsequent papers, where we give explicit branching formulae, and prove unitarization in the various models.
This is a second paper in a series devoted to the minimal unitary representation of O(p,q). By explicit methods from conformal geometry of pseudo-Riemannian manifolds, we find the branching law corresponding to restricting the minimal unitary representation to natural symmetric subgroups. In the case of purely discrete spectrum we obtain the full spectrum and give an explicit Parseval-Plancherel formula, and in the general case we construct an infinite discrete spectrum.
For the group O(p,q) we give a new construction of its minimal unitary representation via Euclidean Fourier analysis. This is an extension of the q = 2 case, where the representation is the mass zero, spin zero representation realized in a Hilbert space of solutions to the wave equation. The group O(p,q) acts as the Moebius group of conformal transformations on R^{p-1, q-1}, and preserves a space of solutions of the ultrahyperbolic Laplace equation on R^{p-1, q-1}. We construct in an intrinsic and natural way a Hilbert space of ultrahyperbolic solutions so that O(p,q) becomes a continuous irreducible unitary representation in this Hilbert space. We also prove that this representation is unitarily equivalent to the representation on L^2(C), where C is the conical subvariety of the nilradical of a maximal parabolic subalgebra obtained by intersecting with the minimal nilpotent orbit in the Lie algebra of O(p,q).