Arxiv:2011.09807V2 [Math.NT] 14 Jan 2021 Congruence Subgroups and Orthogonal Groups

Home , Congruence subgroup

arXiv:2011.09807v2 [math.NT] 14 Jan 2021 lsicto:1F6 11F55 11F46, group, Classification: orthogonal subgroup, congruence quaternions, witz Keywords: 2 1 oguneSbrusadOrthogonal and Subgroups Congruence ly re,LhsulAfu ahmtk WHAce Unive Aachen RWTH für Mathematik, A Lehrstuhl Krieg, Aloys dinHueWsh¨sh erth ¨rMteai,RW für Hauffe-Waschbüsch, Mathematik, A Adrian Lehrstuhl aachen.de adrian.hauff[email protected] ler dpe otenme hoeia needs. theoretical number the to adapted algebra utrin fdge n h iciiatkreso spec of kernels discriminant the and over a 2 groups group over degree modular group of the modular quaternions and Hermitian field the number group, imaginary-quadratic modular Siegel the edrv xlctioopim ewe eti congruenc certain between isomorphisms explicit derive We iglmdlrgop emta oua ru,mdlrgro modular group, modular Hermitian group, modular Siegel SO dinHauffe-WaschbüschAdrian 0 (2 n , ), n 3 = , 4 , .Tepofi ae na plcto flinear of application an on based is proof The 6. Groups aur 2021 January by 1 1 and HAce nvriy -25 Aachen, D-52056 University, Aachen TH ly Krieg Aloys st,D506Ace,krieg@rwth- Aachen, D-52056 rsity, iciiatkernel discriminant ugop of subgroups e a orthogonal ial h Hurwitz the 2 arbitrary n poe Hur- over up 1 Introduction

In the classical theory modular forms such as theta series are described in the setting of Spn(R) (cf. [4]). About 20 years ago Borcherds ([1]) established a product expansion for modular forms on SO(2,n). There are well-known isomorphisms between the projective symplectic group PSp2(R), the projective special split unitary group PSU(2, 2; C) and the projective quaternionic symplectic group PSp2(H) on the one hand and the connected component of the identity of the projective special orthogonal group P SO(2,n; R), n 3, 4, 6 , on the other hand. ∈ { } In the ﬁrst two cases an explicit form based on linear algebra can be found in [6] and [12]. If one is interested in modular forms, it is necessary to adapt this isomorphism to number theoretical needs in order to identify modular forms with respect to discriminant kernels (cf. [14], [13], [15]) with Siegel and Hermitian modular forms with respect to congruence subgroups. This approach can be extended to the quaternions, where the lack of a classical notion of determinants leads to particular diﬃculties. Given a non-degenerate symmetric even matrix T Zm×m let ∈ tr SO(T ; R) := U SLm(R); U TU = T { ∈ } denote the attached special orthogonal group. Let SO0(T ; R) stand for the connected component of the identity matrix I and SO0(T ; Z) for the subgroup of integral matrices. The discriminant kernel

× (T ; Z) := U SO (T ; Z); U I + Zm mT D { ∈ 0 ∈ } is a normal subgroup of SO (T ; Z). Given N N we moreover deﬁne 0 ∈ 0 0 N U(N) T := 0 T 0 ⊕   N 0 0   for the orthogonal sum with the rescaled hyperbolic plane.

2 Siegel modular group

Denote by

× 0 I 1 0 Γ (Z) := M Z4 4; M trJM = J , J = J (4) = , I = I(2) = , 2 { ∈ } I 0 0 1 − the Siegel modular group of degree 2. Throughout the paper we will always choose a block decomposition of M into 2 2 blocks × A B (1) M = , A = (a ), B = (b ), C = (c ), D = (d ). C D ij ij ij ij

2 Now let 0 0 1 0 0 1 (2) S = U(1) ( 2) = 0 2 0 , S = U(1) S = 0 S 0 . 0 ⊕ −  −  1 ⊕ 0  0  1 0 0 1 0 0     For 2 2 matrices the adjoint is defined by × ♯ α β δ β (3) = − . γ δ γ α − Denote the symmetric 2 2 matrices by Sym (R) and define × 2 α α β (4) ϕ : Sym (R) R3, β . 2 → β γ 7→   γ   We fix a notation for M

