Real Embedded Surfaces in 4-Manifolds

• Real embedded surfaces are defined on smooth oriented 4-manifolds with an orientation-preserving involution and an orientation-reversing surface embedding.
• They are characterized by equivariant cohomology conditions and refined adjunction inequalities, leading to stricter genus bounds than in the standard smooth category.
• Applications include constructing exotic embeddings of non-orientable surfaces and using Real Seiberg–Witten theory to distinguish gauge-theoretic invariants.

Searching arXiv for papers on Real embedded surfaces and closely related Real Seiberg–Witten theory. arxiv_search({"query":"all:(\"Real embedded surfaces\" OR \"Real Seiberg-Witten\" OR Baraglia involution embedded surfaces)", "max_results": 10, "sort_by": "submittedDate", "sort_order": "descending"}) Real embedded surfaces arise in the study of smooth oriented $4$-manifolds equipped with involution. In this setting, a Real structure on a smooth, oriented $4$-manifold $X$ is a smooth involution $\sigma\colon X\to X$ that preserves orientation, and an embedded, connected, oriented surface $\Sigma\subset X$ is called Real when $\sigma(\Sigma)=\Sigma$ and the restriction $\sigma|_\Sigma$ is orientation-reversing. This notion places embedded surface theory in an equivariant framework: representability of homology or cohomology classes, genus bounds, and isotopy questions become constrained by the involution and are governed by equivariant cohomology and Real Seiberg–Witten theory (Baraglia, 8 Jul 2025).

1. Definition and geometric setting

A Real embedded surface is not merely an invariant surface for an involution. The defining condition is that the ambient involution is orientation-preserving on $X$ but orientation-reversing on $\Sigma$. Because $\sigma|_{\Sigma}$ is orientation-reversing, its fixed-point set on $4$0 is one-dimensional, namely a union of disjoint loops (Baraglia, 8 Jul 2025).

This framework is specific to $4$1-manifolds and interacts naturally with Spin$4$2 geometry, branched double covers, and gauge theory. In the notation used in the literature, the anti-invariant subspaces

$4$3

control the structure of the Real moduli problem and the existence of chamber phenomena (Baraglia, 31 Mar 2025).

A fundamental concrete example is $4$4 with

$4$5

Its fixed set is an embedded $4$6, denoted $4$7, with self-intersection $4$8 (Baraglia, 31 Mar 2025). This example serves as the basic model for exotic $4$9-knots and for the gauge-theoretic invariants attached to embedded non-orientable surfaces.

2. Cohomological representability

The basic existence problem asks which cohomology classes can be represented by Real embedded surfaces. The answer is formulated using the rank-one local system $X$0, on which the involution acts by multiplication by $X$1, and the Borel equivariant cohomology group

$X$2

There is a natural forgetful map

$X$3

A class $X$4 can be represented by a Real embedded surface if and only if

$X$5

When $X$6 and the involution has non-empty fixed-point set, the forgetful map is injective with image

$X$7

so in that case

$X$8

This criterion shows that ordinary representability in $X$9 is insufficient; equivariant liftability is the relevant condition (Baraglia, 8 Jul 2025).

A closely related perspective appears in the branched-cover formulation for embedded $\sigma\colon X\to X$0. If $\sigma\colon X\to X$1 is a smooth embedding with $\sigma\colon X\to X$2, then the double-branched cover $\sigma\colon X\to X$3 exists and carries a covering involution $\sigma\colon X\to X$4. The real Spin$\sigma\colon X\to X$5 structures on $\sigma\colon X\to X$6 satisfying $\sigma\colon X\to X$7 provide the input for Real monopole equations and the resulting surface invariants (Miyazawa, 2023).

3. Adjunction inequalities and genus constraints

Real embedded surfaces satisfy adjunction inequalities that refine ordinary embedded-surface genus bounds. Let $\sigma\colon X\to X$8 satisfy

$\sigma\colon X\to X$9

and let $\Sigma\subset X$0 be a Real Spin$\Sigma\subset X$1-structure with non-zero Real Seiberg–Witten invariant. If $\Sigma\subset X$2 is a Real embedded surface of genus $\Sigma\subset X$3, then in the non-negative self-intersection case: $\Sigma\subset X$4 whenever $\Sigma\subset X$5 and $\Sigma\subset X$6. If $\Sigma\subset X$7, then $\Sigma\subset X$8; if in addition $\Sigma\subset X$9 does not act freely and $\sigma(\Sigma)=\Sigma$0 is non-torsion, then $\sigma(\Sigma)=\Sigma$1 (Baraglia, 8 Jul 2025).

A second inequality applies for arbitrary self-intersection. Assuming the integer Real invariant $\sigma(\Sigma)=\Sigma$2 is defined and nonzero, and that $\sigma(\Sigma)=\Sigma$3 does not act freely on $\sigma(\Sigma)=\Sigma$4, one has

$\sigma(\Sigma)=\Sigma$5

These inequalities show that the Real condition can force strictly larger genus than the ordinary smooth category allows (Baraglia, 8 Jul 2025).

