Intersection Bodies of Polytopes: Translations and Convexity

TL;DR

This paper investigates how intersection bodies of polytopes change under translations, providing polynomial descriptions and characterizations of convexity in two dimensions, with partial results in higher dimensions.

Contribution

It introduces an affine hyperplane arrangement framework and characterizes convexity of intersection bodies of polygons, advancing understanding of geometric transformations.

Findings

Polynomials describing $I(P+t)$ extend within each region of the hyperplane arrangement.

Full characterization of polygons with convex intersection bodies in 2D.

Partial characterization results for higher dimensions.

Abstract

We continue the study of intersection bodies of polytopes, focusing on the behavior of $IP$ under translations of $P$. We introduce an affine hyperplane arrangement and show that the polynomials describing the boundary of $I(P+t)$ can be extended to polynomials in variables $t\in \mathbb{R}^d$ within each region of the arrangement. In dimension $2$, we give a full characterization of those polygons such that their intersection body is convex. We give a partial characterization for general dimensions.

Equations

$$IP=\left\{x\in {\mathbb{R}}^d|{\rho }_{IP}(x)\ge 1\right\},$$

$${\rho }_{IP}(x)=\frac{1}{\Vert x\Vert }{\mathrm{vol}}_{d-1}(P\cap x^{\perp }).$$

$$\mathcal{H}(P)=\bigcup _{\begin{array}{c}v\ne 0\text{ is a }\\ \text{vertex of }P\end{array}}{v}^{\perp }.$$

$${\rho }_{IP}{|}_C=\frac{p_C}{\Vert x{\Vert }^2{q}_C},$$

$$M_{\Delta }(x)=\left[\begin{array}{c}\frac{⟨b_{i_1},x⟩a_{i_1}-⟨a_{i_1},x⟩b_{i_1}}{⟨b_{i_1}-a_{i_1},x⟩}\\ ⋮\\ \frac{⟨b_{i_{d-1}},x⟩a_{i_{d-1}}-⟨a_{i_{d-1}},x⟩b_{i_{d-1}}}{⟨b_{i_{d-1}}-a_{i_{d-1}},x⟩}\\ x\end{array}\right],$$

$${\rho }_{IP}(x)={\mathrm{vol}}_{d-1}(Q)=\frac{1}{\Vert x{\Vert }^2(d-1)!}\sum _{\Delta \in \mathcal{T}}\mathrm{sgn}(\Delta )\det (M_{\Delta }(x)).$$

$$H_v^{+}=\left\{x\in {\mathbb{R}}^d\mid ⟨x,v⟩>0\right\}\text{ and }{H}_v^{-}=\left\{x\in {\mathbb{R}}^d\mid ⟨x,v⟩<0\right\}.$$

$$s(C{)}_w$$

$$v_1=\left(\begin{array}{c}0\\ 1\end{array}\right),v_2=\left(\begin{array}{c}-1\\ -1\end{array}\right),v_3=\left(\begin{array}{c}1\\ -1\end{array}\right).$$

$$\mathcal{E}$$

$${\mathcal{E}}_t$$

$$\mathcal{L}(P)=\{\mathrm{aff}(-v_1,\dots ,-v_d)\mid v_1,\dots ,v_d\text{ are affinely independent vertices of }P\},$$

$$M_{\Delta }(x,t)=\left[\begin{array}{c}\frac{⟨b_1+t,x⟩(a_1+t)-⟨a_1+t,x⟩(b_1+t)}{⟨b_1-a_1,x⟩}\\ ⋮\\ \frac{⟨b_{d-1}+t,x⟩(a_{d-1}+t)-⟨a_{d-1}+t,x⟩(b_{d-1}+t)}{⟨b_{d-1}-a_{d-1},x⟩}\\ x\end{array}\right]=M_{\Delta }(x,0)+\left[\begin{array}{c}\frac{⟨t,x⟩(a_1-b_1)}{⟨b_1-a_1,x⟩}+t\\ ⋮\\ \frac{⟨t,x⟩(a_{d-1}-b_{d-1})}{⟨b_{d-1}-a_{d-1},x⟩}+t\\ 0\end{array}\right].$$

$$\mathrm{vol}(Q)=\frac{1}{\Vert x\Vert (d-1)!}\sum _{\Delta \in \mathcal{T}}\mathrm{sgn}(\Delta )\det (M_{\Delta }(x,t)),$$

$$\lambda =\frac{⟨b_1,x⟩}{⟨b_1-a_1,x⟩},\mu =\frac{⟨b_2,x⟩}{⟨b_2-a_2,x⟩}.$$

$${\rho }_{IP}{|}_C(x)=\frac{1}{\Vert x{\Vert }^2}\left|\det \left[\begin{array}{c}{v}_1(x)-v_2(x)\\ x\end{array}\right]\right|.$$

$$v_1(x)-v_2(x)=\frac{\left(⟨b_2-a_2,x⟩\left(⟨b_1,x⟩a_1-⟨a_1,x⟩b_1\right)-⟨b_1-a_1,x⟩\left(⟨b_2,x⟩a_2-⟨a_2,x⟩b_2\right)\right)}{⟨b_1-a_1,x⟩⟨b_2-a_2,x⟩}.$$

$$\begin{multlined}\frac{1}{\|x\|^{2}}\det\begin{bmatrix}\langle b_{2}-a_{2},x\rangle\left(\langle b_{1},x\rangle a_{1}-\langle a_{1},x\rangle b_{1}\right)-\langle b_{1}-a_{1},x\rangle\left(\langle b_{2},x\rangle a_{2}-\langle a_{2},x\rangle b_{2}\right)\\ x\end{bmatrix}\\ \qquad=\;\langle b_{1}-a_{1},x\rangle\langle b_{2}-a_{2},x\rangle,\end{multlined}\frac{1}{\|x\|^{2}}\det\begin{bmatrix}\langle b_{2}-a_{2},x\rangle\left(\langle b_{1},x\rangle a_{1}-\langle a_{1},x\rangle b_{1}\right)-\langle b_{1}-a_{1},x\rangle\left(\langle b_{2},x\rangle a_{2}-\langle a_{2},x\rangle b_{2}\right)\\ x\end{bmatrix}\\ \qquad=\;\langle b_{1}-a_{1},x\rangle\langle b_{2}-a_{2},x\rangle,$$

