A Four-Sheeted Orbifold Foam as a Planck-Cell Carrier

-
 One possible way to think about Planck-scale structure is not to begin with a smooth spacetime manifold, but with a finite geometric carrier on which quantum data can be placed. In this note I describe a speculative mathematical object of this kind: a four-sheeted football-orbifold foam suspended over the face poset of a cube. The proposal is not that ordinary spacetime literally contains small Euclidean cubes. Rather, the cube poset should be understood as a finite incidence scaffold: it records which zero, one, two, and three-dimensional strata are allowed to meet, while the actual geometric realization is an orbifold/Klein foam built over that combinatorial skeleton.  Let $P_{\Box}$ denote the face poset of a cube. The eight vertices of the cube serve as incidence markers for the eight cone points of the foam. Since a football orbifold has two cone points, one can naturally attach four football sheets by pairing the eight vertices into four antipodal pairs. Thus we begin w...
Post a Comment

The Moduli Space of Holonomies and the Twisted Ihara Zeta Function

-

 Consider a triple:

$$(\mathcal I, z, \Sigma)$$

where $\mathcal I$ is the canonical stratified surface defined in previous posts (smooth away from a singular set) embedded in $[-1,1]^3$, $z$ is the vertical projection (interpreted as time), and $\Gamma=\Sigma_0$ is the critical level set.

Define a movie that is given by:

$$\Sigma_z :=\begin{cases}\{v_1, v_2, v_3, v_4\} & \text{if } z = \pm 1, \\\\\coprod_{i=1}^4 S^1_i & \text{if } z \in (-1, 0) \cup (0, 1), \\\\\Gamma & \text{if } z = 0,\end{cases}$$

where each $S^1_i$ denotes a topological circle, and $\Gamma$ is a finite connected 4-regular multi-graph formed by the merging of four disjoint circles into two overlapping ovals, with their four intersection points defining the graphs vertices. 

For each $z \in (-1,0) \cup (0,1)$, the level set $\Sigma_z$ consists of four disjoint circles $S^1_1, \ldots, S^1_4$. Along each $S^1_i$, we define a real line field:

$$V_i \subset T\mathbb{R}^3|_{S^1_i},$$

consisting of unit-length vectors orthogonal to the slicing plane $\{z = \text{const}\}$ at each point. That is, if $T_x S^1_i \subset T_x \mathbb{R}^3$ is the tangent to the circle at $x$, then $V_i(x)$ is a 1-dimensional real subspace orthogonal to both $T_x S^1_i$ and to the horizontal plane.

As $z \to 0$, the four disjoint circles merge into the connected graph $\Gamma$. At this stage, the four real vertical bundles $\{V_i\}$ glue together to form a single real line bundle:

$$V_\Gamma \to \Gamma,$$

defined by identifying vertical directions at the junction points where circles coalesce. This gluing process descends the structure of $\bigoplus V_i$ into a globally defined vertical field over $\Gamma$.

Finally, we complexify the resulting real bundle to obtain a flat complex line bundle:

$$\mathcal{L}_\Gamma := V_\Gamma \otimes_\mathbb{R} \mathbb{C} \to \Gamma,$$

which serves as the geometric input for defining holonomy and zeta invariants on the graph.

This bundle defines a local system on $\Gamma$, represented by a unitary character:

$$\rho: \pi_1(\Gamma) \to \mathrm{U}(1).$$

The holonomy representation $\rho$ on $\Gamma$ is determined by the vertical bundles $V_i$ via the induced identifications through the collapse process:

$$\pi_1\left(\coprod S^1_i\right) \cong \mathbb{Z}^4 \longrightarrow \pi_1(\Gamma) \xrightarrow{\rho} \mathrm{U}(1).$$

Each loop in $\Gamma$ corresponds to a word in the fundamental group, and the value of $\rho$ on that loop is computed from the phase induced by the vertical directions traced through the merging process.

Proposition: Given vertical real line bundles $V_i$ over $S^1_i$ whose fibers are orthogonal to the slicing planes, the collapse of the disjoint circles to $\Gamma$ induces a gluing of $\{V_i\}$ into a single real bundle $V_\Gamma \to \Gamma$. Upon complexification, this defines a flat complex line bundle $\mathcal{L}_\Gamma \to \Gamma$, whose associated unitary representation $\rho: \pi_1(\Gamma) \to \mathrm{U}(1)$ encodes the combined holonomy data.

Define a twisted Ihara zeta function over $\Gamma$ denoted $\zeta_{\Gamma}(u,\rho)$:

$$\zeta_{\Gamma}(u, \rho) := \prod_{[P]} \left(1 - \rho(P) u^{\ell(P)}\right)^{-1},$$

where $[P]$ runs over all prime, tail-less, backtrackless cycles in $\Gamma$, and $\ell(P)$ is the length of the cycle, with $\rho(P)$ representing the holonomy around $P$.

Equivalently, the zeta function satisfies the determinant identity:

$$\zeta_\Gamma(u, \rho)^{-1} = \det(I - u A_\rho + u^2 Q),$$

where $A_\rho$ is the twisted adjacency matrix incorporating holonomies, and $Q$ is the degree matrix with $Q_{ii} = \deg(v_i) - 1$.

