Cappell–Shaneson Polynomial Overview

• Cappell–Shaneson polynomial is defined as the characteristic polynomial of a Cappell–Shaneson matrix in SL(n, Z) satisfying determinant conditions on its exterior powers.
• It converts complex matrix constraints into algebraic conditions, aiding the classification of matrices, ideal class monoids, and the study of related knot pairs.
• In the cubic 3×3 case, the polynomial underpins 4-manifold topology by linking matrix similarity classes to Cappell–Shaneson homotopy spheres and associated knot constructions.

Searching arXiv for recent and foundational papers on Cappell–Shaneson polynomials and related matrix/sphere constructions. A Cappell–Shaneson polynomial is the characteristic polynomial $f(x)=\det(xI-A)$ of a Cappell–Shaneson matrix $A\in \mathrm{SL}(n,\mathbb Z)$ satisfying

$$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$

In the general higher-dimensional theory this definition applies in every degree $n>1$, while in the classical $3\times 3$ setting relevant to Cappell–Shaneson homotopy $4$-spheres it specializes to the cubic family

$f_n(x)=x^3-nx^2+(n-1)x-1.$

The polynomial is therefore both a matrix-theoretic invariant and a topological organizing device: it encodes the exterior-power constraints defining Cappell–Shaneson matrices, determines Alexander polynomials in the knot-pair construction, and governs arithmetic classification problems for Cappell–Shaneson homotopy spheres (Endo et al., 15 Jul 2025, Iwaki, 2024).

1. Definition and basic forms

For $n>1$, a matrix

$A\in \mathrm{SL}(n,\mathbb Z)$

is a Cappell–Shaneson matrix of order $n$ if it satisfies the conditions

$A\in \mathrm{SL}(n,\mathbb Z)$0

Its characteristic polynomial

$A\in \mathrm{SL}(n,\mathbb Z)$1

is then called a Cappell–Shaneson polynomial of degree $A\in \mathrm{SL}(n,\mathbb Z)$2. A Cappell–Shaneson matrix is called positive if

$A\in \mathrm{SL}(n,\mathbb Z)$3

and a Cappell–Shaneson polynomial is positive if it satisfies the same condition. A key structural point is that whenever a polynomial $A\in \mathrm{SL}(n,\mathbb Z)$4 is known to be Cappell–Shaneson, its companion matrix is itself a Cappell–Shaneson matrix, so polynomial classification is equivalent to matrix classification (Endo et al., 15 Jul 2025).

In degree $A\in \mathrm{SL}(n,\mathbb Z)$5, the definition becomes especially rigid. If $A\in \mathrm{SL}(n,\mathbb Z)$6 satisfies

$A\in \mathrm{SL}(n,\mathbb Z)$7

and has trace $A\in \mathrm{SL}(n,\mathbb Z)$8, then its characteristic polynomial is exactly

$A\in \mathrm{SL}(n,\mathbb Z)$9

This cubic is irreducible, and every Cappell–Shaneson matrix of trace $$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$0 has this characteristic polynomial. In the $$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$1-dimensional literature, “the” Cappell–Shaneson polynomial often refers precisely to this trace-dependent cubic rather than to the general degree-$$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$2 notion (Kim et al., 2017).

2. Exterior powers, regularity, and signed reciprocity

The matrix conditions $$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$3 admit an intrinsic polynomial reformulation. If $$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$4 is a monic degree-$$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$5 polynomial and $$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$6 is any matrix with characteristic polynomial $$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$7, the characteristic polynomial of $$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$8 depends only on $$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$9; it is denoted

$n>1$0

If $n>1$1 are the roots of $n>1$2, then the roots of $n>1$3 are the products

$n>1$4

and one has

$n>1$5

Thus $n>1$6 is equivalent to the scalar condition

$n>1$7

This converts the Cappell–Shaneson condition from a matrix statement into a condition on the polynomial alone (Endo et al., 15 Jul 2025).

