Archimedean Spectrum in Modern Spectral Theory

• Archimedean Spectrum is a multifaceted concept defined in automorphic representation theory, adelic quantum mechanics, and quantum graph spectral analysis.
• In automorphic settings, it characterizes the τ-isotypic cuspidal spectrum of the Casimir operator and follows a generalized Weyl law modulated by the representation’s dimension.
• In quantum models, the spectrum is reconstructed from p-adic eigenvalues through Euler products and appears in dispersion relations related to Archimedean tilings.

Searching arXiv for the cited papers to ground the article in current metadata. In the cited literature, the expression Archimedean spectrum does not denote a single universal object. It appears in at least three technically distinct settings: the $\tau$-isotypic cuspidal spectrum of the Casimir operator on $L^2(\Gamma\backslash G_\infty)$ for an arbitrary Archimedean type $\tau$ in automorphic representation theory; the ordinary particle-in-a-box energy spectrum reconstructed from $p$-adic local spectra by an Euler product and a Berkovich-space flow equation; and the spectral theory of periodic quantum graphs associated with Archimedean tilings of the plane (Maiti, 2022, Huang et al., 2020, Luo et al., 2018). The common adjective therefore signals either an Archimedean place, an Archimedean branch in an adelic construction, or the geometric class of Archimedean tilings, depending on context.

1. Terminological scope and ambient frameworks

In automorphic form theory, the relevant ambient data are a split adjoint semisimple $\mathbb Q$-group $G$, its real points $G_\infty=G(\mathbb R)$, a torsion-free congruence subgroup $\Gamma\subset G(\mathbb Z[S^{-1}])$, and a maximal compact subgroup $K_\infty\subset G_\infty$. Within this setting, an Archimedean type is an irreducible finite-dimensional representation

$$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$

and the corresponding spectrum is the $L^2(\Gamma\backslash G_\infty)$0-isotypic cuspidal spectrum of the Casimir operator (Maiti, 2022).

In the adelic quantum-mechanical setting of Huang–Mao–Stoica, the Archimedean spectrum is the ordinary one-dimensional particle-in-a-box spectrum

$L^2(\Gamma\backslash G_\infty)$1

recovered from local $L^2(\Gamma\backslash G_\infty)$2-adic eigenvalues by an Euler product formula. The same work interprets the relation between the finite places and the Archimedean place through a renormalization-group-type flow on the Berkovich space $L^2(\Gamma\backslash G_\infty)$3 (Huang et al., 2020).

In the spectral theory of periodic quantum graphs, Luo–Jatulan–Law study Schrödinger operators on graphs associated with four Archimedean tilings of the plane: the triangular $L^2(\Gamma\backslash G_\infty)$4, elongated triangular $L^2(\Gamma\backslash G_\infty)$5, truncated square $L^2(\Gamma\backslash G_\infty)$6, and trihexagonal $L^2(\Gamma\backslash G_\infty)$7 tilings. There the phrase refers to the geometry of the tilings rather than to an infinite place of a global field (Luo et al., 2018).

This multiplicity of usage suggests that the unifying notion is not a single invariant but a family of spectral problems in which “Archimedean” identifies the real-place or Euclidean component singled out by the construction.

2. Archimedean type and the $L^2(\Gamma\backslash G_\infty)$8-isotypic cuspidal spectrum

For the automorphic problem, Harish-Chandra’s subquotient theorem implies that every irreducible unitary $L^2(\Gamma\backslash G_\infty)$9 embeds in a standard principal series

$\tau$0

where $\tau$1 is a discrete-series class of $\tau$2, $\tau$3, and $\tau$4 is standard. Thus one may identify

$\tau$5

This parametrization is the Archimedean spectral parameter space used in the counting problem (Maiti, 2022).

On $\tau$6 one has the Casimir operator $\tau$7 and its cuspidal spectrum $\tau$8. If

$\tau$9

are the eigenvalues, with multiplicity, of $p$0 on the $p$1-isotypic cuspidal subspace, then the associated counting function is

$p$2

Equivalently,

$p$3

where $p$4 is the multiplicity of $p$5 in $p$6 (Maiti, 2022).

The significance of this formulation is that the spectral asymptotic is organized by $p$7-type rather than only by the bi-$p$8-invariant, or spherical, line. In particular, the counting problem interpolates between the trivial $p$9-type and arbitrary finite-dimensional $\mathbb Q$0.

3. Weyl law for arbitrary Archimedean type

Let $\mathbb Q$1. The generalized Weyl law proved by Maiti states that as $\mathbb Q$2,

$\mathbb Q$3

where, up to an unimportant normalization of $\mathbb Q$4,

$\mathbb Q$5

Hence

$\mathbb Q$6

The main term is therefore the spherical Weyl constant multiplied by $\mathbb Q$7 (Maiti, 2022).

The proof differs from the spherical case because the classical Satake isomorphism

$\mathbb Q$8