$$u_a^{\perp }\cap {\ell }_1=a=\left(\begin{array}{c}{a}_1\\ a_2\end{array}\right),$$

$$u_a^{\perp }\cap {\ell }_2=-\alpha a,$$

$$\Vert u_a^{\perp }\cap P\Vert =\Vert a-(-\alpha a)\Vert =(1+\alpha )\Vert a\Vert ,$$

$$\Vert u_b^{\perp }\cap P\Vert =\Vert b-(-\beta b)\Vert =(1+\beta )\Vert b\Vert .$$

$$p_a$$

$$p_b$$

$$p_{a+b}={\rho }_{IP}(u_{a+b})u_{a+b}=\left(\frac{1}{2}+\frac{\alpha \beta }{\alpha +\beta }\right)\Vert a+b\Vert u_{a+b}=\left(\frac{1}{2}+\frac{\alpha \beta }{\alpha +\beta }\right)\left(\begin{array}{c}{a}_2+b_2\\ -a_1-b_1\end{array}\right).$$

$$q=\frac{(1+\alpha )(1+\beta )}{2+\alpha +\beta }(a_2+b_2,-a_1-b_1),$$

$$\Vert q\Vert -\Vert p_{a+b}\Vert$$

$$=\frac{(\alpha -\beta {)}^2}{2(2+\alpha +\beta )(\alpha +\beta )}\Vert a+b\Vert .$$

$$\frac{1}{2}I(P\cup -P)=P\cup -P.$$

$$IK\cap H=(b-a)IL.$$

$$K\cap u^{\perp }=(L\times [a,b])\cap ({\tilde{u}}^{\perp }\times \mathbb{R})=(L\cap {\tilde{u}}^{\perp })\times [a,b].$$

$$\rho_{IK}(u)=\operatorname{vol}_{d-1}(K\cap u^{\perp})=\operatorname{vol}_{d-1}\big{(}(L\cap\widetilde{u}^{\perp})\times[a,b]\big{)}=(b-a)\cdot\rho_{IL}(\widetilde{u})$$

Full text

00footnotetext: MSC classes: 52A30, 52C35, 52A38, 52B11, 14P10

1 Introduction

In the field of convex geometry, intersection bodies have been widely studied from an analytical viewpoint, and mainly in the context of volume inequalities. Originally introduced by Lutwak [Lut88], they have played a significant role in solving the Busemann-Petty problem, which asks to compare the volume of two convex bodies based on the volumes of their linear sections [Gar94, Gar94a, Kol98, GKS99, Zha99]. Unlike its more famous counterparts, the projection body, the intersection body $IK$ of a star body $K$ is not invariant under affine translation. Furthermore, an intersection body can be both convex and non-convex. Convexity is certified Busemann’s theorem [Bus49], which states that $IK$ is convex if $K$ is a convex body centered at the origin (i.e., $K$ is centrally symmetric, where the center of symmetry is the origin), and this statement has been generalized to $L_{p}$-intersection bodies [Ber09]. On the other hand, given a convex body $K\subseteq\mathbb{R}^{d}$, there always exists some $t\in\mathbb{R}^{d}$ such that $I(K+t)$ is not convex [Gar06, Thm. 8.1.8].

The occurrence of non-convex intersection bodies has motivated considerations of various measures for capturing the magnitude of their non-convexity, leading to the study of $p$-convexity of intersection bodies both over the complex numbers and over the reals [KYZ11, HHW12]. Another direction of research concerns an adaptation of the construction of intersection bodies in order to get convexity, which resolves in convex intersection bodies [MR11, Ste16]. A different relative of intersection bodies is the cross-section body [Mar92, Mar94]; however, this starshaped set turned out to be non-convex as well, in the general case [Bre99]. Summarizing, many of the positive results towards convexity in all these works concern intersection bodies of centrally symmetric star bodies. In contrast, we focus on affine translates, and consider objects which are not necessarily centrally symmetric.

The goal of this article is to investigate the behavior of intersection bodies of polytopes under translations, and to determine under which translations the intersection body is convex. In our previous work [BBMS22] we exhibit rich semialgebraic structures of intersection bodies of polytopes. However, in general, the intersection body $IP$ of a polytope $P$ is not a basic semialgebraic set, and there exists a central hyperplane arrangement which describes the regions in which the topological boundary of $IP$ is defined by a fixed polynomial. Taking advantage of these combinatorial and semialgebraic structures opens up new possibilities to study the question of convexity in the present work. In particular, exploiting this semialgebraicity, we are able to characterize convexity by using elementary geometric arguments.

In this article we introduce an affine hyperplane arrangement associated to a fixed polytope $P$. We prove that for translation vectors $t\in\mathbb{R}^{d}$ within a region of this arrangement the polynomials defining the boundary of $I(P+t)$ can be extended to polynomials in $t_{1},\dots,t_{d}$ (Theorem 3.5). In dimension $2$, we give a full characterization of those polygons with a convex intersection body. We give a partial characterization for general dimension.

Results**.**

Let $P$ be a full-dimensional polytope in $\mathbb{R}^{d}$.

1. (i)

If $d=2$ then $IP$ is convex if and only if $P=-P$. 2. (ii)

If $P\subset\mathbb{R}^{d}$ is a parallelepiped, then $IP$ is convex if and only if $P=-P$. 3. (iii)

