ON THE BILINEAR STRUCTURE
ASSOCIATED TO BEZOUTIANS

arXiv:1004.4208v3 [math.AC] 12 Sep 2013

F. JOUVE AND F. RODRIGUEZ-VILLEGAS

Abstract. This paper is partly a survey of known results on quadratic forms that are
hard to find in the literature. Our main focus is a twisted form of a construction due to
Bezout. This skew Bezoutian is a symplectic (resp. quadratic) space associated to a pair of
reciprocal (or skew reciprocal) coprime polynomials of same degree. The isometry group of
this space turns out to contain a certain associated hypergeometric group . Using the skew
Bezoutian we construct explicit isometries of bilinear spaces with given invariants (such as
the characteristic polynomial or Jordan form and, in the quadratic case, the spinor norm).

1. Introduction
Given a finite dimensional commutative algebra A over a field k it is useful to have a nontrivial transfer map that takes bilinear modules over A to bilinear modules over k preserving
non-degeneracy. A typical case is that of A = K a separable finite field extension where
one can use the usual trace TrK/k for this purpose; for an inseparable field extension K/k
however, the trace TrK/k is identically zero. Nevertheless, one may still find suitable linear
maps (see [Mil, Remark 1.4] and [Bae, discussion preceding Prop. (2.2)]).
As an example, consider the unit form Ψ(x, y) = xy on a finite dimensional k-algebra
(with unit) A. It is clearly non-degenerate. Transferring this form to k consists of finding a
k-linear map t : A → k such that the k-bilinear form t ◦ Ψ(x, y) = t(xy) is non-degenerate
as well. The resulting pair (A, t) is called a Frobenius algebra.
In §2 we study in some detail the situation where the Frobenius algebra A is monogenic,
i.e., A = k[α] for some α ∈ A. We show that the isomorphism classes of these algebras over
k are parametrized by rational functions w ∈ k[T ] with w(∞) = 0. In turn, the associated
bilinear form is essentially given by the classical Bezoutian of the polynomials p and q, where
w = p/q in lowest terms.
In §3 we further assume the characteristic of the base field k to be different from 2 and
we study a skew version of the classical Bezoutian, which turns out to be quite interesting.
For example, we show how it gives a natural description of the Hermitian form fixed by an
associated hypergeometric group.
The rest of the paper is devoted to applications (in characteristic different from 2) of the
skew Bezoutian to the problem of the existence of isometries with prescribed characteristic
polynomial (and/or spinor norm in the quadratic case) or with prescribed Jordan form.
Using the trace map and other linear maps to transfer quadratic A-modules to quadratic
k-modules, where A is a separable k-algebra, appears prominently in the literature. A general
account of applications of trace forms to the construction of lattices via number fields can be
FRV was supported by NSF grant DMS-0800099. He would also like to thank the Centre de Recerca
Matemàtica in Barcelona for its hospitality.
1

found in [Bay2]. See also [Mil, Section 1], [KW, pp. 109–110] or [Bae, beginning of Section
2] for a general construction.
Transfer constructions are used in knot theory at least since the 1960’s; a survey of some
of the results can be found in [KW]. The trace plays a prominent role, but other transfers
are also used, in particular by Trotter (see for instance [Tr2, pp. 292–294] and [Tr1, pp.
181–182]). Moreover a general study of transfers and their applications was started in the
late 1960’s by Scharlau ([Sch1], [Sch2]; see also [Lam, Chap. 7] for a detailed exposition
of Scharlau’s results), and still plays a very important role in the study of quadratic and
hermitian forms.
Acknowledgements. We would like to thank Eva Bayer for comments and suggestions
on an earlier version of the paper as well as for pointing us to the relevant literature especially
regarding references from knot theory.
2. Monogenic Frobenius algebras and the Bezoutian
Let k be a field. A monogenic Frobenius algebra over k, MFA for short, is a triple (A, α, t),
where A is a finite dimensional k-algebra, A = k[α], and t : A → k is a linear map such that
the bilinear form
hx, yi := t(xy) ,

x, y ∈ A ,

is non-degenerate. With some notation abuse we will say in this case that the linear map
t is non-degenerate. Two such algebras (A, α, t), (A′ , α′, t′ ) are isomorphic if there is an
isomorphism of algebras φ : A → A′ such that α′ = φ(α) and t′ = t ◦ φ−1 .
Let A be a k-algebra and t : A → k be a non-degenerate linear map. For a ∈ A the map
ta (x) := t(ax) is also non-degenerate if and only if a is not a zero-divisor. In particular,
there is natural action of the group of units A× of A on the set of non-degenerate linear
maps t : A → k defined by setting (a · t)(x) := ta (x) = t(ax), where a ∈ A× .
The following theorem gives a parametrization of MFA’s.
Theorem 2.1. For any d > 1 the map (A, α, t) 7→ w(T ), where
X
t(αℓ )T −ℓ−1 ∈ k[[T −1 ]],
w(T ) :=
ℓ>0

induces a bijection between isomorphism classes of d-dimensional MFA’s (A, α, t) over k and
rational functions w ∈ k(T ) ∩ k[[T −1 ]] of degree d with w(∞) = 0.
Proof. Let (A, α, t) be an d-dimensional MFA over k. Consider the power series
X
t(αℓ )T −ℓ−1 ∈ k[[T −1 ]] .
w(T ) :=
ℓ>0

P
i
Let q = T d + d−1
i=0 qi T ∈ k[T ] be the minimal polynomial of α over k. Set qd = 1 and qi = 0
for i > d. We have:
X X
(2.1)
q(T )w(T ) =
qi t(αi−ℓ−1) T ℓ .
ℓ∈Z i>ℓ+1

2

On the right hand side the coefficient of T ℓ vanishes as soon as ℓ > d since qi = 0 for i > d.
Moreover, since q vanishes at α, we have for any integer ℓ
X
X
0 = α−ℓ−1
qi αi =
qi αi−ℓ−1 .
i>0

i>0

ℓ

Thus the coefficient of T on the right hand side of (2.1) also vanishes for ℓ + 1 6 0. We
deduce that q(T )w(T ) is a polynomial p ∈ k[T ] of degree 6 d − 1 with
p(T ) :=

d−1 X
d
X

qi t(αi−ℓ−1 ) T ℓ .

ℓ=0 i=ℓ+1

The rational function w = p/q ∈ k(T ) satisfies w(∞) = 0 since deg(p) < deg(q). This
calculation is valid for any linear map t without assuming it is non-degenerate.
The Gram matrix of h·, ·i in the k-basis (1, α, . . . , αd−1 ) of A is the Hankel matrix
(2.2)

H(p/q) := (t(αi+j ))06i,j6d−1.

By assumption the bilinear form h·, ·i is non-degenerate hence the determinant of H(p/q) is
non-zero. By Kronecker’s theorem (in [Kr], see e.g. [Fu, Th. 8.20 & Prop. 8.22]) p and q
are coprime and deg w = d. Obviously w depends only on the isomorphism class of (A, α, t).
Indeed if (A, α, t) and (A′ , α′, t′ ) are two isomorphic MFA’s and if φ is a fixed isomorphism
then for all ℓ > 0,

t′ (α′ℓ ) = t ◦ φ−1 φ(α)ℓ = t(αℓ ) .
Conversely, suppose we are given a rational function w = p(T )/q(T ) ∈ k(T ) satisfying
w(∞) = 0 and deg(w) = d > 1. Without loss of generality we may assume q monic,
deg q = d, (p, q) = 1, p non-zero and deg p < d. Set
A := k[T ]/(q) .
Let α be the image of T in A; then {1, α, . . . , αd−1 } is a k-basis of A. Let
k[[T −1 ]] be the power series expansion of w at ∞. Define the k-linear map
(2.3)

t: A → k ,

αℓ 7→ tℓ ,

By construction the power series in T −1 :
w̃(T ) :=

X

P

ℓ>0 tℓ T

−ℓ−1

∈

ℓ = 0, 1, . . . , d − 1 .

t(αℓ )T −ℓ−1 ,

ℓ>0

has the same first d coefficients as w. On the other hand, as observed above, p̃(T ) :=
q(T )w̃(T ) is a polynomial of degree 6 d − 1. Hence the first d coefficients of p̃(T ) and
q(T )w(T ) = p(T ) agree and it follows that w = w̃.
Again, since (p, q) = 1, by Kronecker’s theorem the matrix H(p/q) has non-zero determinant and hence the bilinear form on A defined by (x, y) 7→ t(xy) is non-degenerate. This
completes the proof of the theorem.

