Singular Turán numbers and WORM-colorings

Abstract: A subgraph $H$ of $G$ is \textit{singular} if the vertices of $H$ either have the same degree in $G$ or have pairwise distinct degrees in $G$. The largest number of edges of a graph on $n$ vertices that does not contain a singular copy of $H$ is denoted by $T_S(n,H)$. Caro and Tuza [Theory and Applications of Graphs, 6 (2019), 1--32] obtained the asymptotics of $T_S(n,H)$ for every graph $H$, but determined the exact value of this function only in the case $H=K_3$ and $n\equiv 2$ (mod 4). We determine $T_S(n,K_3)$ for all $n\equiv 0$ (mod 4) and $n\equiv 1$ (mod 4), and also $T_S(n,K_{r+1})$ for large enough $n$ that is divisible by $r$.We also explore the connection to the so-called $H$-WORM colorings (colorings without rainbow or monochromatic copies of $H$) and obtain new results regarding the largest number of edges that a graph with an $H$-WORM coloring can have.

\section{Introduction}

Tur\'an's paper \cite{T} about the maximum number of edges that a graph on $n$ vertices can have without containing a clique of size $k$ gave birth to extremal graph theory. The \textit{Tur\'an number} of a graph $G$, denoted by $\ex(n,G)$ is the maximum number of edges in an $n$-vertex $G$-free graph is a much studied and well understood parameter, if the chromatic number of $G$ is at least 3, but there are lots of open problems concerning the Tur\'an numbers of bipartite graphs $G$ (see the survey \cite{FS}). Tur\'an numbers were extended to hypergraphs and set systems (see Chapter 5 and Chapter 7 of \cite{GP}), and many variants are known.

Motivated by the work of Albertson \cite{A92}, recently Caro and Tuza \cite{ct} introduced a new variant, the so-called \textit{singular Tur\'an number}. A copy of a graph $G$ in $H$ is called \textit{singular}, if the vertices $v_1,v_2,\dots, v_{|V(G)|}$ of the copy either have the same degree in $H$ or have pairwise different degrees in $H$. The singular Tur\'an number $T_S(n,G)$ is the maximum number of edges that a graph $H$ on $n$ vertices can have without containing a singular copy of $G$. Note that we have $\ex(n,G)\le T_S(n,G)$ for any graph $G$ and integer $n$.

Caro and Tuza  determined the asymptotics of $T_S(n,G)$ for every graph $G$. The Erd\H os-Stone-Simonovits theorem \cite{ES} states that, if $\chi(G)=p+1$, then  $\ex(n,G)=(1-\frac{1}{p}+o(1))\binom{n}{2}$. Caro and Tuza showed that if $|V(G)|=r+1$, then $$T_S(n,G)=(1-\frac{1}{pr}+o(1))\binom{n}{2}$$ (and clearly $T_S(n,G)=0$ if $G$ consists of a single edge). However, there was no exact result for any graph, except for the triangle in case $n=4k+2$,
where the 4-partite Tur\'an graph is extremal for $T_S(n,K_3)$ as well. For other congruence classes modulo 4, they proved the following bounds.

\begin{theorem}[Caro, Tuza \cite{ct}] For\/ $k \ge 1$ we have:

\vspace{2mm}

\textbf{(i)} $6k^2-2\le T_S(4k,K_3)\le 6k^2-1$,

\vspace{1mm}

\textbf{(ii)} $6k^2+2k\le T_S(4k+1,K_3)\le 6k^2+3k-1$,

\vspace{1mm}

\textbf{(iii)} $6k^2+8k+1\le T_S(4k+3,K_3)\le 6k^2+9k+2$.

\end{theorem}

For the upper bounds, they used their general upper bound (which relies on the fact that a singular triangle-free graph is $K_5$-free in this case), and Tur\'an's theorem with the characterization of its extremal graphs (which shows that the $K_5$-free graphs with the largest number of edges contain singular triangles
unless $n\equiv 2$ (mod 4)).

For the lower bounds, they used the following constructions. If $n=4k$, consider a complete 4-partite graph with parts of size $k-1,k-1,k+1,k+1$. If $n=4k+1$, consider a complete 4-partite graph with parts each of size $k$, and join a new vertex to two of the classes. If $n=4k+3$, consider a complete 4-partite graph with parts of size $k,k,k+1,k+1$, and connect a new vertex to the $2k$ vertices in the two smaller parts.

Here we close the gap for two of the residue classes, and reduce it to 2 in the third case, by improving the upper bounds.
In the tight results the constructions above turn out to be extremal, and it is very likely that the situation is the same also for $n\equiv 3$ (mod 4).

\begin{theorem}\label{triangle} We have:

\vspace{2mm}

\textbf{(i)} $T_S(4k,K_3)=6k^2-2$ if\/ $k\ge 2$, and\/ $T_S(4,K_3)=5$,

\vspace{1mm}

\textbf{(ii)} $T_S(4k+1,K_3)=6k^2+2k$, and

\vspace{1mm}

\textbf{(iii)} $6k^2+8k+1\le T_S(4k+3,K_3)\le 6k^2+8k+3$.

\end{theorem}

We then apply some of our techniques to obtain better bounds on $T_S(n,K_{r+1})$. As Caro and Tuza observed, a graph without a singular copy of $K_{r+1}$ must be $K_{r^2+1}$-free, as otherwise  in a clique of size $r^2+1$ there are $r+1$ vertices either of the same degree or of pairwise distinct degrees. Tur\'an's result tells us that the graph with the largest number of edges without a $K_{r^2+1}$ is a balanced complete $r^2$-partite graph. We denote by $t(n,q)$ the number of edges in the balanced complete $q$-partite graph. Unless $r=2$ and $n=4k+2$, the balanced complete $r^2$-partite graph does contain singular copies of $K_{r+1}$. Moreover, it is not hard to see that there exist complete $r^2$-partite graphs without singular copies of $K_{r+1}$ if and only if $r$ divides $n$ and $n$ is at least $r^2(r+1)/2$.
In this case, we denote by $t'(n,r^2)$ the largest number of edges contained in such graphs. With this notation we have the following result.

\begin{theorem}\label{largeclique}
For any\/ $r\ge 3$ the following holds.

\vspace{1mm}

\textbf{(i)} If\/ $n$ is large enough and\/ $n$ is divisible by\/ $r$, then we have $$T_S(n,K_{r+1})=t'(n,r^2).$$ Moreover, any extremal graph is isomorphic to the unique complete\/ $r^2$-partite graph with\/ $r$ possible part sizes each appearing $r$ times such that the smallest and largest parts differ by at most\/ $r$.

\vspace{1mm}

\textbf{(ii)} If\/ $n=rk+m$ with\/ $1\le m<r$, then $$t(n,r^2)-m\frac{r-1}{r^2}n+C_r\le T_S(n,K_{r+1})\le t(n,r^2)-\frac{n}{r^2}+\sqrt{n}$$ for some absolute constant\/ $C_r$.
\end{theorem}

Even with the theorems above, there was no $F\neq K_2$ for which $T_S(n,F)$ was known for every $n$. Now we give an example for this by determining $T_S(n,P_3)$ for all cases.

\begin{proposition}\label{pthree}
\begin{displaymath}
T_S(n,P_3)=
\left\{ \begin{array}{l l}
2 & \textrm{if\/ $n=3$},\\
5 & \textrm{if\/ $n=4$},\\
\frac{n^2+2n}{4}-2 & \textrm{if\/ $n>4$ and\/ $n$ is divisible by\/ $4$},\\
\frac{n^2+2n-4}{4} & \textrm{if\/ $n$ is even, but not divisible by\/ $4$},\\
\frac{n^2+2n-3}{4} & \textrm{if\/ $n\neq 3$ is odd.}\\
\end{array}
\right.
\end{displaymath}
\end{proposition}

\bigskip

\subsection{$F$-WORM colorings}

Given graphs $F$ and $G$, an \textit{$F$-WORM coloring} of $G$ is an assignment of colors to the vertices of $G$ such that every copy of $F$ in $G$ has more than one, but fewer than $|V(F)|$ colors. In other words, there are neither monochromatic, nor rainbow copies of $F$ in the coloring of $G$ (WORM stands for `WithOut Rainbow or Monochromatic'). WORM coloring was introduced by Goddard, Wash and Xu \cite{gwx}.

Most of the research regarding WORM colorings dealt with complexity issues, or the number of colors used. However, in the same paper \cite{gwx}, Goddard, Wash and Xu introduced $\wex(n,F)$, the largest number of edges in a graph on $n$ vertices that has an $F$-WORM coloring. They determined $\wex(n,P_3)$.

Let us describe first how WORM colorings are related to singular graphs. Observe that if $G$ does not contain a singular $F$, then coloring the vertices of $G$ by their degrees, we obtain an  $F$-WORM-coloring. This implies $T_S(n,F)\le \wex(n,F)$.
Also note that in the proof of the general upper bounds on $T_S(n,F)$ Caro and Tuza \cite{ct} do not use the special properties of singularity and the proof works for $\wex$ as well. Thus we can restate their upper bound in the following form.

\begin{theorem}[Caro, Tuza, \cite{ct}]

\vspace{2mm}

\textbf{(i)} $\wex(n,K_{r+1})\le \ex(n,K_{r^2+1})$.

\vspace{1mm}

\textbf{(ii)} If\/ $F$ has $r+1\ge 3$ vertices and chromatic number\/ $p+1\ge 2$, then\/ $\wex(n,F)\le \ex(n,K_{pr+1})+o(n^2)$.

\end{theorem}

Observe that we have equality in \textbf{(i)}. Indeed, consider the $r^2$-partite Tur\'an graph, and color it with $r$ colors such that each color class consists of $r$ parts. Then each color class is $K_{r+1}$-free, and there is no rainbow $K_{r+1}$ as there are fewer than $r+1$ colors. Similarly in \textbf{(ii)} $\ex(n,K_{pr+1})$ is a lower bound, as we can color the $pr$-partite Tur\'an graph with $r$ colors (thus avoiding rainbow $F$) such that each color class is $p$-partite, thus $F$-free.

Having an asymptotic result does not leave much room for improvement in general, but we obtain a better result for every bipartite graph.

\begin{proposition}\label{worm}

If\/ $F$ is bipartite and has\/ $r+1\ge 3$ vertices, then\/ $\wex(n,F)\le \ex(n,K_{r+1})+\ex(n,F)$.

\end{proposition}

Note that as $F$ is bipartite, the quadratic term remains the same, but we replace the error term $o(n^2)$ with $\ex(n,F)$. Also, the proof remains valid for any graph, but if $\chi(F)\ge 3$, then the upper bound is useless as $\ex(n,K_{r+1})+\ex(n,F)$ is more than the number of edges in $K_n$.

\section{Singular Tur\'an numbers}

We will use the following theorem of Brouwer \cite{br}.

\begin{theorem}\label{partite+}
If\/ $H$ is a\/ $K_{r+1}$-free graph on\/ $n$ vertices which is not\/ $r$-partite, then\/ $H$ has at most\/ $t(n,r)-\lfloor n/r\rfloor+1$ edges, assuming\/ $n\ge 2r+1$.\end{theorem}

Hanson and Toft \cite{ht} also
characterized the extremal graphs (the same result was independently obtained in \cite{afgs,kp}).

The extremal graphs in the result of Hanson and Toft are somewhat similar to the constructions of Caro and Tuza described in the Introduction. One takes a complete $r$-partite graph, and adds a new vertex $v$, that is connected first to every vertex in all but two of the classes (in case of $r=4$, so far this construction is the same as the construction of Caro and Tuza). For the remaining two classes, one picks a vertex $u$ from one of them and a non-empty set $A$ of vertices from another. We assume that in both classes there remain at least one unpicked vertex, i.e.\ one of the classes has more than one, the other has more than $|A|$ vertices. Now one connects $v$ to $u$ and to the vertices of $A$, while one deletes the edges between $u$ and $A$. It is easy to see that this construction has indeed chromatic number more than $r$, but does not contain $K_{r+1}$. It does, however, contain a singular triangle in case $r=4$.

Let us mention that part \textbf{(i)} of Theorem \ref{triangle} could be deduced (with some simple case analysis for $k\le 2$) from the above result of Hanson and Toft,
but we give a self-contained proof. We restate  \textbf{(i)} of Theorem \ref{triangle} for convenience.

\begin{theorem} $T_S(4k,K_3)=6k^2-2$ if\/ $k\ge 2$, and\/ $T_S(4,K_3)=5$.

\end{theorem}

\begin{proof} We use induction on $k$, the statement is obvious for $k=1$.

Let $k>1$ and assume the statement is valid for $k-1$. Let $G$ be graph on $4k$ vertices that does not contain a singular triangle. Recall that $G$ must be $K_5$-free. If $G$ is $K_4$-free, we are done by Tur\'an's theorem. Let $A$ be a set of 4 vertices that induces a $K_4$ and $B$ be the set of the remaining vertices. Every other vertex has at most 3 neighbors in $A$, otherwise they would form a $K_5$. Thus, there are at most $3(4k-4)$ edges between $A$ and $B$ and there are at most $6(k-1)^2$ edges inside $B$ by Tur\'an's theorem, as $G$ is $K_5$-free. This means we are done, unless at least $12k-13$ edges go between $A$ and $B$, i.e.\ all but (at most) one of the vertices in $B$ are connected to exactly three vertices of $A$. Let $a,b,c,d$ be the number of edges from vertices of $A$ to $B$, i.e.\ their degree minus three. By the above, $12k-13\le a+b+c+d\le 12k-12$. If three of the numbers $a,b,c,d$ are the same, or three are different, the corresponding vertices of $A$ form a singular triangle. Thus, say, $a=b\neq c=d$. Then $a+b+c+d$ is even, thus equal to $12k-12$. In this case every vertex of $B$ is incident to the same number (3) of edges that go outside $B$, hence the edges inside $B$ cannot contain a singular triangle. By induction, if $k>2$, there are at most $6(k-1)^2-2$ edges inside $B$ and we are done.

If $k=2$, we are left with the case, when the vertices of $A$ form a $K_4$, and there are 5 edges inside $B$, so they form form a $K_4$ minus an edge and there are 12 edges between $A$ and $B$, so in this case, say, $a=b=4$ and $c=d=2$. The vertex $v \in A$ corresponding to $a$ has degree of 7 and a vertex $w \in A$ corresponding to $c$ has degree of 5 and they are connected. Easy case analysis shows that either they have a common neighbor of degree 6, or there is a vertex in $B$ of degree 7. We have a singular triangle in both cases.
\end{proof}

We continue with \textbf{(ii)} of Theorem \ref{triangle}. We restate it here for convenience.

\begin{theorem}\label{tri2}
$T_S(4k+1,K_3)=6k^2+2k$.
\end{theorem}

\begin{proof} The statement is trivial for $k=1$, thus we assume $k\ge 2$.
Consider a graph $G$ on $4k+1$ vertices without a singular triangle and recall that $G$ is $K_5$-free then. Assume first $\chi(G)\ge 5$. We can apply Theorem \ref{partite+}, obtaining that $G$ has at most $6k^2+3k-k+1$ edges. Moreover, $G$ cannot be the extremal graph in the construction of Hanson and Toft, thus $G$ has fewer than $6k^2+3k-k+1$ edges, which is the desired bound.

Assume now $G$ is 4-partite, and let $A,B,C$ and $D$ be the parts. If any of them is empty, $G$ is 3-partite, thus has at most $(4k+1)^2/3$ edges, finishing the proof as $k\ge 2$. Let $G'$ be the complement of $G$ with respect to this 4-partition, i.e.\ $uv\in E(G')$ if $u$ and $v$ are in different parts and $uv\not\in E(G)$. We claim that $|E(G')|\ge \min\{|A|,|B|,|C|,|D|\}$.

Assume first $|A|=|B|=|C|$. If there are vertices $a\in A$, $b\in B$ and $c\in C$ such that none of them is incident to an edge of $G'$, they all have the same degree in $G$ and they form a triangle in $G$, a contradiction. To avoid that, for one of the classes all the vertices in it have to be incident to an edge of $G'$, which proves the claim. In case $|A|<|B|<|C|$, the same argument works. The only remaining case is when two parts have the same size $|A|=|B|$ and the other two parts have the same size $|C|=|D|$, but that would mean an even number of vertices, a contradiction.

It is left to show that the complete 4-partite graph with classes $A,B,C,D$ has at most $6k^2+2k+\min\{|A|,|B|,|C|,|D|\}$ edges. Indeed, we can prove this by induction on $l=k-\min\{|A|,|B|,|C|,|D|\}$. This is trivial for $l=0$, and whenever $l$ increases, we can look at it as moving a vertex from the smallest class to another class. Each time we do that, the number of edges decreases by at least 1.
\end{proof}

The proof of \textbf{(iii)} of Theorem \ref{triangle} (which we restate below) goes similarly, so we only give a sketch.

\begin{theorem}
$T_S(4k+3,K_3)\le 6k^2+8k+3$.
\end{theorem}

\begin{proof}[Sketch of proof] If $k=1$, $6k^2+8k+3=17$, and the upper bound by Caro and Tuza \cite{ct} is the same number. Thus, we can assume $k\ge 2$.
Consider a graph $G$ on $4k+3$ vertices without a singular triangle and recall that $G$ is $K_5$-free then. Assume first $\chi(G)\ge 5$. We can apply Theorem \ref{partite+}, obtaining that $G$ has at most $6k^2+9k+3-k+1$ edges. Moreover, $G$ cannot be the extremal graph in the construction of Hanson and Toft, thus $G$ has fewer than $6k^2+8k+4$ edges,
finishing the proof.

Assume now $G$ is 4-partite, and let $A,B,C$ and $D$ be the parts. If any of them is empty, $G$ is 3-partite, thus has at most $\lfloor (4k+3)^2/3\rfloor$ edges, finishing the proof as $k\ge 2$. From here, the proof is exactly the same as the proof of Theorem \ref{tri2}.
\end{proof}

Ideas from the proofs above can be applied to obtain bounds on $T_S(n,K_{r+1})$ for larger values of $r$, too. Let us start with introducing some constructions.

We distinguish two cases according whether $r$ divides $n$ or not. Suppose $n=rk$ and let $k=l_1+l_2+\dots +l_r$ with $l_i\neq l_j$ for any $1\le i< j\le r$. Then the complete $r^2$-partite graph $K_{s_1,s_2,\dots,s_{r^2}}$ with $s_{ir+1}=s_{ir+2}=\dots=s_{(i+1)r}=l_{i+1}$ for any $i=0,1,\dots,r-1$ does not contain any singular copy of $K_{r+1}$. Indeed, there are $r$ different degrees in $K_{s_1,s_2,\dots,s_{r^2}}$, and for any accessible degree $d$ there are $r$ parts such that the vertices of that part have degree $d$. We say that a complete $r^2$-partite graph has \textit{property $R$}, if there are $r$ possible sizes of parts, each appearing exactly $r$ times. Observe that the parameter $t'(n,r^2)$ defined in the Introduction is the same as the maximum number of edges in an $r^2$-partite graph on $n$ vertices satisfying property $R$. In particular, $t'(n,r^2)>0$ if and only if $r$ divides $n$ and $n\ge r^2(r+1)/2$.
Moreover, for these values of $n$ and $r$, it is quite simple to determine $t'(n,r^2)$. If there exist $i,j$ with $l_i<l_j-2$ such that none of $l_i+1$ and $l_j-1$ appear among the $l_h$'s, then replacing $l_i$ by $l_i+1$ and $l_j$ by $l_j-1$ increases the number of edges. This shows that if $l_1<l_2<\dots<l_r$ hold, then we have $l_r \le l_1+r$. Moreover, there is exactly one partition of $k$ into $l_1,l_2,\dots,l_r$ with this property.
If $n$ is odd and $n\equiv 0$ (mod $r^2$), then the $l_i$'s are consecutive integers, while if $n\equiv ir$ (mod $r^2$), then $l_{r-i}+2=l_{r-i+1}$.
The situation is similar for $n$ even, but then the gap-free sequence corresponds to $n\equiv r^2\!/2$ (mod $r^2$).
Observe that whenever $t'(n,r^2)$ is defined, then $t(n,r^2)-t'(n,r^2)\le r^3$ holds.

Suppose next $n=rk+m$ with $1\le m \le r-1$. Then consider the complete $r^2$-partite graph $K_{s_1,s_2,\dots,s_{r^2}}$ on $rk$ vertices with property $R$, that has the largest number, i.e.\ $t'(rk,r^2)$ edges. Suppose $s_1<s_2<\dots <s_r$. Add $m$ new vertices
and join them to each other and each of them to all the vertices in parts of size $s_1,s_2,\dots,s_{r-1}$, to obtain $G_{n,r^2}$. We claim that $G_{n,r^2}$ does not contain any singular copy of $K_{r+1}$. Clearly, newly added vertices have lower degree than any of the old vertices. As we joined the new vertices to those old vertices that had one of the $r-1$ highest degrees, the $r-1$ highest degrees increased by $m$, the smallest degree remained the same, and we added a new degree. Therefore, there are $r+1$ different degrees in $G_{n,r^2}$.
Vertices whose degrees are all different cannot form a $K_{r+1}$ as newly added vertices are not joined to old vertices of the lowest degree. Vertices of the same degree cannot form a copy of $K_{r+1}$ either, as there are fewer than $r$ newly added vertices and the other degree classes remained the same. Observe that $t(n,r^2)-e(G_{n,r^2})\le m\frac{r-1}{r^2}n+C_r$ for some absolute constant $C_r$.

Let us show a better construction that works only if $n=rk+m$ with $1\le m\le r-2$. Let $n'=r(k+1)$ and let $G_{n'}$ be the complete $r^2$-partite graph $K_{s_1,s_2,\dots, s_{r^2}}$ with property $R$ having $t'(n',r^2)$ edges. Observe that property $R$ and $r\ge 3$ ensures that there exists at least one $s_i$ that is odd. Remove one vertex from $r-m$ partite sets $S_1,S_2,\dots,S_{r-m}$ of size $s_i$ to obtain $S'_1,S'_2,\dots, S'_{r-m}$. Then the degree of any vertex in unchanged partite sets decreases by $r-m$, while the degree of vertices in $\cup_{j=1}^{r-m}S'_j$ decreases by $r-m-1$. Observe that the size of $S'_j$ is even, therefore, as $r-m\ge 2$, there  exists a perfect matching in $G_{n'}[\cup_{j=1}^{r^2}S'_j]$. Let us remove this perfect matching to obtain $G_n$. Observe that for every vertex $v$ of $G_n$ we have $d_{G_{n'}}(v)-d_{G_n}(v)=r-m$ and thus $G_n$ admits $r$ degrees and the degree classes are $r$-partite. Therefore, $G_n$ does not contain a singular copy of $K_{r+1}$. Finally, observe that the number of edges in $G_n$ is $t(n,r)-\frac{r-m}{2r^2}n-C_r$.

\begin{proof}[Proof of Theorem \ref{largeclique}]
The lower bounds are given by the constructions above. To obtain the upper bounds, let us repeat the observation of Caro and Tuza: if a graph $G$ does not contain a singular copy of $K_{r+1}$, then it is $K_{r^2+1}$-free. Indeed, among the $r^2+1$ vertices of a $K_{r^2+1}$, either $r+1$ have the same degree or there are $r+1$ of them of pairwise distinct degrees. Suppose first that $\chi(G)>r^2+1$. Then Theorem \ref{partite+} implies that $e(G)\le t(n,r^2)-\frac{n}{r^2}+1$ holds, and we saw that all extremal graphs contain singular copies of $K_{r+1}$, so $e(G)\le t(n,r^2)-\frac{n}{r^2}$ must hold. Therefore we can assume that $G$ is a subgraph of a complete $r^2$-partite graph $K_{s_1,s_2,\dots,s_{r^2}}$ ($s_1 \le s_2  \le \dots  \le s_{r^2}$). If $K_{s_1,s_2,\dots,s_{r^2}}$ does not have property $R$, then $K_{s_1,s_2,\dots,s_{r^2}}$ contains either $r+1$ parts of pairwise different sizes or $r+1$ parts of the same size. In both cases, there must exist a part $U$ such that every $u\in U$ is adjacent to an edge in $K_{s_1,s_2,\dots,s_{r^2}}\setminus G$. Indeed, otherwise the untouched vertices would form a singular copy of $K_{r+1}$. This shows that $e(G)\le e(K_{s_1,s_2,\dots,s_{r^2}})-s_1$.

If $s_1\ge \frac{n}{r^2}-\sqrt{n}$, then this implies $$e(G)\le t(n,r^2)-\frac{n}{r^2}+\sqrt{n}.$$

On the other hand if $s_1\le \frac{n}{r^2}-\sqrt{n}$, then $$e(G)\le e(K_{s_1,s_2,\dots,s_{r^2}})\le t(n,r^2)-n.$$ This finishes the proof of (ii) because if $r$ does not divide $n$, then there does not exist a complete $r^2$-partite graph with property $R$. The proof of (i) is also done as, by definition, complete $r^2$-partite graphs with property $R$ have at most $t'(n,r^2)$ edges.
\end{proof}

We finish this section with the proof of Proposition \ref{pthree}, which states the following.

\begin{displaymath}
T_S(n,P_3)=
\left\{ \begin{array}{l l}
2 & \textrm{if\/ $n=3$},\\
5 & \textrm{if $n=4$},\\
\frac{n^2+2n}{4}-2 & \textrm{if $n>4$ and $n$ is divisible by 4},\\
\frac{n^2+2n-4}{4} & \textrm{if $n$ is even, but not divisible by 4},\\
\frac{n^2+2n-3}{4} & \textrm{if $n$ is odd.}\\
\end{array}
\right.
\end{displaymath}

\begin{proof}[Proof of Proposition \ref{pthree}] The cases $n=3$ and $n=4$ are trivial.
For the other cases, as we have mentioned in the introduction, $T_S(n,F)\le \wex(n,F)$. Goddard, Wash and Xu \cite{gwx} showed
\begin{displaymath}
\wex(n,P_3)=
\left\{ \begin{array}{l l}
\frac{n^2+2n}{4} & \textrm{if $n$ is divisible by 4},\\
\frac{n^2+2n-4}{4} & \textrm{if $n$ is even, but not divisible by 4},\\
\frac{n^2+2n-3}{4} & \textrm{if $n$ is odd.}\\
\end{array}
\right.
\end{displaymath}
The extremal constructions are $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$ supplemented with maximal matchings in both parts, which avoids singular $P_3$ in case $n$ is odd, hence extremal for $T_S$ as well.
In case $n$ is even, but not divisible by four, a further extremal graph for wex is $K_{n/2-1,n/2+1}$ with maximal matchings in both parts. This one avoids singular $P_3$. Thus we are done, except in the case $n=4k$. Our lower bound is given by the graph $K_{n/2-1,n/2+1}$ with maximal matchings in both parts.

To obtain the same upper bound, let $G$ be a singular $P_3$-free graph on $n>4$ vertices, and partition $E(G)$ into two parts: $E_1$ consists of the edges between vertices of the same degree, while $E_2$ consists of the edges between vertices of different degrees. By definition, $E_1$ is a matching, thus $|E_1|\le n/2$. If $E_2$ contained a triangle, those three vertices would have different degrees, thus we could find a singular $P_3$ among them. Therefore, $|E_2|\le n^2/4$. Note that if $|E_2|\le n^2/4-2$ or $|E_1|\le n/2-2$, then we are done, as $|E(G)|=|E_1|+|E_2|\le n^2/4+n/2-2$.

If  the graph with $E_2$ as its edge set has chromatic number at least 3, then we can use Theorem \ref{partite+} to obtain $|E_2|\le n^2/4-\lfloor n/2\rfloor+1\le n^2/4-2$. Thus $E_2$ defines a bipartite graph with parts $A$ and $B$. If $|A|\le n/2-2$, then $|E_2|\le n^2/4-4$. If $|A|=n/2-1$, then we are done, unless $E_2$ consists of all the edges between $A$ and $B$. In that case every edge of $E_1$ is inside $A$ or $B$, which have odd size, thus $E_1$ avoids two vertices, hence $|E_1|\le n/2-1$. This implies $|E(G)|=|E_1|+|E_2|\le n^2/4-1+n/2-1$.

Finally, if $|A|=n/2=|B|$, observe that we are done, if there are at least two edges between $A$ and $B$ that are not in $E_2$. Let $A'\subseteq A$ be the set of vertices connected to each vertex of $B$ with an edge in $E_2$, and similarly $B'\subseteq B$ be the set of vertices connected to each vertex of $A$ with an edge in $E_2$. Then $|A'|\ge n/2-1$ and $|B'|\ge n/2-1$, otherwise we are done. Also, the degrees of the vertices in $A'$ are different from those in $B'$, by the definition of $E_2$. But they are all incident to the same number of edges in $E_2$, thus the difference has to come from $E_1$. It means every vertex of, say $A'$ is incident to an edge of $E_1$ and no vertex of $B'$ is incident to an edge of $E_1$. But then $E_1$ avoids $|B'|\ge 3$ vertices, thus $|E_1|\le n/2-2$, finishing the proof.
\end{proof}

\section{WORM-colorings}

Let us start with the proof of Proposition \ref{worm}, which states that if a bipartite graph $F$ has $r+1\ge 3$ vertices, then $\wex(n,F)\le \ex(n,K_{r+1})+\ex(n,F)$.

\begin{proof}[Proof of Proposition \ref{worm}] Let us consider a graph $G$ on $n$ vertices with an $F$-WORM coloring. Let $G_1$ be the subgraph spanned by the edges that connect vertices of the same color and $G_2$ be the subgraph spanned by the edges that connect vertices of different colors. Then $G_1$ is $F$-free, thus has at most $\ex(n,F)$ edges.

Graph $G_2$ is not necessarily $F$-free, as it can contain a copy of $F$ with two nonadjacent vertices from the same color class, which is not rainbow. But if $G_2$ contained a copy of $K_{r+1}$, that would necessarily be rainbow, thus contain a rainbow copy of $F$, a contradiction. This shows $G_2$ has at most $\ex(n,K_{r+1})$ edges, finishing the proof.
\end{proof}

Observe that in the above proof, if the $F$-WORM coloring of $G$ has $t$ colors, then $G_1$ consists of $t$ vertex-disjoint graphs, thus has fewer than $\ex(n,F)$ edges if $t>1$ and $F$ is not a forest. On the other hand, if $t<p-1$, then $G_2$ has fewer than $\ex(n,K_p)$ edges. This shows that a careful analysis could improve the above bound.

In case $F$ is a forest, there is a chance the bound given in Proposition \ref{worm} is sharp. Let $T$ be a tree on $k+1$ vertices. Erd\H os and S\'os \cite{ErSo} conjectured that $\ex(n,T)\le (k-1)n/2$, with equality in case $k$ divides $n$, shown by the vertex-disjoint union of $n/k$ copies of $K_k$. This conjecture is known to hold for several classes of trees, including paths due to the Erd\H os-Gallai theorem \cite{ErGa}, and stars, trivially.

\begin{proposition}
Let\/ $T$ be a tree on\/ $k+1$ vertices such that the Erd\H os-S\'os conjecture holds for\/ $T$. Let\/ $n$ be divisible by\/ $k^2$. Then\/ $\wex(n,T)=t(n,k)+(k-1)n/2$.
\end{proposition}

\begin{proof}
For the upper bound, observe that the properly colored edges do not contain $K_{k+1}$, while the monochromatic edges do not contain $T$.

For the lower bound, consider the balanced complete $k$-partite graph, let the colors correspond to the parts, and place $n/k^2$ copies of $K_k$ into every part.
\end{proof}

If $T=S_k$, the star with $k$ leaves and $k$ is odd, then the Erd\H os-S\'os conjecture holds with equality if $n$ is large enough, as shown by any $(k-1)$-regular graph. Therefore, we do not need the divisibility condition.

\begin{proposition}
Let\/ $k$ be odd and\/ $n$ large enough. Then\/ $\wex(n,S_k)=t(n,k)+(k-1)n/2$.
\end{proposition}

\begin{proof} The upper bound, again, follows from the fact that the properly colored edges do not contain $K_{k+1}$, while the monochromatic edges do not contain $S_k$. For the lower bound we take the Tur\'an graph, let the colors correspond to the parts, and place a $(k-1)$-regular graph into each part.
\end{proof}

Let us consider now a general construction. For a graph $F$ with $r+1$ vertices, consider the balanced complete $r$-partite graph $T(n,r)$ on $n$ vertices, and add into each part $A$ an $F$-free graph with $\ex(|A|,F)$ edges. Let $T(n,F)$ denote an arbitrary one of the graphs obtained this way. Then $T(n,F)$ admits an $F$-WORM coloring, namely the $r$-coloring according to the parts of $T(n,r)$.

Recall that Proposition \ref{worm} shows that for a graph $F$ with $r+1$ vertices $\wex(n,F)-\ex(n,K_{r+1})\le \ex(n,F)$. The next proposition shows that this difference is $\Theta(\ex(n,F))$.

\begin{proposition}\label{propp}
If\/ $F$ has\/ $r+1\ge 3$ vertices and chromatic number\/ $p+1\ge 2$, then\/ $\wex(n,F)=\ex(n,K_{r+1})+\Theta(\ex(n,F))$.
\end{proposition}

\begin{proof} The upper bound follows from Proposition \ref{worm}. The lower bound is given by $T(n,F)$, observing that it has at least $p\cdot  \ex(\lfloor n/p\rfloor,F)=\Theta(\ex(n,F))$ edges added to the original $\ex(n,K_{r+1})$.
\end{proof}

\section{Concluding remarks}

Let us return to the connection of singular Tur\'an problems and WORM colorings. The upper bound given in Proposition \ref{worm} for $\wex(n,F)$ immediately implies the same upper bound on $T_S(n,F)$, but the lower bound given by the construction $T(n,F)$ usually contains singular copies of $F$, as the degrees in different parts of $T(n,p)$ can be the same. Moreover, the additional $F$-free graphs may make the degrees different.

The first problem we can deal with, the same way as earlier: instead of the balanced complete $r$-partite graph $T(n,r)$, we consider $T^*(n,r)$, which is a complete $r$-partite graph that is as balanced as possible, with respect to the condition that any two parts have different size. In $T^*(n,r)$ the degrees indeed give the coloring we want. However, this coloring can be ruined by the graphs we add inside the parts. To avoid this, we will add regular graphs. We still have to be careful, if we add graphs inside the parts with different regularities, then we have to avoid the final degrees coinciding in different parts. Still, if we only want to obtain a result similar to Proposition \ref{propp}, i.e.\ we are only interested in the order of magnitude, it is enough to add an $F$-free regular graph into the smallest part; then only the largest degrees increase.

This motivates us to initiate the study of \textit{regular Tur\'an problems}: what is the largest number $\rex(n,F)$ of edges in an $F$-free \emph{regular} graph on $n$ vertices? Note that it is equivalent to determining the largest regularity that an $F$-free graph on $n$ vertices can have.

Observe first that $\rex(n,F)$ is not monotone in $n$. For example $\rex(6,K_3)=9$ as shown by $K_{3,3}$, but $\rex(7,K_3)=7$, as a 4-regular triangle-free graph on 7 vertices would have more edges than the Tur\'an graph, there is no 3-regular graph on 7 vertices, and the 2-regular graph $C_7$ shows the equality. For larger $n$, asymptotically large flops also happen. If $n=2k$, we have $\rex(2k,K_3)=k^2$, as the Tur\'an graph $K_{k,k}$ is $k$-regular. If $n=2k+1$, a bipartite graph cannot be regular. A theorem of Andr\'asfai \cite{andr} states that if a triangle-free graph on $n$ vertices is not bipartite, its minimum degree is at most $2n/5$, showing $\rex(2k+1,K_3)\le (2k+1)^2/5$.

We can show a quadratic lower bound for $\rex(n,F)$ for every nonbipartite graph $F$.

\begin{theorem}
If a nonbipartite graph\/ $F$ has odd girth\/ $g$, then
$$\rex(n,F)\ge n^2\!/(g+6)-O(n) .$$
\end{theorem}

\begin{proof}
The case of $n$ even is settled by $K_{n/2,n/2}$.
If $n$ is odd, let us write it in the form $n=(g+6)q+2r$ where $0\le r\le g+5$ (and of course $q$ is odd). We construct an $F$-free $(2q)$-regular graph with two connected components.
One component is a bipartite graph of order $4q+2r$, which is obtained from $K_{2q+r,2q+r}$, removing $r$ mutually edge-disjoint perfect matchings.
The other component is obtained from $C_{g+2}$, replacing each of the vertices by an independent set of size $q$ and each of the edges by a copy of $K_{q,q}$.
\end{proof}

\begin{problem}
For any non-bipartite graph\/ $F$, determine\/ $\liminf \rex(n,F)/n^2$.
\end{problem}

For any $F$ with chromatic number $p+1\ge 3$, we know that $\rex(n,F)=(1+o(1))\ex(n,F)$ for infinitely many values of $n$, namely for $n$ divisible by $p$, as the Tur\'an graph is regular in that case. If $F$ is a tree with $r+1$ vertices, the Erd\H os-S\'os conjecture states $\ex(n,F)\le (r-1)n/2$. If it holds, it also implies $\ex(n,F)=\rex(n,F)$ for $n$ divisible by $r$, as shown by the vertex-disjoint union of $n/r$ copies of $K_r$. In case $F$ is a forest, this construction might contain $F$, but it is easy to see that if $F\neq K_2$, then $\rex(2k,F)\ge k$.

However, if $F$ is bipartite and not a forest, we do not know how close $\ex(n,F)$ and $\rex(n,F)$ can be. In particular, we do not know if $\liminf \ex(n,F)/\rex(n,F)$ is bounded by a constant. What we do know is that there exists a $d$-regular graph which has girth at least $\ell+1$ (thus is $F$-free) on at most $2\frac{(d-1)^\ell-1}{d-2}$ vertices by a result of Erd\H os and Sachs \cite{ESA}. This shows that for infinitely many $n$ we have $\rex(n,C_l)\ge cn^{1+1/\ell}$ for some constant $c$. Hence $\limsup \ex(n,F)/\rex(n,F)=\infty$ holds if and only if $F$
is bipartite and
contains a cycle.

\section*{Acknowledgement}
Research was supported by the National Research, Development and Innovation Office - NKFIH under the grants K 116769, KH130371 and SNN 129364. Research of Gerbner and Vizer was supported by the J\'anos Bolyai Research Fellowship. Research of Vizer was supported by the New National Excellence Program under the grant number \'UNKP-19-4-BME-287.


Fixed points of symplectic periodic flows

Abstract: The study of fixed points is a classical subject in geometry and dynamics. If the circle acts in a Hamiltonian fashion on a compact symplectic manifold M, then it is classically known that there are at least 1 + dim(M)/2 fixed points; this follows from Morse theory for the momentum map of the action. In this paper we use Atiyah-Bott-Berline-Vergne (ABBV) localization in equivariant cohomology to prove that this conclusion also holds for symplectic circle actions with  non-empty fixed sets, as long as the Chern class map is somewhere injective -- the Chern class map assigns to a fixed point the sum of the action weights at the point. We complement this result with less sharp lower bounds on the number of fixed points, under no assumptions;  from a dynamical systems viewpoint, our results imply that there is no symplectic periodic flow with exactly one or two equilibrium points on a compact manifold of dimension at least eight.

\section{Introduction}

The study of fixed points of flows or maps is a classical
and important topic studied in geometry and dynamical systems.
For instance, in the context of symplectic geometry,
it follows from the works of
Atiyah \cite{atiyah}, Guillemin\--Sternberg \cite{gs},
and Kirwan \cite{kirwan}
that a lot of the information
of a symplectic manifold equipped
with a Hamiltonian torus action is
encoded by the fixed point set of the  action. For example, if
the torus has precisely half the dimension
of the manifold, then all the information
is encoded by the fixed point  set; see
Delzant \cite{delzant}.

In this paper we study
symplectic (but not necessarily Hamiltonian) circle actions
on compact symplectic manifolds with non-empty fixed point sets.
Specifically, we are interested in providing lower bounds
on the number of fixed points of the circle action. Equivalently, out goal is
to give lower bounds for the number of equilibrium
points of symplectic periodic flows.

There are many non\--Hamiltonian circle actions with no fixed points; for
instance,  given an even\--dimensional torus, consider the natural action of any
circle subgroup.
A well\--known theorem of McDuff  \cite[Prop.~2]{McDuff} says
that a symplectic circle action on a four\--dimensional
compact symplectic manifold with at least one fixed point
is Hamiltonian.
Non\--Hamiltonian symplectic circle actions on higher dimensional
manifolds  are not well
understood.
A manifestation of this fact is that
it is not known whether there is a non\--Hamiltonian symplectic circle action
on  a compact symplectic manifold $M$
so that the fixed set $M^{S^1}$ is discrete but not empty.
(In \cite[Prop.~1 and Sec.~3]{McDuff},  McDuff also constructs
a non\--Hamiltonian symplectic circle action on a six\--dimensional compact
symplectic manifold, but the fixed sets are tori.)

It is a classical fact
that  a Hamiltonian circle action on a compact
symplectic manifold $(M,\, \omega)$ has at least
$\frac{1}{2} \dim M + 1$
fixed points.
This is an easy consequence of the fact that, if the fixed set is discrete,
then the  momentum map $\mu \colon M \to {\mathbb R}$  is a perfect Morse function
whose critical set is the fixed set.
Therefore,  the number of fixed points is equal to the rank of $\sum_i \op{H}_i(M;{\mathbb R})$. Finally,
this sum is at least
$\frac{1}{2}\dim M +1$
because
$$ [1],\, [\omega],\,
\big[\omega^2 \big], \ldots, \big[ \omega^{\frac{1}{2} \dim M}\big]$$
are distinct cohomology
classes.
In addition, a lot of  properties of Hamiltonian
circle actions are known, see McDuff\--Tolman \cite{mcdufftolman} and the
references therein.
A natural question arises: what can one say about the fixed point
set of a
{\em symplectic} circle action?
The goal of this paper is to shed light into this question. Before stating
our main results
we need to recall some terminology.

\vspace{1mm}
A \emph{symplectic form} on a compact manifold $M$ is a closed, non\--degenerate
two\--form $\omega \in \Omega^2(M)$.
A circle action on $M$ is \emph{symplectic} if it preserves $\omega$.
A symplectic circle action is \emph{Hamiltonian} if there exists
 a map $\mu \colon M \to {\mathbb R}$ such that
$$- \op{d}\! \mu = \iota_{X_M} \omega,$$
where $X_M$ is the vector field on $M$ induced by the circle action.
The map $\mu$ is called the \emph{momentum map}.
Since $\iota_{X_M} \omega$ is closed, every symplectic action is
Hamiltonian if $\op{H}^1(M;\, {\mathbb R}) = 0$.

Let
the circle  act on a compact symplectic manifold $(M,\, \omega)$
with momentum map $\mu \colon M \to {\mathbb R}$.
Since the set of compatible almost complex structures
$J \colon \op{T}\!M \to \op{T}\!M$ is contractible,  there is a well\--defined
multiset of integers, called \emph{weights}, associated to  each fixed point $p$.
Moreover,
let
 $\op{c}_1(M)|_p$ denote the first equivariant Chern class of the tangent bundle of $M$
 at  $p \in M^{S^1}$, which we can naturally identify with an integer
 $\op{c}_1(M)(p)$: the sum
 of the weights at $p$; (see Section \ref{sec2} for
a brief explanation.)
Under this identification,
 we consider the map
 $$
 \op{c}_1(M) \colon M^{S^1} \to {\mathbb Z},\,\,\,\,\,\,\,\,\, p \mapsto \op{c}_1(M)(p) \in {\mathbb Z}.
 $$
We refer to the map $\op{c}_1(M)$ as
 the \emph{Chern class map} of $M$.
Finally,
let $X$ and $Y$ be sets and let $f\colon X \to Y$ be a map.
We recall that
$f$ is \emph{somewhere injective}
if
there is a point $y\in Y$ such that $f^{-1}(\{y\})$
is the singleton.
Note that if $f$ is a somewhere injective map, then necessarily
$X \neq \emptyset$.
(In particular, if the Chern class map is somewhere
injective, $M^{S^1} \neq \emptyset$.)
On the other hand, if $X \neq \emptyset$,
then  every injective map is somewhere injective.

\begin{theorem}\label{general}
Let the circle  act symplectically
on a compact  symplectic manifold $M$.
If  the Chern class map is somewhere injective,
then the circle action has at least
$\frac{1}{2}\dim M + 1$
fixed points.
\end{theorem}

There has been a considerable amount of interest,
as far as we know with no success, in trying to construct non\--Hamiltonian symplectic
circle actions with non\--empty finite fixed point set. The theorem above
tells us where we should \emph{not look} for examples.
An interesting open question is whether
Theorem \ref{general} holds without the assumption on the Chern class map;
we suspect that the answer is ``yes''.
Our proof uses the Atiyah\--Bott and Berline\--Vergne localization formula in equivariant
cohomology, following the ideas of the paper by Tolman\--Weitsman \cite{tolmanweitsman}
on semifree actions. We also use some
basic properties of Poincar\'e polynomials and Morse functions to prove:

\begin{theorem} \label{2}
If the circle acts symplectically on  a compact symplectic manifold $M$
with isolated fixed
points, then
$$\sum_{p \in M^{S^1}} \op{c}_1(M)(p) = 0.$$
\end{theorem}

In their paper, Tolman and Weitsman pointed out
that their results did not rule out the existence of an example of a symplectic
circle action on a $6$\--dimensional manifold \emph{with exactly two
fixed points with weights $(1,\,1,\,-2)$ and $(-1,\,-1,\,2)$} and the question
has been open ever since. Note that our results above do not rule out the existence of such an example either.
In this paper we shall prove:

\begin{theorem}\label{twopoints2}
Let the circle act symplectically on a compact,
connected
symplectic manifold $M$
with exactly two fixed points.
Then either $M$ is the $2$-sphere or $\dim M  = 6$ and
there exist natural numbers $a$ and $b$ so that the weights at the two fixed points
are $\{a,b,-a-b\}$ and $\{a+b, -a,-b\}$.
\end{theorem}

As a conclusion from these three theorems we obtain:

\begin{cor}\label{maintheorem}
Let the circle act symplectically
on a compact  symplectic manifold $M$ with
non\--empty fixed point set.
Then
there are at least  two fixed points, and if
$\dim M\ge 8$,
then  there are at least three fixed points.
Moreover, if
the Chern class map is not identically zero and
$\dim M\ge 6$,
then there are at least four fixed points.
\end{cor}

\begin{proof}
By Theorem \ref{general} there cannot be exactly one fixed point;
since
$M^{S^1} \neq \emptyset$ this implies that there are least two fixed points.
If $\dim M \ge 8$ then Theorem \ref{twopoints2} implies that there are at least three fixed points.
If the Chern class map is not identically zero, it
follows from Theorem \ref{2} that it is not constant,
that is,
$$ \Big\vert \{\op{c}_1(M)(p) \mid p \in M^{S^1}\} \Big\vert \geq 2.
$$
Hence, if  there are less than
$\frac{1}{2}\dim M  + 1$
fixed points, then
Theorem \ref{general} implies that there must be at least four.
\end{proof}

\begin{remark}
We do not know if there is a symplectic circle
action on a compact, connected symplectic manifold $M$ with
exactly {\em three} fixed points, other than the standard
actions on ${\mathbb C} P^2$.  Note that, by Corollary~\ref{odd},
if this does occur then $\frac{1}{2}\dim M$ is even.
\end{remark}

There are several works on (possibly
non\--Hamiltonian) symplectic circle
actions that are related to this note, including Godinho \cite{go} and Weitsman \cite{we}.
For works on (possibly non\--Hamiltonian) symplectic $(S^1)^k$\--actions, $k>1$,
see Duistermaat\--Pelayo \cite{dp} and Pelayo \cite{pe}; in these cases
the fixed point sets are well understood.
In addition,
the study of $S^1$\--actions and their  flows
is central in the analysis of bifurcation diagrams
in the modern global theory of
integrable systems, see \cite{vungoc}, \cite{pelayovungoc1}, \cite{pelayovungoc2}.
A \emph{symplectic periodic flow} is a flow generated by
a symplectic circle action. Fixed points of the circle
action correspond to equilibrium points of the
flow. From a dynamical systems viewpoint,
Corollary \ref{maintheorem} implies:

\begin{cor} \label{1:thm}
There is no symplectic periodic flow with exactly one equilibrium
point on a compact manifold $M$.
Moreover if $\dim M\ge 8$, then there is no symplectic periodic flow
with exactly  two equilibrium points.
\end{cor}

\emph{Acknowledgements.} Special thanks to D. McDuff
for comments and giving us a stronger formulation
of Theorem \ref{general}.
Thanks to D. Auroux, V. Guillemin
and S. Sabatini for comments on a preliminary version.
Finally, we are grateful to an anonymous referee for
interesting comments and suggestions.

\section{Proofs of Theorems \ref{general} and \ref{2}} \label{sec2}

Before beginning these proofs,  we briefly introduce some background material.
Let the circle act on a manifold $M$.
The \emph{equivariant cohomology of $M$}
is, by definition,
$\op{H}^*_{S^1}(M) =\op{H}^*(M \times_{S^1} S^\infty).$
For example, if $p$ is a point then
$\op{H}^*_{S^1}(p;\, {\mathbb Z}) = \op{H}^*(\mathbb{C}P^\infty;\, {\mathbb Z}) = {\mathbb Z}[t].$
If $V$ is an equivariant vector bundle over $M$,
then the \emph{equivariant Euler  class of } $V$ is the Euler class
of the vector bundle $V \times_{S^1} S^\infty$ over $M \times_{S^1} S^\infty$.
The \emph{equivariant Chern classes} of equivariant complex vector bundles
are defined analogously.

If $M$ is oriented and compact then
the projection map $\pi \colon M \times_{S^1} S^\infty \to \mathbb{C}P^\infty$
induces a natural push\--forward map
$$\pi_* \colon \op{H}_{S^1}^{i}(M;{\mathbb Z})
\to \op{H}^{i - \dim M} (\mathbb{C}P^\infty;\, {\mathbb Z}).$$
Note, in particular
that if $i < \dim M$ then $\pi_*(\alpha) = 0$ for all $\alpha \in \op{H}^i_{S^1}(M;{\mathbb Z})$.
Since this map is given by ``integration over
the fiber,'' we will usually denote it by the symbol $\int_M$.
We will need the following theorem, due to Atiyah\--Bott and
Berline\--Vergne \cite{AB,BV}.

\begin{theorem}[ABBV Localization] \label{ABBV}
Let the circle act on a compact oriented manifold $M$.
Fix $\alpha \in \op{H}_{S^1}^*(M;\, {\mathbb Q})$. As elements of ${\mathbb Q}(t)$,
$$\int_M \alpha = \sum_{F \subset M^{S^1}} \int_F \frac{ \alpha|_F}{\op{e}_{S^1}(\op{N}_F)},$$
where the sum is over all fixed components,
and $\op{e}_{S^1}(\op{N}_F)$ denotes the equivariant Euler class of the normal
bundle to $F$.
\end{theorem}

Now let the circle act symplectically on a symplectic manifold  $(M,\, \omega)$, and
let $J \colon \op{T}\!M \to \op{T}\!M$ be a compatible almost
complex structure.
If $p \in M^{S^1}$ is an isolated fixed point, then there are
well-defined non-zero (integer) weights
$\xi_1,\,\ldots,\,\xi_n$ in the isotropy representation $\op{T}_p M$ (repeated with multiplicity).
Indeed, there exists an identification of  $\op{T}_pM$ with $\mathbb{C}^n$,
where the $S^1$ action on $\mathbb{C}^n$ is
given by  $\lambda \cdot (z_1,\ldots,z_n)=
(\lambda^{\xi_1}z_1,\ldots,\lambda^{\xi_n}z_n)$; the
integers $\xi_1,\ldots, \xi_n$ are determined, up to permutation,
by the $S^1$\--action and the symplectic form.
Therefore, restriction of
the  $i^{\scriptop{th}}$\--equivariant Chern class to a fixed point $p$ is given by
$$
\op{c}_i(M)|_p = \sigma_i(\xi_1,\ldots,\xi_n) \, t^i
$$
where $\sigma_i$ is the $i$'th elementary symmetric polynomial
and $t$ is the generator of $\op{H}^2_{S^1}(p;{\mathbb Z})$.
For example, $\op{c}_1(M)|_p = \sum \xi_i t$
and  the equivariant Euler class
of the tangent bundle at $p$
is given by
$
\op{e}_{S^1}(\op{N}_p) =\op{c}_n(M)|_p =  \left( \prod \xi_j \right) \, t^n.
$
Hence,
$$\int_p \frac{\op{c}_i(M)|_p}{\op{e}_{S^1}(\op{N}_p)}= \frac{ \sigma_i(\xi_1,\ldots,\xi_n) }
{  \prod \xi_j } \, t^{i -n}.$$

\begin{lemma}\label{Azero}
Let the circle  act symplectically
on a compact symplectic $2n$\--manifold $M$ with isolated fixed points.
If the range of the Chern class map $\op{c}_1(M)$ contains at most $n$ elements,
then
$$
\sum_{\substack{p \in M^{S^1}\\
\op{c}_1(M)(p)=k}} \! \!  \frac{1}{\,\Lambda_p} = 0 \qquad
\forall \ k \in {\mathbb Z}.
$$
Here, $\Lambda_p$ is the product of the weights (with multiplicity) in the isotropy representation
$\op{T}_p M$ for all $p \in M^{S^1}$.
\end{lemma}

\begin{proof}
Let
\begin{gather*}
\left\{\op{c}_1(M)(p) \; \middle\vert \; p \in M^{S^1} \right\}=
\left\{k_1,\, \ldots,\, k_{\ell}\right\} \subset {\mathbb Z},
\quad \mbox{and define} \\
A_i:=\sum_{\substack{p \in M^{S^1}\\
\op{c}_1(M)(p)=k_i}} \! \!  \frac{1}{\,\Lambda_p}
\quad \forall \ i \in \{1,\dots,\ell\}.
\end{gather*}
Consider the $\ell \times \ell$
matrix $\mathcal{B}$  given by
$$
\mathcal{B}_{ij}:= (k_i)^{j-1} \qquad \forall \ 1 \leq i \leq \ell \ \mbox{and} \ 1 \leq j \leq \ell.
$$
Since  $\ell \leq n$ by assumption,
$$
\int_M \op{c}_1(M)^j = 0 \,\,\, \textup{for all}\,\,\, j < \ell.
$$
Therefore, applying the ABBV localization formula (Theorem \ref{ABBV})
to
$$1, \,\op{c}_1(M), \dots, \,\op{c}_1(M)^{\ell - 1}$$
gives
a homogenous system of linear equations
\begin{equation} \label{linear}
\mathcal{B}\cdot (A_1,\,\ldots,\,A_{\ell})=(0,\,\ldots,\,0).
\end{equation}
Since $\mathcal{B}$ is a Vandermonde matrix, we have that
$$\op{det}(\mathcal{B}(\ell)) \neq 0.$$
Thus, it follows from (\ref{linear}) that
$$
A_1= \dots =A_{\ell}\,=\,0.
$$
\end{proof}

\begin{cor}\label{notone}
There does not exist a  symplectic $S^1$\--action with exactly
one fixed point.
\end{cor}

\begin{proof}[Proof of Theorem \ref{general}]
If the Chern class map is somewhere injective, then
there exists $k \in {\mathbb Z}$ so that
$$\sum_{\substack{p \in M^{S^1}\\
\op{c}_1(M)(p)=k}} \! \!  \frac{1}{\,\Lambda_p} \neq 0.$$
By Lemma \ref{Azero}, this
implies that the range of the Chern class map contains at least
$\frac{1}{2} \dim M + 1$ elements;
a fortiori,
the action has at least $\frac{1}{2} \dim M + 1$ fixed points.
\end{proof}

\begin{remark}
More generally, let $s \colon M^{S^1} \to {\mathbb Z}$ be given by any product of Chern classes
of total degree $2m$.
Then, by a nearly identical argument, if the range of $s$ contains at
most $\frac{n}{m}$ elements  then
$$
\sum_{\substack{p \in M^{S^1}\\
s(p) =k}} \! \!  \frac{1}{\,\Lambda_p} = 0 \qquad
\forall \ k \in {\mathbb Z}.
$$
In particular, $s$ is nowhere injective.
\end{remark}

\begin{lemma} \label{1}
Let the circle act symplectically
on a compact symplectic $2n$\--manifold with isolated fixed points.
Then
\begin{eqnarray*}
\Big\lvert \big\{ p \in M^{S^1} \ \big| \ \lambda_p = i \big\} \Big\rvert =
\Big\lvert \big\{ p \in M^{S^1} \ \big| \
 \lambda_p = n - i \big\} \Big\rvert \quad
\forall \ i \in {\mathbb Z}.
\end{eqnarray*}
Here,  $\lambda_p$ is the number of negative weights at  $p$
for all $p \in M^{S^1}$.
\end{lemma}

\begin{proof}
By perturbing and rescaling
the symplectic form if necessary, we may assume that there exists a
circle valued moment map $\Phi \colon M \to S^1$
and that zero is a regular value \cite[Lemma 1]{McDuff}.

\vspace{1mm}

By cutting this manifold at $0$, we can construct a new symplectic orbifold
$N$ with momentum map
$
\Psi \colon N \to {\mathbb R}
$
with the property that the minimum and maximum
fixed sets are each diffeomorphic  to the reduced space
$$
M_0 = \mu^{-1}(0) /S^1.
$$
On the complement of
these extremal fixed point sets, $N$ is equivariantly symplectomorphic to $M \smallsetminus \mu^{-1}(0)$.

\vspace{0.1in}

Since $\Psi$ and $-\Psi$ are  perfect Bott\--Morse functions, we have
equalities of Poincar\'e polynomials
\begin{align}
\label{poincpoly}
\op{P}_{N} & = \op{P}_{M_0} + \sum_{p \in M^{S^1} } t^{\lambda_p} + t \, \op{P}_{M_0} \qquad \mbox{and} \\
\label{poincpoly2}
\op{P}_N  &= \op{P}_{M_0} + \sum_{p \in M^{S^1} } t^{n - \lambda_p} + t \, \op{P}_{M_0}.
\end{align}
The claim follows from
(\ref{poincpoly}) and (\ref{poincpoly2}).
\end{proof}

By Poincar\'e duality, this has the following corollary
\begin{cor}\label{odd}
Let the circle act symplectically on a compact symplectic $2n$-manifold
with $k$ isolated fixed points.  If $k$ is odd, then $n$ is even.
\end{cor}

We are now ready to prove our final result.

\begin{lemma} \label{last:lem}
Let the circle  act symplectically
on a compact symplectic manifold $M$ with isolated fixed points.
Then
$$
\sum_{p \in M^{S^1}} \op{N}_p(\ell) = \sum_{p \in M^{S^1}} \op{N}_p(-\ell) \quad \quad
\forall \ \ell \in {\mathbb Z}.
$$
Here,  $\op{N}_p(\ell)$ is the
multiplicity of $\ell$ in the  isotropy representation $\op{T}_p M$ for all weights $\ell \in {\mathbb Z}$
and all $p \in M^{S^1}$.
\end{lemma}

\begin{proof}
Assume that the lemma is true for all manifolds of dimension less than $\dim M$;
we will prove that it holds for $M$.

\vspace{1mm}

Without loss of generality we may assume that $M$ is connected.
By quotienting out by the subgroup which acts trivially,
we may assume that the action is effective.
Given a natural number  $\ell \neq 1$,
let ${\mathbb Z}/(\ell) \subset S^1 \subset {\mathbb C}$ be the natural subgroup generated by
$e^{\frac{2 \pi i}{\ell}}$, and
let $M^{{\mathbb Z}/(\ell)} \subset M$ denote the set of points which are fixed by ${\mathbb Z}/(\ell)$.
Given  any component $Z \subset M^{{\mathbb Z}/(\ell)}$
and any $p \in Z^{S^1}$, the multiplicity of $\ell$ (or $-\ell$)
in the isotropy representation
$\op{T}_p Z$
is equal to the multiplicity of $\ell$ (or $-\ell$) in $\op{T}_p M$.
Since the action is effective, $\dim Z < \dim M$.
Therefore, by the inductive hypothesis,
\begin{equation*}
\sum_{p \in Z^{S^1}} \, \op{N}_p(\ell) = \sum_{p \in Z^{S^1}} \, \op{N}_p(-\ell) \quad \quad \forall \ \ell \in {\mathbb Z} \smallsetminus \{-1,0,1\}.
\end{equation*}
Since every fixed point lies in a unique component of $M^{{\mathbb Z}/(\ell)}$,
it follows immediately that
\begin{gather*}
\sum_{p \in M^{S^1}} \, \op{N}_p(\ell) = \sum_{p \in M^{S^1}} \, \op{N}_p(-\ell)  \quad \quad
\forall \ \ell \in {\mathbb Z} \smallsetminus \{-1,0,1\}.
\end{gather*}
Moreover,
Lemma \ref{1} implies
that
$$
\sum_{p \in M^{S^1}} \sum_{\ell =1}^\infty \, \op{N}_p(-\ell) = \sum_{p \in M^{S^1}} \lambda_p
= \sum_{p \in M^{S^1}} \Big( \textstyle{\frac{1}{2}}\displaystyle \dim M - \lambda_p \Big)
= \sum_{p \in M^{S^1}} \sum_{\ell =1}^\infty \, \op{N}_p(\ell).
$$
Here,  $\lambda_p$ is the number of negative weights at  $p$
for all $p \in M^{S^1}$.
The result follows immediately.
\end{proof}

\begin{proof}[Proof of Theorem \ref{2}]

As we explained in the beginning of this section,
$$\sum_{p \in M^{S^1}} \op{c}_1(M)(p) =
\sum_{\ell \in {\mathbb Z}} \sum_{p \in M^{S^1}} \ell \, \op{N}_p(\ell)
.$$
But Lemma \ref{last:lem} implies that the right hand side of this equation is
equal to zero.
\end{proof}

\section{Proof of Theorem \ref{twopoints2}}

In the proof, we will show that  the set of weights in
the isotropy representation $\op{T}_p M$  contains a natural subset which
satisfies the assumptions of the following technical lemma.
It is easy to check that every such set contains at least
three non-zero integers. With a little more work, we can
describe these sets precisely.

\begin{lemma} \label{multi}
Let $\Sigma$ be a multiset of non\--zero integers. Let
$\op{N}(\ell)$ denote the multiplicity of $\ell$ in $\Sigma$
for all $\ell \in {\mathbb Z}$.
Assume that the following hold.
\begin{itemize}
\item $\op{N}(\ell) \op{N}(-\ell) = 0$ for all $\ell \in {\mathbb Z}$.
\item $\Sigma = -\Sigma \mod \alpha$  for all $\alpha \in \Sigma.$
\item $\sum_{\alpha  \in \Sigma} \alpha = 0$.
\item There exists $n \in {\mathbb N}$ such that $\op{N}(n) = 1$
and $\op{N}(\ell) = 0$ for all $\ell \in {\mathbb Z}$ such that $|\ell| > n$.
\end{itemize}
Then there exist
natural numbers $a$ and $b$ so that $$\Sigma = \{a+b,-a,-b\}.$$
\end{lemma}

\begin{proof}
Let
$k$ be the second largest number such that $\op{N}(k) + \op{N}(-k) \neq 0$.
By assumption, there exist bijections
$\theta \colon \Sigma \to \Sigma$ and $\theta' \colon \Sigma \to \Sigma$
such that $\theta(\alpha)  + \alpha =  0 \mod n$
and $\theta'(\alpha) + \alpha  = 0 \mod k$ for all $\alpha \in \Sigma$.
Furthermore, we may assume that
$$\theta^2 = (\theta')^2 = \mathop{{\rm id}}\nolimits_{\Sigma}.
$$

Define multisets
$$\Sigma^+ = \{\alpha \in \Sigma  \mid \alpha > 0\} \smallsetminus \{n\}
\quad \mbox{and} \quad
\Sigma^- = \{\alpha \in \Sigma \mid \alpha < 0\}.$$

Let $\alpha \in \Sigma^+$.
By assumption, $-\alpha \not\in \Sigma$;
in particular, $\theta(\alpha) \neq - \alpha$.
Therefore, since $0 < \alpha < n$ and  $-n  < \theta(\alpha) \leq n$,
the fact that $\alpha + \theta(\alpha) = 0 \mod n$ implies
that $\alpha + \theta(\alpha) = n$.
In particular, $\theta(\alpha) \in \Sigma^+$.
A nearly identical argument shows that, if $\alpha \in \Sigma^-$,
then $\theta(\alpha) \in \Sigma^-$
and
$\alpha + \theta(\alpha) = - n$.
Therefore,
\begin{equation}\label{eqsum}
\sum_{\alpha \in \Sigma^+} \alpha = \frac{n}{2} \, \left|\Sigma^+\right|
\quad \mbox{and} \quad
\sum_{\alpha \in \Sigma^-} \alpha = - \frac{n}{2}\, \left|\Sigma^-\right|,
\end{equation}
where $\left|\Sigma^\pm \right|$ denotes the number of elements
(counted with multiplicity) in $\Sigma^\pm$.
Finally, similar arguments apply to $\theta'(\alpha)$
as long as $\theta'(\alpha) \neq n$, or equivalently
(since $(\theta')^2 = \mathop{{\rm id}}\nolimits_{\Sigma}$) as long as $\alpha \neq \theta'(n)$.
In particular,
$\theta' (\alpha) \in \Sigma^+$ and $\alpha + \theta'(\alpha) = k$
for all $\alpha \in \Sigma^+ \smallsetminus \theta'(n)$, while
$\theta' (\alpha) \in \Sigma^-$ and $\alpha + \theta'(\alpha) = -k$
for all $\alpha \in \Sigma^- \smallsetminus \theta'(n)$.
We now need to consider the two possible cases:
\\
\\
\noindent
{\bf Case I:} \emph{Assume $\op{N}(k) \neq 0$}.

In this case, by the paragraph above
$k + \theta(k) = n$.
Since $n + \theta'(n) = 0 \mod k$, this implies that
$\theta(k) + \theta'(n) = 0 \mod k$.
On the other hand, by assumption, $-\theta(k) \not\in \Sigma$; in particular,
$\theta'(n) \neq - \theta(k)$.
Since $0 < \theta(k) \leq k$ and $-k < \theta'(n) \leq n$
these two facts imply that $\theta'(n) > 0$.
Therefore, by the preceding paragraph, $\theta'(\alpha) \in \Sigma^-$
and
$\alpha + \theta'(\alpha) =  - k$ for all $\alpha \in \Sigma^-$.
Hence,
$$\sum_{\alpha \in \Sigma^-} \alpha
= - \frac{k}{2} \, \left| \Sigma^-\right|.$$
Since $k \neq n$, this is a contradiction
unless $\Sigma^- =  \emptyset.$
But this contradicts the assumption that $\sum_{\alpha \in \Sigma} \alpha = 0$.
\\
\\
\noindent
{\bf Case II:} \emph{Assume $\op{N}(- k) \neq  0$}.

In this case,
$-k + \theta(-k) = -n$,
and so  $\theta(-k) = - n \mod k$.
Therefore, we can choose $\theta'$ so that
$\theta'(n) = \theta(-k)$.
In particular, $\theta'(n) < 0$.
By an argument analogous  to that in the previous case, this
is impossible unless
$\Sigma^+ = \emptyset$.
Since $\alpha + \theta(\alpha) = -n$ for all $\alpha \in \Sigma^-$
and $\sum_{\alpha \in \Sigma} \alpha = 0$, this implies
that there  exist
natural numbers $a$ and $b$ so
that $\Sigma = \{a+b,-a,-b\}$.
\end{proof}

We are now ready to show that Theorem \ref{twopoints2} holds.

\begin{proof}[Proof of Theorem \ref{twopoints2}]
If $\dim M = 2$ then the quotient $M/S^1$ is a $1$-dimensional
manifold with boundary.
Hence, $M/S^1$ is homeomorphic to the
interval $[0,\,1] \subset {\mathbb R}$ and the
fixed points correspond to $\{0\}$ and $\{1\}$.
By Mayer-Vietoris, this implies that $H^1(M;{\mathbb R}) = 0$,
that is, $M$ is the $2$-sphere.
Note that in this case,
the ABBV localization formula implies that
there exists a natural number $a$ so that the weights at
the two fixed points are $a$ and $-a$.

Hence, we may assume that $\dim M > 2$
and that the proposition is true for all
manifolds of dimension less than $\dim M$; we will prove
that it holds for $M$.

By quotienting out by the subgroup which acts trivially,
we may assume that the action is effective.
Let $p$ and $q$ be the fixed points.
Let $\Sigma_p$ and $\Sigma_q$ denote the set of weights
(counted with multiplicity) in the isotropy representations
$\op{T}_p M$ and $\op{T}_q M$, respectively.
Let
$\op{N}_p(\ell)$ and $\op{N}_q(\ell)$ denote the multiplicity of $\ell$
in $\Sigma_p$ and $\Sigma_q$, respectively, for all $\ell \in {\mathbb Z}$.
Finally, let  $\Lambda_p$ and $\Lambda_q$ be the product of the weights in $\Sigma_p$ and $\Sigma_q$,  respectively.

Let $n$ be the largest integer such that $\op{N}_p(n) + \op{N}_q(n) \neq 0$.
By relabeling if necessary, we may assume that $\op{N}_p(n) \neq 0$.
\\
\\
\noindent
{\bf Claim I:}  \emph{$\op{N}_p(\ell) \op{N}_p(-\ell) = \op{N}_q(\ell)
\op{N}_q(-\ell) = 0$  for all $\ell \in {\mathbb Z}
\smallsetminus \{-1,0,1\}$}.

Since $|\ell| > 1$,
$\dim  M^{{\mathbb Z}/(\ell)}  < \dim M$.  Moreover,
the isotropy submanifold $M^{{\mathbb Z}/(\ell)}$ has at most two fixed points.
Therefore, the inductive hypothesis and Corollary~\ref{notone} together imply
that $\ell$ and $-\ell$ can't both be weights in
$\op{T}_p M^{{\mathbb Z}/(\ell)}$
or in
$\op{T}_q M^{{\mathbb Z}/(\ell)}$;  this proves the claim.
\\

\noindent
{\bf Claim II:} $\Sigma_p = - \Sigma_q$.

By Claim I, $\op{N}_p(\ell)
\op{N}_p(- \ell)  = \op{N}_q(\ell) \op{N}_q(-\ell)  = 0$ for all $\ell \in {\mathbb Z} \smallsetminus \{-1,0,1\}$.
By Lemma~\ref{last:lem},
$$
\op{N}_p(\ell) + \op{N}_q(\ell) = \op{N}_p(-\ell) + \op{N}_q(-\ell)
\quad \forall \ \ell \in {\mathbb Z} \smallsetminus \{-1,0,1\};
$$
therefore  $\op{N}_p(\ell) =
\op{N}_q(-\ell)$ for all such $\ell$.
The claim then follows immediately from  Lemma~\ref{1},
which implies that $$\sum_{\ell=1}^\infty \op{N}_p(-\ell) = \lambda_p = \textstyle \frac{1}{2}\displaystyle
\dim M - \lambda_q = \sum_{\ell=1}^\infty \op{N}_q(\ell).$$
Here, $\lambda_p$ and $\lambda_q$ are the number of negative weights in $\Sigma_p$ and $\Sigma_q$, respectively.
\\

\noindent
{\bf Claim III:} \emph{$\Sigma_p = - \Sigma_p \mod \alpha$ for all
$\alpha \in \Sigma_p$}.

Consider a nonzero integer $\ell$ and
a component $Z \subset M^{{\mathbb Z}/(\ell)}$.
By Corollary~\ref{notone}, if $Z$ is not a single point then it either contains
both $p$ and $q$, or neither.
In the former case, $\Sigma_p = \Sigma_q \mod \ell$; see \cite[Lemma 2.6]{T}.
Hence, $\Sigma_p =  \Sigma_q \mod \alpha$ for every $\alpha \in \Sigma_p$. Therefore,
the claim follows immediately from Claim II.
\\

\noindent
{\bf Claim IV:}
\emph{
$\sum_{\alpha \in \Sigma_p} \alpha = 0$}.

On the one hand,  Lemma~\ref{Azero} implies that since $\dim M >2$,
\begin{equation}
\label{eqletwo}
\op{c}_1(M)(p) = \op{c}_1(M)(q)
\quad \mbox{and} \quad \frac{1}{\Lambda_p} +
\frac{1}{\Lambda_q} = 0.
\end{equation}
Moreover, by Theorem~\ref{2}, $\op{c}_1(M)(p) + \op{c}_1(M)(q) = 0$;
therefore $$\sum_{\alpha \in \Sigma_p} \alpha = \op{c}_1(M)(p) =  0.$$
\\
\noindent
{\bf Claim V:} \emph{$n > 1$, $\op{N}_p(n) = 1$, and $\op{N}_p(\ell) = 0$ for all
$\ell \in {\mathbb Z}$ such that $|\ell| >  n$}.

If the weights at $p$ and $q$ are all $1$ or $-1$, then the fact that
$\op{c}_1(M)(p) = \op{c}_1(M)(q)$ implies that $\Lambda_p = \Lambda_q$.
Since this contradicts \eqref{eqletwo}, there exists $\ell \neq \pm 1$ so
that $\op{N}_p(\ell) + \op{N}_q(\ell) \neq 0$.
By Claim II and the definition of $n$, this implies that $n > 1$ and
$\op{N}_p(\ell) = 0$ for all $\ell \in {\mathbb Z}$ such that $|\ell| > n$.

Since $n > 1$,
$\dim  M^{{\mathbb Z}/(n)}  < \dim M $.  Moreover,
the isotropy submanifold $M^{{\mathbb Z}/(n)}$ has  at most
two fixed points. Therefore, the inductive hypothesis and Corollary~\ref{notone}
together imply that $\op{N}_p(n) = 1$.
\\

\noindent
{\bf Claim VI:} \emph{ $\Sigma_p = \{a+b, -a, -b\} \cup \bigcup_{i=1}^m \{1,-1\}$ for some natural numbers $a$, $b$, and $m$.}

Let $\Sigma'$ be the subset of $\Sigma_p$ formed by deleting the pair $\{1,-1\}$
as many times as possible,
that is,
$$\Sigma' =  \Sigma_p \smallsetminus
\cup_{i=1}^{m} \{1,-1\}, \qquad \mbox{where} \  \ m = \min \{\op{N}_p(1),\op{N}_p(-1) \} .$$
By
Claims I, III, IV, and V,  the set $\Sigma'$ fulfills the requirements of Lemma~\ref{multi}; therefore,
the claim follows immediately from that result.
\\

\noindent
{\bf Claim VII:} $\Sigma_p = \{a+b,-a,-b\}$ and $\Sigma_q = \{a,b,-a-b\}$ for some natural numbers $a$ and $b$.
\\

By Claims II and  VI,
$$\Sigma_p = - \Sigma_q = \{a+b,-a,-b\} \cup \bigcup_{i=1}^m \{1,-1\}$$
for some natural numbers $a$, $b$, and $m$.
Therefore, since $\dim(M) = 6 + 2m$,
to prove the claim is enough to we show that $\dim(M) \leq 6$.
Moreover, by a straightforward computation,
\begin{equation*}
\op{c}_3(M)|_p = -  \op{c}_3(M)|_q =  (a+b) a b \, t^3
\quad \mbox{and} \quad
\Lambda_p  = - \Lambda_q = (-1)^{m} (a+b) a b .
\end{equation*}
Therefore, by the ABBV localization formula (Theorem \ref{ABBV}),
$$\int_M  \op{c}_3(M) = \frac{(-1)^m}{t^{2m}}  + \frac{(-1)^m}{t^{2m}}=\frac{2(-1)^m}{t^{2m}} \neq 0.  $$
As we explained in the beginning of Section~\ref{sec2}, this is impossible
unless $\dim M \leq 6$, as required.

\end{proof}

Symplectic Geometry (math.SG); Dynamical Systems (math.DS)