Equivariant Constant Maps

• Equivariant constant maps are defined as constant maps whose image remains fixed under a group action, ensuring compatibility via target fixed-point criteria.
• They appear in diverse frameworks such as representation spheres, symmetry-reduced PDEs, linear categories with trace-output forms, and regularized sectors in topological strings.
• This concept aids in understanding symmetry reduction, identifying obstructions, and constructing nonconstant equivariant maps when literal constants are either trivial or excluded.

Searching arXiv for relevant papers on equivariant constant maps and closely related equivariant-map frameworks. Equivariant constant maps are constant maps that remain compatible with a prescribed symmetry action. In the most direct formulation, if a group $G$ acts on $X$ and $Y$, a constant map $f(x)=y_0$ is $G$-equivariant precisely when $y_0$ is fixed by the action on the target. Across the literature, this elementary criterion reappears in markedly different guises: as a fixed-point condition for representation spheres and complex manifolds, as a restriction imposed by time-reversal symmetry on Hermitian matrix-valued maps, as the degree-zero equilibrium in equivariant wave-map dynamics, as a forbidden object in linear categories where only trace-output substitutes survive, and as a regularized degree-zero sector in equivariant topological strings on non-compact toric targets (Błaszczyk et al., 2017, Kutzschebauch et al., 2019, Schulte, 2015, Rodriguez, 2016, Bardet et al., 2018, Cassia et al., 27 Feb 2025).

1. Fixed-point characterization

For a constant map $c:X\to Y$, $c(x)=y_0$, equivariance reduces to the requirement that the chosen value be globally fixed. In representation-sphere language, a constant map

$c:S(V)\to S(W)$

is $G$-equivariant if and only if

$X$0

so equivariant constant maps exist exactly when $X$1. The same logic appears in equivariant Oka theory: a constant map $X$2 is $X$3-equivariant iff

$X$4

and more generally $X$5-equivariant constant maps correspond to points of $X$6. In the time-reversal setting for maps

$X$7

equivariance is

$X$8

so a constant map $X$9 is equivariant iff $Y$0, i.e. iff $Y$1 lies in the fixed locus of the involution, the space of non-singular real symmetric matrices (Błaszczyk et al., 2017, Kutzschebauch et al., 2019, Schulte, 2015).

This fixed-point criterion has two immediate consequences. First, for constant maps the source action is largely irrelevant: once the map is constant, all compatibility conditions are pushed onto the target. Second, fixed-point geometry becomes the natural organizing principle for the theory. In equivariant Oka theory, this is elevated to a definition: $Y$2 is $Y$3-Oka exactly when the fixed-point manifolds $Y$4 are Oka for the relevant subgroups $Y$5 (Kutzschebauch et al., 2019).

A common misconception is that equivariant constancy is always tautological. The cited works show that this is false: constant maps can be excluded outright by the absence of target fixed points, and in some settings the notion of “constant” must itself be interpreted carefully.

2. Fixed-point-free targets and the necessity of nonconstant equivariant maps

Several frameworks are formulated precisely so that equivariant constant maps do not exist. For representation spheres, the hypothesis

$Y$6

implies

$Y$7

hence there is no $Y$8-equivariant constant map $Y$9. The existence problem then becomes genuinely equivariant, and one sufficient criterion is

$f(x)=y_0$0

under the additional assumption $f(x)=y_0$1 (Błaszczyk et al., 2017).

The same contrast is central in equivariant obstruction-theoretic constructions related to the topological Tverberg conjecture. The targets are often spheres in reduced regular representations such as $f(x)=y_0$2, where $f(x)=y_0$3 has no trivial summand, so

$f(x)=y_0$4

and therefore equivariant constant maps are impossible. Nevertheless, the paper constructs genuinely nonconstant equivariant maps

$f(x)=y_0$5

in the non-prime-power cases by vanishing of obstruction classes (Basu et al., 2015).

An analogous exclusion occurs in the study of $f(x)=y_0$6-equivariant self-maps of $f(x)=y_0$7. The maps under consideration are restricted from the outset to the form

$f(x)=y_0$8

with endpoint conditions

$f(x)=y_0$9

A constant profile $G$0 cannot satisfy these boundary conditions, so constant profiles are excluded from the admissible self-map class even though the reduced ODE admits formal constant solutions

$G$1

