Roots of real-valued zero mean maps: Compositions of linear functionals and equivariant maps

Let \mathcal F be the set of all closed intervals of length \frac{d}{d+1} in S^1. Let

Any probability measure in the image of \Phi is supported in at most d+1 points, and in particular, this support is a subset of some interval A \in \mathcal F. The join (S^1)^{*(d+1)} is 2d-connected by Lemma 2.15, in fact, it is homeomorphic to S^{2d+1}, and thus does not admit a \mathbb{Z}/p-equivariant map to \mathbb{R}^{2d}\setminus\{0\} \simeq S^{2d-1} by Theorem 2.4. Now use Lemma 3.4.

Let S \subset (\mathbb{Z}_{\ge 0})^n \setminus \{0\} be a set of cardinality at most \frac12 p^n-1. Since p is odd, 2|S| \le p^n-3. For \alpha = (\alpha_1, \dots, \alpha_n) \in S define g_\alpha\colon (S^1)^n \to \mathbb{R}^2 by

That is, g_\alpha parametrizes the orbit of the (S^1)^n-action on \mathbb{C} given by (z_1, \dots, z_n) \cdot z = z_1^{\alpha_1}\dots z_n^{\alpha_n}z. Since z_1^{\alpha_1}\dots z_n^{\alpha_n} = 1 for every choice of pth roots of unity z_1, \dots, z_n only if all \alpha_i are divisible by p, the (\mathbb{Z}/p)^n-action on \mathbb{R}^2 given by (z_1, \dots, z_n) \cdot z = z_1^{\alpha_1}\dots z_n^{\alpha_n}z is fixed-point free on \mathbb{R}^2\setminus \{0\}.

Let \gamma\colon (S^1)^n \to \mathbb{R}^{2|S|} be given by \gamma(z) = (g_\alpha(z))_{\alpha \in S}. The map \gamma is equivariant with respect to the (\mathbb{Z}/p)^n-action on \mathbb{R}^{2|S|} given (for each \mathbb{R}^2 separately) above, and the standard action on (S^1)^n as a subgroup. Theorem 5.2 guarantees the existence of a ball of radius r = \sqrt{\frac14(n-1)+(\frac{p-2}{2p})^2}, where all maps f_a(x) = \langle a, \gamma(x) \rangle for a \in \mathbb{R}^{2|S|}, that is, all multivariate trigonometric polynomials with spectrum S, vanish. This is sufficient by Remark 3.2 since (S^1)^n is homogeneous.

Let \mathcal F be the simplicial complex of all finite subsets of S^1 of diameter less than r for some r > \frac{d}{2d+1}. By Lemma 3.1 we have to show that \Gamma\colon \mathcal P(S^1, \mathcal F) \to \mathbb{R}^{2d} with \Gamma(\mu) = \int_{S^1} \gamma(x) \ d\mu has a zero. This implies that for every r > \frac{d}{2d+1} there is an A \subset S^1 of diameter at most r, where every f\in V changes sign. The statement of the theorem is derived by taking the limit r \to \frac{d}{2d+1} and using that S^1 is compact. By Theorem 2.13 \mathcal P(S^1,\mathcal F) is 2d-connected since \mathcal F \simeq S^{2d+1} (by Theorem 2.14) is. Since \Gamma is \mathbb{Z}/p-equivariant (as in the proof of Lemma 3.1), it has a zero by Theorem 2.4, which completes the proof.

By Proposition 2.12 we have to show that there is a set A \subset X of cardinality k such that every g \in V changes sign on A. Consider as before

where \mathcal F contains all sets of cardinality at most k. By Lemma 3.1 we have to show that \Gamma has a zero. If not, \Gamma induces a G-equivariant map \mathcal P(X, \mathcal F) \to S^{n-1}. The k-fold join X^{*k} is (kc+2k-2)-connected (by Lemma 2.15) and the map

is G-equivariant. By composition with \Gamma we get a G-equivariant map X^{*k} \to S^{n-1}, in contradiction to Theorem 2.4.

Let x_0 \in \operatorname{\mathrm{conv}}(\gamma(S^1)). We may assume that x_0 is in the interior of this convex hull; the general case follows by approximation and compactness of \gamma(S^1). By translation we assume that x_0 = 0.

Let \varepsilon > 0. Let p be a sufficiently large prime, and x_1, \dots, x_p points along \gamma chosen according to Lemma 4.1 such that the map f\colon S^1 \to \mathbb{R}^{2d} that agrees with \gamma on \gamma^{-1}(J), where J is the interval along \gamma from x_1 to x_2, and otherwise is \mathbb{Z}/p-equivariant deviates from \gamma pointwise by at most \varepsilon. Define the \mathbb{Z}/p-equivariant map

