<p>We prove that any convex geometry <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {A} =(U,\mathcal {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>U</mi> <mo>,</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> on <i>n</i> points and any ideal <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {I} =(U',\mathcal {C} ')\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">I</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msup> <mi>U</mi> <mo>′</mo> </msup> <mo>,</mo> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {A} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> can be realized as the intersection pattern of an open convex polyhedral cone <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(K\subseteq {{\mathbb {R}}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with the orthants of <InlineEquation ID="IEq5"> <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>. Furthermore, we show that <i>K</i> can be chosen to have at most <i>m</i> facets, where <i>m</i> is the number of critical rooted circuits of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {A} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>. We also show that any convex geometry of convex dimension <i>d</i> is realizable in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({{\mathbb {R}}}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> and that any multisimplicial complex (a basic example of an ideal of a convex geometry) of dimension <i>d</i> is realizable in <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({{\mathbb {R}}}^{2d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>d</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> and that this is best possible. From our results it also follows that distributive lattices of dimension <i>d</i> are realizable in <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({{\mathbb {R}}}^{d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> and that median systems are realizable. We leave open whether each median system of dimension <i>d</i> is realizable in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({{\mathbb {R}}}^{O(d)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation>.</p>

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

Geometry of Convex Geometries

  • Jérémie Chalopin,
  • Victor Chepoi,
  • Kolja Knauer

摘要

We prove that any convex geometry \(\mathcal {A} =(U,\mathcal {C})\) A = ( U , C ) on n points and any ideal \(\mathcal {I} =(U',\mathcal {C} ')\) I = ( U , C ) of \(\mathcal {A} \) A can be realized as the intersection pattern of an open convex polyhedral cone \(K\subseteq {{\mathbb {R}}}^n\) K R n with the orthants of \({{\mathbb {R}}}^n\) R n . Furthermore, we show that K can be chosen to have at most m facets, where m is the number of critical rooted circuits of \(\mathcal {A} \) A . We also show that any convex geometry of convex dimension d is realizable in \({{\mathbb {R}}}^d\) R d and that any multisimplicial complex (a basic example of an ideal of a convex geometry) of dimension d is realizable in \({{\mathbb {R}}}^{2d}\) R 2 d and that this is best possible. From our results it also follows that distributive lattices of dimension d are realizable in \({{\mathbb {R}}}^{d}\) R d and that median systems are realizable. We leave open whether each median system of dimension d is realizable in \({{\mathbb {R}}}^{O(d)}\) R O ( d ) .