(Balado-Alves, 2023).

These examples clarify an important point: the nonexistence of equivariant constant maps is only the most elementary obstruction. It does not imply the nonexistence of equivariant maps altogether.

3. Constant maps versus constant profiles in symmetry-reduced equations

In symmetry-reduced PDE and geometric ansatz settings, “constant” can refer either to a genuine map into the target or merely to a reduced profile variable. The distinction is crucial.

For $G$2-equivariant wave maps on the wormhole

$G$3

with reduced field $G$4, the wave map equation becomes

$G$5

A reduced profile $G$6 is not necessarily a constant geometric map into $G$7; it is genuinely constant only when $G$8, corresponding to the poles of the target coordinate system. The conserved energy

$G$9

forces finite-energy constant profiles to satisfy $y_0$0, hence again $y_0$1. After the paper’s normalization, the relevant constant finite-energy state is $y_0$2 (Rodriguez, 2016).

Topological degree is encoded by the asymptotic limits

$y_0$3

A constant map necessarily has degree $y_0$4, and Proposition 2.1 identifies the unique harmonic map in degree $y_0$5 as

$y_0$6

For $y_0$7, the distinguished harmonic maps $y_0$8 are increasing and nonconstant. The soliton resolution theorem then states that every finite-energy $y_0$9-equivariant wave map of degree $c:X\to Y$0 resolves asymptotically into $c:X\to Y$1 plus radiation; in the special case $c:X\to Y$2, “the soliton” is precisely the constant map $c:X\to Y$3 (Rodriguez, 2016).

A parallel distinction appears for $c:X\to Y$4-maps on $c:X\to Y$5. Constant profile functions $c:X\to Y$6 solve the reduced harmonic ODE, but they are not admissible equivariant self-maps because they violate the endpoint conditions. Thus constant profiles may appear as formal or limiting ODE solutions without defining actual constant maps in the geometric class under study (Balado-Alves, 2023).

This suggests a general principle: in equivariant reductions, constancy of reduced coordinates is weaker than constancy of the original geometric map.

4. Linear categories, trace-output substitutes, and algebraic analogues

In linear settings, literal constant maps are often excluded for structural reasons. For linear maps

$c:X\to Y$7

a nonzero constant map $c:X\to Y$8 is not linear because linearity forces $c:X\to Y$9. The only literal constant map in the class is therefore the zero map. The natural linear substitute for constant-output behavior is the trace-output form

$c(x)=y_0$0

Such maps are constant on trace-one affine slices and constant on unitary conjugacy orbits. In the $c(x)=y_0$1-unitarily equivariant setting,

$c(x)=y_0$2

the map $c(x)=y_0$3 is equivariant iff

$c(x)=y_0$4

Its Choi matrix is

$c(x)=y_0$5

In the basic $c(x)=y_0$6 and $c(x)=y_0$7 cases, the constant-type term reduces to $c(x)=y_0$8; in the $c(x)=y_0$9 case, invariant outputs such as $c:S(V)\to S(W)$0 and $c:S(V)\to S(W)$1 also appear (Bardet et al., 2018).

A more representation-theoretic analogue occurs for the prehomogeneous vector space

$c:S(V)\to S(W)$2

associated with the exceptional Jordan algebra. The paper does not study constant maps in the literal sense, but it constructs an explicit degree-$c:S(V)\to S(W)$3 equivariant map

$c:S(V)\to S(W)$4

such that for $c:S(V)\to S(W)$5,

$c:S(V)\to S(W)$6

is the Jordan product of the isotope corresponding to $c:S(V)\to S(W)$7. It also constructs a degree-$c:S(V)\to S(W)$8 map

$c:S(V)\to S(W)$9

The paper explicitly interprets these as canonically attached algebraic data varying equivariantly with the source point rather than as genuine constant maps. In this relative sense, equivariance replaces constancy by orbitwise covariance of a distinguished algebraic structure (Kato et al., 2016).

The persistent theme is that when literal constants are unavailable or uninteresting, equivariant theories often retain a “constant analogue” through invariant tensors, trace-output terms, or canonically transported algebraic data.

5. Homotopy classes, null classes, and local normal forms

Equivariant constant maps often represent the trivial class within a fixed equivariant homotopy component, but only after one fixes the relevant connected component or signature sector.