Corollary 2.2. 1) Given a monic polynomial q ∈ k[T ] of degree deg(q) > 0 there exists a
MFA of the form (k[T ]/(q), T mod q, t).
2) For any MFA (A, α, t) the unit group A× acts transitively on the non-degenerate linear
maps on A.
3

Proof. To prove 1), it is enough to take w = 1/q. Let (k[T ]/(q), T mod q, t) be the corresponding MFA. Say t′ is another non-degenerate linear map on it and let p/q be the associated
rational function. To show 2), it is enough to prove that
X
p(T )
t(p(α)αl ) T −l−1 =
,
q(T
)
l>0
P
j
where α := T mod q, since then t′ = p(α) · t. To see this note that if p(T ) = d−1
j=0 pj T then
the left hand side equals
d−1
XX

pj tl+j T

−l−1

l>0 j=0

=

d−1
XX

pj tl T j−l−1 = p(T ) ·

l>0 j=0

finishing the proof.

1
.
q(T )


Remark 2.3. Over the complex numbers the space of rational functions w of degree d with
w(∞) = 0 is naturally isomorphic to a circle bundle over the moduli space of SU(2)
monopoles of charge d [Do].
2.1. Examples. 1) If q is irreducible and separable (i.e., q is irreducible and k has characteristic 0 or q is irreducible, k has characteristic l > 0, and q is not a polynomial in T l )
then A := k[T ]/(q) is a field, K say, and it is well-known that t = TrK/k is non-degenerate
(in fact the algebra A is separable over k if and only if TrA/k is non-degenerate). It is
not hard to see that the underlying MFA corresponds to the rational function p/q, where
p ≡ dq/dT mod q. Indeed let L be the Galois closure of K/k. Since the extension K/k is
separable there are d := [K : k] distinct k-embeddings σ1 , . . . , σd :PK ֒→ L. The
P Galois
action of G := Gal(L/K) on L extends to an action on L(T ) via σ( λi T i ) :=
σ(λi )T i .
Therefore
!
!
d
d
X
X X
X
X
1
TrK/k (αi )T −i−1 =
w=
σj (αi ) T −i−1 =
σj
(α/T )i .
T
i>0
i>0
j=1
j=1
i>0

The inner sum equals T /(T − α) hence:
 X

d
d
X
1
dq/dT
1
=
=
.
w=
σj
T
−
α
T
−
σ
(α)
q
j
j=1
j=1

2) Another extreme case is A = k[T ]/(T d ). If say p = 1 then the rational function w given
by Theorem 2.1 is simply 1/T d . The k-linear map t : k[T ]/(T d) → k corresponding to w is
defined by t(αi ) = 0 for 0 6 i 6 d − 2 and t(αd−1 ) = 1. Thus t can be identified with the
d−1
projection A → A with image
P kαi . The non-degeneracy of t can be shown by elementary
arguments. Namely, if z = zi α ∈ A is orthogonal to any y ∈ A with respect to the inner
product (x, y) 7→ t(xy) then in particular, for any fixed index i we have t(z · αd−1−i ) = zi = 0.
Thus z = 0.
2.2. Reproducing kernel. Given a Frobenius algebra (A, t) of dimension d consider the
Casimir element (or reproducing kernel ) defined by
C :=

d
X

ei ⊗ e#
i ∈ A ⊗ A,

i=1

4

where e1 , . . . , ed is any basis of A over k and e#
i is its dual basis (with respect to the bilinear
form h·, ·i determined by t), i.e.,
#
hei , e#
j i = t(ei ej ) = δi,j ,

i, j = 1, . . . , d.

This element is well defined; it does not depend on the choice of basis used in its definition.
We have
d
X
#
C=
he#
i , ej i ei ⊗ ej .
i,j=1

For a MFA (A, α, t) with A ≃ k[T ]/(q) for some q ∈ k[T ] monic of degree d (namely, the
minimal polynomial of α) we can represent elements of A ⊗ A as polynomials in k[x, y] of
degree at most d − 1 in each variable.
Taking ei := αi−1 for i = 1, . . . , d as our basis of A we obtain
C=

d
X

i−1 j−1
b#
y ,
i,j x

i,j=1

b#
i,j

#
he#
i , ej i.
#

where
:=
The matrix B
matrices

:= (b#
i,j ) is the inverse of the Hankel matrix H(p/q) in (2.2) since the


#
(hei , ej i) ,
he#
,
e
i
i
j

