Skip to main content
Post Undeleted by Anton Petrunin
added 300 characters in body
Source Link
Anton Petrunin
  • 45k
  • 14
  • 135
  • 299

Applying $1$-dimensional case for a geodesic(This is a new answer; my original answer was completely wrong.)

Assume $x+t\cdot(1,1,\dots,1)$ we get that there are$\mathop{\rm vol}E>\tfrac12$. Then it contains two opposite points say $p$$x$ and $p'$ in $\mathbb{T}^n\backslash E$$x'=x+(\tfrac12,\tfrac12,\dots,\tfrac12)$. WLOG we can assume that $p=0$ and$x=0$. Taking minimizing geodesics form $p'=(\tfrac12,\tfrac12,\dots,\tfrac12)$$(\tfrac12,\tfrac12,\dots,\tfrac12)$ to $y\approx 0$, we get that all main diagonal of unit cube $$\square^n=(0,1)\times(0,1)\times\dots\times(0,1)$$ lie in $E$. Then apply the following lemma:

Note that for a pointTrivial Lemma. Let $x\in\mathbb{T}^n$$\square^n$ be open unit cube in general position there is unique minimizing geodesic from $x$ to $-x$$\mathbb R^n$ and it pass either through $p$ or$E\subset \square^n$ be a locally convex open set which contains all main diagonals of $p'$. It follows that$\square^n$ then $\mathop{\rm vol}[E\cap (-E)]=0$$E=\square^n$. Hence

To prove the resultlemma, note that local convexity + conectedness in $\mathbb R^n$ implies convexity.

Applying $1$-dimensional case for a geodesic $x+t\cdot(1,1,\dots,1)$ we get that there are two opposite points say $p$ and $p'$ in $\mathbb{T}^n\backslash E$. WLOG we can assume that $p=0$ and $p'=(\tfrac12,\tfrac12,\dots,\tfrac12)$.

Note that for a point $x\in\mathbb{T}^n$ in general position there is unique minimizing geodesic from $x$ to $-x$ and it pass either through $p$ or $p'$. It follows that $\mathop{\rm vol}[E\cap (-E)]=0$. Hence the result.

(This is a new answer; my original answer was completely wrong.)

Assume $\mathop{\rm vol}E>\tfrac12$. Then it contains two opposite points say $x$ and $x'=x+(\tfrac12,\tfrac12,\dots,\tfrac12)$. WLOG we can assume that $x=0$. Taking minimizing geodesics form $(\tfrac12,\tfrac12,\dots,\tfrac12)$ to $y\approx 0$, we get that all main diagonal of unit cube $$\square^n=(0,1)\times(0,1)\times\dots\times(0,1)$$ lie in $E$. Then apply the following lemma:

Trivial Lemma. Let $\square^n$ be open unit cube in $\mathbb R^n$ and $E\subset \square^n$ be a locally convex open set which contains all main diagonals of $\square^n$ then $E=\square^n$.

To prove the lemma, note that local convexity + conectedness in $\mathbb R^n$ implies convexity.

Post Deleted by Anton Petrunin
Source Link
Anton Petrunin
  • 45k
  • 14
  • 135
  • 299

Applying $1$-dimensional case for a geodesic $x+t\cdot(1,1,\dots,1)$ we get that there are two opposite points say $p$ and $p'$ in $\mathbb{T}^n\backslash E$. WLOG we can assume that $p=0$ and $p'=(\tfrac12,\tfrac12,\dots,\tfrac12)$.

Note that for a point $x\in\mathbb{T}^n$ in general position there is unique minimizing geodesic from $x$ to $-x$ and it pass either through $p$ or $p'$. It follows that $\mathop{\rm vol}[E\cap (-E)]=0$. Hence the result.