arXiv subjects

Kyo Nishiyama

Publications and source records attributed to Kyo Nishiyama.

28 records · Page 2Linked to original sources

arXiv2013

On orbits in double flag varieties for symmetric pairs

Let $ G $ be a connected, simply connected semisimple algebraic group over the complex number field, and let $ K $ be the fixed point subgroup of an involutive automorphism of $ G $ so that $ (G, K) $ is a symmetric pair. We take parabolic subgroups $ P $ of $ G $ and $ Q $ of $ K $ respectively and consider the product of partial flag varieties $ G/P $ and $ K/Q $ with diagonal $ K $-action, which we call a \emph{double flag variety for symmetric pair}. It is said to be \emph{of finite type} if there are only finitely many $ K $-orbits on it. In this paper, we give a parametrization of $ K $-orbits on $ G/P \times K/Q $ in terms of quotient spaces of unipotent groups without assuming the finiteness of orbits. If one of $ P \subset G $ or $ Q \subset K $ is a Borel subgroup, the finiteness of orbits is closely related to spherical actions. In such cases, we give a complete classification of double flag varieties of finite type, namely, we obtain classifications of $ K $-spherical flag varieties $ G/P $ and $ G $-spherical homogeneous spaces $ G/Q $.

math.RT↗

arXiv2012

Closed orbits on partial flag varieties and double flag variety of finite type

Let $ G $ be a connected reductive algebraic group over $ \C $. We denote by $ K = (G^θ)_{0} $ the identity component of the fixed points of an involutive automorphism $ θ$ of $ G $. The pair $ (G, K) $ is called a symmetric pair. Let $Q$ be a parabolic subgroup of $K$. We want to find a pair of parabolic subgroups $P_{1}$, $P_{2}$ of $G$ such that (i) $P_{1} \cap P_{2} = Q$ and (ii) $P_{1} P_{2}$ is dense in $G$. The main result of this article states that, for a simple group $G$, we can find such a pair if and only if $(G, K)$ is a Hermitian symmetric pair. The conditions (i) and (ii) yield to conclude that the $K$-orbit through the origin $(e P_{1}, e P_{2})$ of $G/P_{1} \times G/P_{2}$ is closed and it generates an open dense $G$-orbit on the product of partial flag variety. From this point of view, we also give a complete classification of closed $K$-orbits on $G/P_{1} \times G/P_{2}$.

math.RT↗

arXiv2010

Asymptotic cone of semisimple orbits for symmetric pairs

Let G be a reductive algebraic group over the complex field and O_h be a closed adjoint orbit through a semisimple element h. By a result of Borho and Kraft (1979), it is known that the asymptotic cone of the orbit O_h is the closure of a Richardson nilpotent orbit corresponding to a parabolic subgroup whose Levi component is the centralizer Z_G(h) in G. In this paper, we prove an analogue on a semisimple orbit for a symmetric pair (G, K).

math.RT↗

arXiv2010

Double flag varieties for a symmetric pair and finiteness of orbits

Let G be a reductive algebraic group over the complex number filed, and K = G^θ be the fixed points of an involutive automorphism θof G so that (G, K) is a symmetric pair. We take parabolic subgroups P and Q of G and K respectively and consider a product of partial flag varieties G/P and K/Q with diagonal K-action. The double flag variety G/P \times K/Q thus obtained is said to be of finite type if there are finitely many K-orbits on it. A triple flag variety G/P^1 \times G/P^2 \times G/P^3 is a special case of our double flag varieties, and there are many interesting works on the triple flag varieties. In this paper, we study double flag varieties G/P \times K/Q of finite type. We give efficient criterion under which the double flag variety is of finite type. The finiteness of orbits is strongly related to spherical actions of G or K. For example, we show a partial flag variety G/P is K-spherical if a product of partial flag varieties G/P \times G/θ(P) is G-spherical. We also give many examples of the double flag varieties of finite type, and for type AIII, we give a classification when P = B is a Borel subgroup of G.

