Abstract:In this paper, we determine for which nonnegative integers $k$, $l$ and for which homotopy $7-$sphere $\Sigma$ the manifold $kS^{2}\times S^{5}\#lS^{3}\times S^{4}\#\Sigma$ admits a free smooth circle action.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine which non - negative integers \(k\) and \(l\), and which homotopy 7 - spheres \(\Sigma\), such that the manifold \(kS^{2}\times S^{5}\#lS^{3}\times S^{4}\#\Sigma\) admits a free smooth circle action. Specifically, the main results of the paper are:
**Theorem 1**: Let \(k, l\in\mathbb{N}\) and \(\Sigma\) be a homotopy 7 - sphere. The manifold \(kS^{2}\times S^{5}\#lS^{3}\times S^{4}\#\Sigma\) admits a free smooth circle action if and only if one of the following conditions holds:
1. \(k\geq2\);
2. \(k = 1\) and \(l\) is even;
3. \(k = 1\) and \(l\) is odd, and \(\Sigma\) admits a free smooth circle action;
4. \(k = 0\) and \(l\) is even, and \(\Sigma\) admits a free smooth circle action;
5. \(k = 0\) and \(l\) is odd, and \(\Sigma=S^{7}\).
**Remark 1**: According to [GGR23, Theorem E], \(kS^{2}\times S^{5}\#lS^{3}\times S^{4}\) admits a free smooth circle action for any \(k, l\in\mathbb{N}\). Theorem 1 extends this result to \(kS^{2}\times S^{5}\#lS^{3}\times S^{4}\#\Sigma\), where \(\Sigma\) is a homotopy 7 - sphere.
**Remark 2**: Cases 4 and 5 of Theorem 1 have been discussed in [Jia14, Theorem 1.3]. Therefore, this paper mainly focuses on cases 1, 2 and 3.
**Remark 3**: Under orientation - preserving diffeomorphisms, there are exactly 28 homotopy 7 - spheres [KM63]. They can be distinguished by the \(\mu\)-invariant, which is an orientation - preserving diffeomorphism invariant taking values in \(\mathbb{Q}/\mathbb{Z}\). There exists a homotopy 7 - sphere \(\Sigma_{1}\) such that \(\mu(\Sigma_{1})=\frac{1}{28}\bmod 1\). For \(r\in\mathbb{N}\), let \(\Sigma_{r}=r\Sigma_{1}\), then \(\mu(\Sigma_{r})=\frac{r}{28}\bmod 1\) [EK62, Section 6], and when \(r = 0,1,\cdots,27\), \(\Sigma_{r}\) gives all 28 homotopy 7 - spheres.
**Remark 4**: According to [MY68, Section 3], the homotopy 7 - sphere \(\Sigma_{r}\) admits a free smooth circle action if and only if \(r = 0,4,6,8,10,14,18,20,24\). Equivalently, a homotopy 7 - sphere admits a free smooth circle action if and only if its \(\mu\)-invariant is \(0,\pm\frac{4}{28},\pm\frac{6}{28},\pm\frac{8}{28},\pm\frac{10}{28},\frac{14}{28}\bmod 1\).
The structure of the paper is as follows:
1. Section 2 studies the case of \((k, l)=(1,0)\).
2. Section 3 studies the case of \((k, l)=(1,1)\).