is used in the bi-$\mathbb Q$9-invariant setting to build cuspidalizing test functions, but off the trivial $G$0-type the corresponding Abel–Satake map is no longer surjective onto endomorphism-valued spherical functions. Instead, the argument uses Arthur’s real Paley–Wiener theorem and multipliers. For each $G$1 one produces a compactly supported $G$2-valued function $G$3 with Harish-Chandra transform essentially

$G$4

where $G$5 is a rapidly decaying Schwartz function on $G$6 with $G$7. At the non-Archimedean places, one chooses $G$8 to be products of Steinberg pseudo-coefficients, so that the full test function $G$9 has purely cuspidal image under the right-regular representation (Maiti, 2022).

Inserted into the partial trace formula, this test function yields the identity contribution

$G_\infty=G(\mathbb R)$0

and Plancherel inversion gives, as $G_\infty=G(\mathbb R)$1,

$G_\infty=G(\mathbb R)$2

The non-identity orbital integrals are shown to be of size $G_\infty=G(\mathbb R)$3 and therefore vanish after multiplying by $G_\infty=G(\mathbb R)$4 and letting $G_\infty=G(\mathbb R)$5 (Maiti, 2022).

A fundamental special case is $G_\infty=G(\mathbb R)$6, where one recovers exactly the Lindenstrauss–Venkatesh result. For $G_\infty=G(\mathbb R)$7, $G_\infty=G(\mathbb R)$8, and $G_\infty=G(\mathbb R)$9 the one-dimensional weight-$\Gamma\subset G(\mathbb Z[S^{-1}])$0 character, $\Gamma\subset G(\mathbb Z[S^{-1}])$1 and

$\Gamma\subset G(\mathbb Z[S^{-1}])$2

which is Selberg’s Weyl law for Maass forms of weight $\Gamma\subset G(\mathbb Z[S^{-1}])$3 (Maiti, 2022).

4. Local-to-Archimedean reconstruction in adelic quantum mechanics

In the framework of Huang–Mao–Stoica, a free particle on $\Gamma\subset G(\mathbb Z[S^{-1}])$4 with periodic boundary conditions is governed by the Hamiltonian

$\Gamma\subset G(\mathbb Z[S^{-1}])$5

where the Vladimirov operator is defined by

$\Gamma\subset G(\mathbb Z[S^{-1}])$6

The periodicity condition is

$\Gamma\subset G(\mathbb Z[S^{-1}])$7

Expanding in additive characters $\Gamma\subset G(\mathbb Z[S^{-1}])$8 and imposing periodicity gives the admissible momenta

$\Gamma\subset G(\mathbb Z[S^{-1}])$9

and therefore the local energy eigenvalues

$K_\infty\subset G_\infty$0

(Huang et al., 2020).

The Archimedean energy spectrum is then defined by the Euler product

$K_\infty\subset G_\infty$1

Using the product formula for norms on $K_\infty\subset G_\infty$2,

$K_\infty\subset G_\infty$3

one obtains

$K_\infty\subset G_\infty$4

After identifying $K_\infty\subset G_\infty$5 and writing $K_\infty\subset G_\infty$6, this becomes

$K_\infty\subset G_\infty$7

(Huang et al., 2020).

The construction is accompanied by a Berkovich-space interpretation. The ring $K_\infty\subset G_\infty$8 is regarded as a tree of seminorms $K_\infty\subset G_\infty$9, with a central trivial norm, one Archimedean branch parametrized by $$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$0 on $$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$1, and infinitely many $$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$2-adic branches parametrized by $$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$3 on $$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$4. At a point on branch $$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$5 with coordinate $$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$6 one assigns

$$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$7

To lowest order in $$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$8, the proposed flow equation is

$$\tau:(K_\infty,V_\tau)\to \operatorname{End}(V_\tau),$$9

while at the central vertex one obtains

$L^2(\Gamma\backslash G_\infty)$00

A second-order version is

$L^2(\Gamma\backslash G_\infty)$01

with $L^2(\Gamma\backslash G_\infty)$02 chosen branch by branch (Huang et al., 2020).

This suggests an interpretation in which the Archimedean spectrum is not independent of the finite-place spectra, but is obtained by a global matching condition encoded at the central vertex of the Berkovich tree.

5. Spectra of periodic quantum graphs associated with Archimedean tilings

For periodic quantum graphs associated with Archimedean tilings, each edge of length $L^2(\Gamma\backslash G_\infty)$03 carries the one-dimensional Schrödinger operator

$L^2(\Gamma\backslash G_\infty)$04

where $L^2(\Gamma\backslash G_\infty)$05 is real-valued, $L^2(\Gamma\backslash G_\infty)$06-periodic on the graph, identical on each edge, and even. On $L^2(\Gamma\backslash G_\infty)$07, the cosine-like and sine-like solutions are defined by

$L^2(\Gamma\backslash G_\infty)$08

and one writes

$L^2(\Gamma\backslash G_\infty)$09

The quasi-momentum $L^2(\Gamma\backslash G_\infty)$10 ranges over the Brillouin zone $L^2(\Gamma\backslash G_\infty)$11, and the Floquet–Bloch boundary conditions produce a characteristic determinant

