Timeline for Has anybody seen my missing lemma?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 19, 2013 at 16:21 | comment | added | Charles Staats | That is an excellent suggestion. Unfortunately, unless the splitting $V \cong \bigoplus_d F^d/F^{d+1}$ is chosen carefully, it is not true that the G^i_d encode the flag $G^*$. For instance, if $F^0 \supset F^1 \supset F^2$ and $G^0 \supset G^1 \supset G^2$ are complete flags of $\Bbbk^2$ satisfying $G^1 \cap F^1 = 0$, then the $G^i_d$ do not encode $G^*$ unless the splitting $F^1 \oplus F^0/F^1 \cong V$ is chosen such that the image of $F^0 / F^1$ is precisely $G^1$. | |
| Aug 18, 2013 at 18:17 | history | answered | Peter Michor | CC BY-SA 3.0 |