are inverses of each other. Combining this observation with the proof of Corollary 2.2 we
obtain the following.
Proposition 2.4. With the above notation and assumptions
H(1/q)Mp = t Mp H(1/q) = H(p/q) = (B # )−1 ,
where Mp is the matrix of multiplication by p in k[T ]/(q) in the basis 1, T, . . . , T d−1 .

2.3. Classical Bezoutian. Given two polynomials p, q ∈ k[T ], the classical Bezoutian is
the symmetric matrix B(p, q) := (bi,j ), where
(2.4)

d
X
p(x)q(y) − p(y)q(x)
=
bi,j xi−1 y j−1,
x−y
i,j=1

with d := max{deg(p), deg(q)}. We have the following matrix expression for B(p, q).
Lemma
2.5. Let Q be the matrix with entries (qi+j−1 ), where 1 6 i, j 6 d and q =
P
i
i>0 qi T ∈ k[T ] is a polynomial of degree d. Assume deg p 6 d, then
B(p, q) = −Mp Q,

where Mp is the matrix of multiplication by p in k[T ]/(q).
Proof. Expand the left hand side of (2.4) in Laurent series in k[x, y][[y −1]]. Modulo q(x) the
coefficient of y j−1 is that of
X  x i
−1
−p(x)q(y)y
y
i>0
P
and this is easily seen to equal −p(x) i>0 qi+j xi .

5

We leave the easy proof of the following lemma to the reader
Lemma 2.6. We have
Q = H(1/q)−1.
Putting together Propositions 2.4 and Lemmas 2.5 and 2.6 we finally obtain a connection
between the Casimir element C and the classical Bezoutian.
Theorem 2.7. With the above notation and assumptions
B # = B(q, r),
where r ∈ k[T ] is a polynomial of degree less than d such that rp ≡ 1 mod q. Or, equivalently,
C=

q(x)r(y) − q(y)r(x)
.
x−y

Remark 2.8. We have discussed two symmetric matrices associated to a pair of coprime
polynomials p, q ∈ k[T ]: the Hankel matrix H(p/q) and the Bezoutian B(p, q). Combining
Propositions 2.4, 2.5 and Lemma 2.6 we find that they are actually congruent up to a minus
sign
t
QH(p/q)Q = −B(p, q),
(note that Q is symmetric).
The Bezoutian plays an important role in mathematical control theory, see for example [Fu].
3. The skew Bezoutian
We now turn to a construction that is a skew version of the classical Bezoutian.
3.1. Preliminaries. Let k be a field and d a positive integer; consider the algebra A :=
k[T ]/(T d ). Given a power series a = a0 + a1 T + a2 T 2 + · · · ∈ k[[T ]] let M(a) ∈ k d×d be the
matrix of the k-linear map A → A defined by multiplication by a in the basis 1, T, . . . , T d−1
of A. Concretely,


a0
0
0

 a1
a0

M(a) = 
.
.
 ..
.. 0  .
ad−1 · · · · · · a0

The map a 7→ M(a) is clearly a homomorphism of k-algebras k[[T ]] → M d×d (k).
We will assume from now on that k has characteristic different from 2. For a polynomial
q ∈ k[T ] we let q ∗ be the polynomial q with its coefficients reversed, i.e.,
q ∗ (T ) := T deg(q) q(1/T ),

q ∈ k[T ],

where deg(q) is the degree of q.
For further reference let us note a few simple observations about the operation ∗. In
general, ∗ is not additive but we have
(p + q)∗ = p∗ + q ∗ ,

if deg(p) = deg(q)
6

and (pq)∗ = p∗ q ∗ always. We extend ∗ to k(T ) by multiplicativity. Then for w = p/q we
have
p∗
w ∗ (T ) := ∗ = T deg(p)−deg(q) w(T −1 ).
q
We will say that w ∈ k(T ) is reciprocal if w ∗ = w, skew-reciprocal if w ∗ = −w and in general
ε-reciprocal if w ∗ = εw with ε = ±1.
To shorten the notation we let vε , for ε = ±1, denote the valuation on k[T ] at T − ε. If
p ∈ k[T ] is skew-reciprocal then p(1) = 0. It follows that in fact v+ (p) must be odd since
otherwise p(T )/(T − 1)v+ (p) would be a skew-reciprocal polynomial not vanishing at T = 1.
Similarly, if p ∈ k[T ] is ε-reciprocal with ε = −(−1)deg(p) then p(−1) = 0 and again, v− (p)
must be odd. In particular, if p(−1) 6= 0 then deg(p) must be even.
3.2. Definition. Let w ∈ k(T ) be a rational function with coefficients in k. Assume that w
is regular at 0 and ∞. Then we have the two power series expansions
w(T ) = w0∗ + w1∗ T −1 + · · ·

w(T ) = w0 + w1 T + · · · ,

Let d be the degree of w = p/q where the fraction is written in lowest terms. With the above
notation define the skew Bezoutian of w as
 ∗

∗
w0 − w0
w1∗
...
wd−1
∗
 −w1

w0∗ − w0 w1∗
wd−2
∗
t
d−deg p ∗

.
B (w) = M(T
w ) − M(w) = 
..
..
..

.
.
w∗
.
−wd−1

···

1

−w1 w0∗ − w0

(We learned of this construction in [HA]). Note that B ∗ (w) is a Toeplitz matrix (constant
entries along diagonals). Also, in the case where d = deg p = deg q (for instance if w(∞) = 1,
as will be assumed later) one has the simpler definition B ∗ (w) = t M(w ∗ ) − M(w).
There is a more conceptual way to give B ∗ , closer to the approach of the previous section
on Frobenius algebras, as follows. Let R := k[T, T −1 ] and let t : R → k be the linear map
corresponding to taking constant terms; i.e., t(1) := 1 and t(T n ) := 0 for all non-zero integers
n.
We may represent elements in the dual space ω ∈ Hom(R, k) as formal infinite series of
the form
X
ω :=
ω(T n ) T −n .
n∈Z

Following the usual rules of multiplication of series gives Hom(R, k) the structure of an
R-module. Then
ω(u) = t(u · ω),
u ∈ R.
With this notation define ω ∈ Hom(R, k) by
X
X
ω :=
wn∗ T n −
wn T −n .
n>0

Explicitly,
(3.1)

n>0



−wn
n
ω(T ) = w0∗ − w0

w ∗
−n
7

n>0
n=0.
n<0

Then the skew Bezoutian B ∗ is the matrix with entries ω(T i−j ) for i, j = 0, 1, . . . , d − 1.
The first thing to point out is the value of the determinant of B ∗ (w). Write w = p/q for
p, q ∈ k[T ] relatively prime. By assumption d = deg(w) = max{deg(p), deg(q)}. But since
we also assume w is regular at infinity we must have deg(p) 6 deg(q) = d.
Proposition 3.1. Let q0 and qd be the constant and leading coefficients of q respectively.
Then we have
deg(p)
q0d qd
det B ∗ (w) = (−1)d−deg(p) Res(p, q)
Proof. Assume first that deg(p) = d. The following block-matrix identity is easy to check
using the fact that M is a homomorphism.
 t
  t
  t

M(w ∗ ) M(w)
M(q ∗ )
0
M(p∗ ) M(p)
·
= t
,
Id
Id
0
M(q)
M(q ∗ ) M(q)
where Id is the d × d identity matrix. The right hand side is then precisely the Sylvester
matrix of p and q whose determinant is Res(p, q). On the other hand, the determinant of
the left hand side equals (q0 qd )d det B ∗ (w).
We may consider the case deg(p) < d as a specialization of the generic case of deg(p) = d.
Then the determinant on the right hand side is easily seen to equal (−qd )d−deg(p) Res(p, q)
completing the proof.

Remark 3.2. The proof we gave follows that of a generalization of Proposition 3.1 to subresultants in [BSP, Prop. 11]. The fact that the classical Bezoutian has determinant related
to the resultant goes back to Bezout. From a computational point of view the Bezoutian
has the advantage that it is a matrix of size max{deg(p), deg(q)} versus the Sylvester matrix
that has size deg(p) + deg(q).
Consider the case that deg(p) = d. It follows from the proof of the proposition that
(3.2)

B ∗ (p, q) := t M(q ∗ )B ∗ (w)M(q) = t M(p∗ )M(q) − t M(q ∗ )M(p)

has determinant Res(p, q). This matrix can be described in a very similar way to that of the
classical Bezoutian (2.4). Indeed, it is not hard to see that its entries are the coefficients of
the two variable polynomial
(3.3)

p(x)q ∗ (y) − q(x)p∗ (y)
.
xy − 1

As in the proof of the proposition we may think of the case deg(p) < d as a specialization
of the generic case deg(p) = d and define B ∗ (p, q) accordingly (namely, p∗ should be replaced
by T d p(T −1 )). In general we have
det(B ∗ (p, q)) = (−qd )d−deg(p) Res(p, q).
3.3. Bilinear form. We now consider the bilinear form determined by the skew Bezoutian.
Let V := R/(q ∗ ) with basis 1, T, . . . , T d−1 . We claim that the linear form ω (3.1) vanishes
on the ideal (q ∗ ) ⊆ R and therefore induces a corresponding linear form on V . To see this
we compute
X
X
q∗ · ω = q∗
wn∗ T n − q ∗
wn T −n .
n>0

n>0

8

The first term equals q ∗ (T )w(T −1) = T d−deg(p) q ∗ (T )w ∗(T ) = T d−deg(p) p∗ (T ) and similarly,
the second term also equals q ∗ (T )w(T −1) cancelling out. It follows that ω(T n q ∗ (T )) =
t(T n q ∗ (T ) · ω) = 0 for all n.
From now on we assume
(3.4)

w(T −1) = −εw(T ),

w(∞) = 1,

for some ε = ±1. Then
t

B ∗ (w) = εB ∗ (w).
and, in the notation of the previous section,
wn = −εwn∗ ,
Therefore,

(3.5)

n = 0, 1, . . . .




∗
ε+1
w1∗
· · · wd−1
∗
 εw1∗ ε + 1 · · · wd−2

B ∗ (w) = 
.
..
..
..
.. 

.
.
.
. 
∗
∗
εwd−1
εwd−2
··· ε+1

Recall that w = p/q is in lowest terms. The assumptions (3.4) imply that both p and
q must be reciprocal or skew-reciprocal polynomials of degree d. Let εp and εq be the
corresponding signs: p∗ = εp p and q ∗ = εq q with ε = εp εq . Note that we cannot have
εp = εq = −1 since p and q are relatively prime by assumption.
We may give the skew Bezoutian bilinear form in a way analogous to the classical one.
The new ingredient is the involution ι : T 7→ T −1 of R that descends to V since it fixes the
ideal (q ∗ ). Indeed we have that B ∗ (w) is the Gram matrix in the basis 1, T, . . . , T d−1 of the
bilinear form Ψ on V defined by
Ψ(u, v) := t(uv ι · w) = ω(uv ι),
where, with some notation abuse, u, v ∈ V . Concretely,
(3.6)

Ψ(T i , T j ) = ω(T i−j ),

i, j ∈ Z.

This bilinear form satisfies
(3.7)

Ψ(v, u) = εΨ(u, v).

We will say that (V, Ψ) is an ε-symmetric bilinear space over k. By Proposition 3.1 this
space is non-degenerate since p and q are relatively prime.
3.4. Properties. In addition to the bilinear form Ψ the skew Bezoutian carries some extra
structures not shared by the classical Bezoutian. It has a distinguished vector v0 , the class of
the polynomial 1 ∈ R, with Ψ(v0 , v0 ) = 1+ε and an isometry γ, given by multiplication by T
(the fact that it is an isometry is clearly seen in (3.6), for example). Note that by construction
γ has characteristic polynomial ±q (the monic generator of the ideal (q ∗ ) = (q)). Moreover,
the translates v0 , γ(v0 ), γ 2 (v0 ), · · · generate the whole space V . In fact, these properties
characterize the skew Bezoutian as we now show.
Given v0 ∈ V with Ψ(v0 , v0 ) = 1 + ε we define its associated ε-reflection to be the isometry
given by
(3.8)

σ(v) := v − Ψ(v0 , v) v0 .
9

(In the skew-symmetric case σ is usually called a transvection.) Note that σ is of order two
if ε = +1 but of infinite order if ε = −1. In fact,
σ −1 (v) := v − εΨ(v0 , v) v0 .
We have
σ(v0 ) = −εv0 ,

σ(v) = v,

if Ψ(v0 , v) = 0.

Hence σ fixes a codimension 1 subspace of V and det(σ) = −ε.
Recall that an isometry of a non-degenerate bilinear space has a characteristic polynomial
which is reciprocal or skew-reciprocal.
Theorem 3.3. Let (V, Ψ) be a non-degenerate, finite dimensional, ε-symmetric bilinear
space over k. Suppose there exists an isometry γ of this space and a vector v0 ∈ V such that
(i) Ψ(v0 , v0 ) = 1 + ε
(ii) V is generated by v0 , γv0 , γ 2 v0 , · · · .
Then (V, Ψ) is the skew Bezoutian B ∗ (w) with w = p/q, where q is the characteristic
polynomial of γ and p is the characteristic polynomial of γσ with σ the ε-reflection associated
to v0 .
Proof. Let d be the dimension of V . Note that V := {v0 , γv0 , . . . , γ d−1 v0 } is a basis of V .
Indeed, by the Cayley–Hamilton theorem γ n v0 is in the span of V and hence so is every v in
V by hypothesis (ii). Again by hypothesis (ii), V is linearly independent.
Define for every n ∈ Z
cn := Ψ(γ n v0 , v0 ).

(3.9)
Note that c−n = εcn . We claim that

1+

X

cn T n

n>1

is the power series expansion of a rational function of denominator q. Write q =
By assumption qd−k = qk for k = 0, . . . , d and q0 = qd = 1. Then
X
X
X
q(T )(1 +
cn T n ) =
rn T n = 1 +
rn T n ,
n>1

where rn = qn +

Pn

k=1 ck qn−k

rn =

d
X

k>0 qk

n>1

for n > 1. Since qn = 0 for n > d we have

cn−k qk =

d
X

cn−d+k qd−k =

d
X

cn−d+k qk ,

n > d.

k=0

k=0

k=0

Hence

n>0

P

rn = Ψ(γ n−d q(γ)v0 , v0 ) = 0,

n > d.

We now show that rd−n = −εrn for n = 0, . . . , d. Since q(γ) = 0 we have for n < d
rd−n = qn +

d−n
X
k=1


qn+k ck = qn − Ψ sn (γ)γ −n v0 , v0 ,
10

T k.

where sn :=

Pn

k=0 qk T

k

. Hence

rd−n = qn −

n
X

qk ck−n = qn − (1 + ε)qn − ε

k=0

n−1
X

qk cn−k = −εrn .

k=0

P
We have shown then that p(T ) := −ε dn=0 rn T n is (−ε)-reciprocal; since r0 = 1 it is also
monic. In other words, we have that (V, Ψ) is isometric to the skew Bezoutian B ∗ (p, q).
It remains to show that p is the characteristic polynomial of δ := γσ. For every n ∈ Z let
σn be the ε-reflection associated to vn := γ n v0 . Note that Ψ(vn , vn ) = 1 + ε. We have
σn = γ n σγ −n
and hence by induction
δ n = σ1 · · · σn γ n .
Let u0 := v0 and un := σn−1 · · · σ1−1 v0 for n > 0. Let also en := εΨ(δ n v0 , v0 ) for n ∈ Z. Then
en+1 = Ψ(v0 , σ1 · · · σn+1 vn+1 ) = Ψ(un+1 , vn+1 ).
Since
−1
un+1 = σn+1
un = un − εΨ(un , vn+1 )vn+1 ,

n>0

we get
en+1 = Ψ(un , vn+1 ) − εΨ(un , vn+1 )Ψ(vn+1 , vn+1 ) = −εΨ(un , vn+1 ).
Therefore un+1 = un + en+1 vn+1 and by induction
n
X
ek vk .
un = v0 +
k=1

Finally,

−en+1 = Ψ(vn+1 , un ) = cn+1 +

n
X

ek cn+1−k

k=1

and
(3.10)

(1 +

X

cn T n )(1 +

n>1

X

en T n ) = 1.

n>1

Combined with our previous calculation we see that
X
p(T )(1 +
en T n ) = −εq(T ).
So if p(T ) =

Pd

n=0

n>1

pn T n then
0=

d
X
k=0

and

en−d+k pd−k = −ε

d
X

en−d+k pk ,

n>d

k=0

Ψ(p(δ)v0 , δ d−n v0 ) = 0,
n > d.
P
n−1
αn,j vj for n = 1, . . . , d − 1, for some αn,j ∈ k
It is not hard to see that δ n v0 = −εvn + j=1
(note that for n = 1 the equality is δv0 = −εv1 ). It follows that the δ n v0 with n ∈ Z span V
and by (3.11) p(δ) = 0.

(3.11)

11

Remark 3.4. The equivalence established by Theorem 3.3 is a skew analogue of that in Theorem 2.1, where the new ingredient is the involution T 7→ T −1 of the algebra k[T, T −1 ]/(q).
A similar result appears in [Do, Prop. 3.2].

3.5. Hypergeometric groups. We choose now k = C. The subgroup Γ ⊆ GL(V ) generated by γ, δ, σ (see Theorem 3.3) is a hypergeometric group in the sense of [BH, Def. 3.1],
with parameters the multisets of roots of p and q. In other words, we have a triple of elements in GL(V ) which multiply to the identity, two of which have a prescribed characteristic
polynomial and the third fixes a codimension one subspace of V . By a theorem of Levelt
such triples are unique up to conjugation by GL(V ) (see [BH, Th. 3.5]).
Since our polynomials are coprime it is proved in [BH, Prop. 3.3 & Th. 4.3] that Γ acts
irreducibly. Furthermore, if we assume p and q have real coefficients, since they are (±1)reciprocal, Γ fixes a non-degenerate bilinear form Ψ on V which is unique up to scaling. Our
discussion here shows that this form is none other than the skew Bezoutian B ∗ (p, q) of p and
q. This was mentioned in [RV]. For general p and q with complex coefficients it is not hard
to extend the construction of the skew-Bezoutian and this now yields a Hermitian form fixed
by Γ.
Over R the signature σ of Ψ can be computed by a skew version of the classical theorem
of Hermite [He, p. 409] for the usual Bezoutian. (Here ς := r − s if Ψ is isometric to
x21 + · · · x2r − y12 − · · · − ys2 over R.) For the classical Bezoutian the signature depends on the
interlacing pattern of the roots of p and q in R. For the skew Bezoutian it depends on the
interlacing pattern of the roots on the unit circle S 1 . In both cases this can be phrased in
terms of the Cauchy index for the rational function p/q (on R for the classical case, on S 1
for the skew case; for the latter see [HA, Th. 2.1]).
A conceptual formulation of Hermite’s result is as follows. The rational function w =
p/q ∈ R[T ] gives a continuous map w : P1 (R) → P1 (R). In turn this yields a homomorphism
H1 (P1 (R), Z) → H1 (P1 (R), Z). After fixing an isomorphism H1 (P1 (R), Z) ≃ Z this map is
multiplication by some integer which is none other than the signature ς. The same applies
for the skew Bezoutian. Since w(T −1) = −εw(T ) the values of w on S 1 are either real or
purely imaginary. Hence w gives a continuous map S 1 → P1 (R) in either case. This yields
a map Z → Z via H1 well defined up to sign. Choosing orientations appropriately this map
is again multiplication by the signature ς (defined as zero in the skew symmetric case).
In practice one can compute ς using Sylverster’s simple characterization (that applies
equally well to both the classical and the skew cases). We associate to w a word φ in two
letters say A and B as follows. Start with the empty word. Traverse P1 (R) or S 1 in the
standard orientation starting at the base point ∞ or 1 respectively. Append A (resp. B) to φ
on the right if you encounter a root of p (resp. q), including multiplicities, finishing when you
reach back the base point. Now recursively remove from φ any instance of repeated symbols
AA or BB. We end with a word consisting of r pairs · · · ABAB · · · or · · · BABA · · · . Then ς
equals r or −r respectively.
In particular, Ψ is definite if and only if the roots of p and q interlace in the unit circle.
This is one of the crucial calculations of [BH] (see e. g. Theorem 4.8 in loc. cit.), which was
done directly without any reference to Hermite’s result or its variants.
12

It is not hard to see [Ad, Prop. 2.3.3] that the number of words corresponding to signature
ς is

2
d
.
1
(d − ς)
2
(Necessarily ς ≡ d mod 2; in fact in the symmetric case, if d is even then ς ≡ d mod 4.) It
follows that we should expect the signature to be typically small if p and q are picked in
some random fashion. This appears to be indeed the case. For example, considering all pair
of coprime polynomials with only cyclotomic factors and of degree 15 with ǫ = −1 we find
the following distribution of signatures
ς 15 13 11
9
7
5
3
1
# 25 118 179 5935 41242 75458 184173 268640
with symmetrical values for ς = −1, −3, . . . , −15.
3.6. Examples. We end this section with some examples. The skew Bezoutian construction
can be done over a commutative ring (details will appear in a later publication). Here we
work over Z.
Alternate constructions for the first two examples below can be found in [Bay2, Section
3]. In loc. cit. the constructions use the trace form (as mentioned in the introduction) with
respect to an extension K/Q, where K is a suitable cyclotomic field. Examples in [Bay2]
and [BM, §4] also include the Leech lattice, the Coxeter–Todd lattice, etc. See also [Bay1,
§1] for related work where the question of the existence of a definite unimodular lattice with
an isometry having a prescribed cyclotomic characteristic polynomial is addressed.
1) Let
p = Φ1 Φ2 Φ3 Φ5 = x8 +2x7 +2x6 +x5 −x3 −2x2 −2x−1,