For time-reversal-equivariant maps from a torus $G$0 to $G$1, the target decomposes by signature,

$G$2

The definite components $G$3 and $G$4 equivariantly deform to the constant maps $G$5 and $G$6, respectively. In mixed signature $G$7, a constant equivariant map

$G$8

lies in the trivial equivariant homotopy class of that component: its total degree is $G$9, and its fixed-point data are trivial. Nontrivial classes are detected by degree and fixed-point invariants, and a map is equivariantly null-homotopic precisely when those invariants vanish (Schulte, 2015).

In equivariant Oka theory, constant maps are automatically holomorphic. Therefore the equivariant Oka principle is formally trivial on them: if $X$00, the constant map $X$01 is already a $X$02-equivariant holomorphic map. Two equivariant constant maps are homotopic through constant equivariant maps exactly when their values lie in the same path component of $X$03 (Kutzschebauch et al., 2019).

The local normal-form theory for equivariant maps gives a different perspective. An equivariant map $X$04 can be brought, after passage to a slice and equivariant coordinates, to a form

$X$05

with decompositions

$X$06

where $X$07 is an isomorphism and

$X$08

The zero set then becomes

$X$09

The paper emphasizes that, after symmetry reduction, orbit directions and solvable directions become inessential, and all singular local geometry is concentrated in the reduced obstruction map

$X$10

This is not literal constancy, but it is a precise sense in which an equivariant map becomes locally constant in some directions after reduction (Diez et al., 2020).

A plausible implication is that “equivariant constant map” is best understood not only as a literal fixed-point-valued map, but also as a model for trivial directions in reduced moduli problems.

6. Degree-zero sectors in equivariant topological strings

In equivariant topological strings on toric, generally non-compact Calabi–Yau manifolds, constant maps form a genuine computational sector rather than merely a fixed-point criterion. The central issue is that ordinary degree-zero contributions are ill-defined on non-compact targets, since integrals such as

$X$11

are not finite in general. The paper regularizes them by equivariance, introducing

$X$12

and the generating function

$X$13

These satisfy

$X$14

The equivariant intersection numbers are

$X$15

The genus-by-genus constant-map sector is then defined by triple derivatives of $X$16: $X$17

$X$18

and for $X$19,

$X$20

For $X$21,

$X$22

and the constant maps become explicit rational functions of the equivariant weights. The paper interprets equivariance here as a canonical regularization of the degree-zero sector on non-compact toric targets, with further physical applications to flux compactifications, effective supergravity, and a proposed holographic transform involving M2-brane partition functions (Cassia et al., 27 Feb 2025).

This usage differs sharply from the fixed-point definition in topology or complex geometry. Here “constant maps” are not excluded by symmetry; rather, they require equivariance to be defined at all.

7. Conceptual synthesis

Across the cited works, equivariant constant maps fall into four recurrent patterns.

First, in the standard group-action setting, they are exactly fixed points of the target action. This includes representation spheres, complex manifolds in equivariant Oka theory, and time-reversal-symmetric Hermitian matrix-valued maps (Błaszczyk et al., 2017, Kutzschebauch et al., 2019, Schulte, 2015).

Second, in symmetry-reduced geometric PDE, constancy of reduced variables need not imply constancy of the underlying map. The wormhole wave-map problem makes this distinction explicit, and the $X$23-map ansatz on $X$24 shows that formal constant ODE solutions may lie outside the admissible equivariant self-map class (Rodriguez, 2016, Balado-Alves, 2023).

Third, in linear or tensorial categories, literal constants are often structurally unavailable. They are replaced by invariant trace-output terms such as $X$25, or by equivariant assignments of canonical algebraic structures such as multiplication tensors and trilinear forms (Bardet et al., 2018, Kato et al., 2016).

Fourth, in equivariant topological strings, constant maps become a degree-zero perturbative sector whose very definition depends on equivariant regularization. The role of constancy is therefore not geometric triviality but controlled extraction of localized, finite contributions from a non-compact target (Cassia et al., 27 Feb 2025).

The most persistent misconception is that “equivariant constant map” denotes a single uniform notion across disciplines. The literature instead supports a more nuanced view: fixed-point-valued maps are the basic case, but reduced-profile constants, trace-type substitutes, local trivial directions in normal forms, and regularized degree-zero sectors are all mathematically legitimate descendants of the same idea.