Since (S^1)^{*(d+1)} is 2d-connected by Lemma 2.15 (in fact it is homeomorphic to S^{2d+1}), the map F has a zero: If F did not have a zero, it would induce a map S^{2d+1} \to S^{2d-1} by normalization, which will again be equivariant since the \mathbb{Z}/p-action on \mathbb{R}^{2d} respects rays. This would contradict Theorem 2.4. This implies that there are y'_1, \dots, y'_{d+1} \in f(S^1) with 0 \in \operatorname{\mathrm{conv}}\{y'_1, \dots, y'_{d+1}\}. Let y_i be a point on \gamma(S^1) at distance less than \varepsilon from y'_i. Then \operatorname{\mathrm{conv}}\{y_1, \dots, y_{d+1}\} is at distance less than \varepsilon from 0. Letting \varepsilon go to 0 finishes the proof by compactness of S^1.

We have that 0 \notin \operatorname{\mathrm{conv}}(\gamma(A)) if and only if there is an a \in \mathbb{R}^{2d} such that \langle a, \gamma(x) \rangle > 0 for all x \in A. Since f_a(x) = \langle a, \gamma(x) \rangle = \sum_i a_if_i(x) is a linear combination of the f_i this is equivalent to f_a not changing its sign on A.

First suppose that every f\in V with \int_X f(x) \ dx = 0 changes sign on A. Let f_1, \dots, f_n be a basis of the codimension one subspace of V that contains all zero mean functions. Let

By Lemma 2.9 we have that 0 \in \operatorname{\mathrm{conv}}(\gamma(A)). By Theorem 2.6 there are x_1, \dots, x_{n+1} \in A and \lambda_1, \dots, \lambda_{n+1} \ge 0 with \sum_i \lambda_i=1 such that 0 = \sum_i \lambda_i\gamma(x_i). Let g\in V be arbitrary. Then there are coefficients a_1, \dots, a_n \in \mathbb{R} and a constant c\in \mathbb{R} such that g = c+\sum_i a_if_i. Then

Setting w(x_i) = \lambda_i and w(a) = 0 for a \in A \setminus \{x_1, \dots, x_{n+1}\} proves one direction of the proposition. (Here we assume for simplicity of notation that the x_i are pairwise distinct.)

Conversely, let w\colon A \to [0,1] be a function with \int_X g(x) \ dx = \sum_{a\in A} w(a)g(a) for all g\in V. Since V contains non-zero constant functions, w cannot be identically zero. Given any f\in V with zero mean, we have that 0 = \int_X f(x) \ dx = \sum_{a\in A} w(a)f(a). Since w(a) \ge 0 for all a \in A, the function f must change sign on A.

By Proposition 2.12 every f\in V changes sign on A if and only if there is a finitely-supported (and non-zero) w\colon A\to [0,1] with 0 = \int_X f(x) \ dx = \sum_{a\in A} w(a)f(a) for all f \in V. We may assume that \sum_{a\in A} w(a) = 1, and in fact the w constructed in the proof of Proposition 2.12 has this property without any need for normalization. Let \mu = \sum_{a\in A} w(a)\delta_a. Then

Thus, \Gamma(\mu) = 0.

Conversely, let \mu \in \mathcal P(X, \mathcal F) with \Gamma(\mu) = 0. By definition of Riemann integral 0 is in the closure of the convex hull of \gamma(S), where S denotes the support of \mu. There is a closed set A \supset S with A \in \mathcal F. Then since \gamma(A) is compact, so is its convex hull, and thus 0 \in \operatorname{\mathrm{conv}}(\gamma(A)). By Theorem 2.6 there are x_1, \dots, x_{n+1} \in A and \lambda_1, \dots, \lambda_{n+1} \ge 0 with \sum_i \lambda_i = 1 such that 0 = \sum_i \lambda_i \gamma(x_i). Define w\colon A \to [0,1] by w(x_i) = \lambda_i and w(a) = 0 for a \in A \setminus \{x_1, \dots, x_{n+1}\}. Then 0 = \sum_{a \in A} w(a)f_j(a) and thus 0 = \sum_{a \in A} w(a)f(a) for all f\in V. As remarked above, this is sufficient.

The second part of the lemma follows immediately from the first part and the intermediate value theorem.

Let

For \mu \in \mathcal P(X, \mathcal F) with finite support, say \mu = \sum_{i=1}^{n}\lambda_i \delta_{x_i}, the evaluation \Gamma(\mu) = \sum_i \lambda_i\gamma(x_i) is a convex combination of \gamma(x_i). For g \in G we have that

Thus by approximation, since \gamma is G-equivariant so is \Gamma. The map \Gamma has a zero by Theorem 2.4, or by Theorem 2.5 if the G-action is only fixed-point free and G=(\mathbb{Z}/p)^k.

By Lemma 3.1 there is an A \in \mathcal F such that every linear combination of the coordinates of \gamma, that is, every map f_a \colon X \to \mathbb{R} given by f_a(x) = \langle a, \gamma(x) \rangle for a \in \mathbb{R}^n, changes sign on A. Then every f_a has a zero on A, since A is connected.