tr f α a S0 β (5) M = b K c , α,β,γ,δ R.  tr  ∈ γ d S0 δ f   Given M Sp (R) of the form (1) observe that ∈ 2 − M Z := (AZ + B)(CZ + D) 1 = 1 det Z AC♯ + AZD♯ + BZ♯C♯ + BD♯ , h i det(CZ+D) · det M Z := det(CZ + D) = det Z det C + trace (Z♯C♯D) + det D, { } · and deﬁne M R5×5 in (5) by ∈ (6) α = det A, β = det B, γ = det C, δ = det D, f − −

(7) a = ϕ(A♯B), b = ϕ(AC♯), c = ϕ(BD♯), d = ϕ(C♯D). − −

K is the matrix, which represents the endomorphism ♯ ♯ ♯ (8) fM : Sym (R) Sym (R),Z AZD + BZ C , 2 → 2 7→ 1 0 0 1 0 0 with respect to the basis ( 0 0 ) , ( 1 0 ) , ( 0 1 ) . Our ﬁrst result is

Theorem 1. a) Γ (Z)/ I is isomorphic to (S ; Z) via the map M M given by 2 {± } D 1 ± 7→ (6), (7), (8). b) Given N N the discriminant kernel (NS ; Z) is isomorphic to the principalf con- ∈ D 1

3 gruence subgroup of level N

M Γ (Z); M εI mod N, ε Z, ε2 1 mod N / I { ∈ 2 ≡ ∈ ≡ } {± } under the map in a). c) Given n, N N, n N the map in a) yields an isomorphism between the congruence ∈ | subgroup

a a d d ε mod n, ε Z, ε2 1 mod n, 11 ≡ 22 ≡ 11 ≡ 22 ≡ ∈ ≡ (9) M Γ2(Z), det A det D 1 mod N, a21 b22 d12 0 mod n, I ( ∈ ≡ ≡ ≡ ≡ ≡ ) {± } c 0 mod Nn, c c c 0 mod N . 11 ≡ 12 ≡ 21 ≡ 22 ≡ and

− (10) F U(N) U(n) ( 2); Z F 1 (S ; Z), F = diag (1, 1, 1, n, N). D ⊕ ⊕ − ⊆ D 1 Proof. a) This is the case N = 1 of Lemma 5 in [6]. b) At ﬁrst (6), (7), (8) show that the image of the principal congruence subgroup is contained in the discriminant kernel. Given M (NS ; Z) of the form (5) part a) ∈ D 1 yields B C 0 mod N, because det A and det D are coprime to N in (7). Now ≡ ≡ observe (cf. [9], p. 44) that f

J 0 0 − M = (I J) M = 0 1 0 , J = J (2). ± 0 ± × 7→ 0   0 0 J f   If we conjugate by M0 resp. M0, the same argument shows that M is congruent to a di- −1 agonal matrix mod N. The determinantal conditions on the blocks of M and M0MM0 as well as ADtr I mod N implyf ≡ M εI mod N, ε Z, ε2 1 mod N. ≡ ∈ ≡ c) The image of the congruence subgroup (9) is contained in (10) by (6), (7), (8). Given M F U(N) U(n) ( 2); Z F −1 we have ∈ D ⊕ ⊕ − α δ 1 mod N, b, d 0 mod N. f ≡ ≡ ≡ − We obtain C 0 mod N. Now we apply the same procedure to M MM 1. This leads ≡ 0 0 to a b d 0 mod n. f ff 21 ≡ 22 ≡ 12 ≡ The determinantal conditions on the A- and D-blocks as well as ADtr I mod n imply ≡ that all the diagonal entries of M are congruent to ε mod n for some ε Z satisfying ∈ ε2 1 mod n. From these congruences and the fact that the last entry of b = ϕ(AC♯) ≡ − is divisible by Nn, we get c 0 mod Nn. 11 ≡

4 Remarks. a) The projective symplectic group in the underlying isomorphism of real Lie groups entails the appearance of the projective principal congruence subgroup in Theorem 1, which diﬀers from the common one in the non-projective setting (cf. [8]). b) It follows from c) that U(N) U(1) ( 2); Z is isomorphic to the more familiar D ⊕ ⊕ − congruence subgroup M Γ (Z); C 0 mod N, det A det D 1 mod N I . { ∈ 2 ≡ ≡ ≡ } {± } c) In the language of lattices c) of Theorem 1 refers to the orthogonal group with respect to U(N) U(n) A ( 1). The case of an arbitrary orthogonal sum with two hyperbolic ⊕ ⊕ 1 − planes over Z can be reduced to Theorem 1 c) by the elementary divisor theorem.

