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_3$ denote the set of antipodal vertex pairs $$a=\{v,v^*\}.$$ To each such pair $a\in\mathcal A_3$, associate a spherical $2$-orbifold $$S^2(\alpha,\alpha)$$ 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_3}^{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 o...
Post a Comment

The $\Gamma$-sets and $\zeta$-space.

-

Assume $X$ is a smooth convex open manifold and $\partial X$ is a convex regular polytope.

Def: An *$\mathcal F$-completion,* or *foliational completion* of a *block*, $\mathcal B:=X\cup\partial X$ over its vertex set $V$, is $\mathscr CX_V:=\cup_{v_{ij}\in V} \mathcal F_{v_{ij}}$ where $i,j$ index the vertices. 

Example: Set $X=(0,1)^n$. Take a smooth foliation $\mathcal F$ for every pair of points $v_i,v_j\in \partial X=[0,1]^n-(0,1)^n$ satisfying $\mathrm{sup~dist}_n(v_i,v_j)=\sqrt{r}$. Let the leaves in each $\mathcal F$ be mutually diffeomorphic to the class $M=(0,\sqrt{n})\times S^{n-2}$ accumulating to $v_i,v_j$. We see that $r=\lbrace 1,\sqrt{n} \rbrace.$ Allowing only $r=\sqrt{n}$, we can look at sections of $\mathscr CX_V$:

Def: A $\Gamma$-set on $\mathscr CX_V$ is the union of all leaf intersections of the foliations i.e. 

$$\Gamma_{n}:= \lbrace \mathcal (\mathcal F_1 \cap \mathcal F_2)\cup (\mathcal F_2 \cap \mathcal F_3) \cup (\mathcal F_3 \cap \mathcal F_4) \cup \cdot\cdot\cdot \cup (\mathcal F_{n-1} \cap \mathcal F_{n})  \rbrace.$$

Then it follows trivially that for any given foliation, $\Gamma_1=X^1=(0,1)$ and $\Gamma_2=X^2=(0,1)^2$. 

>What is $\Gamma_3$ equal to?

It seems that $\Gamma_3$ is equal to three mutually orthogonal planes but I want some reassurance that this is true. I don't know the structure of the $\Gamma$-sets for $n>3$.

The following is meant to provide context as to why I am defining these concepts above in the first place:

Personally I am interested in the $\Gamma$-sets because if you define vector fields on elements of the $M$-class, you can add the vectors along sections of the $\Gamma$-sets resulting in vector bundles that alternate orientation when traveling along a path on the $\Gamma$-set. Thus the $\Gamma$-sets tell you about the geometry.

Another reason I'm interested in the construction in general is because one inherits a notion of decay with $\mathscr CX_V$. Specifically, the $M$-class rapidly decays to zero when traveling in the direction prescribed by the vector fields placed on the $M$-class. This can be formalized analogous to rapid decay of elements of the Schwartz space $\mathcal S(\Bbb R^n)$, which are functions, not surfaces. However it is not difficult to adapt this notion.

With this rapid decay we have a concept of a Schwartz space which plays nice with zeta functions because it is known that we can build zeta functions from elements in the Schwartz space.

   

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 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

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