Questions tagged [schubert-calculus]

Schubert calculus is the study of flag varieties, which are quotients of algebraic groups (usually complex semisimple, but sometimes over the real numbers or even finite fields) by parabolic subgroups.

Schubert calculus is the study of flag varieties, which are quotients of algebraic groups (usually complex semisimple, but sometimes over the real numbers or even finite fields) by parabolic subgroups. Initially the topic only covered intersection theory on the Grassmannian. This culminated in the Littlewood-Richardson rule conjectured in 1939, finally proved by Marcel and Schützenberger in 1970. In the next couple of decades Littlewood-Richardson rules were found for maximal orthogonal Grassmannians, then Pieri formulas for arbitrary orthogonal Grassmannians. In type A the only additional further Littlewood-Richardson rule so far found was for the two-step flag variety in 2014, with a conjecture for the 3-step flag variety open since the 1990s, though a Pieri formula was found for the complete flag variety in the 1990s by Sottile. The topic is still an active area of interest where more general flag varieties are studied, as well as other associated algebraic structures such as torus-equivariant cohomology, K-theory, and equivariant K-theory rings.

85 questions
18
votes
1 answer

What are the attaching maps for the real Grassmannian?

The Grassmannian $G_n(\mathbb{R}^k)$ of n-planes in $\mathbb{R}^k$ has a CW-complex structure coming from the Schubert cell decomposition. The study of characteristic classes tells us that these Schubert cells generate the cohomology of the…
13
votes
1 answer

how to compute the cohomology ring of grassmannian G(4,2)

I need to compute the ring of cohomologies over the integers of the complex grassmannian G(4,2). As I understand, one can use the Schubert cells and cellular homology to show that the homology groups of G(4,2) are free abelian with bases…
zakhar
  • 133
10
votes
1 answer

Chern classes of tautological bundle over the Grassmannian G(2,4)

I've the following problem: I know how to calculate Chern classes of the tautological bundle over the Grassmannian $G=G(2,4)$ using the Schubert calculus. If I am right, the Chern character should be $$1-\sigma_1+\sigma_{1,1}$$ where…
User3773
  • 1,312
9
votes
0 answers

Spherical Schubert Variety

I am studying Schubert variety and I came across a problem understand a particular detail. Let $G$ be a reductive group, and $\mu\in X_{\bullet}(T)$ a coweight i.e. $\mu\in Hom(\mathbb{G}_m,T)$, where $T$ is the abstract Cartan of $G$. Then the…
8
votes
0 answers

About the Chern class of infinite complex Grassmannian

I learned that any characteristic class of rank-$k$ complex vector bundles on paracompact spaces is determined bijectively by a cohomology class in $H^*(Gr_k^\infty(\mathbb C))$, the cohomology ring of k-th infinite Grassmannian. So the $n$-th Chern…
8
votes
1 answer

How to show that the cohomology of a Grassmannian has a basis consisting of the equivalent classes represented by Schubert cycles?

Let $G(r, n)$ be the Grassmannian of the set of all $r$-planes in a $n$-dim vector space. How to show that the cohomology of a Grassmannian has a basis consisting of the equivalent classes represented by Schubert cycles? I am confused since I don't…
8
votes
2 answers

Integral homology of real Grassmannian $G(2,4)$

I would like to compute $\pi_1$ and the integral homology groups of the real Grassmannian $G(2,4)$. (This is a question on an old qualifying exam.) The hint for the computation of $\pi_1$ is to put a CW structure on the space. Once we have this and…
7
votes
1 answer

Schur functors as spaces of "flag tensors"?

Consider the following construction: for a vector space $V$, define $W \subseteq \bigwedge^2 V \otimes V$ by $W = \langle\ \alpha \otimes v : v \in \text{Span}(\alpha) \ \rangle$, that is, $W$ is spanned by "flag tensors", as in a 2-plane containing…
7
votes
1 answer

Flag varieties and representation theory

I've recently been reading about flag varieties and their cohomology. I'm mainly interested in representation theory, and I've heard that flag varieties are important objects, especially in Lie representation theory, but the connection between the…
7
votes
0 answers

Reference for flag varieties G/P

Is there a good reference for learning about flag varieties $G/P$? I'm already comfortable with the algebraic geometry and the example of Grassmannians, but I am not so comfortable with algebraic groups aside from basic Lie theory. For example, it…
7
votes
1 answer

$GL_n(F)$ acts on the flag variety

I have the following 2-part question as a homework assignment... Let $F$ be a field and $n\in \mathbb{Z}_{\geq 1}$. A full flag in the vector space $F^n$ is a chain of subspaces \begin{align} \{0\}\subset V_1\subset \cdots\subset V_{n-1}\subset…
7
votes
1 answer

Number of fixed points of torus action over partial flag variety

Consider $g\in U(n)$ and $t\in T$, where $T$ is the diagonal maximal torus in $U(n)$. Some common manifolds may be obtained as quotients of the $U(n)$ like the complex grassmannian, $Gr(k,n)=U(n)/U(k)\times U(n-k)$ and the manifold of complete…
6
votes
1 answer

What is the Bruhat decomposition of the affine Grassmannian?

We define the affine Grassmannian to be the quotient $Gr = GL_n(\mathbb{C}((t)))/GL_n(\mathbb{C}[[t]])$ where $\mathbb{C}((t))$ is the field of formal Laurent series and $\mathbb{C}[[t]]$ is the ring of formal power series. (The affine Grassmannian…
5
votes
0 answers

Algorithm for expressing a homogeneous polynomial with integer coefficients nonnegatively (if possible) in terms of specific dependent binomials

I have specific homogeneous polynomials expressed in terms of binomials of the form $$x_i+y_j$$ for $i,j\in\mathbb N$ with integer coefficients that I conjecture can have nonnegative coefficients when expressed in terms of these binomials. I have an…
5
votes
0 answers

Classes of Schubert Cycles form a basis

I am reading the not yet published book of Eisenbud and Harris about intersection theory (http://isites.harvard.edu/fs/docs/icb.topic720403.files/book.pdf) and I don't quite understand the following: In Proposition 4.31, page 113, they state that…
1
2 3 4 5 6