Let p \ge 4d be a prime. Since the origin is in the convex hull of \gamma(S^1), by Steinitz’ theorem, Theorem 2.7, there are p points x_1, \dots, x_p such that the origin is in the interior of \operatorname{\mathrm{conv}} \{x_1, \dots, x_p\}. By potentially increasing p we can enlarge the set of points x_i such that every y \in \gamma(S^1) is at distance at most \varepsilon from some x_i. These points are in convex position: Otherwise we could find an x_j and and a set I \subset [p] \setminus \{i\} of size 2d+1 such that x_j \in \operatorname{\mathrm{conv}} \{x_i \ \mid \ i \in I\}. The point x_j is necessarily in the interior of the simplex \operatorname{\mathrm{conv}} \{x_i \ \mid \ i \in I\}, since otherwise 2d+1 points would lie on a common hyperplane. Let k,\ell \in I such that no other point x_i for i \in I lies between x_k and x_\ell along \gamma. Continuously move x_k towards x_\ell along \gamma, that is, y(t) is a point on \gamma that continuously depends on t with y(0) = x_k, y(1) = x_\ell and y(t) \ne x_i for all t \in (0,1) and all i \in I. By the above x_j will remain in the interior of \operatorname{\mathrm{conv}}(\{x_i \ \mid \ i \in I \setminus \{k\}\} \cup \{y(t)\}) throughout. For t=1 this implies that the 2d+1 points x_j and \{x_i \ \mid \ i \in I \setminus \{k\}\} are contained in a common hyperplane, a contradiction.

Thus P = \operatorname{\mathrm{conv}}\{x_1, \dots, x_p\} is a simplicial polytope with the origin in its interior. A \mathbb{Z}/p-action on the vertices of this polytope is given by x_i \mapsto x_{i+1} with indices modulo p. This induces a unique action on the boundary of P by affinely extending to faces. Lastly, by declaring that 0 is a fixed point of the action, the \mathbb{Z}/p-action extends to the cones over faces of the boundary of P and thus to all of \mathbb{R}^{2d}. Since no proper face of P is setwise fixed, this action is free away from 0.

Let f_1, \dots, f_{2d} be a basis for the codimension one subspace of zero mean maps in V, and let \gamma\colon S^1 \to \mathbb{R}^{2d} be given by \gamma(x) = (f_1(x), \dots, f_{2d}(x)). Let a \in \mathbb{R}^{2d} \setminus \{0\} and let b \in \mathbb{R}. The set of solutions of the equation \langle a, \gamma(x)\rangle = b is the preimage f_a^{-1}(b), where f_a = \sum_i a_if_i, and thus has size at most 2d. Thus \gamma is a convex curve. By Theorem 2.8, there are d+1 points t_1, \dots, t_{d+1} \in S^1 such that 0 \in \operatorname{\mathrm{conv}} \{\gamma(t_1), \dots, \gamma(t_{d+1})\}. These d+1 points are necessarily contained in a closed interval I of length \frac{d}{d+1}. By Lemma 2.9 all zero mean f \in V change sign on I. Thus by continuity all zero mean f\in V have a zero on I.

Consider the n-torus (S^1)^n as the cube [0,1]^n with opposite faces identified without a twist. Let

The set \widehat L is a grid of p^n points in [0,1]^n, and after taking the quotient yields a set L of size p^n in (S^1)^n. We compute the distance r from the barycenter (\frac12, \dots, \frac12) to the point (0,\dots,0,\frac{1}{p}). Here it is irrelevant whether we compute this distance in [0,1]^n or in (S^1)^n. This distance is r = \sqrt{\frac14(n-1)+(\frac{p-2}{2p})^2}. The geodesic ball of radius r around (\frac12, \dots, \frac12) contains all points of L with the exception of (0, \dots, 0). By symmetry for every x \in L, the set L\setminus \{x\} is contained in some closed geodesic ball of radius r.

Let L \subset (S^1)^n be the set constructed in Lemma 5.1. Let \Sigma be the simplicial complex of all proper subsets of L. Thus \Sigma is the boundary of a simplex on p^n vertices and thus a sphere of dimension p^n-2. As L is (\mathbb{Z}/p)^n-invariant, \Sigma carries a (\mathbb{Z}/p)^n-action inherited from the natural action on its vertices. Let \mathcal F be the set of all closed geodesic balls of radius r in (S^1)^n. There is a (\mathbb{Z}/p)^n-equivariant map \Phi\colon \Sigma \to \mathcal P((S^1)^n, \mathcal F): Every point x in \Sigma is a convex combination of all but one of the points in L, say x = \sum_{y \in L\setminus \{y_0\}} \lambda_yy. Define \Phi(x) = \sum_{y \in L\setminus \{y_0\}} \lambda_y\delta_y. The set L \setminus \{y_0\} is contained in a common closed geodesic ball of radius r, and thus \Phi is well-defined. There is no (\mathbb{Z}/p)^n-equivariant map \Sigma \to S^{d-1} by Theorem 2.5. Now use Lemma 3.4.