If $IP$ is strictly convex then $I(P+t)$ is strictly convex, for small translation vectors $t$.

A full classification of the $2$-dimensional case is given in Theorem 4.4, and the remaining statements can be found in Proposition 5.4 and Remark 5.5. An example of a strictly convex intersection body is given in Example 5.6.

Overview. The article is structured as follows. In Section 2 we review the main concepts and notation from [BBMS22]. In Section 3 we introduce an affine hyperplane arrangement and describe how it governs the behavior of $IP$ under translation of $P$. We then turn to the characterization of convexity, where Section 4 concerns the $2$-dimensional case, and Section 5 the case of general dimensions.

Acknowledgements. We are thankful to Christoph Hunkenschröder for posing a question during a seminar discussion which inspired this work. We thank Andreas Bernig and Jesús De Loera for inspiring conversations about intersection bodies and convexity. We thank Isabelle Shankar for helpful feedback that helped us improve our manuscript. We are thankful to the organizers of the conference “Geometry meets Combinatorics in Bielefeld”, where most of our ideas fell into place. Marie-Charlotte Brandenburg was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – SPP 2298.

2 Preliminaries

We will rely on methods and results which were developed in [BBMS22]. In this section we review the most important concepts and results we are going to make use of.

Let $P\subseteq\mathbb{R}^{d}$ be a convex polytope. The intersection body $IP$ of $P$ is the starshaped set

[TABLE]

where the radial function $\rho_{IP}:\mathbb{R}^{d}\to\mathbb{R}$ of $IP$ is

[TABLE]

Here, $\operatorname{vol}_{d-1}$ denotes the $(d-1)$-dimensional Euclidean volume, and $x^{\perp}\subseteq\mathbb{R}^{d}$ denotes the linear hyperplane which is orthogonal to $x\in\mathbb{R}^{d}$, namely the set $x^{\perp}=\{y\in\mathbb{R}^{d}\,|\,\langle x,y\rangle=0\}$. To obtain meaningful results, we may thus assume that $P\subseteq\mathbb{R}^{d}$ is a $d$-dimensional polytope throughout this article. The topological boundary of the intersection body $IP$ is defined by the equation $\partial IP=\{x\in\mathbb{R}^{d}\mid\rho_{IP}(x)=1\}$. Since the radial function satisfies $\rho_{IP}(\lambda x)=\frac{1}{\lambda}\rho_{IP}(x)$ for every $\lambda>0$, it is completely determined by its restriction to the unit sphere.

The intersection body $IP$ of a polytope is governed by the central hyperplane arrangement

[TABLE]

We denote the set of vertices of $P$ by $\operatorname{vert}(P)$, and the origin is denoted by $\mathbf{0}\in\mathbb{R}^{d}$. An open chamber $C$ of $\mathcal{H}(P)$ is a connected component of $\mathbb{R}^{d}\setminus\mathcal{H}(P)$. Given such a chamber $C$, all hyperplanes $x^{\perp}$ for $x\in C$ intersect $P$ in the interiors of a fixed set of edges. The radial function restricted to such a chamber is a quotient of polynomials

[TABLE]

where $p_{C}$ is divisible by $\|x\|^{2}$. Therefore, the topological boundary $\partial IP\cap C$ is the zero-set of the (irreducible) polynomial $\frac{p_{C}}{\|x\|^{2}}-q_{C}$. We repeat a key argument in the proof of (1). Let $x\in C$ and $Q=P\cap x^{\perp}$. The value $\rho_{IP}(x)$ is by definition the volume of $Q$. This computation is done by considering a triangulation $\mathcal{T}$ of the boundary of $Q$. We extend this to a covering of $\text{conv}(Q,\mathbf{0})$ by considering the set $\text{conv}(\Delta,\mathbf{0})$ for every simplex $\Delta\in\mathcal{T}$ such that $\mathbf{0}\not\in\Delta$. Note that if $\mathbf{0}\in P$, then this induces a central triangulation of $Q$. Denoting $v_{1},\dots,v_{d}$ the vertices of a simplex $\Delta\in\mathcal{T}$, the volume of $\text{conv}(\Delta,\mathbf{0})=\text{conv}(v_{1},\dots,v_{d},\mathbf{0})$ is, up to a constant scaling factor, given by the determinant of the matrix

[TABLE]

where the vertices $v_{i}$ arise as intersection of $x^{\perp}$ with edges of $P$, i.e., $v_{i}=\text{conv}(a_{i},b_{i})\cap x^{\perp}$ for $a_{i},b_{i}\in\operatorname{vert}(P)$. Assigning $\operatorname{sgn}(\Delta)\in\{-1,1\}$ to each simplex, this gives

[TABLE]

3 Translations and Affine Hyperplane Arrangements

Let $P\subseteq\mathbb{R}^{d}$ be a polytope. In this section we consider how the intersection body of $P+t$ transforms under variation of $t\in\mathbb{R}^{d}$. Recall from Section 2 that the combinatorial structure of the boundary of $I(P+t)$ is described by the central hyperplane arrangement $\mathcal{H}(P+t)$. We thus begin by studying the behavior of this hyperplane arrangement under translation of $P$. For this, we introduce a new affine hyperplane arrangement $\mathscr{L}(P)$, which captures the essence of $\mathcal{H}(P+t)$ under variation of $t$. We show that within a region $R$ of $\mathscr{L}(P)$ the polynomials describing the boundary of $I(P+t)$, for $t\in R$, can be extended to polynomials in the variables $t_{1},\dots,t_{d}$.

Let $P\subseteq\mathbb{R}^{d}$ be a polytope and let $\operatorname{vert}(P)$ be the set of its vertices. Denote by $H_{v}=v^{\perp}\subseteq\mathbb{R}^{d}$ the hyperplane though the origin that is orthogonal to a vertex $v\in\operatorname{vert}(P)$. As described in the previous section, the collection of all such hyperplanes forms a central hyperplane arrangement $\mathcal{H}(P)$ in $\mathbb{R}^{d}$. For each such hyperplane we define its positive and negative side as