The same paper introduces the language of regularity. A monic degree-$n>1$8 polynomial $n>1$9 over a field $3\times 3$0 is $3\times 3$1-regular if no product of $3\times 3$2 distinct roots equals $3\times 3$3. If this holds for every $3\times 3$4, the polynomial is regular. For a doubly monic polynomial, meaning one with constant term $3\times 3$5, the signed reciprocal polynomial is

$3\times 3$6

If $3\times 3$7 is the characteristic polynomial of $3\times 3$8, then $3\times 3$9 is the characteristic polynomial of $4$0. Regularity is invariant under signed reciprocity: $4$1 For $4$2, $4$3-regularity of a $4$4-regular doubly monic polynomial is equivalent to the absence of a common quadratic factor of $4$5 and $4$6 over $4$7. For separable doubly monic $4$8, $4$9-regularity is controlled by $f_n(x)=x^3-nx^2+(n-1)x-1.$0 and $f_n(x)=x^3-nx^2+(n-1)x-1.$1: if $f_n(x)=x^3-nx^2+(n-1)x-1.$2, it is equivalent to their having no common root over $f_n(x)=x^3-nx^2+(n-1)x-1.$3, and if $f_n(x)=x^3-nx^2+(n-1)x-1.$4, it is equivalent to

$f_n(x)=x^3-nx^2+(n-1)x-1.$5

These criteria are the main algebraic replacement for the exterior-power determinant conditions (Endo et al., 15 Jul 2025).

Reduction modulo primes provides a further reformulation. If $f_n(x)=x^3-nx^2+(n-1)x-1.$6 is an integer matrix with characteristic polynomial $f_n(x)=x^3-nx^2+(n-1)x-1.$7, then

$f_n(x)=x^3-nx^2+(n-1)x-1.$8

From this, together with the fact that a regular polynomial over $f_n(x)=x^3-nx^2+(n-1)x-1.$9 with nonzero constant term is irreducible, it follows that every Cappell–Shaneson polynomial is irreducible over $n>1$0 (Endo et al., 15 Jul 2025).

3. Low-degree classification

The polynomial reformulation makes complete classification possible in low degrees and yields explicit infinite families in higher ones. The current state recorded in the literature is summarized below.

Degree	Classification status	Main outcome
$n>1$1	Complete	Exactly four one-parameter families
$n>1$2	Complete	Exactly twelve families, arranged in reciprocal pairs
$n>1$3	Partial	Complete for $n>1$4, plus four infinite families for every $n>1$5
$n>1$6	Partial	Several explicit families under extra coefficient relations

In degree $n>1$7, if

$n>1$8

then $n>1$9 is Cappell–Shaneson if and only if $A\in \mathrm{SL}(n,\mathbb Z)$0 lies in one of the four families

$A\in \mathrm{SL}(n,\mathbb Z)$1

$A\in \mathrm{SL}(n,\mathbb Z)$2

$A\in \mathrm{SL}(n,\mathbb Z)$3

$A\in \mathrm{SL}(n,\mathbb Z)$4

The classification can be derived from companion-matrix calculations, from an explicit formula for $A\in \mathrm{SL}(n,\mathbb Z)$5, or from the signed-reciprocal criterion. In this degree one obtains

$A\in \mathrm{SL}(n,\mathbb Z)$6

so necessarily $A\in \mathrm{SL}(n,\mathbb Z)$7 (Endo et al., 15 Jul 2025).

In degree $A\in \mathrm{SL}(n,\mathbb Z)$8, if

$A\in \mathrm{SL}(n,\mathbb Z)$9

the complete classification consists of twelve families split into Cases I and II, with reciprocal pairing under $n$0. One representative family is

$n$1

Other families involve two parameters $n$2. The derivation uses the relations

$n$3

together with the explicit $n$4 polynomial condition in the coefficients (Endo et al., 15 Jul 2025).

