Complex Circle Manifold (CCM)

• CCM is defined in multiple ways: as an almost complex manifold with S¹ actions, a compact complex manifold from circle bundles, or as a torus of unit-modulus complex numbers.
• In almost complex geometry, CCMs exhibit isolated fixed points and well-structured weight data facilitating localization and Chern number constraints.
• In optimization, the CCM structure offers efficient Riemannian tools for projection, gradient, and Hessian computations critical to waveform and beamforming design.

Complex Circle Manifold (CCM) is a context-dependent term rather than a single universally fixed mathematical object. In current arXiv usage it denotes at least three distinct constructions: a compact, connected almost complex manifold endowed with a $J$-preserving $S^1$-action with isolated fixed points; a compact complex manifold obtained from a product of principal circle bundles through a holomorphic $\mathbb{C}$-bundle quotient; and the product of unit circles $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$, used as a Riemannian manifold for constant-modulus optimization (Sabatini, 2014, Sankaran et al., 2010, Tabrizi et al., 10 Aug 2025). The common motif is circular symmetry, but the underlying geometry, topology, and analytic role differ substantially across these literatures.

1. Terminological scope and principal usages

The non-uniformity of the term is explicit in the literature. In almost complex geometry, CCM refers to a manifold carrying a circle action; in complex-analytic geometry, it refers to a manifold built from circle bundles; in optimization, it denotes the feasible set of unit-modulus complex variables.

Usage	Defining object	Typical context
Almost complex CCM	Compact, connected almost complex $2n$-manifold with a $J$-preserving $S^1$-action and isolated fixed points	Localization, Chern numbers, Hamiltonianity
Complex-analytic CCM	$S(L_1)\times S(L_2)$ endowed with a complex structure induced from a holomorphic $\mathbb{C}$-action on $L_1\times L_2$	Non-Kähler compact complex manifolds
Optimization CCM	$S^1$0, or matrix analogue $S^1$1	Constant-modulus waveform, beamforming, and IRS design

This terminological divergence is not merely cosmetic. In the optimization literature, CCM is explicitly contrasted with the complex sphere manifold $S^1$2: the CCM has real dimension $S^1$3, whereas the complex sphere has real dimension $S^1$4, because CCM fixes the modulus of each entry individually rather than imposing a single global energy constraint (Alhujaili et al., 2019). This suggests that the acronym must always be interpreted relative to local definitions rather than assumed to identify a unique canonical manifold.

2. CCM in almost complex geometry with circle actions

In the differential-topological literature, a CCM is a compact, connected almost complex manifold $S^1$5 of real dimension $S^1$6 endowed with a $S^1$7-preserving circle action with isolated fixed points. At each fixed point $S^1$8, the isotropy representation on $S^1$9 splits into one-dimensional weight spaces with nonzero integer weights $\mathbb{C}$0. If $\mathbb{C}$1 denotes the number of negative weights at $\mathbb{C}$2, and $\mathbb{C}$3 is the number of fixed points with exactly $\mathbb{C}$4 negative weights, then $\mathbb{C}$5. The Euler characteristic equals the number of fixed points, so $\mathbb{C}$6. ABBV localization yields the standard fixed-point formula, and in particular shows that fixed points must carry weights of both signs (Sabatini, 2014).

A central invariant is the index $\mathbb{C}$7 of $\mathbb{C}$8, defined as the largest integer such that $\mathbb{C}$9 modulo torsion for some $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$0; if $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$1 is torsion, then $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$2. When $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$3 is simply connected, the minimal Chern number equals $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$4. In the Hamiltonian symplectic case with isolated fixed points, the manifold is simply connected, the minimal Chern number coincides with the index, and $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$5. These relations place CCMs inside the broader geography problem for almost complex and symplectic manifolds, where one seeks sharp constraints on Chern numbers, fixed-point data, and possible circle actions (Sabatini, 2014).

3. Hilbert polynomial, rigidity, and Chern-number constraints

For an almost complex CCM with $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$6, one chooses a line bundle $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$7 with $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$8 modulo torsion and defines the Hilbert polynomial $$\mathcal{M}=\{z\in\mathbb{C}^n: |z_i|=1\ \forall i\}$$9 by