[TABLE]

We now choose a translation vector $t\in\mathbb{R}^{d}$ and consider the vertices $\left\{v+t\ \middle|\ v\in\operatorname{vert}(P)\right\}$ of the translated polytope $P+t$. The hyperplane arrangement $\mathcal{H}(P+t)$ is given by the hyperplanes $(v+t)^{\perp}$, where $v$ ranges over the vertices of $P$. The hyperplane $H_{v+t}$ can be obtained from $H_{v}$ by a rotation $r_{v,t}:\mathbb{R}^{d}\to\mathbb{R}^{d}$ such that $r_{v,t}\left(\tfrac{v}{||v||}\right)=\tfrac{v+t}{||v+t||}$, and thus $r_{v,t}(H_{v})=H_{v+t}$, $r_{v,t}(H^{+}_{v})=H^{+}_{v+t}$ and $r_{v,t}(H^{-}_{v})=H^{-}_{v+t}$.

We label each maximal chamber $C$ of $\mathcal{H}(P+t)$ with a sign vector $s(C)\in\{+,-\}^{\operatorname{vert}(P+t)}$ indexed by the vertices $w=v+t$ of $P+t$, where

[TABLE]

The set $\left\{s(C)\mid C\hbox{ maximal chamber of }\mathcal{H}(P+t)\right\}$ describes the chirotope or signed cocircuits of the underlying oriented matroid of the hyperplane arrangement [GOT18, Chapter 6.2.3].

Example 3.1**.**

Let $P=\text{conv}\left(v_{1},v_{2},v_{3}\right)$ be the triangle with vertices

[TABLE]

Figure 1 shows the hyperplane arrangements $\mathcal{H}(P+t)$ for $t_{0}=\mathbf{0}$, $t_{1}=(0,2)$, and $t_{2}=(0,-2)$. Note that the underlying oriented matroids of $\mathcal{H}(P+t)$ for $t=t_{1}$ and $t=t_{2}$ are the same. We continue with this in Example 3.3.

We begin by showing that the signed cocircuit $s(C)$ of a chamber $C$ fully determines the set of edges of $P$ which are intersected by $x^{\perp}$ for any $x\in C$.

Lemma 3.2**.**

Let $P\subseteq\mathbb{R}^{d}$ be a polytope and let $t\in\mathbb{R}^{d}$. Let $C$ be a maximal open chamber of $\mathcal{H}(P)$, and $C_{t}$ be a maximal open chamber of $\mathcal{H}(P+t)$ such that $s(C)=s(C_{t})$, i.e., their signed cocircuits agree. Given $x\in C,\ x_{t}\in C_{t}$ consider

[TABLE]

Then $\mathcal{E}_{t}=\{e+t\mid e\in\mathcal{E}\}$.

Proof.

Let $e=\text{conv}\left(v_{1},v_{2}\right)\in\mathcal{E}$ be an edge of $P$. Since $x^{\perp}\cap e\neq\emptyset$, we have that $v_{1},v_{2}$ lie on different sides of $x^{\perp}$. Equivalently, we have $s(C)_{v_{1}}=-s(C)_{v_{2}}$, and without loss of generality $s(C)_{v_{1}}=+$. Thus, $x\in H^{+}_{v_{1}}\cap H^{-}_{v_{2}}$. Since $\mathcal{H}(P+t)$ is obtained from $\mathcal{H}(P)$ by rotating the hyperplanes individually, and $s(C)=s(C_{t})$, it follows that $x_{t}\in H^{+}_{v_{1}+t}\cap H^{-}_{v_{2}+t}$. Since $e+t$ is an edge of $P+t$ if and only if $e$ is an edge of $P$, the claim follows. ∎

We consider the affine hyperplane arrangement

[TABLE]

where $\operatorname{aff}(-v_{1},\dots,-v_{d})$ denotes the unique affine hyperplane containing the points $-v_{1},$ $\dots,$ $-v_{d}$. An open region $R$ of $\mathscr{L}(P)$ is a connected component of $\mathbb{R}^{d}\setminus\mathscr{L}(P)$. We emphasize that there are two hyperplane arrangements in $\mathbb{R}^{d}$ which which we consider simultaneously. We have the central hyperplane arrangement $\mathcal{H}(P+t)$, which depends on the choice of $t$, and subdivides $\mathbb{R}^{d}$ into open $d$-dimensional cones, which we call chambers of $\mathcal{H}(P+t)$. On the other hand, we have the affine hyperplane arrangement $\mathscr{L}(P)$, which subdivides $\mathbb{R}^{d}$ into open $d$-dimensional components, which we call regions of $\mathscr{L}(P)$. Note that $\mathscr{L}(P+t)=\mathscr{L}(P)-t$ by construction.

Example 3.3**.**

Let $P$ be the triangle from Example 3.1. The affine line arrangement $\mathscr{L}(P)$ is shown in Figure 2. Note that the translation vectors $t=t_{0},t_{1},t_{2}$ all lie in different regions of the arrangement, despite the fact that the signed cocircuits of $\mathcal{H}(P+t_{1})$ and $\mathcal{H}(P+t_{2})$ agree, as displayed in Figure 1.

In the following we show that $\mathscr{L}(P)$ captures the characteristics of $\mathcal{H}(P+t)$ under variation of $t$. More precisely, we show that within a region $R$ of $\mathscr{L}(P)$ the polynomials describing the boundary of $I(P+t)$, for $t\in R$, can be extended to polynomials in $t_{1},\dots,t_{d}$.

Proposition 3.4**.**