q = Φ30 = x8 +x7 −x5 −x4 −x3 +x+1,

where Φn is the n-th cyclotomic polynomial. Then
w = −p/q = 1 + x + x2 + x3 + x4 + x5 − x10 + O(x11 )
and



2 1 1 1 1 1 0 0
1 2 1 1 1 1 1 0


1 1 2 1 1 1 1 1


1 1 1 2 1 1 1 1
B ∗ (p/q) = 

1 1 1 1 2 1 1 1
1 1 1 1 1 2 1 1


0 1 1 1 1 1 2 1
0 0 1 1 1 1 1 2
The lattice Z[x]/(q) with this quadratic form is the well-known E8 lattice and γ is a Coxeter
element of the corresponding Weyl group.
2) Similarly the An lattice with Cartan matrix


2 −1 0 · · ·
0
0
−1 2 −1 · · ·
0


.


.
Cn := 
.

0
· · · −1 2 −1
0
0
···
−1 2
13

arises as the skew Bezoutian B ∗ (p/q), where
p = xn − 1

q = xn + xn−1 + · · · + x + 1

and γ represents an n-cycle in Sn .
3) Let q = x10 + x9 − x7 − x6 − x5 − x4 − x3 + x + 1 be the Lehmer polynomial (the integer
polynomial of smallest known Mahler measure bigger than 1). For p, we search among the
polynomials of degree 10 which are products of cyclotomics. We find eight such that B ∗ (p, q)
is isometric to the unimodular lattice I9,1 of signature (9, 1). These are tabulated below.
Φ31 Φ2 Φ3 Φ5
Φ1 Φ32 Φ3 Φ5
Φ1 Φ2 Φ3 Φ5 Φ6
Φ1 Φ2 Φ3 Φ7
Φ1 Φ2 Φ3 Φ9
Φ1 Φ2 Φ3 Φ18
Φ1 Φ2 Φ5 Φ8
Φ1 Φ2 Φ5 Φ10