In degree $n$5, the conditions $n$6 are rewritten using

$n$7

leading to the equivalent system

$n$8

$n$9

$A\in \mathrm{SL}(n,\mathbb Z)$00

where $A\in \mathrm{SL}(n,\mathbb Z)$01. The classification is complete for

$A\in \mathrm{SL}(n,\mathbb Z)$02

by signed reciprocity, and for every integer $A\in \mathrm{SL}(n,\mathbb Z)$03 there are at least four degree-$A\in \mathrm{SL}(n,\mathbb Z)$04 Cappell–Shaneson polynomials with $A\in \mathrm{SL}(n,\mathbb Z)$05 (Endo et al., 15 Jul 2025).

4. Ideal-class monoids and arithmetic classification

A fixed Cappell–Shaneson polynomial does not usually determine a unique matrix up to integral similarity. The arithmetic classification is expressed by the Latimer–MacDuffee–Taussky correspondence. If $A\in \mathrm{SL}(n,\mathbb Z)$06 is a root of a polynomial $A\in \mathrm{SL}(n,\mathbb Z)$07, then matrices with characteristic polynomial $A\in \mathrm{SL}(n,\mathbb Z)$08 correspond to ideal classes in the order

$A\in \mathrm{SL}(n,\mathbb Z)$09

More precisely, there is a bijection

$A\in \mathrm{SL}(n,\mathbb Z)$10

where $A\in \mathrm{SL}(n,\mathbb Z)$11 is the ideal class monoid. After incorporating inversion, one obtains

$A\in \mathrm{SL}(n,\mathbb Z)$12

where $A\in \mathrm{SL}(n,\mathbb Z)$13 means that $A\in \mathrm{SL}(n,\mathbb Z)$14 is conjugate in $A\in \mathrm{SL}(n,\mathbb Z)$15 to $A\in \mathrm{SL}(n,\mathbb Z)$16 or $A\in \mathrm{SL}(n,\mathbb Z)$17 (Endo et al., 1 Apr 2026).

In the cubic $A\in \mathrm{SL}(n,\mathbb Z)$18 case, this correspondence becomes highly explicit. If $A\in \mathrm{SL}(n,\mathbb Z)$19 is a root of

$A\in \mathrm{SL}(n,\mathbb Z)$20

then similarity classes of trace-$A\in \mathrm{SL}(n,\mathbb Z)$21 Cappell–Shaneson matrices are identified with the ideal class monoid

$A\in \mathrm{SL}(n,\mathbb Z)$22

Every such matrix is similar to a standard one of the form

$A\in \mathrm{SL}(n,\mathbb Z)$23

and the Cappell–Shaneson condition is exactly

$A\in \mathrm{SL}(n,\mathbb Z)$24

Under the Latimer–MacDuffee–Taussky correspondence,

$A\in \mathrm{SL}(n,\mathbb Z)$25

This makes the polynomial $A\in \mathrm{SL}(n,\mathbb Z)$26 the defining equation both for standard-form matrices and for the ambient order whose ideal classes classify them (Kim et al., 2017).

The same arithmetic framework detects when the ideal class monoid is not a group. In the cubic case, $A\in \mathrm{SL}(n,\mathbb Z)$27 is not a group if and only if there exist an integer $A\in \mathrm{SL}(n,\mathbb Z)$28 and a prime $A\in \mathrm{SL}(n,\mathbb Z)$29 such that

$A\in \mathrm{SL}(n,\mathbb Z)$30

$A\in \mathrm{SL}(n,\mathbb Z)$31

Equivalently,

$A\in \mathrm{SL}(n,\mathbb Z)$32

is a non-invertible ideal. This criterion is central to the construction of new non-principal similarity classes and new infinite families in the $A\in \mathrm{SL}(n,\mathbb Z)$33-dimensional theory (Iwaki, 2024).

5. Role in Cappell–Shaneson knot pairs

