-
Momentum graphs, Chinese remainder theorem and the surjectivity of the restriction map
Authors:
James B. Carrell,
Kiumars Kaveh
Abstract:
We consider a Chinese remainder theorem for (labeled) graphs. For $X$ a GKM $T$-variety and $Y$ an invariant subvariety, we use this to give a condition for surjectivity of the restriction map $H^*(X) \to H^*(Y)$. In particular, this applies to certain invariant subvarieties in a smooth toric variety.
We consider a Chinese remainder theorem for (labeled) graphs. For $X$ a GKM $T$-variety and $Y$ an invariant subvariety, we use this to give a condition for surjectivity of the restriction map $H^*(X) \to H^*(Y)$. In particular, this applies to certain invariant subvarieties in a smooth toric variety.
△ Less
Submitted 7 April, 2020;
originally announced April 2020.
-
Torus actions, localization and induced representations on cohomology
Authors:
James B Carrell
Abstract:
This note is motivated by the problem of understanding Springer's remarkable action of the Weyl group $W=N_G(T)/T$ of a semi-simple complex linear algebraic group $G$, with maximal torus $T$, on the cohomology algebra of an arbitrary Springer variety in the flag variety of $G$ from the viewpoint of torus actions. Continuing the work [CK] which gave a sufficient condition for a group $\mathcal{W}$…
▽ More
This note is motivated by the problem of understanding Springer's remarkable action of the Weyl group $W=N_G(T)/T$ of a semi-simple complex linear algebraic group $G$, with maximal torus $T$, on the cohomology algebra of an arbitrary Springer variety in the flag variety of $G$ from the viewpoint of torus actions. Continuing the work [CK] which gave a sufficient condition for a group $\mathcal{W}$ acting on the fixed point set of an algebraic torus action $(S,X)$ on a complex projective variety $X$ to lift to a representation of $\mathcal{W}$ on the cohomology algebra $H^*(X)$ (over $\mathbb{C}$), we describe when the representation on $H^*(X)$ is equivalent to the representation of $\mathcal{W}$ on the cohomology $H^*(X^S)$ of the fixed point set. As a consequence of this theorem, we give a simple proof in type $A$ of the Alvis-Lusztig-Treumann Theorem, which describes Springer's representation of $W$ for Springer varieties corresponding to nilpotents in a Levi subalgebra of Lie$(G)$. In the final two sections, we describe the local structure of the moment graph $\mathfrak{M}(X)$ of a special torus action $(S,X)$, and we also show that if a finite group $\mathcal{W}$ acts on the moment graph of $X$, then $\mathcal{W}$ induces pair of actions on $H^*(X)$, namely the left and right or dot and star actions of Knutson [Knu] and Tymoczko [Tym] respectively. In particular, $W$ acts on the moment (or Bruhat) graph $\mathfrak{M}(G/P)$ of $(T,G/P)$ for any parabolic $P$ in $G$ containing $T$, and the right action of $W$ on $H^*(G/P)$ is an induced representation. Furthermore, we show the left action of $W$ on $H^*(G/P)$ is trivial.
△ Less
Submitted 20 May, 2020; v1 submitted 5 February, 2018;
originally announced February 2018.
-
Springer's Weyl group representation via localization
Authors:
Jim Carrell,
Kiumars Kaveh
Abstract:
Let $G$ denote a reductive algebraic group over $\mathbb{C}$ and $x$ a nilpotent element of its Lie algebra $\mathfrak{g}$. The Springer variety $\mathcal{B}_x$ is the closed subvariety of the flag variety $\mathcal{B}$ of $G$ parameterizing the Borel subalgebras of $\mathfrak{g}$ containing $x$. It has the remarkable property that the Weyl group $W$ of $G$ admits a representation on the cohomolog…
▽ More
Let $G$ denote a reductive algebraic group over $\mathbb{C}$ and $x$ a nilpotent element of its Lie algebra $\mathfrak{g}$. The Springer variety $\mathcal{B}_x$ is the closed subvariety of the flag variety $\mathcal{B}$ of $G$ parameterizing the Borel subalgebras of $\mathfrak{g}$ containing $x$. It has the remarkable property that the Weyl group $W$ of $G$ admits a representation on the cohomology of $\mathcal{B}_x$ even though $W$ rarely acts on $\mathcal{B}_x$ itself. Well-known constructions of this action due to Springer et al use technical machinery from algebraic geometry. The purpose of this note is to describe an elementary approach that gives this action when $x$ is what we call parabolic-surjective. The idea is to use localization to construct an action of $W$ on the equivariant cohomology algebra $H_S^*(\mathcal{B}_x)$, where $S$ is a certain algebraic subtorus of $G$. This action descends to $H^*(\mathcal{B}_x)$ via the forgetful map and gives the desired representation. The parabolic-surjective case includes all nilpotents of type $A$ and, more generally, all nilpotents for which it is known that $W$ acts on $H_S^*(\mathcal{B}_x)$ for some torus $S$. Our result is deduced from a general theorem describing when a group action on the cohomology of the fixed point set of a torus action on a space lifts to the full cohomology algebra of the space.
△ Less
Submitted 12 February, 2017; v1 submitted 24 May, 2015;
originally announced May 2015.
-
Betti numbers of smooth Schubert varieties and the remarkable formula of Kostant,Macdonald,Shapiro and Steinberg
Authors:
Ersan Akyildiz,
James B. Carrell
Abstract:
The purpose of this note is to give a refinement of the product formula proved in [1] for the Poincare polynomial of a smooth Schubert variety in the flag variety of an algebraic group G over C. This yields a factorization of the number of elements in a Bruhat interval [e,w] in the Weyl group W of G provided the Schubert variety associated to w is smooth. This gives an elementary necessary conditi…
▽ More
The purpose of this note is to give a refinement of the product formula proved in [1] for the Poincare polynomial of a smooth Schubert variety in the flag variety of an algebraic group G over C. This yields a factorization of the number of elements in a Bruhat interval [e,w] in the Weyl group W of G provided the Schubert variety associated to w is smooth. This gives an elementary necessary condition for a Schubert variety in the flag variety to be smooth.
△ Less
Submitted 15 September, 2010;
originally announced September 2010.
-
B-sub-modules of Lie(G)/Lie(B) and Smooth Schubert Varieties in G/B
Authors:
James B. Carrell
Abstract:
Let G be a complex semi-simple linear algebraic group without G_2 factors, B a Borel subgroup of G and T a maximal torus in B. The flag variety G/B is a projective G-homogeneous variety whose tangent space at the identity coset is isomorphic, as a B-module, to Lie(G)/Lie(B). Recall that if w is an element of the Weyl group W of the pair (G,T), the Schubert variety X(w) in G/B is by definition the…
▽ More
Let G be a complex semi-simple linear algebraic group without G_2 factors, B a Borel subgroup of G and T a maximal torus in B. The flag variety G/B is a projective G-homogeneous variety whose tangent space at the identity coset is isomorphic, as a B-module, to Lie(G)/Lie(B). Recall that if w is an element of the Weyl group W of the pair (G,T), the Schubert variety X(w) in G/B is by definition the closure of the Bruhat cell BwB. In this note we prove that X(w) is non-singular iff the following two conditions hold: 1) its Poincaré polynomial is palindromic and 2) the tangent space TE(X(w)) to the set T-stable curves in X(w) through the identity is a $B$-submodule of Lie(G)/Lie(B). This gives two criteria in terms of the combinatorics of W which are necessary and sufficient for X(w) to be smooth: \sum_{x\le w} t^{\ell(x)} is palindromic, and every root of (G,T) in the convex hull of the set of negative roots whose reflection is less than w (in the Bruhat order on W) has the property that its T-weight space (in Lie(G)/Lie(B)) is contained in TE(X(w)). However, as we show by example, these conditions don't characterize the smooth Schubert varieties when G has type G_2.
△ Less
Submitted 25 July, 2010;
originally announced July 2010.
-
On the equivariant cohomology of subvarieties of a B-regular variety
Authors:
James B. Carrell,
Kiumars Kaveh
Abstract:
By a $B$-regular variety, we mean a smooth projective variety over $C$ admitting an algebraic action of the upper triangular Borel subgroup $B \subset SL_2(C)$ such that the unipotent radical in $B$ has a unique fixed point. A result of M. Brion and the first author describes the equivariant cohomology algebra (over $C$) of a $B$-regular variety $X$ as the coordinate ring of a remarkable affine…
▽ More
By a $B$-regular variety, we mean a smooth projective variety over $C$ admitting an algebraic action of the upper triangular Borel subgroup $B \subset SL_2(C)$ such that the unipotent radical in $B$ has a unique fixed point. A result of M. Brion and the first author describes the equivariant cohomology algebra (over $C$) of a $B$-regular variety $X$ as the coordinate ring of a remarkable affine curve in $X \times P^1$. The main result of this paper uses this fact to classify the $B$-invariant subvarieties $Y$ of a $B$-regular variety $X$ for which the restriction map $i_Y:H^*(X) \to H^*(Y)$ is surjective.
△ Less
Submitted 6 September, 2008;
originally announced September 2008.
-
Vector fields, torus actions and equivariant cohomology
Authors:
Jim Carrell,
Kiumars Kaveh,
Volker Puppe
Abstract:
An old result of the first author and David Lieberman says that if a compact Kaehler manifold X admits a holomorphic vector field V having at least one zero, then the Dolbeault cohomology algebra H^*(X, Ω^*) of X is isomorphic with the bigraded algebra associated to a certain filtered graded ring. If V has isolated zeros this is the graded algebra associated to a certain filtration of the coordi…
▽ More
An old result of the first author and David Lieberman says that if a compact Kaehler manifold X admits a holomorphic vector field V having at least one zero, then the Dolbeault cohomology algebra H^*(X, Ω^*) of X is isomorphic with the bigraded algebra associated to a certain filtered graded ring. If V has isolated zeros this is the graded algebra associated to a certain filtration of the coordinate ring of the scheme Z defined by zero(V). The purpose of this note is to show that if V is generated by a torus action then equivariant Dolbeault cohomology can be used to give direct geometric proofs of the above result. What is particularly interesting is the picture obtained when zero(V) has positive dimension.
△ Less
Submitted 28 February, 2005;
originally announced March 2005.
-
Singularities of Schubert Varieties, Tangent Cones and Bruhat Graphs
Authors:
James B. Carrell,
Jochen Kuttler
Abstract:
Let G be a semi-simple algebraic group over the complex numbers, B a Borel subgroup of G, T a maximal torus in B and P a parabolic in G containing B. This paper deals with singularities of T-stable subvarieties of G/P. It turns out that under the restriction that G doesn't contain any G_2-factors, the key geometric invariant determining the singular T-fixed points of X is the linear span of the…
▽ More
Let G be a semi-simple algebraic group over the complex numbers, B a Borel subgroup of G, T a maximal torus in B and P a parabolic in G containing B. This paper deals with singularities of T-stable subvarieties of G/P. It turns out that under the restriction that G doesn't contain any G_2-factors, the key geometric invariant determining the singular T-fixed points of X is the linear span of the reduced tangent cone to X at a T-fixed point x provided the singularity is isolated. The goal of this paper is to describe this invariant at the maximal singular T-fixed points when X is a Schubert variety in G/P and G doesn't contain any G_2-factors. We first describe the span of the tangent cone solely in terms of Peterson translates, which were the main tool in a previous paper. Then, taking a further look at the Peterson translates (with the G_2-restriction), we are able to describe the span of the tangent cone at x in terms of its isotropy submodule and the Bruhat graph of X at x. This refinement gives a purely root theoretic description, which should be useful for computations. It also leads to an algorithm for the singular locus of X.
△ Less
Submitted 21 April, 2004;
originally announced April 2004.
-
The equivariant cohomology ring of regular varieties
Authors:
Michel Brion,
James B. Carrell
Abstract:
Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point, is called regular. Associated to any regular $B$-variety $Y$, there is a remarkable affine curve $Z_Y$ with a $T$-action which was studied by the second auth…
▽ More
Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point, is called regular. Associated to any regular $B$-variety $Y$, there is a remarkable affine curve $Z_Y$ with a $T$-action which was studied by the second author. In this note, we show that the coordinate ring of $Z_Y$ is isomorphic with the equivariant cohomology ring $H_T^*(Y)$ with complex coefficients, when $Y$ is smooth or, more generally, is a $B$-stable subvariety of a regular smooth $B$-variety $X$ such that the restriction map from $H^*(X)$ to $H^*(Y)$ is surjective. This isomorphism is obtained as a refinement of the localization theorem in equivariant cohomology; it applies e.g. to Schubert varieties in flag varieties, and to the Peterson variety studied by Kostant. Another application of our isomorphism is a natural algebraic formula for the equivariant push forward.
△ Less
Submitted 2 November, 2002;
originally announced November 2002.
-
On the Smooth Points of T-stable Varieties in G/B and the Peterson Map
Authors:
James B. Carrell,
Jochen Kuttler
Abstract:
Let G be a semi-simple algebraic group over ${\mathbb C}$, B a Borel subgroup of G and T a maximal torus in B. A beautiful unpublished result of Dale Peterson says that if G is simply laced, then every rationally smooth point of a Schubert variety X in G/B is nonsingular in X. The purpose of this paper is to generalize this result to arbitrary T-stable subvarieties of G/B, the only restriction b…
▽ More
Let G be a semi-simple algebraic group over ${\mathbb C}$, B a Borel subgroup of G and T a maximal torus in B. A beautiful unpublished result of Dale Peterson says that if G is simply laced, then every rationally smooth point of a Schubert variety X in G/B is nonsingular in X. The purpose of this paper is to generalize this result to arbitrary T-stable subvarieties of G/B, the only restriction being that G contains no $G_2$ factors. In particular, we show that a Schubert variety X in such a G/B is nonsingular if and only if all the reduced tangent cones of X are linear.
△ Less
Submitted 2 May, 2000;
originally announced May 2000.