x10 − x8 − x7 + x3 + x2 − 1
x10 + 4x9 + 7x8 + 7x7 + 4x6 − 4x4 − 7x3 − 7x2 − 4x − 1
x10 + x9 + x8 + x7 + x6 − x4 − x3 − x2 − x − 1
x10 + 2x9 + 2x8 + x7 − x3 − 2x2 − 2x − 1
x10 + x9 − x − 1
x10 + x9 − 2x7 − 2x6 + 2x4 + 2x3 − x − 1
x10 + x9 + x6 − x4 − x − 1
x10 − 1

We do not know if these isometries are in the same conjugacy class.
4) In the paper [MPV] the authors consider the modification q(x) := p(x) ± xm of a monic
reciprocal polynomial p of even degree 2m consisting of adding a single monomial ±xm . The
skew Bezoutian B ∗ (p, q) then yields a skew-symmetric form of determinant Res(p, q) = 1
and a symplectic transformation of characteristic polynomial q. For example, if we again
take q to be the Lehmer polynomial we see that it is also the characteristic polynomial of a
symplectic transformation. As pointed out in [MPV, §4] it is remarkable that q(x) + x5 is
actually a product of cyclotomic polynomials.
In light of Theorem 3.3, the modification used in [MPV] can be seen as an example of
modifying a symplectic transformation by multiplying it by a single transvection. It would
be interesting to extend their results and study how this modification affects the Mahler
measure of the characteristic polynomial.
4. Isometries with given characteristic polynomial
The goal of this section is to give a new and effective proof of the following well-known
result (see, e.g. [Mil, Lemma 1.2 and remarks 1.3, 1.4, 1.5]), using the skew Bezoutian.
We keep the notation of §3.
Theorem 4.1. Let q ∈ k[T ] be a monic reciprocal polynomial of degree d > 1. Then
1) There exists a non-degenerate symmetric bilinear space over k of dimension d with an
isometry of characteristic polynomial q.
2) If, in addition, d is even there exists a non-degenerate skew-symmetric bilinear space
over k of dimension d with an isometry of characteristic polynomial q.
For related work where a quadratic structure is prescribed as well see [Bay3].
Proof. The main idea is to use the skew Bezoutian. If we can find a polynomial p ∈ k[T ],
which is (−ε)-reciprocal and coprime to q then the skew Bezoutian B ∗ (p, q) provides an
explicit answer to what we are looking for. As discussed above, the skew Bezoutian comes
equipped with an isometry of characteristic polynomial q and is non-degenerate if p and q
14

are coprime. Knowledge of Res(p, q) will help us show that the bilinear form we construct
is non-degenerate by Proposition 3.1.
In the skew-symmetric case, where ε = −1 and d is assumed even, we may always find
such a p. Indeed, the polynomial
p(T ) := q(T ) + T m ,
where m := d/2 satisfies all the requirements we need:Qp is clearly reciprocal and coprime to
q. Moreover we may easily compute Res(p, q). It is ( b b)m , where b runs over the roots of
q counted with multiplicity, and this equals q(0)m . Since q is monic and reciprocal q(0) = 1.
See the remark following the proof for a discussion on the relevance of this computation.
Now we turn to the case where ε = 1. Let Q0 be the polynomial of k[T ] such that one has
the factorisation
(4.1)

q(T ) = (T − 1)v+ (T + 1)v− Q0 (T ),

Q0 (±1) 6= 0 .

As q is reciprocal, by the observations of §3.1, its order of vanishing v+ at 1 is even. Hence,
Q0 is also reciprocal; let d0 be its degree. Assume for the moment that d0 > 0 and set
P0 (T ) := (T − 1)e (T + 1)d0 −e ,
for some odd integer 0 6 e 6 d0 . Note that d0 − e is odd also since d0 is even as Q0 is a
reciprocal polynomial not vanishing at −1 (see §3.1).
By construction P0 is monic, skew-reciprocal, of degree d0 and coprime to Q0 . The skew
Bezoutian (V0 , Ψ0 ) of P0 , Q0 is then a non-degenerate symmetric bilinear space over k of
dimension d0 . The corresponding isometry γ0 has characteristic polynomial Q0 . To obtain
the space V we are after we consider
V := V0 ⊥ V+ ⊥ V−
where V± is a vector space over k of dimension v± . We put on V± an arbitrary non-degenerate
symmetric bilinear form Ψ± and consider Ψ := Ψ0 ⊥ Ψ+ ⊥ Ψ− and γ := γ0 ⊥ idV+ ⊥
(− idV− ). It is now clear that (V, Ψ) and γ fulfill the requirements.
The same construction works if d0 = 0; just ignore V0 altogether. This completes the proof
of 1).

Remark 4.2. Note that the proof actually gives a (skew-)symmetric space and an isometry of
characteristic polynomial q defined over the ring of coefficients of the polynomials p and q. In
case 2) of Theorem 4.1 the determinant of this space is 1 as can be seen from the computation
performed in the proof. For case 1), see Remark 6.3.
It seems natural to try and compute other invariants attached to the bilinear space constructed in terms of the polynomials p and q. In the following section we focus on the case
ε = 1 and we investigate how the spinor norm of the isometry constructed in the proof of
Theorem 4.1 can be expressed in terms of the polynomial q.
5. Spinor norm of an isometry with prescribed characteristic polynomial
Recall that if (V, Ψ) is a non-degenerate finite dimensional quadratic space, the spinor
norm of an isometry of (V, Ψ) can be defined as follows: first let v be a non isotropic vector
of V and let rv be the reflection with respect to the hyperplane v ⊥ . We define the spinorQ
norm
Nspin (rv ) to be the class in k ⋆ /(k ⋆ )2 of Ψ(v, v). Now any isometry σ of V is a product v rv ,
15

