Ramified-level extension of the Tu–Yang correspondence

Extend the Tu–Yang correspondence to quaternionic orders with levels at primes ramified in the quaternion algebra, in particular to the orders corresponding to the lattices L_2 and L_4, whose level includes the ramified prime 3, so that their Hecke data and newform correspondences are covered by a general theorem.

Background

The paper identifies four ternary lattices with four orders in the quaternion algebra B_6. The classical Jacquet–Langlands and Tu–Yang correspondences apply directly to the maximal order and one even-trace order, but the orders associated with L_2 and L_4 have level at the ramified prime 3 and therefore fall outside the hypotheses of the cited results.

Exact Hecke computations provide evidence that the newform level equals the reduced discriminant for all four orders, including the two ramified-level cases. A proof extending the correspondence to these levels would place the observed Hecke data and multiplicity pattern on a rigorous theoretical foundation.

References

Extend the Tu--Yang correspondence to levels at ramified primes.

Forced Shadows of an Obstructed Hyperbolic Kac-Moody Denominator  (2608.19706 - Cho, 20 Aug 2026) in Problem 3.3, Section 3.1

In a family of reflective wall data attached to the orders of an indefinite rational quaternion algebra, the obstruction functional of every obstructed member is supported on the $Z/3$-invariant sector, and within it on the eigensystem of the maximal order --- the newform of level $d(B)$ --- with zero component along its quadratic twists. A family in which an obstructed member had nonzero obstruction component outside that line would refute it.

Forced Shadows of an Obstructed Hyperbolic Kac-Moody Denominator  (2608.19706 - Cho, 20 Aug 2026) in Conjecture 8.4, Section 8.3