Seamed Riemann Surfaces

 Consider a seamed orbifold Riemann surface constructed as follows.


Start with the face poset of a three-dimensional cube. Let $\mathcal A_n$ denote the set of antipodal vertex pairs

$$a=\{v,v^*\}.$$

To each such pair $a\in\mathcal A_n$, associate a spherical $2$-orbifold

$$S^2(v,v^*)=:S^2(a),$$

whose two cone points are attached to the antipodal vertices $v$ and $v^*$.


Equivalently, and more naturally from the complex-analytic point of view, we regard these spherical orbifolds as copies of $\mathbb{CP}^1$ and glue them along a common seam complex $\Gamma$. Thus the complex foam is

$$\mathcal I_{\mathbb C}=\left(\bigsqcup_{a\in\mathcal A_n}^{4}\mathbb{CP}^1_a\right)\big/\!\sim_\Gamma .$$


The cubical scaffold should be understood primarily as an organizational device. Rather than constructing the foam by gluing disks one at a time, as in more traditional constructions of seamed Riemann surfaces or Klein foams, the cube records the incidence structure in advance: whenever two sheets occupy overlapping strata of the scaffold, those strata determine where the corresponding sheets are to be seamed. In this way, the cubical geometry specifies the global gluing pattern automatically.


A useful geometric picture of the gluing can be obtained by temporarily passing from the complex surfaces to real $2$-dimensional cone surfaces. This real model is mainly visual and is not fundamental to the intrinsic definition.


Let

$$\{(S_i,g_i)\}_{i=1}^{4}$$

denote four real surfaces corresponding to the four complex sheets. Equip each sheet with the metric

$$g_i=\frac{1}{\phi(u)}\,du^2+\phi(u)\,dv^2,$$

where

$$\phi(u)=au-bu^2, \qquad a=\frac{2}{\sqrt3}, \qquad b=K=-\frac12\phi''(u).$$


The parameters are chosen so that each $(S_i,g_i)$ admits a rigid embedding as a surface of revolution inside the Euclidean cube

$$[-1,1]^3,$$

subject to the requirement that the surface remain inside the cube while maximizing the enclosed volume. Under these constraints, the resulting embedded sheets are rigid, their induced metrics can be computed explicitly, and the intersections of the sheets determine the seam complex.


The intrinsic real foam is therefore

$$\mathcal I_{\mathbb R}=\left(\bigsqcup_{i=1}^{4}(S_i,g_i) \right)\big/\!\sim_\Gamma,$$

together with an embedding

$$e:\mathcal I_{\mathbb R} \hookrightarrow [-1,1]^3\subset\mathbb R^3.$$


In this realization, $\Gamma$ appears concretely as the $1$-dimensional real complex along which the embedded surfaces intersect.


There are consequently three closely related levels of description. One may begin with the embedded real foam, forget the embedding to obtain the intrinsic Riemannian foam $\mathcal I_{\mathbb R}$, and then use the conformal structures determined by the sheetwise metrics to recover the complex foam $\mathcal I_{\mathbb C}$. Conversely, passing from $\mathcal I_{\mathbb C}$ to $\mathcal I_{\mathbb R}$ amounts to forgetting the complex structure while retaining the underlying oriented Riemannian surfaces and their seam data.


We package the resulting structure into the organizing triple

$$\mathcal S=(\mathcal I,\Gamma,\Pi),$$

where $\Gamma$ is the seam complex and

$$\Pi\simeq O_h$$

is the largest global rigid symmetry group preserving the full foam. Its action is written

$$\rho:\Pi\times\mathcal I\longrightarrow\mathcal I.$$


Now orient each sheet of $\mathcal I_{\mathbb C}$. Since every oriented Riemannian $2$-manifold determines a conformal structure, and hence a complex structure, the rigid symmetries of the foam may be interpreted dianalytically: orientation-preserving elements of $\Pi$ act holomorphically, while orientation-reversing elements act antiholomorphically.


This is a particularly natural construction in complex dimension one. Allowing both holomorphic and antiholomorphic transition maps places the resulting object in the setting of Klein surfaces and Klein foams.


Among the symmetries of the foam, suppose there is a distinguished involution

