I am looking for a self-contained basic theory of Schubert-cells through finding the decomposition of the full flag $Fl_3(\mathbb C^3)$.
2025-01-13 05:18:35.1736745515
Schubert cell decomposition and full flags
434 Views Asked by Ronald https://math.techqa.club/user/ronald/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-GEOMETRY
- Relations among these polynomials
- Completion of a flat morphism
- Is every sheaf a subsheaf of a flasque sheaf?
- Intersection of curves on surfaces and the sheaf $\mathcal O_{C\cap C'}$
- Does intersection of smooth divisors satisfy Serre $S_2$ criterion?
- Application of GRR in number theory
- Generic point and pull back
- Every point lies on a unique secant through $C$
- Projective transformation in $\mathbb{P}^1$
- Equality $H^i(K,\mathcal{F}_{|K})=\varinjlim_{U\supset K}H^i(U,\mathcal{F}_{|U})$ for a constructible sheaf
Related Questions in MANIFOLDS
- Find the interior product of a basic p-form $\alpha = dx_1 \wedge dx_2 \wedge \ldots \wedge dx_p$ and a vector field $X$
- Every Manifold is Locally Path Connected
- Connect Sum of a connected, compact manifold of dimension n and $S^n$
- homeomorphism of the closed disc on $\mathbb R ^2$
- Showing that the Mapping Torus is a topological manifold
- Suggestion for reference book for differential forms, differentiable manifolds and other topics
- Does every torus $T\subset S^3$ bounds a solid tours $S^1\times D^2\subset S^3$?
- Is the tangent bundle of hyperbolic space trivial?
- Is a smooth function still smooth in a sub-manifold containing its image?
- The Developing Map
Related Questions in LIE-ALGEBRAS
- How do I make sense of terms $X^j\partial_j(Y^i)$ in the Lie bracket of vector fields?
- When derivations are exactly homomorphisms?
- Ideals in Lie algebras
- Lie bracket on $\Gamma(TM\oplus (M\times \mathfrak{g}))$?
- 2-dimensional derived subalgebra of 3-dimensional Lie algebra is abelian
- How are groups with the same Lie Algebra inequivalent?
- Generators of a semi simple lie algebra must be traceless
- From Generators of Lie Groups to Representations
- How does a Lie algebra act on a tensor product of L-modules?
- Representation of a Kac-Moody algebra
Related Questions in HOMOGENEOUS-SPACES
- Orbits of $SL(3, \mathbb{C})/B$
- Extracting sign of scaling from modelView matrix
- 2D Homogeneous Transformation : Reflection vs Mirroring
- low-dim unitary groups and their actions
- Schubert cell decomposition and full flags
- Why is $G/H\to G/K$ proper and projective where $H\subseteq K\subseteq G$?
- Commutator of Lie sub-algebra
- Is the inverse image of an irreducible variety under the natural projection irreducible (in the setting of homogeneous spaces)?
- Is every Hausdorff homogeneous space also regular?
- Can the cohomology of the Grassmannian identified with the cohomology of a specific dense open subvariety?
Related Questions in SCHUBERT-CALCULUS
- Schubert Cells of Flags
- Schubert decomposition of a Grassmannian
- The associated Schubert variety of a flag of subspaces of a vector space.
- Applying the divided difference operator
- Smoothness of Schubert Variety
- closure of a Schubert cell
- Schubert cycles that intersect generically transversely.
- Basis theorem for the Grassamannian
- Elementary description for $\mathbb{P}^1\times X$ and rational equivalence
- Generically transversally intersecting Schubert cycles
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
Usually Schubert cells are constructed using the structure theory of semisimple Lie groups (in this case $SL(3,\mathbb C)$), but for this case, one can give an explicit description as follows. Start by fixing one flag, say the standard one $\mathbb C\subset\mathbb C^2\subset\mathbb C^3$. This will be the unique Schubert-cell of dimension $0$. The further cells can be indexed by the dimensions of the intersections of their constituents with the spaces in the standard flag.
Explicitly, there are two Schubert-cells of dimension $1$. One of those consists of flags $\ell\subset\mathbb C^2$ with $\ell\neq\Bbb C$. This is the complement of the point defined by $\mathbb C$ in $\mathbb CP^2$ and hence diffeomorphic to $\mathbb C$. The second cell of dimension one consists of flags of the form $\mathbb C\subset W$ with $W\neq\mathbb C^2$. This again looks like the complement of a point in the projectivization of $\mathbb C^3/\mathbb C$, and hence like $\mathbb C$.
From now on, we only have to look at flags $\ell\subset W$, where $\ell\neq\mathbb C$ and $W\neq\mathbb C^2$. There are two Schubert-cells of Dimension $2$. One of them is formed by those flags, for which $\mathbb C\subset W$. Since $\ell\neq\mathbb C$ and $W\neq\mathbb C^2$, we get $W=\mathbb C\oplus\ell$. Hence the flag is determined by the line $\ell$, which is not contained in $\mathbb C^2$. So this looks like $\mathbb CP^3\setminus\mathbb CP^2\cong\mathbb C^2$. The second of these cells consists of those flags, for which $\ell\subset\mathbb C^2$. Since $W\neq\mathbb C^2$, this implies that $\ell=W\cap\mathbb C^2$, so this time, the flag is determined by the plane $W$, which should not contain $\mathbb C$. Again this shows that the space of such planes is isomorphic to $\mathbb C^2$.
Finally, there is one cell of dimension $3$ consisting of the "generic" flags, for which $\ell$ is not contained in $\mathbb C^2$, and $\mathbb C$ is not contained in $W$. Such a flag is determined by $\ell$, which lies in $\mathbb CP^3\setminus\mathbb CP^2$ and $W\cap\mathbb C^2$, which lies in the complement of a point in $\mathbb CP^2$. Hence the space of generic flags looks like $\mathbb C^3$.