where v runs over a finite set of non-isotropic vectors of V . It is known that σ 7→
gives a well-defined spinor norm homorphism
Nspin : O(V, Ψ) −→ k ⋆ /(k ⋆ )2 ,

Q

v

Ψ(v, v)

which is onto as soon as d := dim V > 2. Note in particular that Nspin (− idV ) = det(V, Ψ),
where det(V, Ψ) := det (Ψ(vi , vj )) for any basis v1 , . . . , vd of V . (If v1 , . . . , vd is an orthogonal
Q
Q
basis of V then − idV = di=1 rvi and det V = di=1 Ψ(vi , vi ) .)
We recall the following formula due to Zassenhaus (see [Za, p. 444]) which gives a useful
way to compute the spinor norm of an isometry. To state and prove the results of this section
it will be convenient to use the following notation introduced by Zassenhaus in his original
paper. If σ is an endomorphism of V and if λ ∈ k then we let M(λ, σ) be the maximal
subspace of V on which σ − λidV acts as a nilpotent endomorphism of V . In particular the
dimension of M(λ, σ) is the multiplicity of λ as a root of the characteristic polynomial of σ.
Theorem 5.1 (Zassenhaus). Let γ be an isometry of a non-degenerate quadratic space (V, Ψ)
over k and let v± be the dimension of M(±1, γ). Let q be the characteristic polynomial of γ.
Then M(−1, γ) is non-degenerate and, if we denote by q− the polynomial such that
q(T ) = (T + 1)v− q− (T ) ,

q− (−1) 6= 0 ,

then
Nspin (γ) = det (M(−1, γ), Ψ) (−2)−(dim V −v− ) q− (−1) ,
in k ⋆ /(k ⋆ )2 .
Proof. Let us describe the main ideas of the proof based on Zassenhaus original paper [Za,
pp. 444–446]. Let us consider the subspace of V :
\
c(−1, γ) :=
M
(σ + idV )n V .
n>1

Then Zassenhaus shows ([Za, Prop. 2 p. 437 & its corollary p. 438]) that one has the
orthogonal splitting
c(−1, γ) ,
V = M(−1, γ) ⊥ M
thus both these spaces are non-degenerate with respect to the restriction of Ψ. In particular
the formula


γ + idV c
| M (−1, γ) ,
(5.1)
sn(γ) := det (M(−1, γ), Ψ) · det
2

defines a function on the orthogonal group O(V, Ψ) with values in the classes modulo non
zero squares of k ⋆ . Zassenhaus then shows ([Za, Theorem p. 446]) that the map sn is a
group homomorphism and that it coincides with Nspin (see [Za, (2.10b) p. 446]).
c(−1, γ) and the restriction of γ to M(−1, γ)⊥ has characteristic
One has M(−1, γ)⊥ = M
polynomial q− . Therefore (5.1) yields
Nspin (γ) = det (M(−1, γ), Ψ) · (−2)−(dim V −v− ) q− (−1) ,

in k ⋆ /(k ⋆ )2 , which completes the proof.


16

Corollary 5.2. With notation as above fix an isometry γ of (V, Ψ). Let q ∈ k[T ] be the
characteristic polynomial of γ and let Q0 ∈ k[T ] be as in (4.1). Then the spinor norm of γ
is given by
Nspin (γ) = Q0 (−1) det (M(−1, γ), Ψ) ,
⋆
⋆ 2
in k /(k ) .
Proof. With notation of Theorem 5.1 one has
q− (T ) = (T − 1)v+ Q0 (T ) .
We deduce
Nspin (γ) = det (M(−1, γ), Ψ) (−2)−(dim V −v− ) (−2)v+ Q0 (−1) ,
in k ⋆ /(k ⋆ )2 .
Therefore:
Nspin (γ) = det (M(−1, γ), Ψ) (−2)−(dim V −(v− +v+ )) Q0 (−1)
= det (M(−1, γ), Ψ) (−2)d0 Q0 (−1) ,
modulo nonzero squares. That is the desired formula since d0 := deg Q0 is even.



From the above corollary we further deduce how to decide when we can prescribe the
spinor norm and the characteristic polynomial of an isometry.
Corollary 5.3. Let q ∈ k[T ] be a monic reciprocal polynomial of degree d > 1 and let
Q0 ∈ k[T ] be as in (4.1).
(i) If v− (q) > 0 then there exists a non-degenerate symmetric bilinear space over k of
dimension d with an isometry γ of characteristic polynomial q and arbitrary spinor norm
Nspin (γ). In particular, this is true if d is odd.
(ii) If v− (q) = 0 and γ is an isometry with characteristic polynomial q then its spinor norm
equals Q0 (−1) (modulo nonzero squares). In particular, this is the case if q is separable and
d is even.
Proof. (i) Fix a representative s for a class in k ⋆ /(k ⋆ )2 . If v− > 0 we can always choose V−
to have det(V− ) ≡ sQ0 (−1) mod (k ⋆ )2 . The result now follows from Corollary 5.2. If d is
odd by the observations of §3.1 v− is odd and hence positive.
(ii) The first statement follows from Corollary 5.2. Assume q to be separable; if v− (q) > 0
then the quotient q(T )/(T + 1) is a reciprocal polynomial of odd degree. So −1 is also a root
of the quotient which contradicts the separability of q.

6. Discriminant of a quadratic space having an isometry with prescribed
characteristic polynomial
This section is devoted to the study of the relation between the discriminant of a quadratic
space (V, Ψ) and the characteristic polynomial of an isometry of O(V, Ψ). If (V, Ψ) is a
quadratic space over k we let its discriminant be disc(V, Ψ) := (−1)n(n−1)/2 det(V, Ψ) where
d := dim V .
The results we present here are well-known. The idea emphasized in the following statement (that can be found, e.g., in [Mil, Th. 3.4]) is that to an ε-symmetric non-degenerate bilinear space (V, Ψ) equipped with an isometry γ, we can naturally associate a (−ε)-symmetric
non-degenerate bilinear space (V, Ψγ ).
17

Lemma 6.1. Let (V, Ψ) be an ε-symmetric non-degenerate bilinear space and let γ be an
isometry of (V, Ψ). We define the bilinear form Ψγ on V by:

Ψγ (u, v) = Ψ (γ − γ −1 )(u), v ,
u, v ∈ V .
Denoting as before by q the characteristic polynomial of γ, we have:
(i) (V, Ψγ ) is (−ε)-symmetric,
(ii) det(V, Ψγ ) = q(1)q(−1) det γ det(V, Ψ),
(iii) γ is an isometry of the bilinear space (V, Ψγ ).

Proof. First note that for any isometry γ of a bilinear space (V, h·, ·i) and any element
h ∈ k[x, x−1 ] we have
(6.1)

hh(γ)u, vi = hu, h(γ −1 )vi,

u, v ∈ V.

For (i) we fix u, v ∈ V and we compute, using (6.1),



Ψγ (v, u) = Ψ (γ − γ −1 )v, u = Ψ v, (γ −1 − γ)u = −Ψ v, (γ − γ −1 )u .

The right hand side equals −εΨγ (u, v) since Ψ is ε-symmetric.
For (ii), we denote by d the dimension of V and we fix a basis B = (e1 , . . . , ed ) of V . Let
Q be the Gram matrix of Ψ with respect to B and M be the matrix representation of γ
in the basis B. The Gram matrix of Ψγ with respect to B is (Ψ ((γ − γ −1 )ei , ej ))i,j . That
matrix equals t ((M − M −1 )) Q. Taking determinants we get
det(V, Ψγ ) = det(M − M −1 ) det(V, Ψ) = det(γ − γ −1 ) det(V, Ψ) ,
which is the formula we wanted since det(γ −γ −1 ) = det(γ) det(γ 2 −idV ) = det(γ)q(−1)q(1).
Finally, (iii) is a straightforward consequence of the fact that γ and γ − γ −1 commute. 
The construction of the bilinear form Ψγ from the data (Ψ, γ) can be iterated to produce
a sequence of bilinear forms Ψ0 = Ψ, Ψ1 = Ψγ , and more generally for any j > 0:

Ψj : (u, v) ∈ V × V 7→ Ψ (γ − γ −1 )j u, v .