3 Hermitian modular group

Let K = Q(√ m), m N squarefree, be an imaginary quadratic number ﬁeld with − ∈ discriminant dK and ring of integers OK = Z + ZωK, given by

m, (m + √ m)/2, if m 3 mod 4, (11) dK = − ωK = − ≡ ( 4m, (m + √ m, else. − − The Hermitian modular group of degree 2 with respect to K (cf. [2]) is deﬁned by

tr Γ (OK) := M SL (OK); M JM = J . 2 ∈ 4 In this case we deﬁne 0 0 1 0 0 1 2 2Re(ωK) 6×6 (12) SK = 2 , S0 = 0 S 0 , S1 = 0 S0 0 Z . 2Re(ωK) 2 ωK  −    ∈ | | 1 0 0 1 0 0     Note that

Z mZ, if dK is odd, (13) (Z Z)SK = × × 2Z 2mZ, if dK is even. ( × In this setting we consider the Hermitian 2 2 matrices Her (C) instead of Sym (R) in × 2 2 section 2 and replace (4) by

4 α β + γωK tr (4’) ϕ : Her2(C) R , (α,β,γ,δ) . → β + γωK δ 7→ We adopt the notions of section 2. Given M SU(2, 2; C) with block decompositions ∈ as in (2), we consider M SO(S ; R) with S from (12) in the notion of (5) using (6), ∈ 1 1 f

5 (7) with ϕ from (4’) as well as

K is the matrix, which represents the endomorphism ♯ ♯ ♯ fM : Her (C) Her (C),Z AZD + BZ C , (8’) 2 → 2 7→ 1 0 0 1 0 ωK 0 0 with respect to the basis ( 0 0 ) , ( 1 0 ) , ωK 0 , ( 0 1 ) . If we consider congruences mod N, i.e. mod N OK, N N, the result is ∈ Theorem 2. a) Γ (OK)/ I is isomorphic to (S ; Z) the map M M given by 2 {± } D 1 ± 7→ (4’), (6), (7), (8’). b) Given N N the discriminant kernel (NS ; Z) is isomorphic to the principalf con- ∈ D 1 gruence subgroup of level N OK,

2 M Γ (OK); M εI mod N, ε Z, ε 1 mod N / I { ∈ 2 ≡ ∈ ≡ } {± } under the map in a). c) Given n, N N, n N the map in a) yields an isomorphism between the congruence ∈ | subgroup

(14) a d a d ε mod n, ε OK, εε 1 mod n, 11 ≡ 11 ≡ 22 ≡ 22 ≡ ∈ ≡ M Γ2(OK); det A det D 1 mod N, a21 b22 d12 0 mod n, I ( ∈ ≡ ≡ ≡ ≡ ≡ ) {± } c 0 mod Nn, c c c 0 mod N . 11 ≡ 12 ≡ 21 ≡ 22 ≡ and

−1 F U(N) U(n) ( SK); Z F (S ; Z), F = diag (1, 1, 1, 1, n, N). D ⊕ ⊕ − ⊆ D 1 Proof. a) This is Theorem 3 in [12]. c) Now let N > 1. Proceed in the same way as in the proof of Theorem 1 c) and observe tr that AD I mod n, where in this situation ≡ J 0 0 − M = (I J) M = 0 I 0 , I = I(2), J = J (2). ± 0 ± × 7→ 0   0 0 J f   b) Proceed as before. Note that any M in the preimage satisﬁes

M diag (ε, ε, ε, ε) mod N, ε OK, ε, ε 1 mod N. ≡ ∈ ≡ As M belongs to the discriminant kernel, we conclude

2 f 0 1 ε fM ∗ mod N resp. mod 2N 1 0 ≡ ε2 ∗