Let $P\subseteq\mathbb{R}^{d}$ be a polytope and $R$ be an open region of $\mathscr{L}(P)$. Then the set of signed cocircuits of $\mathcal{H}(P+t)$ is fixed for all $t\in R$.

Proof.

Let $v_{1},\dots,v_{d}$ be affinely independent vertices of $P$. By construction of $\mathscr{L}(P)$, $R$ does not intersect $\mathcal{A}=\operatorname{aff}(-v_{1},\dots,-v_{d})$, i.e., $R$ is strictly contained in one side of this hyperplane. Without loss of generality, we assume $R\subseteq\mathcal{A}^{+}$. The points $w_{k}=v_{k}+t$, for $k=1,\ldots,d$, are linearly independent vertices of $P+t$ for all $t\in\mathbb{R}^{d}\setminus\mathcal{A}$. Hence, the subarrangement of $\mathcal{H}(P+t)$ consisting of hyperplanes $w_{1}^{\perp},\dots,w_{d}^{\perp}$ is a simplicial arrangement which dissects $\mathbb{R}^{d}$ into $2^{d}$ open chambers, where each chamber is the image of an orthant of $\mathbb{R}^{d}$ under the linear map $f$ defined by $e_{i}\mapsto w_{i}$ for all $i=1,\ldots,d$. Note that the signed cocircuits are fixed for every $t\in\mathcal{A}^{+}$. We now consider $\mathcal{H}(P+t)$ as common refinement of all subarrangements formed by $d$ hyperplanes with linearly independent normals. The signed cocircuit of a chamber of $\mathcal{H}(P+t)$ is uniquely determined by the signed cocircuits of all subarrangements, and the cocircuits of the subarrangements are fixed for all $t\in R$. Thus, the cocircuits of $\mathcal{H}(P+t)$ are fixed for all $t\in R$. ∎

Theorem 3.5**.**

Let $R$ be an open region of $\mathscr{L}(P)$, $t\in R$, and let $C_{t}$ be an open chamber of $\mathcal{H}(P+t)$. Then the radial function $\rho_{I(P+t)}|_{C_{t}}$ of $I(P+t)$ restricted to the chamber $C_{t}$ and for $t\in R$ is a polynomial in the variables $t_{1},\ldots,t_{d}$ of degree at most $d-1$.

Proof.

By Proposition 3.4, for a fixed region $R$ the set of signed cocircuits of $\mathcal{H}(P+t)$ is fixed. Lemma 3.2 then implies that given a region $R$, $t\in R$, and a chamber $C_{t}$ of $\mathcal{H}(P+t)$, for any vector $x\in C_{t}$ the set of edges of $P+t$ which intersect $x^{\perp}$ is fixed. Let $Q=P\cap x^{\perp}$, for a certain $x\in C_{t}$, and let $\mathcal{T}$ be a triangulation of $\partial Q$, as explained in Section 2. Let $\Delta\in\mathcal{T}$ be a maximal simplex with vertices $v_{1},\dots,v_{d-1}$ such that $\mathbf{0}\not\in\Delta$ and, for each $i=1,\ldots,d-1$, let $a_{i},b_{i}\in\operatorname{vert}(P)$ such that $v_{i}=\text{conv}(a_{i}+t,b_{i}+t)\cap x^{\perp}$. The volume of the $d$-dimensional simplex $\text{conv}(\Delta,\mathbf{0})$ is, up to a multiplicative factor of $\frac{\pm 1}{\|x\|(d-1)!}$, the determinant of the matrix

[TABLE]

The determinant of this matrix is a polynomial in the variables $t_{1},\dots,t_{d}$ of degree at most $d-1$. Since the volume of $Q$ can be computed as

[TABLE]

the claim follows. ∎

Example 3.6**.**

Figure 3 shows the continuous deformation of the intersection body $I(P+t)$ of the unit square $P=[-1,1]^{2}$ under translation by $t\in\mathbb{R}^{2}$ within each bounded region of the affine line arrangement $\mathscr{L}(P)$.

4 Convexity in Dimension 2

For each fixed region $R$ of the affine line arrangement $\mathscr{L}(P)$, Theorem 3.5 implies that, as we move $t\in R$ continuously, the intersection body $I(P+t)$ deforms continuously as well. We now characterize under which circumstances the intersection body of a polygon is convex. Note that $IP$ cannot be convex if the origin lies outside of $P$ or is a vertex of $P$ (the argument for general dimensions will be given in Remark 5.1). We thus consider the distinct cases of when the origin lies in the interior of $P$, and when the origin lies in the interior of an edge. Figure 3 indicates that in the case of the square, the intersection body of $P+t$ is convex for precisely $5$ translation vectors: the center of symmetry, as well as the midpoints of the four edges. In Theorem 4.4 we show that the number of such translation vectors is always finite, and that parallelograms maximize this number.

The goal of this section is to give a characterization of polygons whose intersection bodies are convex. In the following Propositions 4.1 and 4.2 we consider polygons with the origin in the interior, and characterize the geometry of the boundary of $IP$. More precisely, we will see that the chambers in which $IP$ is convex correspond to pairs of parallel edges of $P$, and that the polynomials defining the boundary of $IP$ are linear in this case.

Proposition 4.1**.**

Let $P\subseteq\mathbb{R}^{2}$ be a polygon. Let $C$ be a chamber of $\mathcal{H}(P)$, and consider $x\in C$. We denote by $v_{1}(x),v_{2}(x)$ the points of intersection $x^{\perp}\cap\partial P=\left\{v_{1}(x),v_{2}(x)\right\}$. Let $\text{conv}\left(a_{1},b_{1}\right),\text{conv}\left(a_{2},b_{2}\right)$ be edges of $P$ such that $v_{1}(x)\in\text{conv}\left(a_{1},b_{1}\right)$ and $v_{2}(x)\in\text{conv}\left(a_{2},b_{2}\right)$. Then the polynomial defining $\partial IP$ in the chamber $C$ is linear if and only if the segments $\text{conv}\left(a_{1},b_{1}\right)$ and $\text{conv}\left(a_{2},b_{2}\right)$ are parallel.

