<p>For the Grassmann manifold <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2024_1502_Article_IEq1.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widetilde G_{n,4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi>G</mi> <mo stretchy="true">~</mo> </mover> <mrow> <mi>n</mi> <mo>,</mo> <mn>4</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> of oriented 4-planes in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2024_1502_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{R}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> nofull description of its cohomology ring with coefficients in the two element field <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2024_1502_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>is available. It is known however that it contains a subring that can be identifiedwith a quotient of a polynomial ring by a certain ideal. Examining this quotientring by means of Gröbner bases we are able to determine the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2024_1502_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-cup-length of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2024_1502_Article_IEq7.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widetilde G_{n,4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi>G</mi> <mo stretchy="true">~</mo> </mover> <mrow> <mi>n</mi> <mo>,</mo> <mn>4</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2024_1502_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="145" /> </InlineMediaObject> <EquationSource Format="TEX">\(n=2^t,2^t-1,2^t-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <msup> <mn>2</mn> <mi>t</mi> </msup> <mo>,</mo> <msup> <mn>2</mn> <mi>t</mi> </msup> <mo>-</mo> <mn>1</mn> <mo>,</mo> <msup> <mn>2</mn> <mi>t</mi> </msup> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>for all <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2024_1502_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(t \geq 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the cup-length of the oriented Grassmann manifolds \(\widetilde G_{n,4}\)

  • T. Rusin

摘要

For the Grassmann manifold \(\widetilde G_{n,4}\) G ~ n , 4 of oriented 4-planes in \(\mathbb{R}^{n}\) R n nofull description of its cohomology ring with coefficients in the two element field \(\mathbb {Z}_{2}\) Z 2 is available. It is known however that it contains a subring that can be identifiedwith a quotient of a polynomial ring by a certain ideal. Examining this quotientring by means of Gröbner bases we are able to determine the \(\mathbb {Z}_{2}\) Z 2 -cup-length of \(\widetilde G_{n,4}\) G ~ n , 4 for \(n=2^t,2^t-1,2^t-2\) n = 2 t , 2 t - 1 , 2 t - 2 for all \(t \geq 4\) t 4 .