6 from (13), hence mod N, if dK is odd, ε2 1, ε ε ≡ ≡ (mod 2N, if dK is even. Thus ε may be chosen in Z.

In order to obtain congruence subgroups, which contain Sp2(Z) properly, we need an ideal in OK satisfying = . Thus we consider a squarefree divisor N dK and the I I I 2 | integral ideal N of reduced norm N. As N ωK in (11), we get I | | | 2 (15) N = ZN + ZωK, = N OK. I IN In this case we deﬁne

2N 2Re(ωK) (16) T = 2 . 2Re(ωK) 2 ωK /N | | We observe that 1 0 (17) (Z Z)T = (NZ Z)SK. × 0 N ×

Theorem 3. Given a squarefree divisor N of dK the map M M in Theorem 2 ± 7→ yields an isomorphism between the principal congruence subgroup mod N I f 2 (18) M Γ (OK); M εI mod N , ε Z, ε 1 mod N / I { ∈ 2 ≡ I ∈ ≡ } {± } and

−1 (19) G U(N) U(N) ( T ); Z GN , GN = diag (1, 1, 1, N, 1, 1). N D ⊕ ⊕ − × tr Proof. Note that H 2 2, H = H satisﬁes ∈IN ϕ(H) (0, 0, , 0)tr mod N ≡ ∗ because of (15). Using (4’) - (8’) a veriﬁcation shows that the images of the matrices in (18) are contained in (19). Any representative of OK/ N may be chosen in Z. Hence we I conclude in the same way as in the proof of Theorem 2 that any M in the preimage of

−1 G U(N) U(N) ( T ); Z GN (S ; Z) N D ⊕ ⊕ − ∩ D 1 satisﬁes 2 M εI mod N , ε Z, ε 1 mod N. ≡ I ∈ ≡ −1 Now start with an arbitrary M = (mij) G U(N) U(N) ( T ); Z GN . It ∈ N D ⊕ ⊕ − f e

7 follows from Theorem 3 in [12] that the preimage of M has the form

∗ ∗ WℓL = L Wℓ, ℓ dK squarefree, L,L Γ (OK), | f ∈ 2 4×4 tr where Wℓ is an arbitrary matrix in (1/√ℓ) satisfying W JWℓ = J and det Wℓ = 1. Iℓ ℓ We choose

tr √ √ V ℓ 0 µu/ ℓ νN ℓ Wℓ = − ,Vℓ = , 0 V 1 N√ℓ u/√ℓ ℓ ! u = ℓ + m + √ m, µ,ν Z, µuu/ℓ νN 2ℓ = 1. − ∈ − Now let m 1 mod 4 and N ′ = gcd(N,m). As ≡ 1 0 0 µ 0 ∗ Wℓ = 0 Kℓ 0 , Kℓ 0 0 mod N,   ≡  ∗  0 0 1 0 uu/ℓ ∗ f  ∗   the standard procedure shows that L is congruent to a diagonal matrix mod N . The I special choice of Wℓ shows that this is also true for L, i.e.

L diag (ε, δ, δ, ε) mod N , ε, δ Z, εδ 1 mod N. ≡ I ∈ ≡ This leads to

L diag (1, ε2, 1, 1, δ2, 1) + Λ, ∈ − × ′ ′ Λ= G 1Z6 6 diag (N,N, 2N , 2mN/N ,N,N). e N

Thus we obtain for Wℓ = (wij)

′ wf43 = e2µ 2µm/ℓ 0 mod 2N /N, − − ≡ ′ w34 2µm(m + 1)(m + ℓ)/ℓ 0 mod 2mN/N , e ≡ ≡ which implies ℓ m by considering odd and even N separately. Then | e ′ w = 1 2µm(m + 1)/ℓ 1 mod 2m/N 44 − ≡ leads to ℓ N ′. Finally | e ′ w 1 + 2µm(m 1)/ℓ 1 mod 2N 33 ≡ − ≡ ′ gives N ℓ m and ℓ = 1, as m is squarefree. Thus we get L Γ (OK) and the claim | e ∈ 2 follows from the considerations above. The (simpler) cases m 2, 3 mod 4 are dealt with in the same way. ≡

8 Remarks. a) If dK is even and N m, the choice of another basis shows that | 2N 0 U(N) U(N) − ; Z D ⊕ ⊕ 0 2m/N − is isomorphic to the principal congruence subgroup mod N. I b) If we conjugate by diag (√ m, 1, 1/√ m, 1) we see that the principal congruence − − − subgroup mod m is isomorphic to the discriminant kernel U(m) U(m) ( SK); Z I D ⊕ ⊕ − via Theorem 2. 4 Quaternionic modular group

