This repository contains the source of the H2 Cosmochrony paper
Semiclassical Consistency of the Weil Representation on Heis₃(ℤ/qℤ):
Quantitative Sinc Embedding, Generator Convergence, and Aliasing Control.
This work addresses the [H2] hypothesis of the Q5a programme:
Do the rescaled Weil generators on ℓ²(ℤ/qℤ) converge, in the large-$q$ limit, to the position and momentum operators on
$L^2(\mathbb{R})$ ?
H2 establishes the operator-level consistency of the discrete-to-continuum limit.
More precisely:
- the discrete generators
$\hat{X}_q$ ,$\hat{P}_q$ are analysed explicitly - convergence is formulated as strong operator convergence
- the problem is reduced to two structural estimates:
- a discrete Sobolev identity
- a quantitative aliasing bound
The main result is:
The transported operators $ι_q \hat{X}_q ι_q^$ and $ι_q \hat{P}_q ι_q^$ converge strongly to
$x$ and$-i\partial_x$ in$L^2(\mathbb{R})$ .
Thus H2 closes the last open hypothesis of Q5a.
Q5a establishes the continuum limit framework:
- fibre structure recast as Dirichlet forms
- convergence formulated as Mosco convergence
- reduction to spectral tightness
However:
- convergence of the underlying operators remained conditional
- the identification of the limit generators was not yet justified
This defines [H2].
The paper proves:
The Weil generators on
$\mathrm{Heis}_3(\mathbb{Z}/q\mathbb{Z})$ converge, after rescaling and embedding, to the Schrödinger generators on$L^2(\mathbb{R})$ .
More precisely:
-
$\hat{X}_q \to x$ (multiplication operator) -
$\hat{P}_q \to -i\partial_x$ (derivative operator) - convergence holds strongly on
$\mathcal{S}(\mathbb{R})$ and extends to$L^2$
Result. The finite-difference operator admits an exact decomposition:
$D_q g - g'{\mathrm{disc}} = \frac{q}{4\pi i}(T_1 - 2I + T{-1})g.$
Thus:
- the error is controlled purely at the ℓ² level
- no continuous structure is required at this stage
- the momentum operator is reduced to a second-order discrete term
Result. For
Thus:
- aliasing contributions vanish uniformly
- discrete-to-continuum transfer is controlled
- all ℓ² →
$L^2$ transitions are quantitative
Result.
Thus:
- the embedding is asymptotically isometric
- norm defects are summable
- this estimate is reusable (Q5a-O5)
Result.
-
$X_q$ : local (Taylor expansion of characters) -
$P_q$ : non-local (Sobolev + aliasing)
Thus:
- the two generators require different analytical treatments
- the asymmetry is structural, not technical
Result.
Thus:
- the discrete representation converges to the Schrödinger representation
- the semiclassical limit is established at operator level
The derivation is fully internal:
admissibility structure
No continuum assumption is introduced externally.
H2 provides the missing analytical closure of Q5a:
- validates the operator limit
- justifies the identification of generators
- ensures consistency of the continuum representation
- provides quantitative control of embedding
- spectral tightness framework (Q5a)
- admissible structure (O-series)
- numerical scaling behaviour (O25)
- discrete Sobolev identity (exact)
- quantitative aliasing lemma
- quasi-isometry with explicit rate
- operator convergence proof
- Hypothesis [H2] is fully resolved
- identification of the limiting Dirichlet form
- extraction of effective geometry (Q5b)
- identification of metric constant
$A$ (Q5a-O5)
The conceptual shift is:
- previous view: operator convergence assumed or heuristic
- H2: operator convergence is derived and controlled
Thus:
- the continuum limit is not only geometric
- it is also dynamically consistent
- the Schrödinger structure emerges from admissibility
H2 completes the Q5a programme:
- O-series: finite-$q$ structure
- Q5a: continuum reduction
- H2: operator convergence
- Q5b (future): geometry extraction
Thus:
- existence of the limit is established
- operator structure is validated
- only geometric interpretation remains
- exact discrete Sobolev decomposition
- quantitative aliasing control
- asymptotic quasi-isometry
- strong convergence of generators
- closure of Q5a hypothesis chain
The continuum limit is now:
- analytically complete
- operator-consistent
- quantitatively controlled
- structurally derived
The remaining task is no longer convergence.
It is geometric interpretation.
paper/
├── out/ # Compiled H2 PDF
├── tex/ # LaTeX sources
└── README.md
If you reference this work, please cite:
J. Beau: Semiclassical Consistency of the Weil Representation on Heis₃(ℤ/qℤ) Zenodo, 2026.
Portions of the structural organisation and editorial refinement benefited from iterative interactions with large language models used as analytical assistants.
All theoretical results and interpretations remain the sole responsibility of the author.
This repository is intended as a research reference.
Feedback and further work are welcome on:
- discrete-to-continuum limits
- semiclassical analysis
- aliasing phenomena
- spectral admissibility
- effective geometry
Please open an issue to discuss technical points or extensions.