arXiv:1612.01218v2 [] 8 Feb 2017

ON THE SPINOR NORM IN THE UNITARY GROUPS
NGO VAN DINH
Abstract. Let F be a field of odd characteristic, E be a finite extension of F
equipped an involution with subfield of fixed points E0 containing F and V be
a finite dimensional E-vector space with a non-degenerate hermitian form h.
We show a link between the spinor norm in the unitary group U(V, h) and the
calculus of determinants and discriminants. Then we show a formula which
links the spinor norm in U(V, h) and the spinor norm in the orthogonal group
O(V, bh ) defined by a non-degenerate symmetric bilinear form bh associated to
h.

1. Introduction
Let F be a field of characteristic not equal to 2 and E be a finite extension of
F , equipped an involution ¯ which fixes all the elements of F . Denote by E0 the
subfield of fixed points of E by the involution. We fix a non-zero F -linear form µ0
from E0 to F and put µ = µ0 ◦ trE/E0 , where trE/E0 is the trace form from E to
E0 .
Let V be a finite dimesional vector space over E and h : V × V → E be a
non-degenerate hermitian form on V . Considering V as an F -vector space, we have
an associated non-degenerate symmetric bilinear form bh defined by
bh (x, y) = µ(h(x, y)), for all (x, y) ∈ V × V.
Denote U(V, h) the unitary group defined by the hermitian form h and O(V, bh )
the orthogonal group defined by the symmetric form bh . Then every element σ ∈
U(V, h) is clearly also an element of O(V, bh ).
Let sn be the spinor norm in the group O(V, bh ). It is a homomorphism from
O(V, bh ) to F × /(F × )2 . The spinor norm has important applications [3]. Zassenhaus [6] found a direct definition of sn which links this norm with the calculus of
determinants and discriminants: for each σ̃ ∈ O(V, bh ), we have