In this section we consider the Hamiltonian quaternions

H = R + Ri + Rj + Rk, k = ij = ji, i2 = j2 = 1. − −

If b1, b2, b3, b4 is a basis of H over R, we deﬁne

8×8 S = (bνbµ + bµbν)ν,µ, S = U(1) ( S), S = U(1) S R . 0 ⊕ − 1 ⊕ 0 ∈ We replace ϕ in (4) by

(4*) ϕ : Her (H) R6, 2 → which describes the coordinates with respect to the basis

1 0 0 b 0 b 0 b 0 b 0 0 , 1 , 2 , 3 , 4 , . 0 0 b 0 b 0 b 0 b 0 0 1 1 2 3 4 If we extend ϕ by C-linearity, we obtain a bijection between the quaternionic half-space H(2; H) (cf. [9], p. 46) and the orthogonal half-space S (cf. [7], [11]). We compare the H action of × tr Sp (H) := M H4 4; M JM = J 2 { ∈ } on H(2; H) via Z M Z = (AZ + B)(CZ + D)−1 with the action of SO (S ; R) on 7→ h i 0 1 S (cf. [7]) H − z M z := 1 ztrS z b + Kz + c (M z ) 1, 7→ h i − 2 0 · · { } 1 tr tr M z := z S0z γ + d S0z + δ, f{ } − 2 · f in the notation of M fR8×8 in (5) adapted to S above. ∈ 0 Lemma 1. ϕ inducesf an isomorphism of the groups (20) Sp (H) I SO (S ; R) I , M M, 2 {± }→ 0 1 {± } ± 7→ ± f

9 via ϕ(M Z )= M ϕ(Z) for all Z H(2; H). h i h i ∈ Proof. The assertion is veriﬁed forf standard generators on both sides (cf. [9] Lemma II.1.4, [11]).

.Let “ ∨ ” stand for the standard embedding H ֒ C2×2, i.e →

a1 + a2i a3 + a4i a = a1 + a2i + a3j + a4k aˇ = , 7→ a3 + a4i a1 a2i − − and its extension to matrices (cf. [9] chap. I, §2). Then a veriﬁcation for the standard generators yields

∨ (21) M ϕ(Z) 2 = det(CZ + D) . { } tr Note that the notation of X♯ fin (3) over the quaternions only makes sense for X = X . In this case we deﬁne

∨ det X = x x x x with (det X)2 = det X . 11 22 − 12 12 Now a veriﬁcation leads to

(6*) α = √det A∨, β = √det B∨, γ = √det C∨, δ = √det D∨, ± ± ± ±

− − − − (7*) a = ϕ(αA 1B), b = ϕ(γAC 1), c = ϕ(δBD 1), d = ϕ(γC 1D), ± ± ± ± if the matrices involved have got rank 2. Note that for instance also

− − b = ϕ (αCA 1)♯ , d = ϕ (δD 1C)♯ ± ± hold. In the sequel A and D will always have rank 2 in order to avoid technical diﬃculties. K is again the representative matrix of an endomorphism fM with respect to the basis above. If det D∨ = 0 we have 6 −1 ♯ −1 ♯ −1 (8*) fM (Z)= δAZD + BZ (D C) δD .

Note that δ = 0 determines all the signs in (6*), (7*) and (8*) uniquely in view of (21). 6 Now we consider the Hurwitz quaternions

2 00 1 0 20 1 = Z + Zi + Zj + Zω, ω = 1 (1 + i + j + k), S =   . O 2 0 02 1 1 11 2    

10 If 0 = X 2×2 let 6 ∈ O × ρ(X) := max ℓ N; 1 X 2 2 . { ∈ ℓ ∈ O } Moreover we consider the prime ideal ℘ of even quaternions

℘ = a ; aa 2Z = Z2+ Z(1 + i)+ Z(1 + j)+ Z(1 + k). { ∈ O ∈ } Note that /℘ = ℘, 1+ ℘,ω + ℘, ω + ℘ = F . O { } ∼ 4 Lemma 2. If X is any block among A,B,C,D of M Sp ( ) with det X∨ = 0, then ∈ 2 O 6 there exist U, V GL ( ) as well as m,n N such that ∈ 2 O ∈ m 0 m(1 + i) 0 UXV = or , 0 mn 0 mn(1 + i) where n is odd in the latter case. Moreover one has

