Intersection theory: small edits to changes from #5899#5911
Intersection theory: small edits to changes from #5899#5911wdecker merged 7 commits intooscar-system:masterfrom
Conversation
Also, now the same thing as with flag_bundle is being tested
thofma
added
the
release notes: not needed
| comes equipped with a sequence of tautological subbundles $0 = \mathcal{S}_0, \mathcal{S}_1 \subset \dots \subset | ||
| \mathcal{S}_k\subset \mathcal{S}_{k+1} = \pi^\ast(E)$ of ranks $0 = d_0, d_1, \dots, d_k, d_{k+1} = n$ together with the | ||
| subquotient bundles $\mathcal{SQ}_j = \mathcal{S}_j/\mathcal{S}_{j-1}$. To present the Chow ring of $\mathrm{F}(d_1, \dots, d_{k}; E)$ |
There was a problem hiding this comment.
@pbelmans What is our rule here: The vector bundles SQ_j are in \mathcal, whereas E and many other vector bundles in the docu are not. See, for example, the docstring of abstract_grassmannian.
| $\mathrm{N}^\ast(\mathrm{F}(d_1, \dots, d_{k}; E))_{\mathbb Q}\cong \mathrm{N}^\ast(X)_{\mathbb Q}[c_{ij} \mid 1\leq j \leq k+1, 1 \leq i \leq d_j-d_{j-1}]/(\mathrm{relations}).$ | ||
|
|
||
| Here, the $c_{ij}$ are in degree $j$, and we mod out the homogeneous relations arising from the relation | ||
| Here, the $c_{ij}$ are in degree $i$, and we mod out the homogeneous relations arising from the relation |
There was a problem hiding this comment.
@pbelmans Thx for catching this, but there is more to do! I apologize for being unconcentrated here and similarly in the docstring of abstract_flag_variety. We are quoting 3 papers: GSS22, HK-MW24, and Grothendiecks's original paper Gro58. in the docstrings, I followed Grothendieck's notation, whereas what is implemented follows the notation in the first two papers: the roles ofiand j are interchanged. I will double check and correct this as soon as the current PR is merged.
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## master #5911 +/- ##
==========================================
- Coverage 84.02% 84.00% -0.03%
==========================================
Files 779 779
Lines 106389 106971 +582
==========================================
+ Hits 89393 89858 +465
- Misses 16996 17113 +117
🚀 New features to boost your workflow:
|
3 participants
These are minor edits to documentation improvements from #5899.