The holonomy representation $\rho$ belongs to the moduli space of unitary representations:

$$\mathrm{Hom}(\pi_1(\Gamma), \mathrm{U}(1)) \cong \mathrm{U}(1)^r,$$

where $r = b_1(\Gamma)$ is the first Betti number. This torus parametrizes the family of flat line bundles over $\Gamma$.

A finite group $\Delta \subset \mathrm{Aut}(\Gamma)$ acts on $\pi_1(\Gamma)$ by automorphisms and hence induces a pullback action on the moduli torus:

$$\rho^\delta(\gamma) := \rho(\delta^{-1} \cdot \gamma), \quad \delta \in \Delta.$$

This defines a group action:

$$\Delta \curvearrowright \mathrm{U}(1)^r,$$

with associated orbits $\mathcal{O}_\rho$ and the quotient moduli space:

$$\mathcal{M}_\Delta := \mathrm{U}(1)^r / \Delta.$$

The twisted Ihara zeta function defines a family of spectral invariants:

$$\mathcal{Z}_\Gamma : \mathrm{U}(1)^r \longrightarrow \mathbb{C}[[u]], \quad \rho \mapsto \zeta_\Gamma(u, \rho).$$

And this sheaf encodes how spectral data evolves over the moduli space of holonomies.

Comments

Post a Comment

Popular posts from this blog

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

-
Image
Consider a triple $\mathcal S = (\mathcal I, \Gamma, \Pi)$, where $\mathcal I$ is a compactified 4-sheeted branched cover of $\Bbb C$, $\Gamma \subset \mathcal I$ is a constellation (D'essin D'enfant in simpler cases), and $\Pi$ is a finite nonabelian piecewise isometry group. Specifically, let $\mathcal{O}_1, \dots, \mathcal{O}_4$ be four spindle orbifolds (topologically, Riemann spheres $\widehat{\mathbb{C}}$ each with two cone points). Let their union form the 2-complex: $$\mathcal{I} = \bigcup_{j=1}^{4} \mathcal{O}_j$$ These four surfaces intersect precisely along a 1-dimensional locus $\Gamma$, which serves as the 1-skeleton of the complex. Combinatorially, $\Gamma$ is a 4-regular octahedral graph ($|V| = 6$, $|E| = 12$). Geometrically, $\mathcal{I}$ is intrinsically parameterized within a bounding 3-dimensional cube, with the $6$ vertices (0-cells) of $\Gamma$ sinking into the interior, located exactly on the local coordinate planes $x, y, z = 1/2$. Let $P = \{p_{j,1}, p_...
Read more

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

-
Image
We will construct a highly symmetric leaf (an interface leaf) as a special subset in some $\mathcal F$-completion, this time furnishing the leaf with additional geometric data including a metric and curvature. We start by asking the following optimization question: Fix $n=3$ and consider a surface of revolution $S$ and an embedding $e:S \hookrightarrow X^3$ for $X^3=[0,1]^3$ with points $p,q$ elements of $\partial X^3$ where $\partial X^3=X^3-(0,1)^3$ for $\mathrm {sup}~ \mathrm{dist}(p,q)=\sqrt{3}$.    What is $\rho_{\mathrm{max}}=\mathrm{max} \lbrace \mathrm{vol}(S) \rbrace_{p,q}$ assuming $S$ must remain a surface of revolution and have constant positive Gaussian curvature? An abstract surface of revolution with constant positive Gaussian curvature (to be embedded/optimized) within $X^3.$ In other words, what is the volume of the largest surface of revolution with constant Gaussian curvature that can be embedded in $X^3$ with a pair of antipodal corners as cone points? Let ...
Read more

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

-
Consider $\mathcal F=\lbrace \mathcal L_t=(\Bbb C^{\times},g_t(s)) \rbrace_{t\in\Bbb R_{\gt 0}}$ where $g_t(s)=\vert F_t(s) \vert^2ds\otimes d\bar{s}$ and $$F_t(s)=\int_{(0,1)} e^{t^2/\log x} \cdot x^{s-1}dx= 2\sqrt{\frac{t^2}{s}}K_1(2\sqrt{t^2s}). $$ For $K_1$ the modified bessel function of the second kind. Looking at Bessel asymptotics we know that as $s\to 0$, $g_t(s)\sim \frac{1}{|s|^2}ds\otimes d\bar{s}$ (conical) and as $s\to\infty$, $g_t(s)\sim e^{-4\sqrt{t^2s}}ds\otimes d\bar{s}$ (collapsing end), and these asymptotics hold for the later defined $g_{\infty}(s).$  Define a trace over $F_t$ $$\mathcal M(s)=\sum_{t=1}^\infty F_t(s)$$ then the following identity is satisfied   $$\frac{1+2\mathcal M(s)}{1+2\mathcal M(1/s)}= s^{\alpha}$$ where $\alpha$ is the weight. The proof that there exists some $\alpha \in \Bbb R$ such that the identity holds for all $s$ uses Poisson summation.  Define a new metric which encodes the cumulative effect of the metrics on each of...
Read more