Proof.

We want to prove that $\{x\in C\mid\ \rho_{IP}|_{C}(x)=1\}$ is a line segment if and only if the two edges $\text{conv}\left(a_{i},b_{i}\right)$ are parallel. Assume that $v_{1}(x)=\lambda a_{1}+(1-\lambda)b_{1}$ and $v_{2}(x)=\mu a_{2}+(1-\mu)b_{2}$ for some $\lambda,\mu\in(0,1)$. Since $v_{1}(x),v_{2}(x)\in x^{\perp}$, we have

[TABLE]

We compute the length of $\text{conv}(v_{1}(x),v_{2}(x))$, or equivalently of $\text{conv}(\mathbf{0},v_{1}(x)-v_{2}(x))$. We do this via the area of the triangle with vertices $\mathbf{0},v_{1}(x)-v_{2}(x)$ and $\tfrac{x}{\|x\|^{2}}$. Hence, the radial function can be computed by the determinantal expression

[TABLE]

We compute the radial function explicitly. First,

[TABLE]

The boundary $\partial P\cap C$ is given by the set of points $x\in C$ such that $\rho_{IP}|_{C}(x)=1$, i.e., the points which satisfy

[TABLE]

assuming that the determinant in the left hand side is positive in $C$ (otherwise it gets multiplied by $-1$). This determinant is a cubic polynomial in $x$, which by [BBMS22, Prop. 5.5] is divisible by $\|x\|^{2}$. Hence, the left hand side of (2) is a homogeneous linear polynomial in $x$. It divides the right hand side if and only if $(b_{2}-a_{2})=\kappa(b_{1}-a_{1})$ for some $\kappa\in\mathbb{R}$, i.e., if the the two edges $\text{conv}\left(a_{i},b_{i}\right)$ are parallel. In this case (2) is a linear equation, and hence the curve defined by (2) is a line; otherwise it is a conic, passing through the origin. ∎

Proposition 4.2**.**

Let $P\subseteq\mathbb{R}^{2}$ be polygon with the origin in its interior. If there exists a line through the origin which intersects $\partial P$ in two non-parallel edges, then $IP$ is not convex.

Proof.

Let $C$ be a chamber of of $\mathcal{H}(P)$ such that $x^{\perp}$ intersects two non-parallel edges $\ell_{1},\ell_{2}$ of $P$. Consider $u_{a},u_{b}\in C\cap S^{1}$. As shown in Figure 4, we denote

[TABLE]

for some positive real numbers $\alpha,\beta>0$. Since $\ell_{1}$ and $\ell_{2}$ are not parallel, we have $\alpha\neq\beta$. We can choose $a,b$ such that $u_{a}=\frac{1}{\|a\|}\left(\begin{smallmatrix}a_{2}\\ -a_{1}\end{smallmatrix}\right)$ and $u_{b}=\frac{1}{\|b\|}\left(\begin{smallmatrix}b_{2}\\ -b_{1}\end{smallmatrix}\right)$. The lengths of the line segments $u_{a}^{\perp}\cap P=\text{conv}\left(a,-\alpha a\right)$ and $u_{b}^{\perp}\cap P=\text{conv}\left(b,-\beta b\right)$ are

[TABLE]

Thus, the boundary points of $IP$ in directions $u_{a},u_{b}$ are

[TABLE]

respectively. Consider the midpoint $\frac{a+b}{2}\in\ell_{1}$ and let $u_{a+b}$ be the unit vector in $C$ orthogonal to $a+b$ (and thus also to $\frac{a+b}{2}$). Then $u_{a+b}=\tfrac{1}{\|a+b\|}\left(\begin{smallmatrix}a_{2}+b_{2}\\ -a_{1}-b_{1}\end{smallmatrix}\right)$, $u_{a+b}^{\perp}\cap\ell_{2}=-\frac{\alpha\beta}{\alpha+\beta}(a+b)$ and the boundary point of $IP$ in direction $u_{a+b}$ is

[TABLE]

Let $q=\text{conv}\left(p_{a},p_{b}\right)\cap\operatorname{cone}\left(u_{a+b}\right)$, as in Figure 4. We want to prove that $IP\cap C$ is not convex, by showing that $\|q\|>\|p_{a+b}\|$. Indeed, we can compute that

[TABLE]

and therefore

[TABLE]

Since $\alpha\neq\beta$, this expression is strictly positive, and so $q\not\in IP$. This proves that $p_{a},p_{b}\in IP$, but the segment $\text{conv}\left(p_{a},p_{b}\right)$ is not contained in $IP$. Hence, $IP$ is not convex.

∎

We are now ready to move towards a full classification of convexity of intersection bodies of polygons for any translation. Note that if $P$ is centrally symmetric, then the convexity of $P$ and the description of $IP$ follow from the following classical statement.

Theorem 4.3** ([Gar06, Theorem 8.1.4]).**

Let $K\subseteq\mathbb{R}^{2}$ be a centrally symmetric convex body centered at the origin. Then $IK=r_{\frac{\pi}{2}}(2K)$, where $r_{\frac{\pi}{2}}$ is a counter-clockwise rotation by $\frac{\pi}{2}$.

Our goal is to classify also the cases in which $P$ is not centrally symmetric and centered at the origin. We now prove the main result of this section.

Theorem 4.4**.**

Let $P\subseteq\mathbb{R}^{2}$ be a polygon. Then $IP$ is a convex body if and only if $P=-P$.

Proof.