$2n$0

Riemann–Roch gives

$2n$1

so the coefficients of $2n$2 are explicit linear combinations of the Chern numbers $2n$3. In particular, $2n$4, and the leading coefficients include

$2n$5

together with a corresponding formula for $2n$6 involving $2n$7 (Sabatini, 2014).

The Hilbert polynomial satisfies a reciprocity symmetry,

$2n$8

and if $2n$9 then

$J$0

If $J$1, there is an additional zero at $J$2. These zeros generate linear equations among the Chern numbers. The generating function $J$3 has the form

$J$4

with $J$5, $J$6, and a palindromicity relation for $J$7. In the symplectic case, $J$8, with $J$9 if and only if the action is Hamiltonian and $S^1$0 exactly if it is non-Hamiltonian. For large index, the rigidity becomes explicit: if $S^1$1, then

$S^1$2

while if $S^1$3, then

$S^1$4

For $S^1$5 and $S^1$6, the theory yields strong linear relations between $S^1$7 and $S^1$8, and these relations become practical criteria distinguishing Hamiltonian from non-Hamiltonian circle actions in the symplectic category (Sabatini, 2014).

4. Fixed-point classification and low-dimensional structure

The fixed-point theory of almost complex circle actions is exceptionally rigid in low cardinalities. If a compact, connected almost complex manifold has exactly one fixed point, then the manifold is a point. If it has exactly two fixed points, then either $S^1$9, with weights $S(L_1)\times S(L_2)$0 and $S(L_1)\times S(L_2)$1, or $S(L_1)\times S(L_2)$2, with weights

$S(L_1)\times S(L_2)$3

If there are exactly three fixed points, then $S(L_1)\times S(L_2)$4, and the weights are

$S(L_1)\times S(L_2)$5

matching the weight data of a standard circle action on $S(L_1)\times S(L_2)$6 (Jang, 2015).

Four fixed points already display a richer landscape. In real dimension $S(L_1)\times S(L_2)$7, every compact almost complex manifold with a circle action and exactly four fixed points has the same Hirzebruch $S(L_1)\times S(L_2)$8-genus and the same Chern numbers as $S(L_1)\times S(L_2)$9: $\mathbb{C}$0

$\mathbb{C}$1

In particular, such a manifold is unitary cobordant to $\mathbb{C}$2 (Jang, 2020).

In dimension $\mathbb{C}$3, Jang’s four-fixed-point classification splits into six cases, including $\mathbb{C}$4-type, $\mathbb{C}$5-type, and several Todd-genus-zero types. One of the previously unknown Todd-genus-zero cases can be realized by Kustarev’s surgery on two copies of $\mathbb{C}$6, producing a connected almost complex $\mathbb{C}$7-manifold diffeomorphic to $\mathbb{C}$8. The resulting action is not equivariantly diffeomorphic to a linear action, yielding an exotic $\mathbb{C}$9-action that preserves an almost complex structure (Konstantis et al., 2023).

Higher-dimensional lower bounds are also sharp. In real dimension $L_1\times L_2$0, any circle action on a compact almost complex manifold with a fixed point has at least six fixed points. This minimum is attained by $L_1\times L_2$1 and by $L_1\times L_2$2. The proof excludes the possibility of four fixed points by combining $L_1\times L_2$3-rigidity, ABBV localization, and integrality of Chern numbers (Jang, 2024).

5. CCM as compact complex manifolds built from circle bundles

A distinct usage, due to Sankaran and Thakur, starts from compact complex manifolds $L_1\times L_2$4 and holomorphic line bundles $L_1\times L_2$5. Writing $L_1\times L_2$6 for the associated principal circle bundle and $L_1\times L_2$7 for the associated principal $L_1\times L_2$8-bundle, one forms $L_1\times L_2$9 and $S^1$00. A CCM is then $S^1$01 endowed with a complex structure induced from a holomorphic principal $S^1$02-bundle structure on $S^1$03, where the $S^1$04-action is holomorphic, free, and has closed, properly embedded leaves, with each orbit intersecting $S^1$05 transversely in exactly one point. This identifies $S^1$06 diffeomorphically with $S^1$07 and makes $S^1$08 into a compact complex manifold (Sankaran et al., 2010).