$L^2(\Gamma\backslash G_\infty)$12

for some $L^2(\Gamma\backslash G_\infty)$13 and a low-degree symmetric polynomial $L^2(\Gamma\backslash G_\infty)$14 (Luo et al., 2018).

Under the assumption that the edge-potentials are identical and even, the exact dispersion relations for four Archimedean tilings are:

• Triangular tiling $L^2(\Gamma\backslash G_\infty)$15:

$L^2(\Gamma\backslash G_\infty)$16

• Elongated triangular tiling $L^2(\Gamma\backslash G_\infty)$17:

$L^2(\Gamma\backslash G_\infty)$18

• Truncated square tiling $L^2(\Gamma\backslash G_\infty)$19:

$L^2(\Gamma\backslash G_\infty)$20

• Trihexagonal tiling $L^2(\Gamma\backslash G_\infty)$21:

$L^2(\Gamma\backslash G_\infty)$22

(Luo et al., 2018).

By Floquet theory, the spectrum decomposes as

$L^2(\Gamma\backslash G_\infty)$23

The zeros of the factor $L^2(\Gamma\backslash G_\infty)$24 produce infinitely degenerate eigenvalues, or flat bands, while the remaining factor determines the absolutely continuous spectrum with band-gap structure (Luo et al., 2018).

For the four tilings, the absolutely continuous spectrum can be characterized by the following ranges of $L^2(\Gamma\backslash G_\infty)$25:

Tiling	Condition for $L^2(\Gamma\backslash G_\infty)$26
$L^2(\Gamma\backslash G_\infty)$27	$L^2(\Gamma\backslash G_\infty)$28
$L^2(\Gamma\backslash G_\infty)$29	$L^2(\Gamma\backslash G_\infty)$30
$L^2(\Gamma\backslash G_\infty)$31	$L^2(\Gamma\backslash G_\infty)$32
$L^2(\Gamma\backslash G_\infty)$33	$L^2(\Gamma\backslash G_\infty)$34

The trigonometric structure of the dispersion relations reflects the symmetry of the underlying tilings. In particular, the combinations

$L^2(\Gamma\backslash G_\infty)$35

encode sixfold rotational symmetry for the triangular and trihexagonal tilings, a distinguished long direction for the elongated triangular tiling, and fourfold rectangular symmetry for the truncated square tiling (Luo et al., 2018).

6. Technical contrasts, shared motifs, and recurrent points of confusion

The three spectral problems differ sharply in operator, state space, and asymptotic regime. In the automorphic setting, the operator is the Casimir operator on the cuspidal subspace of $L^2(\Gamma\backslash G_\infty)$36, and the principal result is an asymptotic counting law weighted by $L^2(\Gamma\backslash G_\infty)$37. In the adelic quantum-mechanical setting, the operator is the $L^2(\Gamma\backslash G_\infty)$38-adic free Hamiltonian built from the Vladimirov operator, and the Archimedean spectrum is reconstructed exactly by an Euler product. In the quantum-graph setting, the operator is a periodic Schrödinger operator on a graph, and the spectrum decomposes into point spectrum and absolutely continuous spectrum with explicit dispersion relations (Maiti, 2022, Huang et al., 2020, Luo et al., 2018).

A recurrent source of confusion is that the adjective Archimedean is used in different senses. In Maiti’s work, it labels a $L^2(\Gamma\backslash G_\infty)$39-type; in Huang–Mao–Stoica, it labels the ordinary real-place spectrum appearing as the endpoint of a product over $L^2(\Gamma\backslash G_\infty)$40-adic factors; and in Luo–Jatulan–Law, it labels a class of Euclidean tilings. The coincidence of terminology does not imply a common operator or a common parameter space.

Another important distinction concerns the role of symmetry. In the spherical automorphic case, the Satake isomorphism is available, whereas off the trivial $L^2(\Gamma\backslash G_\infty)$41-type the relevant Abel–Satake map is no longer surjective, necessitating Arthur’s Paley–Wiener theorem and multipliers (Maiti, 2022). In the quantum-graph setting, by contrast, symmetry simplifies the characteristic determinant and allows factorization into $L^2(\Gamma\backslash G_\infty)$42 times a low-degree polynomial in $L^2(\Gamma\backslash G_\infty)$43, especially under the evenness assumption on the edge potential (Luo et al., 2018). In the Berkovich-space construction, the decisive symmetry is the product formula

$L^2(\Gamma\backslash G_\infty)$44

which functions as the matching condition between the Archimedean branch and the non-Archimedean branches (Huang et al., 2020).

Taken together, these works show that “Archimedean spectrum” is best treated as a contextual term. Depending on the framework, it may refer to asymptotic multiplicity growth in automorphic spectra, to an Archimedean energy spectrum glued from local $L^2(\Gamma\backslash G_\infty)$45-adic data, or to the Bloch spectrum of a Euclidean tiling graph. The technical content resides not in the adjective alone but in the precise spectral datum to which it is attached.