Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
We study the structure of mod 2 cohomology rings of oriented Grassmannians $$\widetilde{{\text {Gr}}}_k(n)$$ Gr ~ k ( n ) of oriented k-planes in $${\mathbb {R}}^n$$ R n . Our main focus is on the structure of the cohomology ring $$\textrm{H}^*(\widetilde{{\text {Gr}}}_k(n);{\mathbb {F}}_2)$$ H ∗ ( Gr ~ k ( n ) ; F 2 ) as a module over the characteristic subring C, which is the subring generated by the Stiefel–Whitney classes $$w_2,\ldots ,w_k$$ w 2 , … , w k . We identify this module structure using Koszul complexes, which involves the syzygies between the relations defining C. We give an infinite family of such syzygies, which results in a new upper bound on the characteristic rank of $$\widetilde{{\text {Gr}}}_k(2^t)$$ Gr ~ k ( 2 t ) , $$k<2^t$$ k < 2 t , and formulate a conjecture on the exact value of the characteristic rank of $$\widetilde{{\text {Gr}}}_k(n)$$ Gr ~ k ( n ) . For the case $$k=3$$ k = 3 , we use the Koszul complex to compute a presentation of the cohomology ring $$H=\textrm{H}^*(\widetilde{{\text {Gr}}}_3(n);{\mathbb {F}}_2)$$ H = H ∗ ( Gr ~ 3 ( n ) ; F 2 ) for $$2^{t-1}<n\le 2^t-4$$ 2 t - 1 < n ≤ 2 t - 4 for $$t\ge 4$$ t ≥ 4 , complementing existing descriptions in the cases $$n=2^t-i$$ n = 2 t - i , $$i=0,1,2,3$$ i = 0 , 1 , 2 , 3 for $$t\ge 3$$ t ≥ 3 . More precisely, as a C-module, H splits as a direct sum of the characteristic subring C and the anomalous module H/C, and we compute a complete presentation of H/C as a C-module from the Koszul complex. We also discuss various issues that arise for the cases $$k>3$$ k > 3 , supported by computer calculation.
We study the structure of mod 2 cohomology rings of oriented Grassmannians $$\widetilde{{\text {Gr}}}_k(n)$$ Gr ~ k ( n ) of oriented k-planes in $${\mathbb {R}}^n$$ R n . Our main focus is on the structure of the cohomology ring $$\textrm{H}^*(\widetilde{{\text {Gr}}}_k(n);{\mathbb {F}}_2)$$ H ∗ ( Gr ~ k ( n ) ; F 2 ) as a module over the characteristic subring C, which is the subring generated by the Stiefel–Whitney classes $$w_2,\ldots ,w_k$$ w 2 , … , w k . We identify this module structure using Koszul complexes, which involves the syzygies between the relations defining C. We give an infinite family of such syzygies, which results in a new upper bound on the characteristic rank of $$\widetilde{{\text {Gr}}}_k(2^t)$$ Gr ~ k ( 2 t ) , $$k<2^t$$ k < 2 t , and formulate a conjecture on the exact value of the characteristic rank of $$\widetilde{{\text {Gr}}}_k(n)$$ Gr ~ k ( n ) . For the case $$k=3$$ k = 3 , we use the Koszul complex to compute a presentation of the cohomology ring $$H=\textrm{H}^*(\widetilde{{\text {Gr}}}_3(n);{\mathbb {F}}_2)$$ H = H ∗ ( Gr ~ 3 ( n ) ; F 2 ) for $$2^{t-1}<n\le 2^t-4$$ 2 t - 1 < n ≤ 2 t - 4 for $$t\ge 4$$ t ≥ 4 , complementing existing descriptions in the cases $$n=2^t-i$$ n = 2 t - i , $$i=0,1,2,3$$ i = 0 , 1 , 2 , 3 for $$t\ge 3$$ t ≥ 3 . More precisely, as a C-module, H splits as a direct sum of the characteristic subring C and the anomalous module H/C, and we compute a complete presentation of H/C as a C-module from the Koszul complex. We also discuss various issues that arise for the cases $$k>3$$ k > 3 , supported by computer calculation.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.