Table of Contents
Fetching ...

Irreducible Characteristic Cycles for Orbit Closures of a Symmetric Subgroup

William Graham, Minyoung Jeon, Scott Joseph Larson

Abstract

Let $G = GL(n)$ and $K = GL(p) \times GL(q)$ with $p+q=n$, where the groups are taken over $\C$. In this paper we study a certain family of $K$-orbit closures on the flag variety $X$ of $G$. The geometry of these orbit closures plays a central role in the infinite-dimensional representation theory of the real Lie group $U(p,q)$, and has applications to degeneracy loci and combinatorics. In this paper we use small resolutions to study orbit closures in this family. We prove that the fibers of these resolutions are smooth and strongly reduced, as well as a general result that if a variety has a resolution of singularities with these properties, then its characteristic cycle is irreducible. Hence these orbit closures have irreducible characteristic cycles. A result of Jones then allows us to calculate the torus-equivariant Chern-Mather classes of these orbit closures. We describe torus fixed points and tangent spaces of the resolutions, and use localization to obtain a formula for these classes. We conjecture that the Chern-Mather classes of a $K$-orbit closure are equivariantly positive when expressed in a Schubert basis of equivariant Borel-Moore homology, and use our results to verify the conjecture in an example.

Irreducible Characteristic Cycles for Orbit Closures of a Symmetric Subgroup

Abstract

Let and with , where the groups are taken over . In this paper we study a certain family of -orbit closures on the flag variety of . The geometry of these orbit closures plays a central role in the infinite-dimensional representation theory of the real Lie group , and has applications to degeneracy loci and combinatorics. In this paper we use small resolutions to study orbit closures in this family. We prove that the fibers of these resolutions are smooth and strongly reduced, as well as a general result that if a variety has a resolution of singularities with these properties, then its characteristic cycle is irreducible. Hence these orbit closures have irreducible characteristic cycles. A result of Jones then allows us to calculate the torus-equivariant Chern-Mather classes of these orbit closures. We describe torus fixed points and tangent spaces of the resolutions, and use localization to obtain a formula for these classes. We conjecture that the Chern-Mather classes of a -orbit closure are equivariantly positive when expressed in a Schubert basis of equivariant Borel-Moore homology, and use our results to verify the conjecture in an example.

Paper Structure

This paper contains 26 sections, 34 theorems, 92 equations, 5 figures.

Key Result

Theorem 2.2

Suppose we have a diagram \begin{tikzcd} Z \arrow[d,"\mu"]\arrow[dr,"f"]&\\ Y\arrow[r,"\iota",hook]&X. \end{tikzcd}where $Z$ and $X$ are smooth varieties, $\iota$ is a closed embedding, and $\mu$ is a small resolution. Suppose that all fibers of $f$ are smooth and strongly reduced. Then the characte

Figures (5)

  • Figure 1: Images of clans $u\leq v_0$ under $\pi_v$
  • Figure 2: Configuration space of $Z_v$ for $v = (1212)$
  • Figure 3: Fibers over some good basepoints $y\leq v_0$
  • Figure 4: Configuration space of $Z_v$
  • Figure 5: Closure order for $(1+1223-3)$

Theorems & Definitions (85)

  • Conjecture 1.1
  • Definition 2.1
  • Theorem 2.2
  • proof
  • Proposition 3.1
  • proof
  • Lemma 3.2
  • proof
  • Proposition 3.3
  • proof
  • ...and 75 more