The original topological construction associates knots to positive Cappell–Shaneson matrices in arbitrary dimension. If $A\in \mathrm{SL}(n,\mathbb Z)$34 is a positive Cappell–Shaneson matrix, let

$A\in \mathrm{SL}(n,\mathbb Z)$35

be the mapping torus of the induced torus automorphism, let $A\in \mathrm{SL}(n,\mathbb Z)$36 be the zero section, and perform surgery along $A\in \mathrm{SL}(n,\mathbb Z)$37 using one of the two framing classes. This yields two knots

$A\in \mathrm{SL}(n,\mathbb Z)$38

in a homotopy $A\in \mathrm{SL}(n,\mathbb Z)$39-sphere. Their complements are diffeomorphic to $A\in \mathrm{SL}(n,\mathbb Z)$40, the knots are inequivalent, and both have Alexander polynomial equal to the characteristic polynomial of $A\in \mathrm{SL}(n,\mathbb Z)$41: $A\in \mathrm{SL}(n,\mathbb Z)$42 Thus the Cappell–Shaneson polynomial is simultaneously a matrix invariant and the common Alexander polynomial of the associated knot pair (Endo et al., 1 Apr 2026).

The polynomial, however, does not determine the knot pair. The classification theorem states that Cappell–Shaneson knot pairs $A\in \mathrm{SL}(n,\mathbb Z)$43 and $A\in \mathrm{SL}(n,\mathbb Z)$44 are equivalent if and only if $A\in \mathrm{SL}(n,\mathbb Z)$45 and $A\in \mathrm{SL}(n,\mathbb Z)$46 are $A\in \mathrm{SL}(n,\mathbb Z)$47-equivalent. Since $A\in \mathrm{SL}(n,\mathbb Z)$48-equivalence is controlled by the ideal class monoid $A\in \mathrm{SL}(n,\mathbb Z)$49, distinct ideal classes with the same characteristic polynomial can produce inequivalent knot pairs with the same Alexander polynomial. A concrete example occurs in degree $A\in \mathrm{SL}(n,\mathbb Z)$50: for

$A\in \mathrm{SL}(n,\mathbb Z)$51

the ideal class monoid has order $A\in \mathrm{SL}(n,\mathbb Z)$52, so there are two inequivalent Cappell–Shaneson knot pairs with this Alexander polynomial. For $A\in \mathrm{SL}(n,\mathbb Z)$53, the paper records

$A\in \mathrm{SL}(n,\mathbb Z)$54

and there are $A\in \mathrm{SL}(n,\mathbb Z)$55 inequivalent knot pairs not distinguished by the Alexander polynomial. Infinite families of such examples are constructed in degrees $A\in \mathrm{SL}(n,\mathbb Z)$56, $A\in \mathrm{SL}(n,\mathbb Z)$57, $A\in \mathrm{SL}(n,\mathbb Z)$58, and $A\in \mathrm{SL}(n,\mathbb Z)$59 (Endo et al., 1 Apr 2026).

A plausible implication is that the polynomial is best regarded as the first layer of the classification problem rather than a complete invariant. The missing data are the ideal-class-theoretic distinctions inside $A\in \mathrm{SL}(n,\mathbb Z)$60.

6. The cubic family in $A\in \mathrm{SL}(n,\mathbb Z)$61-manifold topology

For Cappell–Shaneson homotopy $A\in \mathrm{SL}(n,\mathbb Z)$62-spheres, the cubic

$A\in \mathrm{SL}(n,\mathbb Z)$63

plays a more specialized role. A Cappell–Shaneson sphere $A\in \mathrm{SL}(n,\mathbb Z)$64 is constructed from a matrix $A\in \mathrm{SL}(n,\mathbb Z)$65 with

$A\in \mathrm{SL}(n,\mathbb Z)$66

by forming the mapping torus

$A\in \mathrm{SL}(n,\mathbb Z)$67