The proof strategy combines several equivariant operations. In the self-intersection-zero case, one stretches the metric along the unit-circle normal bundle $\sigma(\Sigma)=\Sigma$6 and extracts a nontrivial solution of the Real Seiberg–Witten equations over $\sigma(\Sigma)=\Sigma$7; vortex-type analysis and an index count then yield the bound. For positive self-intersection, one blows up at either a Real fixed point or a conjugate pair of points while preserving Reality and nonvanishing of the Real invariant. For arbitrary self-intersection, one takes an equivariant connected sum with a high-degree Real algebraic surface in $\sigma(\Sigma)=\Sigma$8 and reduces to the previous case (Baraglia, 8 Jul 2025).

4. Real Seiberg–Witten theory as the governing invariant

Real Seiberg–Witten theory supplies the principal obstruction theory for Real embedded surfaces and involutions. For a Real Spin$\sigma(\Sigma)=\Sigma$9-structure $\sigma|_\Sigma$0, the Seiberg–Witten equations are perturbed by a $\sigma|_\Sigma$1-anti-invariant self-dual $\sigma|_\Sigma$2-form $\sigma|_\Sigma$3 with $\sigma|_\Sigma$4, and the configuration space is restricted to $\sigma|_\Sigma$5-invariant connections and $\sigma|_\Sigma$6-invariant spinors, modulo the Real gauge group $\sigma|_\Sigma$7 (Baraglia, 31 Mar 2025).

If $\sigma|_\Sigma$8, one obtains mod $\sigma|_\Sigma$9 invariants

$X$0

If $X$1, the invariant depends on a chamber $X$2, written $X$3. Under orientability hypotheses, one may orient the $X$4-invariant moduli spaces and obtain integer-valued invariants

$X$5

where

$X$6

The theory also includes a wall-crossing formula, a mod $X$7 formula for spin structures, a localization formula relating ordinary and Real Seiberg–Witten invariants, a connected sum formula, and a fiber sum formula (Baraglia, 31 Mar 2025).

For embedded $X$8, the branched-cover formulation yields a Real monopole moduli space on the complement with cylindrical end. In the notation of the gauge-theoretic construction, the formal dimension is

$X$9

where $\Sigma$0 is determined by the normal Euler number of $\Sigma$1. When the formal dimension is zero, one defines an integer or mod $\Sigma$2 count $\Sigma$3, which is invariant under diffeomorphisms of the pair preserving the real structure (Miyazawa, 2023).

5. Exotic embeddings and non-orientable Real surfaces

One of the most striking applications is the construction of infinitely many exotic embeddings of non-orientable surfaces. In $\Sigma$4, starting from the standard $\Sigma$5 and the $\Sigma$6-pretzel knot $\Sigma$7, one forms the family

$\Sigma$8

of embedded $\Sigma$9-knots. The Real gauge-theoretic invariant satisfies

$\sigma|_{\Sigma}$0

At the same time, Conway–Orson–Powell show that all $\sigma|_{\Sigma}$1 are topologically isotopic to $\sigma|_{\Sigma}$2. Hence for $\sigma|_{\Sigma}$3 they are topologically isotopic but not smoothly isotopic (Miyazawa, 2023).

The involutive formulation expresses the same phenomenon through Real degree invariants. For the corresponding involutions $\sigma|_{\Sigma}$4 on $\sigma|_{\Sigma}$5,

$\sigma|_{\Sigma}$6

so the degree never vanishes and distinguishes the resulting involutions and embeddings smoothly (Baraglia, 31 Mar 2025).

This construction extends beyond $\sigma|_{\Sigma}$7. For a finite collection of $\sigma|_{\Sigma}$8-manifolds with involution $\sigma|_{\Sigma}$9, each with connected fixed set $4$00, one forms the equivariant connected sum

$4$01

The quotient $4$02 is a smooth $4$03-manifold $4$04, and the image of the fixed set is a non-orientable surface homeomorphic to $4$05. Replacing $4$06 by infinitely many exotic copies yields infinitely many exotic embeddings of $4$07 and, similarly, of higher-genus non-orientable surfaces $4$08 in suitable $4$09-manifolds (Baraglia, 31 Mar 2025).

6. Minimal genus gaps and algebraic examples

A central consequence of the Real adjunction inequality is that the minimal genus of Real embedded surfaces can exceed the minimal genus of arbitrary embedded surfaces. Baraglia exhibits involutions on

$4$10

together with Real Spin$4$11-structures having nonzero integer Real Seiberg–Witten invariant. For such $4$12, Wall’s theorem implies that any class $4$13 with $4$14 can be represented by an arbitrary embedded surface of genus

$4$15

whereas any Real surface $4$16 representing $4$17 must satisfy

$4$18

Therefore

$4$19

This establishes a strict gap between ordinary and Real minimal genus (Baraglia, 8 Jul 2025).

Real algebraic geometry provides a complementary source of examples. If $4$20 is a real projective surface and $4$21 is a very ample real line bundle with $4$22, then a generic real hyperplane section is a connected Real curve $4$23 representing $4$24, and adjunction gives

$4$25

When $4$26, this achieves the ordinary minimal genus. A plausible implication is that the comparison between this algebraic upper bound and the Real adjunction lower bound isolates cases in which a Real algebraic curve is genus-minimizing among Real surfaces (Baraglia, 8 Jul 2025).