<p>Interested in the dimension of the face lattices of <i>d</i>-dimensional grids, we are led to the study of fences and their products. This yields a characterization of generalized fences: <i>F</i> is a generalized fence if and only if <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9710_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="190" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim (P\times F) \leqslant \dim (P) +1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo>×</mo> <mi>F</mi> <mo stretchy="false">)</mo> <mo>⩽</mo> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> for every poset <i>P</i>. Whether <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9710_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="264" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim (P \times Q) \geqslant \dim (P) + \dim (Q) -2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo>×</mo> <mi>Q</mi> <mo stretchy="false">)</mo> <mo>⩾</mo> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>Q</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> for all posets <i>P</i> and <i>Q</i> is a long-standing question in dimension theory. Having understood products where one factor is a fence we further investigate the dimension of products where the factors are crowns and other 3-dimensional posets. We reconsider the <i>covering property</i> defined by Reuter for Ferrers relations and show that in many cases the gap between <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9710_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim (P \times Q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo>×</mo> <mi>Q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9710_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="125" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim (P) + \dim (Q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>Q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> can be explained in terms of the covering properties of one of the factors.</p>

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

Order Dimension, Grids, and Products

  • Stefan Felsner,
  • Torsten Mütze,
  • Maximilian Wittmann

摘要

Interested in the dimension of the face lattices of d-dimensional grids, we are led to the study of fences and their products. This yields a characterization of generalized fences: F is a generalized fence if and only if \(\dim (P\times F) \leqslant \dim (P) +1\) dim ( P × F ) dim ( P ) + 1 for every poset P. Whether \(\dim (P \times Q) \geqslant \dim (P) + \dim (Q) -2\) dim ( P × Q ) dim ( P ) + dim ( Q ) - 2 for all posets P and Q is a long-standing question in dimension theory. Having understood products where one factor is a fence we further investigate the dimension of products where the factors are crowns and other 3-dimensional posets. We reconsider the covering property defined by Reuter for Ferrers relations and show that in many cases the gap between \(\dim (P \times Q)\) dim ( P × Q ) and \(\dim (P) + \dim (Q)\) dim ( P ) + dim ( Q ) can be explained in terms of the covering properties of one of the factors.