Three classes of complex structures are constructed. Scalar type always exists and arises from the proper holomorphic embedding

$S^1$09

The quotient $S^1$10 is a complex manifold diffeomorphic to $S^1$11, and the induced fibration over $S^1$12 has elliptic-curve fiber $S^1$13. Diagonal type generalizes this by using admissible $S^1$14-actions inside a torus $S^1$15 satisfying a weak hyperbolicity condition. Linear type specializes to the homogeneous setting $S^1$16 with $S^1$17 negative ample and constructs the action from $S^1$18, with $S^1$19 weakly hyperbolic and $S^1$20 sufficiently small (Sankaran et al., 2010).

These manifolds generalize classical Calabi–Eckmann manifolds: taking $S^1$21 and $S^1$22 gives $S^1$23, and the scalar-type construction recovers complex structures on $S^1$24. The class is intrinsically non-Kähler in broad generality: if $S^1$25 and $S^1$26 is nonzero, then $S^1$27 admits no symplectic structure and hence is non-Kähler for any complex structure. Under projectivity and Cohen–Macaulay assumptions on the affine cones, there is a vanishing theorem for $S^1$28, and in homogeneous cases with $S^1$29 and maximal parabolics, the meromorphic function field $S^1$30 is purely transcendental over $S^1$31 with transcendence degree at most $S^1$32 (Sankaran et al., 2010).

6. CCM as a Riemannian manifold for unit-modulus optimization

In signal processing, radar, communications, and control, CCM denotes the constant-modulus feasible set

$S^1$33

or, in matrix form,

$S^1$34

It is a product of circles, $S^1$35 or $S^1$36, equipped with the Euclidean metric restricted from the ambient complex space: $S^1$37 The tangent and normal spaces are elementwise: $S^1$38

$S^1$39

The orthogonal projection is

$S^1$40

the Riemannian gradient is $S^1$41, and the Hessian admits the explicit embedded-manifold form

$S^1$42

The exact exponential map is

$S^1$43

for $S^1$44, and a practical retraction is the elementwise normalization

$S^1$45

The KKT formulation is equivalent to Riemannian stationarity: projecting the Euclidean gradient removes the Lagrange multipliers associated with the unit-modulus constraints (Tabrizi et al., 10 Aug 2025).

For MIMO radar beampattern design, the manifold structure leads to the projection–descent–retraction (PDR) iteration

$S^1$46

where the cost is quadratic in the waveform vector and the constraints are entrywise constant modulus. For quadratic objectives, the paper proves monotonic cost decrease under explicit step-size and regularization conditions and states convergence to a local minima. The same framework accommodates an orthogonality penalty $S^1$47, yielding near-orthogonal waveforms while preserving constant modulus (Alhujaili et al., 2019).

The same geometry appears in wireless beamforming. In IRS-assisted uplink NOMA, the IRS phase vector $S^1$48 satisfies $S^1$49, so the feasible set is again a CCM. The optimization is reformulated as a max–min SINR feasibility-expansion problem on the manifold, smoothed, and combined with an exact penalty for inequality constraints. A Riemannian trust-region method, implemented in Manopt, is then used to optimize the projected gradient over the manifold. In the reported experiments, the manifold algorithm outperforms SDR, SDP-DC, and SROCR benchmarks while running at much lower complexity (AlaaEldin et al., 2022).

Across these literatures, CCM is best understood as a family of circle-based geometric frameworks rather than a single object. In almost complex geometry, it encodes local weight data, localization identities, and rigidity of Chern numbers. In complex-analytic geometry, it produces compact non-Kähler manifolds from circle bundles and holomorphic $S^1$50-actions. In optimization, it is the embedded torus of unit-modulus variables supporting explicit projection, retraction, gradient, and Hessian formulas. The shared terminology reflects the centrality of $S^1$51, but the mathematical content is decisively discipline-specific.