Skip to main content
MathOverflow

Return to Question

Notice removed Draw attention by Han Jin Ma
Bounty Ended with Anton Mellit's answer chosen by Han Jin Ma
Notice added Draw attention by Han Jin Ma
Bounty Started worth 150 reputation by Han Jin Ma
deleted 6 characters in body
Source Link
Han Jin Ma
Han Jin Ma
  • 443
  • 2
  • 10

Schubert calculus cxpressedexpressed in terms of the cotangent space of the Grassmannians

Let $T^*_{\mathbb{C}}(Gr_{n,r})$ denote the cotangent space of the Grassmannian of $r$-planes in $\mathbb{C}^n$. Moreover, let $\Lambda^\bullet$ denote the exterior algebra of $T^*_{\mathbb{C}}(Gr_{n,r})$. Condsidering $Gr_{n,r}$ as the homogeneous space $U_n/(U_r \times U_{n-r})$, we have a unique representation of $U_n/(U_r \times U_{n-r})$ on $\Lambda^{\bullet}$ for which the associated homogeneous vector bundle is the direct sum $\bigoplus_{k \in \mathbb{N}} \Omega^k$.

(i) Just as for any homogeneous space, every de Rham cohomology class of $Gr_{n,r}$ has a $G$-invariant representative. Moreover, every $G$-invariant element must be harmonic, and so, gives by Hodge decomposition a cohomology class. Is it correct to conclude from this that That the the cohomology group $H^\bullet$ is isomorphic as a vector space to the space of $U(r) \times U(n-r)$ invariant-invariant elements in $\Lambda^\bullet$?

(ii) With respect to a standard weight basis of $T^*(Gr_{n,r})$, what do the $U(r) \times U(n-r)$ invariant-invariant elements look like, and how does this presentpresentation of Schubert calculus relate to the partition presentation given in this question?

Schubert calculus cxpressed in terms of the cotangent space of the Grassmannians

Let $T^*_{\mathbb{C}}(Gr_{n,r})$ denote the cotangent space of the Grassmannian of $r$-planes in $\mathbb{C}^n$. Moreover, let $\Lambda^\bullet$ denote the exterior algebra of $T^*_{\mathbb{C}}(Gr_{n,r})$. Condsidering $Gr_{n,r}$ as the homogeneous space $U_n/(U_r \times U_{n-r})$, we have a unique representation of $U_n/(U_r \times U_{n-r})$ on $\Lambda^{\bullet}$ for which the associated homogeneous vector bundle is the direct sum $\bigoplus_{k \in \mathbb{N}} \Omega^k$.

(i) Just as for any homogeneous space, every de Rham cohomology class of $Gr_{n,r}$ has a $G$-invariant representative. Moreover, every $G$-invariant element must be harmonic, and so, gives by Hodge decomposition a cohomology class. Is it correct to conclude from this that That the cohomology group $H^\bullet$ is isomorphic as a vector space to the space of $U(r) \times U(n-r)$ invariant elements in $\Lambda^\bullet$?

(ii) With respect to a standard weight basis of $T^*(Gr_{n,r})$, what do the $U(r) \times U(n-r)$ invariant elements look like, and how does this present of Schubert calculus relate to the partition presentation given in this question?

Schubert calculus expressed in terms of the cotangent space of the Grassmannians

Let $T^*_{\mathbb{C}}(Gr_{n,r})$ denote the cotangent space of the Grassmannian of $r$-planes in $\mathbb{C}^n$. Moreover, let $\Lambda^\bullet$ denote the exterior algebra of $T^*_{\mathbb{C}}(Gr_{n,r})$. Condsidering $Gr_{n,r}$ as the homogeneous space $U_n/(U_r \times U_{n-r})$, we have a unique representation of $U_n/(U_r \times U_{n-r})$ on $\Lambda^{\bullet}$ for which the associated homogeneous vector bundle is the direct sum $\bigoplus_{k \in \mathbb{N}} \Omega^k$.

(i) Just as for any homogeneous space, every de Rham cohomology class of $Gr_{n,r}$ has a $G$-invariant representative. Moreover, every $G$-invariant element must be harmonic, and so, gives by Hodge decomposition a cohomology class. Is it correct to conclude from this that the cohomology group $H^\bullet$ is isomorphic as a vector space to the space of $U(r) \times U(n-r)$-invariant elements in $\Lambda^\bullet$?

(ii) With respect to a standard weight basis of $T^*(Gr_{n,r})$, what do the $U(r) \times U(n-r)$-invariant elements look like, and how does this presentation of Schubert calculus relate to the partition presentation given in this question?

Source Link
Han Jin Ma
Han Jin Ma
  • 443
  • 2
  • 10

Schubert calculus cxpressed in terms of the cotangent space of the Grassmannians

Let $T^*_{\mathbb{C}}(Gr_{n,r})$ denote the cotangent space of the Grassmannian of $r$-planes in $\mathbb{C}^n$. Moreover, let $\Lambda^\bullet$ denote the exterior algebra of $T^*_{\mathbb{C}}(Gr_{n,r})$. Condsidering $Gr_{n,r}$ as the homogeneous space $U_n/(U_r \times U_{n-r})$, we have a unique representation of $U_n/(U_r \times U_{n-r})$ on $\Lambda^{\bullet}$ for which the associated homogeneous vector bundle is the direct sum $\bigoplus_{k \in \mathbb{N}} \Omega^k$.

(i) Just as for any homogeneous space, every de Rham cohomology class of $Gr_{n,r}$ has a $G$-invariant representative. Moreover, every $G$-invariant element must be harmonic, and so, gives by Hodge decomposition a cohomology class. Is it correct to conclude from this that That the cohomology group $H^\bullet$ is isomorphic as a vector space to the space of $U(r) \times U(n-r)$ invariant elements in $\Lambda^\bullet$?

(ii) With respect to a standard weight basis of $T^*(Gr_{n,r})$, what do the $U(r) \times U(n-r)$ invariant elements look like, and how does this present of Schubert calculus relate to the partition presentation given in this question?