The generalization of Lemma 6.1 to Ψj is straightforward and can be found in [Mil, Th. 3.4].
Using Lemma 6.1 we deduce the following statement.
Proposition 6.2. Let q ∈ k[x] be a monic reciprocal polynomial with q(±1) 6= 0. Then the
discriminant disc(V, Ψ) of a non-degenerate quadratic space (V, Ψ) over k with an isometry
of characteristic polynomial q is uniquely determined. More precisely, for any such space we
have
det(V, Ψ) ≡ q(−1)q(1) mod (k ⋆ )2 .
This statement is well-known and can be found e.g. in [Le, §7, Lemma c)].
Proof. We invoke Lemma 6.1(ii) in the case ε = 1. Indeed det γ = 1 since q is reciprocal.
Moreover the formula for det(V, Ψγ ) implies that Ψγ is non-degenerate by our assumption
on q and Ψ. Thus det(V, Ψγ ) is a square since (V, Ψγ ) is a non-degenerate skew-symmetric
bilinear space.

Remark 6.3. In fact, from the proof of Theorem 4.1 we see that for every odd integer e in
the range 0 6 e 6 deg q = d we can find (V, Ψ) defined over the ring of coefficients of q that
satisfies:
det(V, Ψ) = q(1)q(−1)d−e .
18

From the above proposition we deduce the following corollary that answers the question
investigated in this section.
Corollary 6.4. Let (V, Ψ) be a non-degenerate quadratic space over k.
(i) Let q be a reciprocal polynomial which is the characteristic polynomial of an isometry
γ of (V, Ψ). Then with notation as in §5 (in particular we use the factorisation (4.1)),
(6.2)

det(V, Ψ) ≡ det (M(−1, γ)) det (M(1, γ)) Q0 (−1)Q0 (1) mod (k ⋆ )2 .

(ii) Let q be a separable reciprocal polynomial in k[T ] of even degree. If there exists an
isometry γ of a non-degenerate quadratic k-space (V, Ψ) of characteristic polynomial q then
disc(V, Ψ) ≡ disc(q) mod (k ⋆ )2 .
Proof. From [Za, Prop. 2 & its corollary] and since we assume char k 6= 2, one easily deduces
the orthogonal decomposition:


c(1, γ) ∩ M
c(−1, γ) .
(6.3)
V = M(1, γ) ⊥ M(−1, γ) ⊥ M
Thus



c
c
det V = det M(1, γ) det M(−1, γ) det M (1, γ) ∩ M (−1, γ) ,

where the quadratic structure on each vector space is given by the suitable restriction of Ψ.
Each subspace on the right hand side of (6.3) is stable under γ and by defintion of the
c(1, γ)∩ M(−1,
c
subspaces M(±1, γ), the restriction of γ to M
γ) has characteristic polynomial
Q0 . Thus (i) follows by applying Proposition 6.2.
The statement (ii) is an easy consequence of (i) and the following well-known lemma. 
Lemma 6.5. Let q ∈ k[x] be a monic separable reciprocal polynomial of even degree 2m.
Then
disc q ≡ (−1)m q(−1)q(1) mod (k ⋆ )2 .
Proof. The hypothesis on q guarantees that q(±1) 6= 0, i.e., q = Q0 . Indeed, if q is reciprocal
then v+ must be even. If in addition q is separable then v+ (q) = 0. As we argued in the
proof of Corollary 5.3 (ii) we also have v− (q) = 0.
We may assume without loss of generality that q is irreducible. Let K := k[x]/(q). The
extension K/k is separable and disc q is the discriminant of the quadratic space (K, Ψ), where
Ψ(a, b) := TrK/k (ab). A calculation like that in [McG, Prop. A.3] (see also the discussion at
the beginning of section 2 in [Bae]) finishes the proof. (Let L ⊆ K be the subfield fixed by the
involution x 7→ x−1 , and let NL/k denote the norm map relative to L/k. Then K = L(x−x−1 ).
The subspaces L and (x − x−1 )L are orthogonal hence det K = NL/k (x − x−1 ) det L2 and
NL/k (x − x−1 ) = q(−1)q(1).)

For an alternate proof of the lemma see [E, proof of Th. 2]. The statement (ii) of
Corollary 6.4 can be found e. g. in [Bae, Th. (1.2)].
7. Isometries with given Jordan form
We end with a characterization of the Jordan form of isometries of non-degenerate bilinear
spaces. The main result goes back to (at least) Wall [Wa] (see also [HM], [Mil, section 3]
and [SpSt, IV, 2.15 (iii)]). We include a proof for the reader’s convenience using the skew
Bezoutian to construct the isometries.
19

We assume our field k is now algebraically closed (and of characteristic different from 2
as before). Fix a vector space V of dimension r over k. For γ ∈ End(V ), λ ∈ k ⋆ and m ∈ N,
let µ(γ; λ, m) be the number of Jordan blocks of γ of size m and eigenvalue λ.
We start with a few preparatory results. The following crucial statement, (very close to
the first part of [Mil, Th. 3.2]), will help us perform a reduction step needed in the proof of
Theorem 7.5.
Lemma 7.1. Let (V, Ψ) be a non-degenerate ε-symmetric space equipped with a unipotent
isometry γ. We have an orthogonal splitting:
V =⊥m>1 V (m) ,
where γ acts on each V (m) as a sum of Jordan blocks J1 (m). In particular, each (V (m) , Ψ)
is a non-degenerate ε-symmetric space.
Proof. Let n be the largest index m with V (m) 6= 0. We claim that V (n) is non-degenerate.
Since γ is unipotent and preserves rad(V (n) , Ψ) we have rad(V (n) , Ψ) ⊆ ker(γ − idV ) =
Im ((γ − idV )n−1 ).
Taking h(x) = (x − 1)n−1 in (6.1) it follows that rad(V (n) , Ψ) ⊆ rad(V, Ψ) proving our
claim. We deduce that V (n) splits off from V as an orthogonal direct summand.
We conclude by finite descending induction on m > 1.

The following Lemma can be seen as a complement to Lemma 6.1. In the notation of
Lemma 6.1 it gives an additional property of Ψγ in the case where −1 is not an eigenvalue
of γ. For any bilinear space (W, h·, ·i), its radical rad(W ) is the subspace {v ∈ W : hv, wi =
0 for all w ∈ W }.
Lemma 7.2. With notation as in Lemma 6.1, we assume further that γ + idV is invertible.
Then we have
rad(V, Ψγ ) = ker(γ − idV ) .
Proof. Fix a vector u ∈ V . We have u ∈ rad(V, Ψγ ) if and only if Ψ ((γ − γ −1 )u, v) = 0 for all
v ∈ V . Since Ψ is non-degenerate, this is equivalent to (γ − γ −1 )u = 0, i.e. (γ 2 − idV )u = 0.
Rewriting the last equation
(γ + idV ) ◦ (γ − idV )u = 0 ,
the lemma follows since we have assumed γ + idV to be invertible.



Remark 7.3. As for the case of Lemma 6.1 the generalization of Lemma 7.2 to Ψj is straightforward. Let us mention for example that if Ψ is ε-symmetric then Ψj is (−1)j ε-symmetric
with radical ker ((γ − idV )j ) (see [Mil, Th. 3.4] where the general version of the construction
is used).
Corollary 7.4. With hypotheses as in Lemma 6.1, assume ε = 1 and γ unipotent.Consider
the Jordan block decomposition of γ:
r
M

Jmi (1) ,

m1 6 m2 6 · · · 6 mr ,

i=1

X

mi = dim V ,

i

where Jmi (1) stands for the Jordan block of size mi attached to the eigenvalue 1. We have
20

r
X

(mi − 1) ≡ 0 (mod 2) .

i=1

In particular there are evenly many indices i for which mi is even.
Proof. Since (V /rad(V, Ψγ ), Ψγ ) is a non-degenerate skew-symmetric space, its dimension is
even. It follows then from Lemma 7.2 that dim V ≡ dim ker(γ − idV ) (mod 2). Since γ is
unipotent its number of Jordan blocks equals dim ker(γ − idV ) therefore
r
X
mi ≡ r (mod 2) .
Equivalently

Pr

i=1

i=1

(mi − 1) is even.



