arXiv subjects
Publications and source records attributed to Toshihiko Matsuki.
Let $G$ be the split orthogonal group of degree $2n$ over an arbitrary infinite field $\mathbb{F}$ of chararcteristic not $2$. In this paper, we classify multiple flag varieties $G/P_1\times\cdots\times G/P_k$ of finite type. Here a multiple flag variety is said to be of finite type if it has a finite number of $G$-orbits with respect to the diagonal action of $G$.
Let $G$ be the split orthogonal group of degree $2n+1$ over an arbitrary field $\mathbb{F}$ of ${\rm char}\,\mathbb{F}\ne 2$. In this paper, we classify multiple flag varieties $G/P_1\times\cdots\times G/P_k$ of finite type. Here a multiple flag variety is called of finite type if it has a finite number of $G$-orbits with respect to the diagonal action of $G$ when $|\mathbb{F}|=\infty$.
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.
Let G be the split special orthogonal group of degree 2n+1 over a field F of char F \ne 2. Then we describe G-orbits on the triple flag varieties G/P\times G/P\times G/P and G/P\times G/P\times G/B with respect to the diagonal action of G where P is a maximal parabolic subgroup of G of the shape (n,1,n) and B is a Borel subgroup. As by-products, we also describe GL_n-orbits on G/B, Q_{2n}-orbits on the full flag variety of GL_{2n} where Q_{2n} is the fixed-point subgroup in Sp_{2n} of a nonzero vector in F^{2n} and 1\times Sp_{2n}-orbits on the full flag variety of GL_{2n+1}. In the same way, we can also solve the same problem for SO_{2n} where the maximal parabolic subgroup P is of the shape (n,n).
In [GM1], we defined a G_R-K_C invariant subset C(S) of G_C for each K_C-orbit S on every flag manifold G_C/P and conjectured that the connected component C(S)_0 of the identity will be equal to the Akhiezer-Gindikin domain D if S is of nonholomorphic type. This conjecture was proved for closed S in [WZ1,WZ2,FH,M6] and for open S in [M6]. In this paper, we prove the conjecture for all the other orbits when G_R is of non-Hermitian type.
In [GM1], we defined a G_R-K_C invariant subset C(S) of G_C for each K_C-orbit S on every flag manifold G_C/P and conjectured that the connected component C(S)_0 of the identity would be equal to the Akhiezer-Gindikin domain D if S is of nonholomorphic type. This conjecture was proved for closed S in [WZ2,WZ3,FH,M4] and for open S in [M4]. It was proved for the other orbits in [M5] when G_R is of non-Hermitian type. In this paper, we prove the conjecture for an arbitrary non-closed K_C-orbit when G_R is of Hermitian type. Thus the conjecture is completely solved affirmatively.
In [GM1], we defined a G_R-K_C invariant subset C(S) of G_C for each K_C-orbit S on every flag manifold G_C/P and conjectured that the connected component C(S)_0 of the identity would be equal to the Akhiezer-Gindikin domain D if S is of nonholomorphic type by computing many examples. In this paper, we first prove (in Theorem 1.3 and Corollary 1.4) this conjecture for the open K_C-orbit S on an ``arbitrary'' flag manifold generalizing the result of Barchini. This conjecture for closed S was solved in [WZ1], [WZ2] (Hermitian cases) and [FH] (non-Hermitian cases). We also deduce an alternative proof of this result for non-Hermitian cases from Theorem 1.3.
It was proved by Huckleberry that the Akhiezer-Gindikin domain is included in the ``Iwasawa domain'' using complex analysis. But we can see that we need no complex analysis to prove it. In this paper, we generalize the notions of the Akhiezer-Gindikin domain and the Iwasawa domain for two associated symmetric subgroups in real Lie groups and prove the inclusion. Moreover, by the symmetry of two associated symmetric subgroups, we also give a direct proof of the known fact that the Akhiezer-Gindikin domain is included in all cycle spaces.
It is known that the closure of an arbitrary K_c-orbit on a flag manifold is expressed as a product of a closed K_c-orbit and a Schubert cell ([M2], [Sp]). We already applied this fact to the duality of orbits on flag manifolds ([GM]). We refine here this result and and give its new applications to the study of domains arising from the duality.