# An application of spherical geometry to hyperk\"ahler slices

## TL;DR

This paper characterizes when certain hyperk"ahler slices associated with complex Lie groups and Slodowy slices are non-empty, using spherical geometry and a new regularity condition, and classifies pairs where the subgroup is spherical.

## Contribution

It introduces the $rak{a}$-regularity condition as a criterion for non-emptiness of hyperk"ahler slices and provides a classification of such pairs with spherical subgroups.

## Key findings

- Non-emptiness of hyperk"ahler slices is equivalent to $rak{a}$-regularity.
- The $rak{a}$-regularity condition relates to rank and complexity of $G/H$.
- Classification of $rak{a}$-regular pairs with spherical subgroups.

## Abstract

This work is concerned with Bielawski's hyperk\"ahler slices in the cotangent bundles of homogeneous affine varieties. One can associate such a slice to the data of a complex semisimple Lie group $G$, a reductive subgroup $H\subseteq G$, and a Slodowy slice $S\subseteq\mathfrak{g}:=\mathrm{Lie}(G)$, defining it to be the hyperk\"ahler quotient of $T^*(G/H)\times (G\times S)$ by a maximal compact subgroup of $G$. This hyperk\"ahler slice is empty in some of the most elementary cases (e.g. when $S$ is regular and $(G,H)=(\operatorname{SL}_{n+1},\operatorname{GL}_{n})$, $n\geq 3$), prompting us to seek necessary and sufficient conditions for non-emptiness. We give a spherical-geometric characterization of the non-empty hyperk\"ahler slices that arise when $S=S_{\text{reg}}$ is a regular Slodowy slice, proving that non-emptiness is equivalent to the so-called $\mathfrak{a}$-regularity of $(G,H)$. This $\mathfrak{a}$-regularity condition is formulated in several equivalent ways, one being a concrete condition on the rank and complexity of $G/H$. We also provide a classification of the $\mathfrak{a}$-regular pairs $(G,H)$ in which $H$ is a reductive spherical subgroup. Our arguments make essential use of Knop's results on moment map images and Losev's algorithm for computing Cartan spaces.