math.RT↗

arXiv2009

Regular orbits of symmetric subgroups on partial flag varieties

The main result of this paper is a new parameterization of the orbits of a symmetric subgroup on a partial flag variety. The parameterization is in terms of certain Spaltenstein varieties, on one hand, and certain nilpotent orbits, on the other. One of the motivations is related to enumerating special unipotent representations of real reductive groups. Another motivation is understanding (a portion of) the closure order on the set of nilpotent coadjoint orbits.

math.RT↗

arXiv2008

A note on the Capelli identities for symmetric pairs of Hermitian type

We get several identities of differential operators in determinantal form. These identities are non-commutative versions of the formula of Cauchy-Binet or Laplace expansions of determinants, and if we take principal symbols, they are reduced to such classical formulas. These identities are naturally arising from the generators of the rings of invariant differential operators over symmetric spaces, and have strong resemblance to the classical Capelli identities. Thus we call those identities the Capelli identities for symmetric pairs.

math.RT↗

arXiv2007

Resolution of null fiber and conormal bundles on the Lagrangian Grassmannian

We study the null fiber of a moment map related to dual pairs. We construct an equivariant resolution of singularities of the null fiber, and get conormal bundles of closed $ K_C $-orbits in the Lagrangian Grassmannian as the categorical quotient. The conormal bundles thus obtained turn out to be a resolution of singularities of the closure of nilpotent $ K_C $-orbits, which is a "quotient" of the resolution of the null fiber.

math.RT↗

arXiv2007

A note on affine quotients and equivariant double fibrations

We consider two linear reductive algebraic groups $ G $ and $ G' $ over $ C $. Take a finite dimensional rational representation $ W $ of $ G \times G' $. Let $ Y = W // G := Spec C[W]^G $ and $ X = W // G' := \Spec C[W]^{G'} $ be the affine quotients. The quotient space $ X $ (respectively $ Y $) naturally inherits the action of $ G $ (respectively $ G' $). In this note, we study the interrelation between the orbit structures of $ X / G $ and $ Y / G' $. In a good situation, we can embed $ Y / G' $ into $ X / G $, and the embedding map preserves important properties such as the closure relation and nilpotency. We give a sufficient condition for the existence of such embedding, and provide many examples arising from the natural representations of classical groups. As an application we consider the geometric problem of unimodular congruence classes of bilinear forms proposed by Djokovic-Sekiguchi-Zhao.

math.RT↗

arXiv2005

Intersection of harmonics and Capelli identities for symmetric pairs

We consider a see-saw pair consisting of a Hermitian symmetric pair (G_R, K_R) and a compact symmetric pair (M_R, H_R), where (G_R, H_R) and (K_R, M_R) form real reductive dual pairs in a large symplectic group. In this setting, we get Capelli identities which explicitly represent certain K_C-invariant elements in U(Lie(G)_C) in terms of H_C-invariant elements in U(Lie(M)_C). The corresponding H_C-invariant elements are called Capelli elements. We also give a decomposition of the intersection of O_{2n}-harmonics and Sp_{2n}-harmonics as a module of GL_n = O_{2n} \cap Sp_{2n}, and construct a basis for the GL_n highest weight vectors. This intersection is in the kernel of our Capelli elements.

math.RT↗

arXiv2003

Theta lifting of nilpotent orbits for symmetric pairs

We consider a reductive dual pair (G, G') in the stable range with G' the smaller member and of Hermitian symmetric type. We study the theta lifting of nilpotent K'_C-orbits, where K' is a maximal compact subgroup of G' and we describe the precise K_C-module structure of the regular function ring of the closure of the lifted nilpotent orbit of the symmetric pair (G, K). As an application, we prove sphericality and normality of the closure of certain nilpotent K_C-orbits obtained in this way. We also give integral formulas for their degrees.

math.RT↗