$$\mathcal J:\mathcal I_{\mathbb C} \longrightarrow \mathcal I_{\mathbb C}, \qquad \mathcal J^2=\operatorname{id}.$$


We take $\mathcal J$ to be antiholomorphic. Its square is therefore holomorphic---in fact the identity---and $\mathcal J$ represents a distinguished order-two symmetry inside the $\Pi$-action.


This involution becomes especially important when spectral quantities are derived from the geometries of the individual sheets.


For each sheet, let $\Delta_{g_i}$ denote its Laplace--Beltrami operator. Expressing $\Delta_{g_i}$ in the natural radial-angular coordinates $(u,v)$ and solving the associated Helmholtz equation separates the local spectral problem into radial and angular parts. The angular coordinate is periodic, so its eigenfunctions are Fourier modes on $S^1$. Their eigenvalues are indexed by integers $n$, and tracing the corresponding heat factors produces a theta series of the form

$$\Theta(t)=\sum_{n\in\mathbb Z}e^{-\pi n^2t},$$

up to the normalization determined by the sheet geometry. Thus the cone-local spectrum naturally gives rise to a classical Jacobi theta function.


The radial variable then transports these angular modes away from the cone neighborhoods and toward the common seam $\Gamma$. In logarithmic radial coordinates, the multiplicative dilation group

$$\mathbb R_+^\times$$

is converted into the additive translation group

$$(\mathbb R,+),$$

so that radial dilation and Fourier translation become dual descriptions of the same transport mechanism.


This gives a geometric interpretation of Jacobi reciprocity,

$$\Theta(t)=\frac{1}{\sqrt t}\, \Theta\!\left(\frac1t\right).$$


Rather than viewing the two sides merely as two analytic presentations of the same function, we interpret them as spectral data associated with two geometrically distinguished regimes of the foam:

$$\Theta_a(t)=\frac{1}{\sqrt t}\, \Theta_\Gamma\!\left(\frac1t\right),$$

where $\Theta_a$ denotes the theta function arising locally from an antipodal cone pair $a$, while $\Theta_\Gamma$ denotes its transported realization on the seam complex.


Since there are eight cone points in the four-sheet construction, we obtain eight such local-to-seam theta contributions. To extract a quantity compatible with the full symmetry of the foam, we average over the action of $\Pi$. Schematically, define

$$\widehat{\Theta}(t)= \frac1{|\Pi|} \sum_{\pi\in\Pi} \pi\cdot\Theta_{a,\Gamma}(t).$$


The resulting theta object is $\Pi$-equivariant and no longer depends on an arbitrarily chosen local cone chart.


We may now pass from theta reciprocity to the zeta functional equation by Mellin transform. Applying the Mellin transform to the theta kernel gives the completed Riemann zeta function

$$\Lambda(s)= \pi^{-s/2} \Gamma\!\left(\frac{s}{2}\right) \zeta(s),$$

and Jacobi reciprocity becomes

$$\Lambda(s)=\Lambda(1-s).$$


The central geometric interpretation is therefore the following.


The transformation

$$t\longmapsto\frac1t$$

appearing at the theta level expresses the duality between cone-local spectral data and its seam realization on $\Gamma$. After Mellin transform, this same duality becomes

$$s\longmapsto1-s.$$


Within the geometry of the foam, we interpret this latter transformation as the spectral manifestation of the distinguished antiholomorphic involution

$$\mathcal J: \mathcal I_{\mathbb C} \longrightarrow \mathcal I_{\mathbb C}.$$


Thus the functional equation is not introduced as an external symmetry of the resulting zeta function. Rather, it is read as the transformed spectral shadow of a global geometric involution already present in the seamed orbifold surface:

$$\mathcal J \quad\leadsto\quad t\mapsto t^{-1} \quad\leadsto\quad s\mapsto1-s.$$


In this sense, the cone geometry, the seam complex $\Gamma$, the rigid symmetry group $\Pi$, theta reciprocity, and the completed zeta functional equation form successive layers of a single geometric construction.


Comments

Popular posts from this blog

The "Seed" $\mathcal S = (\mathcal I, \Gamma, \Pi)$

The Canonical Construction of $\mathcal I$ Using Differential Geometry

The Spectral Hermitian Surface $(\Bbb C^\times, g_{\infty})$ as an Avatar of a Modular Surface