As noted in Remark 5.1, $IP$ is not convex if the origin lies in $\mathbb{R}^{2}\setminus P$, or if the origin is a vertex of $P$. We are left to analyze the cases in which the origin lies in the interior of $P$ or in the interior of an edge of $P$.

We first consider the case in which the origin lies in the interior of $P$ and show that $IP$ is convex if and only if $P=-P$. If $P=-P$, then Theorem 4.3 implies that $IP$ is convex. Assume now that $IP$ is convex, and the origin lies in the interior of $P$. Then $C\cap IP$ is convex for every chamber $C$ of $\mathcal{H}(P)$. In particular, by Proposition 4.2, every line $u^{\perp}$, $u\in S^{1}$, which does not intersect a vertex of $P$ intersects $\partial P$ in the interior of two parallel edges. Hence, the edges of $P$ come in pairs of parallel edges. We rotate $u\in S^{1}$ continuously. Whenever $u^{\perp}$ crosses a vertex of one edge, it must also cross a vertex in the parallel edge, since otherwise this results in a pair of non-parallel edges. This implies that for every vertex $v$ of $P$, there exists a vertex $w$ of $P$ such that $w=-\lambda v$ for some $\lambda>0$. Since all edges are pairwise parallel, this positive scalar $\lambda$ is the same for all vertices. Therefore, we also get that $v=-\lambda w$, which implies that $\lambda=1$. Hence, $P=-P$.

Consider now the case in which the origin lies in the interior of an edge of $P$ with normal vector $e\in\mathbb{R}^{2}$. Thus, $\rho_{IP}(x)=\tfrac{1}{2}\rho_{I(P\cup-P)}(x)$ for all $x\in\mathbb{R}^{2}\setminus\mathbb{R}e$ and $\rho_{IP}(e)>\tfrac{1}{2}\rho_{I(P\cup-P)}(e)$. Here, $\mathbb{R}e$ denotes the line spanned by $e$. Since the origin lies in the interior of the star body $P\cup-P$, its radial function is continuous, which implies that also $\tfrac{1}{2}\rho_{I(P\cup-P)}$ is continuous. Hence, $\rho_{IP}$ is discontinuous, and therefore $IP$ is not convex. ∎

Remark 4.5**.**

The last case of the proof of Theorem 4.4 can be made more precise. Using the notion of chordal symmetral from [Gar06, Chapter 5.1], we deduce that

[TABLE]

Therefore, $I(P\cup-P)$ is convex if and only if $P\cup-P$ is convex. This is the case if and only if the origin is the midpoint of an edge and the sum of the angles adjacent to this edge is at most $\pi$. Using elementary properties of the sums of interior and exterior angles of polygons, it can be shown that a polygon admits at most $4$ such edges, and equality is realized exactly when $P$ is a parallelogram. Figure 5 shows a collection of examples of polygons, together with the possible positions of the origin on such edges. In this case, the argument from the proof of Theorem 4.4 implies that the Euclidean closure of $IP\setminus\mathbb{R}e$ is convex. Here, $\mathbb{R}e$ denotes the line spanned by $e$.

We close this section by pointing out that many arguments made in this section do not generalize to higher dimensions: In contrast to Propositions 4.1 and 4.2, in higher dimensions there exist convex pieces $IP\cap C$ which are not linear. Furthermore, the identification with the chordal symmetral body, as in Remark 4.5, does not hold in general. However, these insights in the $2$-dimensional case will turn out to be essential for arguments on the general case in the following section.

5 Convexity in Higher Dimensions

We devote this section to discuss the convexity of intersection bodies of polytopes of dimension $d>2$. We make use of the results obtained in Section 4 to show that, similar to the $2$-dimensional case, the intersection body of a $d$-dimensional parallelepiped is convex if and only if the origin is its center of symmetry. In contrast, we give a sufficient condition under which there are infinitely many positions of the origin for which the intersection body of a given polytope is (strictly) convex.

Remark 5.1**.**

To obtain an intersection body $IP$ which is convex, the origin must lie in the interior of $P$. If the origin lies in the interior of a facet, the argument from Theorem 4.4 applies analogously, i.e., $\rho_{IP}(x)=\tfrac{1}{2}\rho_{I(P\cup-P)}(x)$ for all $x\in\mathbb{R}^{2}$ except for the two normals of the facet, for which a strict inequality holds. Hence, $\rho_{IP}$ is discontinuous, and therefore $IP$ is not convex. If the origin lies on a lower-dimensional face $F$, there exists a hyperplane $x^{\perp}$ such that $P\cap x^{\perp}=F$ and thus the radial function of $IP$ in direction $x$ has value [math]. The set of such $x$ is a cone $V=C\cup-C$, where $C\subset\mathbb{R}^{d}$ is a convex pointed cone. Then, given $x\in C$, there exist $x_{1},x_{2}\in\mathbb{R}^{d}\setminus V$ such that $x$ is a convex combination of $x_{1}$ and $x_{2}$. Since $\rho_{IP}(x)=0$, the segment with extrema $\rho_{IP}(x_{1})\>x_{1}$ and $\rho_{IP}(x_{2})\>x_{2}$ is not entirely contained in the intersection body $IP$, but its extrema are.

The next result connects the intersection body of a convex body to the intersection body of a prism over the given convex body.

Proposition 5.2**.**

Let $L\subseteq\mathbb{R}^{d-1}$ be a convex body and $K=L\times[a,b]\subseteq\mathbb{R}^{d-1}\times\mathbb{R}\cong\mathbb{R}^{d}$ be a prism over $L$. Then, the intersection of $IK$ with the hyperplane $H=\{x\in\mathbb{R}^{d}\mid x_{d}=0\}$ is the $(b-a)$th dilate of $IL$, i.e.,

[TABLE]

Proof.