and performing surgery on the circle $A\in \mathrm{SL}(n,\mathbb Z)$68. The resulting manifold is a homotopy $A\in \mathrm{SL}(n,\mathbb Z)$69-sphere exactly when $A\in \mathrm{SL}(n,\mathbb Z)$70, and similar matrices give diffeomorphic Cappell–Shaneson spheres. The classification problem is therefore reduced to similarity classes of matrices satisfying

$A\in \mathrm{SL}(n,\mathbb Z)$71

for the trace-dependent cubic $A\in \mathrm{SL}(n,\mathbb Z)$72 (Iwaki, 2024).

The arithmetic of $A\in \mathrm{SL}(n,\mathbb Z)$73 controls the standard representatives. Every Cappell–Shaneson matrix is similar to

$A\in \mathrm{SL}(n,\mathbb Z)$74

with $A\in \mathrm{SL}(n,\mathbb Z)$75 determined by

$A\in \mathrm{SL}(n,\mathbb Z)$76

The matrix $A\in \mathrm{SL}(n,\mathbb Z)$77 is standard if and only if

$A\in \mathrm{SL}(n,\mathbb Z)$78

Gompf equivalence enlarges similarity by the trace-shift relation

$A\in \mathrm{SL}(n,\mathbb Z)$79

which preserves the diffeomorphism type of the corresponding homotopy $A\in \mathrm{SL}(n,\mathbb Z)$80-sphere. Kim–Yamada’s symmetry theorem identifies trace $A\in \mathrm{SL}(n,\mathbb Z)$81 and trace $A\in \mathrm{SL}(n,\mathbb Z)$82 through

$A\in \mathrm{SL}(n,\mathbb Z)$83

and Gompf equivalence is preserved under this duality. The conjectural statement that every Cappell–Shaneson matrix is Gompf equivalent to

$A\in \mathrm{SL}(n,\mathbb Z)$84

is therefore equivalent for traces $A\in \mathrm{SL}(n,\mathbb Z)$85 and $A\in \mathrm{SL}(n,\mathbb Z)$86 (Kim et al., 2017).

These tools have produced large standardness results. It has been proved that Gompf’s conjecture holds for traces

$A\in \mathrm{SL}(n,\mathbb Z)$87

and later extended to

$A\in \mathrm{SL}(n,\mathbb Z)$88

The cubic arithmetic also yields infinite families of standard spheres beyond the principal family $A\in \mathrm{SL}(n,\mathbb Z)$89. The historically important example is

$A\in \mathrm{SL}(n,\mathbb Z)$90

giving the family

$A\in \mathrm{SL}(n,\mathbb Z)$91

whose corresponding spheres are all diffeomorphic to the standard $A\in \mathrm{SL}(n,\mathbb Z)$92. Subsequent work produced $A\in \mathrm{SL}(n,\mathbb Z)$93 additional infinite families with $A\in \mathrm{SL}(n,\mathbb Z)$94, for a total of $A\in \mathrm{SL}(n,\mathbb Z)$95 explicit parameter triples $A\in \mathrm{SL}(n,\mathbb Z)$96 yielding standard Cappell–Shaneson spheres (Iwaki, 2024).

A concrete geometric instance of the cubic formalism appears in the triangulation of a Cappell–Shaneson knot complement. A specific triangulated $A\in \mathrm{SL}(n,\mathbb Z)$97-manifold $A\in \mathrm{SL}(n,\mathbb Z)$98 is shown to be homeomorphic to

$A\in \mathrm{SL}(n,\mathbb Z)$99

for

$$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$00

whose characteristic polynomial is

$$\det(I-\wedge^k A)=\pm1\qquad \text{for every }k=1,\dots,\left\lfloor \frac n2\right\rfloor.$$01

In that setting the polynomial is recovered from the monodromy action on the abelianized universal abelian cover, and it is also the Alexander polynomial of the knot complement (Budney et al., 2011).