h ) if σ̃ = −1,
disc(b
!


(1.1)
sn(σ̃) =
1+σ̃
S
T

disc bh | ker(1+σ̃)i detF
im(1+σ̃)i otherwise,
2 |
i≥1
i≥1


S
where disc(bh ) and disc bh | ker(1+σ̃)i are respectively the discriminant of bh
i≥1
S
ker(1 + σ̃)i .
and the discriminant of the restriction of bh over subspace
i≥1

It’s well known that there is an anti-hernitian form h′ on V such that the unitary
groups U(V, h′ ) and U(V, h) coincide [1]. We summarize here Wall’s construction
[5] of a spinor norm on the unitary group U(V, h′ ). Let σ be a non-trivial element
2010 Mathematics Subject Classification. 11E57.
Key words and phrases. Spinor norm, Unitary group, Wall norm.
1

2

NGO VAN DINH

of U(V, h). Denote Vσ the image of the transformation 1 − σ. If Vσ is an E-vector
subspace of dimension r then we say that σ is an element of dimension r. By
definition, each element of dimension 1, denoted s(v,ϕ) , is defined by
s(v,ϕ) (x) = x − ϕh′ (v, x)v, for all x ∈ V,
where v is a non-zero element of the space Vs(v,ϕ) and ϕ is an element of E × such
that ϕ−1 − ϕ̄−1 = h′ (v, v). For each element σ ∈ U(V, h′ ) of dimension r > 0, let
fσ be the sesquilinear form (with respect to the involution¯) on Vσ defined by
fσ : Vσ × Vσ → E,
(x − σ(x), y − σ(y)) 7→ h′ (x − σ(x), y).
Then σ can be written as a product of one-dimensional elements [5, Lemma 3],
σ = s(v1 ,ϕ1 ) s(v2 ,ϕ2 ) . . . s(vr ,ϕr ) ,
where the vectors v1 , v2 , ..., vr form a orthogonal basis of Vσ with respect to the form
fσ anf v1 can be chosen as any non-isotropic vector of Vσ . A such decomposition
of σ is called Cayley decomposition of σ.
Let a be a fixed vector of V and suppose σ ∈ U(V, h′ ) is an element of dimension
r > 0 with a Cayley decomposition
σ = s(v1 ,ϕ1 ) s(v2 ,ϕ2 ) . . . s(vr ,ϕr ) ,
where the vector vi , i = 1, 2, ..., r, is chosen such that h′ (a, vi ) is either 0 or 1. Then
the class ϕ1 ϕ2 ...ϕr E0× in E × /E0× depends only on σ [5, Lemma 5]. This class is
called spinor norm of σ, denoted by snE (σ):
(1.2)

snE (σ) = ϕ1 . . . ϕr E0× .

The spinor norm of the identity of U(V, h′ ) is defined to be E0× . Then we have
a homomorphism snE of U(V, h′ ) in E × /E0× [5, Lemma 6, Lemma 7], called spinor
norm in U(V, h′ ).
The goal of this work is to compare the spinor norm in the orthogonal group
Ø(V, bh ) and the spinor norm in the unitary group U(V, h). A natural way to do
so is to get a formula similar to Zassenhau’s formula (1.1).
Proposition. Let s = s(v,ϕ) be an one-dimensional element of U(V, h′ ). Then we
have
!


1
+
s
|T
(1.3)
disc h′ | S ker(1+s)n detE
= ϕ mod (E0× ).
n
2 n≥1im(1+s)
n≥1
Theorem. For all σ ∈ U(V, h′ ), we have
(1.4)

sn(σ̃) = NormE/F (snE (σ)),

where NormE/F is the homomorphism of E × /E0× in F × /(F × )2 induced by the
norm of E over F .
Note that, for the case where E is a quadratic extension of F , this observation
has been given in [4, Chapter 10, Theorem 1.5] with an error proof. We give here
another proof for this link in general case.
This paper is based on the research which is part of the doctoral dissertation [2]
of the author. The results are useful in the study of supercuspidal representations
of spin groups over a p-adic field, where some calculations arise involving the restriction of the spinor norm to unitary groups contained in the orthogonal group

ON THE SPINOR NORM IN THE UNITARY GROUPS

3

under study. The author is grateful to Corinne Blondel for her support, advice and
interest in this work at various times.
2. Proof of the proposition
In order to prove the formula (1.3), we distinguish two cases: v is an isotropic
vector and v is not one with respect to the form h′ . In the first case, the element
s = s(v,ϕ) is called a transvection of V . We have ϕ−1 − ϕ̄−1 = h′ (v, v) = 0, then
the spinor norm snE is trivial at s.
Now we calculate the left side of (1.3). Let x be an element of ker(1 + s). Then x
belongs to the one-dimensional E-vector subspace of V generated by v, i.e., x = kv
for some k ∈ E. Since v isSisotropic, we have x + x = 0 and then x = 0. This
n
ker (1 + s) is trivial. Furthermore, there exists a
follows that the subspace
n≥1

basis {v, v ′ , w1 , ..., wn−2 } of V such that v ′ is also isotropic with respect to h′ ,
h′ (v, v ′ ) = 1 and h′ (v, wi ) = 0, i = 1, ..., n − 2. Calculate the determinant in this
basis, we have




1+s
1 − ϕ2
= det
.
detE
0
1
2
By the calculating above, we see that the formula (1.3) holds for the first case.
In the second case, we have an orthogonal decomposition V = (Ev) ⊥ (Ev)⊥
where (Ev)⊥ is the orthogonal complement of the line Ev in V with respect to
h′ . Let x be an element of ker(1 + s). Then x = kv for some k ∈ E and we have
2kv − ϕh′ (v, kv)v = 0. Since ϕ−1 − ϕ̄−1 = h′ (v, v), we have
k[1 + ϕϕ̄−1 ]v = 0.
It follows that the subspace

S

ker(1 + s)n is either zero or the line Ev. In the first

n≥1

situation, we have

detE



1+s
2



=

1 + ϕϕ̄−1
2

while, in the second, we have ϕϕ̄−1 = −1 and
disc (h′ |Ev ) = ϕ−1 − ϕ̄−1



mod (E0× ).

Then it is easy to see that the formula (1.3) holds in these two situations.
3. Proof of the theorem
Firstly we note that in the case where ϕϕ̄−1 = −1 the element s = s(v,ϕ) is
the reflection of V defined by vector v with respect to h′ , i.e., it is the linear
transformation of V such that s(v) = −v and s(x) = x for all xS ∈ V such that
ker(1 + s)n is
h′ (v, x) = 0. If this is not the case then we have the subspace
n≥1

zero as the discussion in the proof of the Proposition. Then by (1.1) we have


1+s
mod (F × )2
sn(s) = detF
2
and by (1.3) we have
snE (s) = detE



1+s
2



mod (E0× ).

4

NGO VAN DINH

This give us the following lemma which is the affirmation of the formula (1.4) for
the one-dimensional element which are not reflections.
Lemma 3.1. Let s = s(v,ϕ) be an one-dimensional element of U(V, h′ ) which is
not a reflection. Then
sn(s) = NormE/F (snE (s)) .
3.1. Quadratic case. We consider now the case where E0 = F . In this case, sn
and NormE/F ◦ snE are two homomorphisms of U(V, h′ ) in F × /(F × )2 . Then it
suffices to verify the equality (1.4) for the one-dimensional elements which generate
U(V, h′ ).
By the Lemma 3.1, we only need to verify the formula for the reflections of V .
Let u = s(v,ϕ) be a reflection of V , i.e., ϕϕ̄−1 = −1. Then the identity (1.4) become
disc(bh |Ev ) = NormE/F (disc(h′ |Ev ))

mod (F × )2 .

Note that, in this case, we have h′ = δh where δ ∈ E and {1, δ} forms a orthogonal
F -basis of E with respect to bh . Identifying the space Ev with E, the restriction of
h to this space is a hermitian form on E. Then we have h(x, y) = axȳ, ∀x, y ∈ E,
for some a ∈ E0 . This follows that disc(h′ |E ) = aδ mod (E0× ) and


2a
0
mod (F × )2 = NormE/F (aδ) mod (F × )2 .
disc(bh |E ) = detF
0 −2aδ 2
That means the formula (1.4) holds for the quadratic case:
Proposition 3.2. If E0 = F then we have
sn(u) = NormE/F (snE (u)), for all u ∈ U(V, h′ ).
Remark 3.3. Let u be an element of U(V, h′ ). Suppose detE (u) = α. Then
NormE/E0 (α) = 1. By the Hilbert’s theorem 90, there exists an unique element
β ∈ E × up to a scalar in E0 such that α = β β̄ −1 . Then we have a homomorphism
×
×
×
−1
Hil : Norm−1
.
E/E0 (1) → E /E0 , α 7→ βE0 , where α = β β̄

The spinor norm snE is in fact the composition of the determinant and the homomorphism Hil, i.e., we have
snE (u) = Hil(detE (u)), ∀u ∈ U (V, h′ ).
In order to prove this identity we only need to verify it for the one-dimensional
elements of U(V, h′ ). Let u = s(v,ϕ) be an one-dimensional element of U(V, h′ ). If v
is an isotropic vector then the identity is evident since detE (u) = 1 and the spinor
norm of u is trivial by definition. If v is non-isotropic then we have
detE (u) = 1 − ϕh′ (v, v) = 1 − ϕ(ϕ−1 − ϕ̄−1 ) = ϕϕ̄−1 .
It follows that Hil(detE (u)) = ϕE0× = snE (u). By this point of view of the spinor
norm in U(V, h′ ), we can see that the Proposition 3.2 is similar to [4, Chapter 10,
Theorem 1.5]. However the proof in loc.cit. is not correct since σ̃ 6= αβ in its
notations.

ON THE SPINOR NORM IN THE UNITARY GROUPS

5

3.2. General case. We prove now the Theorem 2 for the general case. For all
x, y ∈ V , put
h0 (x, y) = trE/E0 (h(x, y)).
Then h0 is a non-degenerate symmetric bilinear form on E0 -vector space V . Denote
SO(V, h0 ) the group of the rotations of V with respect to h0 and snE0 the spinor
norm in SO(V, h0 ). Note that we have
U(V, h) ⊂ SO(V, h0 ) ⊂ O(V, bh )
and, by the Proposition 3.2, we have
snE0 (u) = NormE/E0 (snE (u)), ∀u ∈ U(V, h).
For the passage from E0 to F , we use the transfer properties of Witt’s ring of
quadratic spaces [4, Chapter 9, §5]: Consider E0 as an E0 -vector space and denote
φ0 the symmetric bilinear form on E0 defined by
φ0 (x, y) = xy, ∀x, y ∈ E0 .
Then µ0 ◦ φ0 is a symmetric bilinear form on F -vector space E0 . Put ζ = disc(µ0 ◦
φ0 ). Let φ be a symmetric bilinear form on an E0 -vector space W of dimension
n. Then µ0 ◦ φ is also a symmetric bilinear form on F -vector space W . In this
situation, we have [4, Chapter 9, Theorem 5.12]
disc(µ0 ◦ φ) = (ζ)n NormE0 /F (disc(φ)).
Return to our situation, let s be a reflection of E0 -vector space V with respect to
h0 . Using the Zassenhaus’ formula (1.1) and the transfer property above we have
sn(s) = ζNormE0 /F (snE0 (s)).
Since the reflections generate the group SO(V, h0 ) [1], we obtain
sn(u) = NormE0 /F (snE0 (u)), for all u ∈ SO(V, h0 ).
This completes the proof of the Theorem.
References
1. Dieudonné, J.: Le géométrie des groupes classiques, Springer-Verlag, Berlin (1955)
2. Dinh, N.V.: Construction de représentations supercuspidales des groupes spinoriels définis sur
des corps p-adiques au moyen de types semi-simples, PhD Thesis, Université Paris Diderot
(2013)
3. Kneser, M.: Orthogonale Gruppen über algebraischen Zahlkörpern, J. Reine Angew. Math.
196, 213 – 220 (1956)
4. Scharlau, W.: Quadratic and Hermitian Forms, Grundlehren der Mathematischen Wissenschaften 270, Springer-Verlag, Berlin (1985)
5. Wall, G.E.: The structure of a unitary factor group, Publ. Math. Inst. Hautes Études Sci. 1,
7 – 23 (1959)
6. Zassenhaus, H.: On the Spinor norm, Archiv der Mathematik 13(1), 434 – 451 (1962)
Department of Mathematics and Informatics, Thai Nguyen University of Sciences,
Thai Nguyen, Vietnam
E-mail address: dinh.ngo@tnus.edu.vn