Let $u=(\widetilde{u},0)\in H$ and consider its orthogonal complement $u^{\perp}\subseteq\mathbb{R}^{d}$, which in this case can be interpreted as $\widetilde{u}^{\perp}\times\mathbb{R}\subseteq\mathbb{R}^{d-1}\times\mathbb{R}$. Then

[TABLE]

We can therefore compute the radial function of $IK$ as

[TABLE]

for $u\in H$. Equivalently, $IK\cap H=(b-a)\ IL$. ∎

It follows that if $IL$ is non-convex, then so is $IK$. This behavior can be observed in the following example.

Example 5.3**.**

Consider the unit cube $P=[-1,1]^{3}$, which is a prism over a square. With the translation $t=(1,1,1)$ we obtain the cube $P+t=[0,2]^{3}$, and $I(P+t)$ is displayed in Figure 6, from two different points of view. Proposition 5.2 implies that $I(P+t)\cap(0,0,1)^{\perp}$ is the second dilation of the intersection body of the square $[0,2]^{2}$, which is also displayed at the bottom left of Figure 3 in red.

We can now use Proposition 5.2 to describe the convexity of intersection body of a parallelepiped in any dimension.

Proposition 5.4**.**

Let $P=[a_{1},b_{1}]\times[a_{2},b_{2}]\times\dots\times[a_{d},b_{d}]$ be a $d$-dimensional parallelepiped. Then $IP$ is convex if and only if $P=-P$.

Proof.

If $P=-P$ then $IP$ is convex by Busemann’s Theorem [Bus49]. Conversely, let $P\neq-P$. We prove that $IP$ is not convex by induction on $d$. The base case of $d=2$ follows from Theorem 4.4. Let now $P=[a_{1},b_{1}]\times[a_{2},b_{2}]\times\dots\times[a_{d},b_{d}]$. By Remark 5.1 we assume that the origin lies in the interior of $P$, and thus $a_{i}<0<b_{i}$ for all $i\in 1,\dots,d$. Without loss of generality, $P\neq-P$ implies that $a_{1}\neq-b_{1}$. Let $Q=P\cap H$, where $H=\{x\in\mathbb{R}^{d}\mid x_{d}=0\}$. Notice that $P=Q\times[a_{d},b_{d}]$. Thus, $Q$ is a parallelepiped of dimension $(d-1)$ such that $Q\neq-Q$. By induction, this implies that $IQ$ is not convex. Proposition 5.2 implies that $IP\cap H=(b_{d}-a_{d})IQ$. As a consequence, $IP\cap H$ is not convex, and therefore $IP$ is not convex. ∎

Remark 5.5**.**

We note that whenever the intersection body is strictly convex, then there is an open ball around the origin of translation vectors such that the intersection body is still convex. Indeed, this holds in more generality for the intersection body $IK$ of any star body $K\subseteq\mathbb{R}^{d}$, with $\mathbf{0}$ in its interior, and follows directly from the continuity of the volume function, and therefore of the radial function, with respect to $t$. Let $x,y\in\mathbb{R}^{d}$ and $p_{\star}\!=\!\rho_{I(K+t)}(\star)\cdot\star$ for $\star\in\{x,y,x+y\}$, so that $p_{\star}\in\partial I(K+t)$. Denote by $q_{x+y}$ the point of the segment $\text{conv}\left(p_{x},p_{y}\right)$ which is a multiple of $x+y$, namely $q_{x+y}=\frac{\rho_{I(P+t)}(x)\>\rho_{I(K+t)}(y)}{\rho_{I(K+t)}(x)+\rho_{I(K+t)}(y)}(x+y)$. Then, $I(K+t)$ is strictly convex if and only if

[TABLE]

This gives a quadratic condition in $\rho_{I(K+t)}$, which is continuous in $t$. Therefore, if (3) holds for $IK$, it holds also for $I(K+t)$ with $t\in B_{\varepsilon}(\mathbf{0})$, for some $\varepsilon>0$.

The next example shows that strictly convex intersection bodies of polytopes as in Remark 5.5 do indeed exist.

Example 5.6**.**

The intersection body of the $3$-dimensional centrally symmetric icosahedron $P$ is strictly convex. Indeed, using HomotopyContinuation.jl [BT18] one can check that the algebraic varieties that define the boundary of $IP$ do not contain lines (this is expected, since the generic quintic and sextic surface in $3$-dimensional space do not contain lines). Moreover, because of the central symmetry, the intersection body is convex. Hence, it is strictly convex. This intersection body is displayed in [BBMS22, Figure 1], and our computations can be verified using the code on MathRepo [BBMS21].

To summarize, we have studied the admissible positions of the origin with respect to a full-dimensional polytope $P$, such that $IP$ is convex. For $d=2$ we have shown that the set of admissible positions is precisely the center of symmetry (if it exists). In higher dimensions it is sometimes infinite, as for the icosahedron, but other times only a single point, as for a cube. We note that proving non-convexity is a much easier task then proving convexity, as the first can be achieved by showing the non-convexity of a small curve on the boundary, while convexity is a global condition. A possible approach to tackle this problem in the case of polytopes might be studying the curvature of the algebraic hypersurfaces defining the boundary of the intersection body, as in [BRW22].

Another interesting direction of research concerns the topology of the set of admissible positions. We collect here some open questions.

Questions:

If the set of admissible positions of $P$ is finite, what is its cardinality? 2. 2.

If the set of admissible positions of $P$ is infinite, how many connected components does it have? What is the dimension of these connected components? 3. 3.

If $IP$ is convex but not strictly convex, does this imply $P=-P$? 4. 4.

What are the conditions on $P$ that make $IP$ strictly convex?

Affiliations

Marie-Charlotte Brandenburg

Max Planck Institute for Mathematics

in the Sciences

marie.brandenburg@mis.mpg.de

Chiara Meroni

Max Planck Institute for Mathematics

in the Sciences

chiara.meroni@mis.mpg.de