From Zeta Seeds to Spectral Towers

-
The basic object in the zeta space framework is a seed $$\mathcal S=(\mathcal I,\Gamma,\Pi),$$ where $\mathcal I$ is a singular stratified surface, $\Gamma\subset \mathcal I$ is a distinguished skeletal graph, and $\Pi$ is a finite symmetry group acting on the seed. The decorated version is $$\mathcal S_{\mathrm{dec}}=(\mathcal I,\Gamma,\Pi,\chi,\rho,\mathcal L),$$ where $\chi$ is coloring data, $\rho$ is holonomy or representation data, and $\mathcal L$ is a line bundle or local system. The guiding idea is that the seed itself is not yet a zeta function. Rather, the seed is a geometric object from which several different spectral realizations may be extracted. For example, one may extract a graph-theoretic realization from $\Gamma$, leading naturally to an Ihara-type zeta function. One may also extract a cone-local analytic realization from neighborhoods of the singular points of $\mathcal I$, leading to theta functions, Mellin transforms, and Bessel kernels. These are not separate ob...
Post a Comment

Gluing leaves in zeta space and automorphisms on the resulting quotient spaces

-
Define an analytic planar homotopy $h_t: (0,1) \to (0,1)$ for $t\in[1/3,3]$ where $h_t(x)=e^{\frac{t}{\log x}}$ s.t. $h_{1/3}=e^{\frac{1/3}{\log x}}$ and $h_3=e^{\frac{3}{\log x}}$ for $x\in(0,1)$. I want a rotational homotopy that projects onto the planar homotopy. So, define the equivalence relation on the boundary curves of the closed subset of $(0,1)^2$, that is $h_{1/3}\sim h_3$, where points are identified by straight lines with slope $1$, connecting $h_{1/3}$ and $h_3$. This yields a spherical topology $\mathcal S$ embedded in $(0,1)^3$ with the endpoints of the sphere being singularities at $p=(0,1,1)$ and $q=(1,0,0)$. 

Conceptually it's clear that a projection $\pi: (0,1)^3 \to (0,1)^2$ takes the leaves on $\mathcal S$ to $h_t(x)$ as a double cover. But my main objective of study is to put a metric on $\mathcal S$. The $1$-parameter metric I derived on the planar space is $g_t(r)=\int_{(0,1)} x^{r-1}h_t(x)~dx = 2\sqrt{\frac{t}{r}}K_1(2\sqrt{tr})$ and it measures the distance between the $h_t(x)$ leaves. For example the distance between leaf $t=1/3$ and leaf $t=3$ is $d(1/3,3)= \bigg| g_{1/3}(r)-g_{3}(r) \bigg |.$

If one repeats this gluing process by taking $t\in[1/k,k]$ for every real $k>1$ then one obtains shells, at least mutually diffeomorphic to $\mathcal S$ embedded in $[0,1]^3$ which can be made into a smooth codimension one foliation of $(0,1)^3$ with $k=1$ corresponding to the only codimension two leaf. Call the codimension one set of shells, $\mathcal G$. 

Since the analytic homotopy $h_t(x)$ satisfies

$$t \frac{\partial^2}{\partial t^2} h_t(x) = - x \frac{\partial}{\partial x} h_t(x)$$

I would expect a compatible differential equation for $\mathcal G$ s.t. each leaf in $\mathcal G$ corresponds to an instant in time, as was such for $h_t(x)$. This is desirable as it would give a geometric flow that shrinks the surfaces asymptotically to the codimension 2 leaf. 

Some evidence for this already is that the metric $g_t(r)$ satisfies a linear third order PDE and geometric flow

$$t^2 \frac{\partial ^3}{\partial t^3}g_t(r) =r^2 \frac{\partial}{\partial r}g_t(r)$$

where we took the Mellin transform of the leaves of $h_t(x)$ to obtain the desired PDE.

Evidently, the leaves in $\mathcal G$ are compactly supported with sufficient decay properties giving access to the Paley-Wiener theorem, allowing one to conclude analyticity of the Fourier transform of these leaves. 

Now if we act on $\mathcal G$ by rigid automorphisms in $\Bbb R^3$ then the only allowable action is a $360$ degree rotation which leaves the set of leaves in $\mathcal G$ invariant. We can layer on additional symmetry by letting $\mathcal G$ be just one element and taking $\mathcal G_{\alpha}$ for $\alpha=1,2,3,4$ gaining octahedral symmetry. It can be shown that the Euler characteristic vanishes i.e. $\chi(M)=0$ where $M$ is just the union of the $\mathcal G_{\alpha}$ but that is another story. 

How do the automorphisms of $\mathcal G $ interact with the complex space? We know by the Paley-Weiner theorem that analyticity is inherited, but does an automorphism of $\mathcal G$ necessarily correspond to some invariance of the Fourier transform of a generic leave in $\mathcal G$? What I am looking for is some symmetric functional equation in $\Bbb C$ that is unchanged under an automorphism of a generic leaf in $\mathcal G$.

For example clearly $h_t(x)$ is involutive. It also satisfies $h(x^y)=h(x)^{1/y}$ which can be viewed as a eigenfunction problem. I am also reminded of the Mellin transform of the Jacobi third theta function completing the Riemann zeta function and through Poisson summation giving rise to a functional equation on the complex space. But I don't think Poisson summation applies here because $h_t(x)$ is not a series of functions.

Comments

Post a Comment

Popular posts from this blog

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

Grothendieck Site over the Spectral Tower

-
Sheaf Stack over the Dimensional Stratification Site We define a stratified site $\mathcal{S}$ indexed by dimension $n \in \mathbb{Z}_{\geq 2}$, whose objects are geometric-combinatorial models $\mathcal{I}^{(n)}$ associated to dimension-$n$ F-completions. Morphisms in this site correspond to boundary inclusions, coordinate projections, and degenerations between dimensions: $$\mathcal{I}^{(n)} \to \mathcal{I}^{(n-1)} \quad \text{via coordinate slice or foliation boundary}.$$ Let $\mathcal{M}_\Delta^{(n)}$ denote the moduli space of $\Delta$-twisted holonomy representations in dimension $n$, with $\mathcal{M}_\Delta^{(2)} = \mathrm{U}(1)^r / \Delta$ the classical representation torus quotient. We define a sheaf stack of zeta data over $\mathcal{S}$: $$\mathscr{Z} : \mathcal{S}^{\mathrm{op}} \longrightarrow \mathbf{Stacks}$$ such that: For each $n$, $\mathscr{Z}(\mathcal{I}^{(n)})$ is a stack (e.g. derived or topological) encoding the family of zeta sheaves over $\mathcal{M}_\Delta^{(n)}...
Read more