Sup-norms of eigenfunctions in the level aspect for compact arithmetic surfaces

Let D be an indefinite quaternion division algebra over $${{\mathbb {Q}}}$$Q. We approach the problem of bounding the sup-norms of automorphic forms $$\phi $$ϕ on $$D^\times ({{\mathbb {A}}})$$D×(A) that belong to irreducible automorphic representations and transform via characters of unit groups of orders of D. We obtain a non-trivial upper bound for $$\Vert \phi \Vert _\infty $$‖ϕ‖∞ in the level aspect that is valid for arbitrary orders. This generalizes and strengthens previously known upper bounds for $$\Vert \phi \Vert _\infty $$‖ϕ‖∞ in the setting of newforms for Eichler orders. In the special case when the index of the order in a maximal order is a squarefull integer N, our result specializes to $$\Vert \phi \Vert _\infty \ll _{\pi _\infty , \epsilon } N^{1/3 + \epsilon } \Vert \phi \Vert _2$$‖ϕ‖∞≪π∞,ϵN1/3+ϵ‖ϕ‖2. A key application of our result is to automorphic forms $$\phi $$ϕ which correspond at the ramified primes to either minimal vectors, in the sense of Hu et al. (Commun Math Helv, to appear) or p-adic microlocal lifts, in the sense of Nelson in “Microlocal lifts and and quantum unique ergodicity on $$\mathrm{GL}_2({{\mathbb {Q}}}_{p})$$GL2(Qp)” (Algebra Number Theory 12(9):2033–2064, 2018). For such forms, our bound specializes to $$\Vert \phi \Vert _\infty \ll _{ \epsilon } C^{\frac{1}{6} + \epsilon }\Vert \phi \Vert _2$$‖ϕ‖∞≪ϵC16+ϵ‖ϕ‖2 where C is the conductor of the representation $$\pi $$π generated by $$\phi $$ϕ. This improves upon the previously known local bound$$\Vert \phi \Vert _\infty \ll _{\lambda , \epsilon } C^{\frac{1}{4} + \epsilon }\Vert \phi \Vert _2$$‖ϕ‖∞≪λ,ϵC14+ϵ‖ϕ‖2 in these cases.

Radicability condition on GLn(D)

Given an indivisible field [Formula: see text], let [Formula: see text] be a finite dimensional noncommutative [Formula: see text]-central division algebra. It is shown that if [Formula: see text] is radicable, then [Formula: see text] is the ordinary quaternion division algebra and [Formula: see text] is divisible. Also, it is shown that when [Formula: see text] is a field of characteristic zero and [Formula: see text], then [Formula: see text] is radicable if and only if for any field extension [Formula: see text] with [Formula: see text], [Formula: see text] is divisible.

Indices for the Exceptional Bruhat-Tits Buildings

This chapter considers the affine Tits indices for exceptional Bruhat-Tits buildings. It begins with a few small observations and some notations dealing with the relative type of the affine Tits indices, the canonical correspondence between the circles in a Tits index and the vertices of its relative Coxeter diagram, and Moufang sets. It then presents a proposition about an involutory set, a quaternion division algebra, a root group sequence, and standard involution. It also describes Θ‎-orbits in S which are disjoint from A and which correspond to the vertices of the Coxeter diagram of Ξ‎ and hence to the types of the panels of Ξ‎. Finally, it shows how it is possible in many cases to determine properties of the Moufang set and the Tits index for all exceptional Bruhat-Tits buildings of type other than Latin Capital Letter G with Tilde₂.

Existence

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.

Totally Wild Quadratic Forms of Type E7

This chapter assumes that (K, L, q) is a totally wild quadratic space of type E₇. The goal is to prove the proposition that takes into account Λ‎ of type E₇, D as the quaternion division algebra over K whose image in Br(K) is the Clifford invariant of q, and the trace and trace map. The chapter also considers two other propositions: the first states that if the trace map is not equal to zero, then the Moufang residues R₀ and R₁ are not indifferent; the second states that if the trace map is equal to zero, then the Moufang residues R₀ and R₁ are both indifferent.

Linked Tori, II

This chapter proves several more results about weak isomorphisms between Moufang sets arising from quadratic forms and involutory sets. It first fixes a non-trivial anisotropic quadratic space Λ‎ = (K, L, q) before considering two proper anisotropic pseudo-quadratic spaces. It then describes a quaternion division algebra and its standard involution, a second quaternion division algebra and its standard involution, and an involutory set with a quaternion division algebra and its standard involution. It concludes with one more small observation regarding a pointed anisotropic quadratic space and shows that there is a unique multiplication on L that turns L into an integral domain with a multiplicative identity.

Ramified Quadrangles of Type E6, E7 and E8

This chapter deals with the case that the building at infinity of the Bruhat-Tits building Ξ‎ is a Moufang ramified quadrangle of type E⁶, E₇ and E₈. The basic proposition is that Ξ‎ is a ramified quadrangle if δ‎Λ‎ = δ‎Ψ‎ = 1 holds. The chapter proves the theorem that if δ‎Ψ‎ = 1 and the Moufang residues R₀ and R₁ are not both indifferent, there exists an involutory set. It also discusses the cases ℓ = 6, ℓ = 7, and ℓ = 8, in which D is a quaternion division algebra.

Quadratic Forms of Type E6, E7 and E8

This chapter presents various results about quadratic forms of type E⁶, E₇, and E₈. It first recalls the definition of a quadratic space Λ‎ = (K, L, q) of type Eℓ for ℓ = 6, 7 or 8. If D₁, D₂, and D₃ are division algebras, a quadratic form of type E⁶ can be characterized as the anisotropic sum of two quadratic forms, one similar to the norm of a quaternion division algebra D over K and the other similar to the norm of a separable quadratic extension E/K such that E is a subalgebra of D over K. Also, there exist fields of arbitrary characteristic over which there exist quadratic forms of type E⁶, E₇, and E₈. The chapter also considers a number of propositions regarding quadratic spaces, including anisotropic quadratic spaces, and proves some more special properties of quadratic forms of type E₅, E⁶, E₇, and E₈.

Linked Tori, I

This chapter investigates the consequences of the assumption that one Moufang set is weakly isomorphic to another. It first introduces some well-known facts about involutions which are assembled in a few lemmas, including those dealing with an involutory set, a biquaternion division algebra, and a quaternion division algebra with a standard involution. It then presents a notation for a non-trivial anisotropic quadratic space and another for an involutory set are presented, along with assumptions for a pointed anisotropic quadratic space and the standard involution of a quaternion. It also makes a number of propositions regarding the standard involution of a quaternion and a biquaternion. Results about weak isomorphisms between Moufang sets arising from involutory sets are given.