a) √det X∨ N. ∈ b) √det X∨X−1 2×2. ∈ O c) m = ρ(X)= ρ √det X∨X−1 .

Proof. Let X = A be of rank 2 without restriction. Now choose U, V GL2( ) such ∗ ∈ O that A = UAV is in elementary divisor form (cf. [10]), i.e.

∗ a1 0 aν = uναν, uν = nν or nν(1 + i), nν N, A = , 1 ∈ 0 a4 αναν odd, αν / , mν N, mν > 1, a αν u . mν ∈ O ∈ 1 | 4 − ∗ ∗tr ∗ tr 1 b1 b2 As A B , B = UBV = b3 b4 , is Hermitian, we obtain bν = mναν resp. bν = mν(1 + i)αν , mν N, if ν = 1, 4, − ∈ b = a b a 1, b . 3 4 2 1 2 ∈ O If P is any 2 2 submatrix of (A∗,B∗), we see that det P ∨ is divisible by α α α α in × 1 1 · 4 4 any case as well as by 2 if

−1 −1 u u / Z or uν = mν(1 + i), ν = 1, 4 and u u 2Z. 1 4 ∈ 1 4 ∈ ∗ ∗ As (A ,B ) is the upper triangular 2 4 block of a matrix in GL4( ), the determinants ∨ × O∗ ∗ det P are coprime, whenever P runs through all 2 2 blocks of (A ,B ). This leads to × the result in view of

− − − mn 0 mn(1 i) 0 √det A∨V 1A 1U 1 = or − . 0 m 0 m(1 i) −

11 Next we want to describe the discriminant kernel. Therefore let

Γ ( ) := M Sp ( ); det(M mod ℘) 1 mod ℘ 2 O { ∈ 2 O ≡ } stand for the special modular group, which satisﬁes

Sp ( )=Γ ( ) (ωI) Γ ( ) (ωI) Γ ( ), 2 O 2 O ∪ · 2 O ∪ · 2 O as well as (cf. [5]) ∗ 1+ i Γ ( )= Sp ( ) I Sp ( ). 2 O 2 O ∪ √ 2 O 2 Theorem 4. a) In (20) the special modular group Γ ( ) I is isomorphic to the 2 O {± } discriminant kernel (S1; Z) I . D {± } ∗ b) In (20) the extended modular group Γ ( ) I is isomorphic to SO (S ; Z) I . 2 O {± } 0 1 {± } Proof. Verify the inclusions for generators of the groups above (cf. [9] Theorem II.2.3, [5], [11]). Note that SO(S; Z) is a group of order 576, which is described in [5], and use

(22) (Z Z Z Z)S = (2Z 2Z 2Z Z) (1, 1, 1, 0) + (2Z 2Z 2Z Z). × × × × × × ∪ × × × Now we are going to describe congruence subgroups of Sp ( ). Note that the con- 2 O gruence X I mod N in Lemma 2 does not imply √det X∨ 1 mod N in general. As ≡ ≡ an example consider

N = 15, X = diag (1 + 15(20i + 76j + 280k), 1 + 15ω),

√det X∨ = 67, 721 11 mod 15. ≡ Therefore we use a variant of the deﬁnition of the discriminant kernel.

Corollary 1. Given N N, then (20) yields an isomorphism between ∈ M Γ ( ); M εI mod N, ε Z, ε2 1 mod N I , { ∈ 2 O ≡ ∈ ≡ } {± } if N is odd, resp.

M Γ ( ); M εI mod N, ε Z, ε2 1 mod N, ε(a +a ) ε2+1 mod N℘ I , { ∈ 2 O ≡ ∈ ≡ 11 22 ≡ } {± } if N is even, and

× (23) M SO (S ; Z); M ρI + Z8 8NS , ρ Z odd, ρ2 1 mod N I . { ∈ 0 1 ∈ 1 ∈ ≡ } {± } Proof. Note that (23) is contained in (S ; Z)/ I . Proceed in the same way as in f f D 1 {± } the proof of Theorem 2. Use (6*), (7*), (8*) as well as αδ 1 mod N, whenever M ≡ is congruent to a diagonal matrix mod N. If M is congruent to a diagonal matrix f