We can now state and prove the main result of this section.
Theorem 7.5. Let γ ∈ End(V ). Then γ preserves a non-degenerate ε-symmetric bilinear
form on V if and only if
(i)
µ(γ, λ, m) = µ(γ, λ−1 , m),
λ 6= ±1, m ∈ N,
and
(ii)
(m − δ)µ(γ, ±1, m) ≡ 0 mod 2,
m ∈ N,
1
where δ := 2 (1 + ε).
Proof. We give details for the orthogonal case ε = 1 the symplectic case ε = −1 is completely
analogous. For m > 1 let Jm (λ) denote the Jordan block with size m and eigenvalue λ.
First we exhibit an isometry with a prescribed Jordan form satisfying the hypothesis
(i) and (ii). Identify V with k d . If γ ∈ End(V ) is an endomorphism having Jordan form
M = Jm (λ)⊕Jm (λ−1 ) with λ 6= λ−1 consider q = (T −λ)m (T −λ−1 )m . By Theorem 4.1 there
exists a skew-reciprocal polynomial p ∈ k[T ] such that q is the characteristic polynomial
of an isometry of the non-degenerate quadratic space determined by B ∗ (p, q), which by
Theorem 3.3 has Jordan form M. A similar argument applies to Jm (±1) for m odd taking
q = (T − 1)m and p = (T + 1)m .
Finally, let m be even and set again p := (T + 1)m and q := (T − 1)m . Now U := B ∗ (p, q),
however, is skew-symmetric. Consider instead the symmetric matrix


0 U
A=
.
−U 0
Since p and q are relatively prime U and hence also A yield non-degenerate bilinear pairings.
By Theorem 3.3 and Theorem 4.1 there exists γ ± with Jordan form Jm (±1) preserving U.
The map γ := γ ± ⊕ γ ± then preserves A giving our desired isometry.
We now show that the conditions on the multiplicities of the Jordan blocks are necessary.
Suppose then that γ ∈ End(V ) preserves a non-degenerate, symmetric bilinear pairing h·, ·i
on V . It follows that as k[x, x−1 ]-modules V ∗ ≃ V . This implies (i).
For λ ∈ k ⋆ let Vλ ⊆ V be the subspace annihilated by some power of γ − λ and let
Wλ := Vλ ⊕ Vλ−1 if λ 6= λ−1 and W±1 := V±1 . Taking h(x) = (x − λ)(x − λ−1 ) or x − (±1) in
21

(6.1) we see that the distinct non-zero Wλ ’s are mutually orthogonal with orthogonal sum
V and, in particular, they are non-degenerate. To prove (ii) we may hence assume without
loss of generality that γ is unipotent so V = V1 .
Applying Lemma 7.1, we can restrict further to the case where V = V (m) is a nondegenerate quadratic space on which γ acts as a sum of µ(γ, 1, m) Jordan blocks J1 (m).
Applying Corollary 7.4 to γ, we deduce that µ(γ, 1, m)(m − 1) is even, which is what we
wanted to prove.
Note that in the skew-symmetric case (ii) follows directly from Lemma 7.1. Indeed γ
restricts to a unipotent isometry of the non-degenerate skew-symmetric space (V (m) , Ψ).
Thus the dimension mµ(γ, 1, m) of this space is even.

References
[Ad]

[Bae]
[Bay1]
[BM]
[Bay2]
[Bay3]
[BH]
[BSP]
[Do]
[E]
[Fu]
[McG]
[HA]
[He]
[HM]
[KW]
[Kr]

[Lam]
[La]
[Le]

S. Adduci: On real and p-adic Bezoutians Dissertation, The University of Texas at Austin, 2010, available at http://repositories.lib.utexas.edu/bitstream/handle/2152/ETD-UT-2010-05-998/ADDUCI-DISSERTA
3.5
R. Baeza : Discriminants of polynomials and of quadratic forms, J. Algebra 72, (1981), 17–28. 1, 6
E. Bayer-Fluckiger: Definite unimodular lattices having an automorphism of given characteristic
polynomial, Comment. Math. Helv. 1984, Volume 59, Issue 1, pp 509–538. 3.6
E. Bayer-Fluckiger and J. Martinet: Formes quadratiques liées aux algèbres semi-simples. J. Reine
Angew. Math. 451 (1994), 51–69. 3.6
E. Bayer-Fluckiger: Lattices and number fields, Algebraic geometry: Hirzebruch 70 (Warsaw, 1998),
69–84, Contemp. Math., 241, Amer. Math. Soc., Providence, RI, 1999. 1, 3.6
E. Bayer-Fluckiger: Isometries of quadratic spaces, to appear in J. Eur. Math. Soc. 4
F. Beukers and G. Heckman: Monodromy for the hypergeometric function n Fn−1 , Invent. Math. 95
(1989), no. 2, 325–354 3.5
C. Brunie and P. Saux Picart: Symmetric subresultants and applications, J. Symbolic Comput. 42
(2007), no. 9, 884–919. 3.2
S. Donaldson: Nahm’s equations and the classification of monopoles, Comm. Math. Phys. 96 (1984),
no. 3, 387–407. 2.3, 3.4
B. H. Edwards: Rotations and discriminants of quadratic spaces, Lin. and Multilin. Algebra 8, (1980),
241–246. 6
P. A. Fuhrmann: A Polynomial Approach to Linear Algebra, Second edition. Universitext. Springer,
New York, 2012. 2, 2.3
B. Gross and C. McMullen: Automorphisms of even unimodular lattices and unramified Salem numbers, J. Algebra 257 (2002), no. 2, 265–290. 6
N. Hamada and B. Anderson: The unit circle Cauchy index: definition, characterization and polynomial zero distribution, SIAM J. Appl. Math. 44 (1984), no. 4, 803–818 3.2, 3.5
C. Hermite: Oeuvres de Charles Hermite. Volume 1. Cambridge Library Collection. Cambridge University Press, Cambridge, 2009. 3.5
R. A. Horn and D. I. Merino: The Jordan canonical forms of complex orthogonal and skew-symmetric
matrices, Linear Algebra and Appl. 302–303 (1999), 411–421. 7
M. Kervaire and C. Weber: A survey of multidimensional knots, Knot theory (Proc. Sem., Planssur-Bex, 1977), pp. 61–134, Lecture Notes in Math., 685, Springer, Berlin, 1978. 1
L. Kronecker: Zur Theorie der Elimination einer Variablen aus zwei algebraischen Gleichungen,
Monatsber. Königl. Preussischen Akad. Wies. (Berlin) (1881), 535–600. Reprinted as pp. 113–192 in
Mathematische Werke, vol. 2, B. G. Teubner, Leipzig, 1897 or Chelsea, New York, 1968. 2
T. Y. Lam: Introduction to quadratic forms over fields. Graduate Studies in Mathematics, 67. American Mathematical Society, Providence, RI, 2005. 1
S. Lang: Algebraic groups over finite fields, Amer. J. Math. 78 (1956), 555–563.
J. Levine: Invariants of Knot cobrodism, Invent. Math. 8 (1969), 98–110. 6
22

[Mil] J. Milnor: On isometries of inner product spaces, Invent. Math. 8 (1969), 83–97. 1, 4, 6, 6, 7, 7.3
[MPV] M. Mossinghoff, C. Pinner and J. Vaaler: Perturbing polynomials with all their roots on the unit
circle Math. Comp. 67 (1998), no. 224, 1707–1726 3.6
[RV] F. Rodriguez Villegas: Integral ratios of factorials and algebraic hypergeometric functions
arXiv:math/0701362 3.5
[Sch1] W. Scharlau: Zur Pfisterschen Theorie der quadratischen Formen. Invent. Math. 6 1969 327–328. 1
[Sch2] W. Scharlau: Induction theorems and the structure of the Witt group. Invent. Math. 11 (1970), 37–44.
1
[SpSt] T. A. Springer and R. Steinberg : Conjugacy classes, Seminar on Algebraic Groups and Related
Finite Groups, Lecture Notes in Mathematics, 131, (1968-69), 167-266, Springer-Verlag, Berlin-New
York, 1970. 7
[Tr1] H. F. Trotter: On S-equivalence of Seifert matrices. Invent. Math. 20 (1973), 173–207. 1
[Tr2] H. F. Trotter: Knot module and Seifert matrices. Knot theory (Proc. Sem., Plans-sur-Bex, 1977),
pp. 291–299, Lecture Notes in Math., 685, Springer, Berlin, 1978. 1
[Wa] G. Wall: On the conjugacy classes in the unitary, symplectic and orthogonal groups, J. Austral. Math.
Soc. 3 (1963) 1–62 7
[Za]
H. Zassenhaus : On the spinor norm, Arch. Math. 13 (1962), 434–451. 5, 5, 5, 6

23