12 mod N, one observes the conditions

a ua u mod N for all u 11 22 ≡ ∈ O and for N even a a 1 a ia i a ja j mod 2N, 11 22 − ≡ 11 22 − ≡ 11 22 − due to (22), which leads to the claim.

The additional condition for even N above in particular ensures that √det A∨ ′ ′ ≡ 1 mod 2k, if N = 2kN with odd N . ± Finally we consider the congruence mod℘.

Corollary 2. The principal congruence subgroup

M Sp ( ); M εI mod ℘, ε = 1, ω, ω / I { ∈ 2 O ≡ } {± } is isomorphic to U(2) U(2) ( S); Z / I . D ⊕ ⊕ − {± } Proof. Proceed in the same way as in the proof of Theorem 2. Matrices M in the preimage of F U(2) U(2) ( S); Z F −1 satisfy D ⊕ ⊕ − a b d c c 0 mod 2, c 0 mod 4 21 ≡ 22 ≡ 12 ≡ 12 ≡ 22 ≡ 11 ≡ as well as det(M mod ℘) 1 mod ℘. Hence the diagonal entries of M are odd quater- ≡ nions. Thus the diagonal is congruent to

diag (ε, ε, ε, ε) mod ℘, ε = 1, ω, ω.

1 Now conjugate by diag (1 + i, 1, 2 (1 + i), 1). In view of − (1 + i)ω(1 + i) 1 ω + ℘ ∈ the claim follows.

Remarks. a) All the elementary divisor forms in Lemma 2 actually occur:

X I 2 1+ i − , X = diag (m,mn) or X = m . I 0 1 i n + 1 − b) Clearly one can also consider the other types of discriminant kernels of the form U(N) U(n) ( S); Z just as in Theorem 2. D ⊕ ⊕ − c) The case SO (2, 10) was dealt with in the same way as in Theorem 4 in [3]. 0

Acknowledgement. The authors thank Brandon Williams for suggesting the topic and the referee for helpful comments.

13 References

[1] Borcherds, R. Automorphic forms with singularities on Grassmannians. Invent. Math., 132:491–562, 1998.

[2] Braun, H. Hermitian modular functions III. Ann. Math., 53:143–160, 1950.

[3] Dieckmann, C., Krieg, A. and M. Woitalla. The graded ring of modular forms on the Cayley half-space of degree two. Ramanujan J., 48:385–398, 2019.

[4] Freitag, E. Siegelsche Modulfunktionen, volume 254 of Grundl. Math. Wiss. Springer-Verlag, Berlin, 1983.

[5] Freitag, E. and C.F. Hermann. Some modular varieties of low dimension. Adv. Math., 152:203–287, 2000.

[6] Gallenk¨amper, J. and A. Krieg. The Hecke algebras for the orthogonal group SO(2, 3) and the paramodular group of degree 2. Int. J. Number Theory, 14:2409– 2423, 2018.

[7] Gritsenko, V.A. Fourier-Jacobi functions of n (variables). J. Sov. Math., 53:243– 252, 1991.

[8] Klingen, H. Bemerkung ¨uber Kongruenzgruppen der Modulgruppe n-ten Grades. Arch. Math., 10:113–122, 1959.

[9] Krieg, A. Modular forms on half-spaces of quaternions, volume 1143 of Lect. Notes Math., Springer-Verlag, Berlin, 1985.

[10] Krieg, A. The elementary divisor theory over the Hurwitz order of integral quaternions. Linear Multilinear Algebra, 21:325–344, 1987.

[11] Krieg, A. Integral orthogonal groups. In T. Hagen et al., editors, Dynamical systems, number theory and applications, pages 177–195. World Scientiﬁc, Hackensack, N.J. edition, 2016.

[12] Krieg, A., Raum, M. and A. Wernz. The maximal discrete extension of the Hermi- tian modular group. 2019. ArXiv:1910.12466.

[13] Wang, H. and B. Williams. On some free algebras of orthogonal modular forms. 2020. ArXiv:2007.00055.

[14] Wang, H. and B. Williams. Projective spaces as orthogonal modular varieties. 2020. ArXiv:2008.08392.

[15] Williams, B. Two graded rings of Hermitian modular forms. 2020. ArXiv:2001.04154.