Fourier, Symmetry, and Reconstruction

Starting with a polynomial's coefficients, we construct its root cover and the algebra of its functions. Character projectors decompose the distinguished root observable; multiplication, trace, and norm then produce Cardano's and Ferrari's substitutions and their compatibility equations. We follow this reconstruction mechanism through a family of solvable equations, symmetry-split integrals, and a completely explicit transform on a circle. These calculations prepare Fourier–Mukai reconstruction of vector bundles, including a rank-and-degree reduction, and character decompositions that determine point counts and periods. Motivic isomorphisms lift identities of character sums, while ramification and cohomological weights yield square-root cancellation. The final section develops the kernel formalism and its spectral and higher Galois extensions. Each enlargement is motivated by information needed in a concrete problem, with the deeper equivalence and comparison theorems identified where they enter.

1 Reconstruction as the organizing problem

Why does Cardano look for a root in the form $u + v$ ? Why does Ferrari introduce a cubic in order to solve a quartic? A useful explanation should predict the substitutions, identify the information their auxiliary equations retain, and tell us how to recover the roots without making incompatible choices. Once it does this, it should also help us recognize other problems to which the same method applies.

The coefficients of a polynomial remember its roots without remembering their order. Solving the polynomial lifts this invariant information back to individual roots. The method developed here is to isolate a manageable part of the symmetry, decompose the quantities on which it acts, and retain the operations that connect the components. For an abelian symmetry group, the decomposition is Fourier decomposition. Its elementary form uses character projectors; its more geometric forms use sheaves on a space of characters and transforms between categories.

The operations matter as much as the components. If $u$ and $v$ have inverse characters, their product is invariant. If $u$ has a character of order $n$ , its $n$ -th power is invariant. These facts predict which auxiliary quantities can be expressed in the coefficients. Their actual values and their compatibility come from the multiplication of the original algebra. Cardano's quadratic and Ferrari's cubic then arise as equations for the remaining symmetry orbits.

The companion exposition What a Boundary Map Can Prove follows an incidence complex through counting laws, geometric inequalities, and extension data.

The exposition follows this mechanism through a sequence of enlargements:

\begin{matrix} roots and their multiplication \\ ↓ \\ differentials, integrals, and symmetry quotients \\ ↓ \\ monodromy, extensions, and spectral sheaves \\ ↓ \\ categorical transforms, motives, and higher reconstruction . \end{matrix}

Each enlargement will answer a question that is visible before the new framework is introduced. The Klein four-group that organizes Ferrari also splits a family of genus-two integrals into elliptic integrals. Two matrices with identical eigenvalues force us to retain extension data. An elementary transform on a circle shows how a spectral sheaf preserves that data, and why a two-term complex can be essential. Fourier–Mukai theory then turns global bundle problems into local module calculations. Character sums determine an infinite sequence of point counts, while geometric Fourier transforms turn ramification into a cancellation bound. Finally, motivic and spectral theories promote numerical identities and reconstruction procedures to statements about richer objects.

1.1 What is being reconstructed?

Let $K$ be a field of characteristic zero and introduce independent root coordinates $r_{1}, \dots, r_{n}$ . The symmetric group acts on $K [r_{1}, \dots, r_{n}]$ by permuting them. The invariant ring is generated by the elementary symmetric functions $e_{1}, \dots, e_{n}$ , and

\prod_{i = 1}^{n} (X - r_{i}) = X^{n} - e_{1} X^{n - 1} + e_{2} X^{n - 2} - \dots + (- 1)^{n} e_{n} .

Thus coefficient space is the quotient of ordered-root space by the permutation action. The inverse problem is to lift a coefficient point through that quotient.

Working with formal roots does not assume that the equation has already been solved. We construct identities on the universal root space, express their invariant parts in the coefficients, and solve the resulting reconstruction equations. The identities then specialize to particular polynomials, including ones with smaller Galois groups.

Three operations must be distinguished. An invertible coordinate change retains all information. Passing to invariants forgets distinctions between points in the same orbit. A radical choice recovers part of what was forgotten. Centering changes neither the splitting field nor the Galois group; choosing a resolvent root can select an intermediate field. Later, passing to eigenvalues or to a Grothendieck group will forget different information, namely extensions. The appropriate reconstruction data change with the question.

The universal groups for the cubic and quartic are $S_{3}$ and $S_{4}$ . A particular separable polynomial has a Galois group acting through a subgroup, so some field degrees may drop. Roots of unity are adjoined when needed for character decomposition. Polynomial identities remain valid at repeated roots; the interpretation as unramified covers will be restricted to the distinct-root locus.

1.2 How the ascent is organized

Section 2 starts with the coefficient-defined root algebra and constructs the covers that generate the substitutions. Sections 3–9 develop the algebraic mechanism and derive the classical formulas, an infinite dihedral family, and a finite-field inversion algorithm. The covering-space interpretation then identifies the meaning of each choice. Section 11 applies the same projectors to differentials and gives a first geometric payoff: lower-genus integrals and a Jacobian decomposition up to isogeny.

Section 12 is a laboratory for the categorical transition. Its objects are invertible matrices, its spectral space is $C^{\times}$ , and its transform is an explicit two-term complex. The complete calculation prepares the extension and derived-fibre phenomena used in Section 13. There Fourier–Mukai theory reconstructs bundles from modules and carries out an analogue of the Euclidean algorithm on rank and degree.

Sections 14 and 15 supply arithmetic and quantitative applications. A small Jacobi sum controls the points of a cubic over every finite extension; a motivic isomorphism explains a relation between character sums before taking Frobenius traces. For Kloosterman sums, a local ramification calculation produces the dimension behind the constant in the bound. Section 16 then develops the shared kernel formalism, spectral Cartier and Tannaka duality, higher integration, and a higher Kummer theorem.

The algebraic and small geometric calculations are proved in the text. The deeper equivalence, weight, and motivic theorems are identified at the steps where they do work. The different settings retain their own hypotheses and input data. Their coherence comes from a recurring practice: choose a representation of the problem in which the operations needed for reconstruction become accessible, and keep enough structure to transport the answer back.

2 Construct the cover before choosing the substitution

Starting from the coefficients, we construct a finite algebra, decompose its distinguished element by symmetry, and derive the substitutions from that decomposition. The roots appearing in this construction are universal coordinates. Introducing their coordinate ring is an algebraic construction performed on the given equation; it does not require knowing the values of its roots.

2.1 The equation already defines an object to reconstruct

Let $k$ be a field of characteristic zero, and consider the universal monic polynomial

f (T) = T^{n} + c_{1} T^{n - 1} + \dots + c_{n} .

Write

C_{n} = Spec k [c_{1}, \dots, c_{n}, Δ^{- 1}], E = O_{C_{n}} [T] / (f),

where $Δ$ is the discriminant, and denote the class of $T$ by $α$ . The algebra $E$ is finite étale of rank $n$ . Its relative spectrum $Z = {Spec}_{C_{n}} E$ parametrizes a polynomial together with one of its roots. The element $α$ is its root observable: its value at such a point is precisely that chosen root.

There is also a space $P$ of ordered factorizations

f (T) = (T - r_{1}) \dots (T - r_{n}) .

Construct it by adjoining formal variables $r_{i}$ , imposing the coefficient identities in this equation, and inverting the discriminant. Equivalently, it is the space of ordered distinct $n$ -tuples mapping to their elementary symmetric functions. The map

P ⟶ C_{n}

is an $S_{n}$ -torsor: every geometric fibre consists of the $n!$ orderings, freely and transitively permuted by $S_{n}$ . A polynomial with a smaller arithmetic Galois group gives a possibly disconnected specialization of this torsor; the construction does not assume that its Galois group is the full symmetric group.

Over $C$ , this is a covering space. Following a loop in coefficient space permutes the roots. An intermediate quotient of $P$ remembers only some of the labels and restricts which permutations remain possible. Algebraically, the same operation is finite étale descent.

2.2 Choose a cover on which Fourier decomposition applies

For three and four roots there is an especially useful normal abelian subgroup:

A = C_{3} ◃ S_{3}, A = V_{4} ◃ S_{4} .

Both act regularly on the root labels: once a starting label is chosen, every other label is reached by exactly one element of $A$ . These groups therefore simultaneously give an abelian symmetry and account for every root. This is the reason for choosing them.

Put $Y = P / A$ . The remaining map $P \to Y$ is an $A$ -torsor. The map $Y \to C_{n}$ has group $S_{n} / A$ : it remembers an orientation in the cubic case and an ordering of the three pairings in the quartic case. The respective degrees are $2$ and $6$ . Choosing just one quartic pairing is a different, degree-three intermediate cover, used later for Ferrari's shorter calculation.

Because $A$ acts regularly on the root labels, pulling the root cover $Z$ back to $Y$ identifies it with $P \to Y$ , after fixing the starting label. Thus we have reached an algebra in which the original root observable itself is subject to an abelian action. Nothing has yet suggested a sum of radicals. That sum will be forced by decomposing this observable.

2.3 A reconstruction theorem for the torsor algebra

Assume that $k$ contains the character values of $A$ ; for $C_{3}$ , adjoin a primitive cube root of unity. Let $π : P \to Y$ and $B = π_{*} O_{P}$ .

Proposition 2.1. (The cover as a character-graded algebra) There is a decomposition

B = ⨁_{χ \in \hat{A}} L_{χ}, e_{χ} (b) = \frac{1}{| A |} \sum_{a \in A} χ (a)^{- 1} a (b),

where every $L_{χ}$ is a line bundle, $L_{1} = O_{Y}$ , and multiplication induces isomorphisms

L_{χ} \otimes_{O_{Y}} L_{ψ} \tilde{⟶} L_{χ ψ} .

The line bundles together with these multiplication maps reconstruct $P$ as ${Spec}_{Y} B$ . Every root observable is reconstructed by summing its character projections.

Proof. Étale locally on $Y$ , the torsor is the constant set $A$ , and $B$ is the algebra of functions on $A$ . Character orthogonality decomposes that algebra into the lines spanned by characters. The product of two character functions is their product character, so every displayed multiplication map is an isomorphism. These statements descend to $Y$ , since the projectors and multiplication are intrinsic. The formula $\sum_{χ} e_{χ} = 1$ reconstructs every section. Finally, the relative spectrum of a finite algebra recovers its finite cover.

□

The multiplication is essential: the direct sum of the lines alone does not determine the cover. Its multiplication records the equations for invariant powers and mixed products, including the compatibility of radical choices. This is already a categorical construction with computational content: the symmetric monoidal Fourier equivalence transports a commutative algebra object to a character-graded commutative algebra. The next section proves the underlying projector identities in detail.

2.4 Why the root is a sum of two or three terms

First remove the invariant component of the root observable:

r = α - \frac{1}{n} {Tr}_{E / O_{C_{n}}} (α) .

After pulling back to $Y$ , its trivial-character projection is zero. Indeed, averaging over $A$ averages over all root labels, because the action is regular. Centering is therefore the projector onto the trace-zero part, before it is a substitution in a polynomial.

For the cubic, precisely two character lines remain. Set

u = e_{χ} (r), v = e_{χ^{- 1}} (r),

where $χ$ has order three. The identity resolution in Proposition 2.1 gives

r = u + v .

This is the source of Cardano's substitution. It is not proposed and subsequently justified by a cancellation. It is the decomposition of the distinguished element of the root algebra after passing to the orientation cover. Multiplication now predicts the quantities available downstairs: $u^{3}$ , $v^{3}$ , and $u v$ . The remaining involution exchanges $u$ and $v$ , so the unordered pair ${u^{3}, v^{3}}$ must satisfy a quadratic over coefficient space. The coefficient calculation later identifies that quadratic and the mixed-product constraint.

For the quartic, the three nontrivial characters of $V_{4}$ remain. Write their projections as $a, b, c$ . Then

r = a + b + c .

With the conventional normalization $u = 2 a$ , $v = 2 b$ , $w = 2 c$ , this becomes

r = (u + v + w) / 2.

The other roots arise by the three allowed double sign changes. The squares $u^{2}, v^{2}, w^{2}$ are invariant under $V_{4}$ ; the quotient $S_{3}$ permutes them, predicting their cubic resolvent. Since the product of the three nontrivial characters is trivial, $u v w$ is also invariant. It retains the sign compatibility that three independently extracted square roots would forget.

Thus the group action determines the number and form of the summands, multiplication determines the invariant powers and their compatibility, and descent determines the degrees of the resolvents. The coefficients determine their numerical values. The following calculations make those values explicit.

These classical examples occupy the ordinary algebraic level of the later categorical framework. Their higher analogues will require complexes, mapping spaces, and coherent descent when the objects carry that additional information. Here finite covers and their algebra objects already suffice. The topological interpretation explains the choices and their monodromy; the algebra of the cover performs the root calculation.

3 Fourier decomposition and reconstruction

3.1 Character projectors

Let $A$ be a finite abelian group, and let $k$ be a field of characteristic zero containing all roots of unity whose orders divide the exponent of $A$ . Write

\hat{A} = Hom (A, k^{\times})

for its character group. These hypotheses ensure that $\hat{A}$ has $| A |$ elements and that its characters separate the elements of $A$ . If $A$ acts linearly on a vector space $V$ , define

V_{χ} = {v \in V : a (v) = χ (a) v for every a \in A}, e_{χ} (v) = \frac{1}{| A |} \sum_{a \in A} χ (a)^{- 1} a (v) .

The operator $e_{χ}$ extracts the part of $v$ with transformation rule $χ$ .

Proposition 3.1. The operators $e_{χ}$ are mutually orthogonal projectors with sum the identity. Consequently

V = ⨁_{χ \in \hat{A}} V_{χ}, v = \sum_{χ \in \hat{A}} e_{χ} (v) .

Proof. For a nontrivial character $η$ , choose $b \in A$ with $η (b) \neq 1$ . Multiplication by $b$ permutes $A$ , so

\sum_{a \in A} η (a) = \sum_{a \in A} η (b a) = η (b) \sum_{a \in A} η (a) .

The sum is therefore zero. For the trivial character it is $| A |$ . Reindexing the definition of $e_{χ}$ gives $b (e_{χ} (v)) = χ (b) e_{χ} (v)$ , so its image lies in $V_{χ}$ . On $V_{ψ}$ , character orthogonality says that $e_{χ}$ is the identity if $χ = ψ$ , and zero otherwise. Finally, applying the same summation argument on $\hat{A}$ gives

\sum_{χ \in \hat{A}} χ (a)^{- 1} = | A | δ_{a, 1} .

Thus $\sum_{χ} e_{χ} = {id}_{V}$ , proving the claim.

□

For $A = C_{n} = ⟨ σ ⟩$ , choose a primitive $n$ -th root of unity $ζ$ , and suppose that $σ$ cyclically permutes quantities $r_{0}, \dots, r_{n - 1}$ . Their Fourier coordinates are

u_{j} = \frac{1}{n} \sum_{i = 0}^{n - 1} ζ^{- i j} r_{i}, r_{i} = \sum_{j = 0}^{n - 1} ζ^{i j} u_{j} .

Here $σ (u_{j}) = ζ^{j} u_{j}$ . The coordinate $u_{0}$ is the mean of the roots; centering removes it. The other coordinates isolate the remaining cyclic motions. The familiar sums of radicals will arise by applying this inverse transform after determining the $u_{j}$ .

3.2 The tensor rule behind Fourier coordinates

Character decomposition is compatible with every equivariant linear map. Allowing arbitrary-dimensional vector spaces in both categories, it therefore defines an equivalence

{Rep}_{k} (A) ≃ {Vect}_{k}^{\hat{A}}, V ⟼ (V_{χ})_{χ \in \hat{A}} .

On the right are character-indexed families of vector spaces. The inverse takes their direct sum and lets $a \in A$ act on the $χ$ -summand by $χ (a)$ . For an arbitrary finite-dimensional representation, taking the trace of the projectors recovers the numerical Fourier formula

\dim V_{χ} = \frac{1}{| A |} \sum_{a \in A} χ (a)^{- 1} Tr (a ∣ V) .

Thus the character transform records the dimensions of spaces that already exist before taking traces.

The tensor product carries the decisive additional information. A tensor $v \otimes w$ , with $v \in V_{α}$ and $w \in W_{β}$ , transforms by $α β$ . Hence

(V \otimes_{k} W)_{χ} = ⨁_{α β = χ} V_{α} \otimes_{k} W_{β} .

The equivalence is therefore symmetric monoidal when the family side is equipped with convolution of its character indices. Its unit is $k$ in the trivial-character component and zero elsewhere. Pointwise tensor product of the components would give a different operation and would lose the multiplication rule needed below. This is an elementary categorical form of Fourier theory: the transform retains spaces and maps, together with their tensor relations, rather than only numerical coefficients; see also Baez [4].

3.3 An algebra is more than its representation

Suppose now that $R$ is a commutative $k$ -algebra and that $A$ acts by algebra automorphisms. Its Fourier decomposition satisfies

R = ⨁_{χ \in \hat{A}} R_{χ}, R_{χ} R_{ψ} \subseteq R_{χ ψ}, R_{1} = R^{A} .

Equivalently, $R$ is a commutative algebra object in ${Rep}_{k} (A)$ , transported by the preceding equivalence to a character-graded algebra. Multiplication, its unit, and its associativity remain part of the data.

This distinction has an immediate arithmetic meaning. The extensions $Q (\sqrt{2})$ and $Q (\sqrt{3})$ , with their order-two Galois actions, have isomorphic underlying representations: each is the sum of the trivial and sign representations. Their multiplication differs. A generator of the sign line squares to $2$ in one algebra and to $3$ in the other. The representation identifies the line in which a radical belongs; its multiplication specifies which radical extension it defines.

More generally, if $u$ has character $χ$ of order $n$ , then $u^{n}$ is invariant. If $u$ and $v$ have inverse characters, then $u v$ is invariant. These statements predict the quantities to compute, but they do not prescribe their numerical values. Those values come from the original algebra, or from its coefficient functions. In Cardano's method this distinction becomes the difference between knowing that $u v$ is invariant and determining that it equals a particular multiple of the cubic's linear coefficient.

The coefficient functions supply a second grading: ordinary polynomial degree. The coefficient of $X^{n - j}$ is, up to sign, a homogeneous symmetric polynomial of degree $j$ in the roots. After changing to Fourier coordinates it is still homogeneous of degree $j$ , and every monomial that occurs must have trivial total character. Character and degree together can leave only a few possible monomials. This makes it possible to determine a coefficient by evaluating a small number of convenient configurations, instead of expanding a long product. The resulting numerical constants are normalization data for a structure already identified.

Taking an invariant power forgets a root-of-unity phase. A mixed product can retain the relative phase between two coordinates. Consequently separate equations for the powers do not generally suffice for reconstruction: their solutions must also satisfy the mixed-product equations. These compatibility conditions are the multiplication maps of the original algebra expressed in chosen coordinates.

When $A$ is normal in a larger group $G$ , the quotient $G / A$ acts on $R^{A}$ . It also reorganizes the character components: for $g \in G$ ,

g (R_{χ}) = R_{g \cdot χ}, (g \cdot χ) (a) = χ (g^{- 1} a g) .

Thus the remaining symmetry acts on the invariant quantities obtained by taking powers and compatible products. Resolvent equations describe this residual action. Their coefficients lie downstairs because they are symmetric expressions invariant under the remaining group.

3.4 From a cyclic Galois action to a radical

The reconstruction mechanism is particularly sharp for fields.

Proposition 3.2. Let $L / F$ be a cyclic Galois extension of degree $n$ , with generator $σ$ , and assume that $F$ has characteristic zero and contains a primitive $n$ -th root of unity $ζ$ . There is a nonzero $θ \in L$ such that

σ (θ) = ζ θ, θ^{n} = a \in F^{\times}, L = F (θ) .

Proof. The independence of distinct field automorphisms implies that the operator

e = \frac{1}{n} \sum_{j = 0}^{n - 1} ζ^{- j} σ^{j}

is nonzero. Choose $b \in L$ with $θ = e (b) \neq 0$ . The projector calculation gives $σ (θ) = ζ θ$ , whence $θ^{n} \in F$ . The conjugates $θ, ζ θ, \dots, ζ^{n - 1} θ$ are distinct. Therefore $[F (θ) : F] = n$ , so $F (θ) = L$ .

□

This is the Fourier mechanism in Kummer theory [2, 5]. The same argument shows that, for a finite abelian Galois group $A$ over a coefficient field $F$ containing the character values, every character space $L_{χ}$ is a line over $F$ . Indeed, its projector is nonzero, and the ratio of two nonzero elements of $L_{χ}$ is invariant. Multiplication gives isomorphisms

L_{χ} \otimes_{F} L_{ψ} ≃ L_{χ ψ} .

Choosing a basis in each line expresses these maps as scalars. Associativity constrains those scalars and thereby constrains the choices of radicals. Changing bases changes their displayed values without changing the extension.

The proposition is a structural existence proof. Its definition of $θ$ uses conjugates in $L$ , which are not initially known when solving an equation. An explicit solution must still express suitable powers and products of these Fourier coordinates using the given coefficients. The low-dimensional invariant calculations for the cubic and quartic perform exactly this task.

3.5 Solvable towers and the scope of the construction

Let a separable polynomial over a characteristic-zero field $K$ have splitting field $L$ and solvable Galois group $G$ . Adjoin enough roots of unity, for example those of order $| G |$ , and put

K^{'} = K (μ_{| G |}), E = L K^{'} .

The preliminary extension $K^{'} / K$ is itself radical: a primitive $| G |$ -th root of unity is a $| G |$ -th root of $1$ . The group $H = Gal (E / K^{'})$ is a solvable subgroup of $G$ . Choose a subnormal series with cyclic prime-order quotients,

H = H_{0} ▹ H_{1} ▹ \dots ▹ H_{m} = 1.

Its fixed fields form a tower

K^{'} = E^{H_{0}} \subset E^{H_{1}} \subset \dots \subset E^{H_{m}} = E,

and each step is cyclic Galois. Applying Proposition 3.2 at each step realizes the tower by radicals. Normality is needed between consecutive groups; the individual $H_{i}$ need not all be normal in $H$ . This is the structural reason solvable groups lead to radical solutions [2].

For explicit formulas, one usually chooses a larger abelian normal subgroup when its character coordinates make the invariant algebra simple. The choices of subgroup, ordering, primitive roots of unity, and bases of character lines are not unique. Fourier decomposition makes their roles precise; it does not remove coordinate choices or automatically minimize the size of a formula.

Finally, two settings must remain distinct. In a universal calculation, roots are variable coordinates and one studies a polynomial ring, possibly modulo their sum, with a permutation action. Before inverting the discriminant, this root space includes ramification: its character components need not be line bundles over the invariant ring, and their multiplication maps need not be isomorphisms. On the finite étale torsor locus, Proposition 2.1 proves that they are line bundles with isomorphic multiplication maps. In a particular Galois field extension, these become one-dimensional vector spaces with nonzero multiplication. Universal polynomial identities specialize to concrete equations even when roots coincide or the actual Galois group becomes smaller; statements about Galois degrees require the corresponding field hypotheses. The abstract group predicts possible intermediate symmetries. The algebra, its multiplication, and the given coefficients determine the equation being solved.

4 Centering: the first substitution is a projection

Let

f (X) = X^{n} + a_{1} X^{n - 1} + \dots + a_{n}

have roots $α_{1}, \dots, α_{n}$ , counted with multiplicity. Their mean is

m = \frac{α_{1} + \dots + α_{n}}{n} = - \frac{a_{1}}{n} .

Writing $X = Y + m$ replaces the roots by $r_{i} = α_{i} - m$ , whose sum is zero. The coefficient of $Y^{n - 1}$ therefore vanishes.

This is the projection associated with the decomposition

\begin{matrix} (1) & K^{n} = K (1, \dots, 1) \oplus W_{n}, W_{n} = {(r_{1}, \dots, r_{n}) : r_{1} + \dots + r_{n} = 0} . \end{matrix}

The first summand records the common translation of all roots; the second records their configuration relative to their mean. Both are preserved by permutations. Thus depressing a polynomial removes the trivial representation and leaves the standard representation. This projection is equivariant and uses a scalar already in the coefficient field. The splitting field and Galois group are unchanged; only the coordinates have been simplified.

There is also an intrinsic formulation. In the finite algebra $E = K [X] / (f)$ , let $α$ be the class of $X$ . The trace of multiplication by $α$ is $- a_{1}$ . Replacing $α$ by

α - \frac{{Tr}_{E / K} (α)}{n} 1

makes its trace zero. This description does not require choosing or ordering the roots.

For later reference, the translations give

\begin{aligned} X^{3} + A X^{2} + B X + C & ⟼ Y^{3} + p Y + q, & X & = Y - A / 3, \\ p & = B - A^{2} / 3, & q & = C - A B / 3 + 2 A^{3} / 27; \end{aligned}

and

\begin{aligned} X^{4} + A X^{3} + B X^{2} + C X + D & ⟼ Y^{4} + p Y^{2} + q Y + r, X = Y - A / 4, \\ p & = B - 3 A^{2} / 8, \\ q & = C - A B / 2 + A^{3} / 8, \\ r & = D - A C / 4 + A^{2} B / 16 - 3 A^{4} / 256. \end{aligned}

5 Cardano: descend, diagonalize, and reconstruct

Start with the coefficient data

g (Y) = Y^{3} + p Y + q

and first assume that its discriminant is nonzero. Work over $k = K (ω)$ , where $ω$ is a primitive cube root of unity. The cover construction of Section 2 supplies the space of orderings of the three roots. Quotienting by $C_{3} = A_{3}$ remembers a cyclic orientation while forgetting a starting point. Above that orientation cover, the three-root cover is a $C_{3}$ -torsor. Its algebra $B$ has a tautological root $r$ , with

{Tr}_{B} (r) = 0, g (Y) = {Norm}_{B} (Y - r) .

Trace and norm here are relative to the orientation cover. They are the trace and determinant of multiplication in the rank-three algebra. We have constructed an object from the coefficients, with a distinguished element to reconstruct; no radical expression has been proposed.

5.1 Why the root must be a sum of two components

The character decomposition of this algebra has three summands:

B = B_{1} \oplus B_{χ} \oplus B_{χ^{- 1}}, χ (σ) = ω .

The projector onto $B_{1}$ is normalized trace. Thus the trace-zero condition removes precisely that summand. Applying the identity decomposition to the actual element $r$ gives

r = (e_{1} + e_{χ} + e_{χ^{- 1}}) r = e_{χ} r + e_{χ^{- 1}} r .

Define $u = e_{χ} r$ and $v = e_{χ^{- 1}} r$ . Then $r = u + v$ follows before any polynomial expansion. The two terms are prescribed projections of the root observable, and their transformation rules are part of their definition. This is why this particular decomposition is useful: multiplication will turn $u v$ , $u^{3}$ , and $v^{3}$ into invariant quantities.

To calculate the projectors, label the conjugates $r_{j} = σ^{j} r$ , for $j = 0, 1, 2$ . Proposition 3.1 gives

\begin{matrix} (2) & u = \frac{r_{0} + ω^{2} r_{1} + ω r_{2}}{3}, v = \frac{r_{0} + ω r_{1} + ω^{2} r_{2}}{3} . \end{matrix}

These expressions are the calculated values of the projectors, rather than an independent choice of weighted sums. Their transformation rules are

σ (u) = ω u, σ (v) = ω^{- 1} v .

Applying $σ^{j}$ to the decomposition of $r$ therefore gives

\begin{matrix} (3) & r_{j} = ω^{j} u + ω^{- j} v, j = 0, 1, 2. \end{matrix}

This is the inverse Fourier transform, applied to the root observable. The group $C_{3}$ has exactly two nontrivial characters, so centering leaves exactly two terms. Their orders are three, so their invariant powers will be cubes. Reversing the cyclic orientation interchanges the two characters, so their cubes will be an unordered pair satisfying a quadratic equation. The shape of Cardano's solution is already visible from the cover and its algebra.

When the coefficients vary over $C$ , this also describes analytic continuation. A loop on the orientation cover can rotate the three root sheets; its action on $u, v$ is multiplication by opposite cube-root phases. Returning to the coefficient space permits orientation reversal and hence interchange of the two components. Cubes erase the rotation, and a mixed product preserves the relative phase needed for reconstruction. The topological monodromy is the same action used by the algebraic projectors.

5.2 Multiplication and trace determine the auxiliary equations

We now calculate the invariant data without substituting an ansatz into the cubic. In the character grading,

u v \in B_{1}, u^{3}, v^{3} \in B_{1}, u^{2}, v^{2}, u^{2} v, u v^{2} have nontrivial characters .

Trace vanishes on every nontrivial component. Since the algebra has rank three, it multiplies an invariant scalar by three. Therefore

{Tr}_{B} (r^{2}) = 6 u v, {Tr}_{B} (r^{3}) = 3 (u^{3} + v^{3}) .

The trace identities for the given characteristic polynomial $g$ are

{Tr}_{B} (r^{2}) = - 2 p, {Tr}_{B} (r^{3}) = - 3 q .

For example, the first is Newton's identity with ${Tr}_{B} (r) = 0$ ; the second also follows by taking the trace of $r^{3} + p r + q = 0$ . Hence

\begin{matrix} (4) & u v = - \frac{p}{3}, u^{3} + v^{3} = - q . \end{matrix}

The coefficients enter through trace and norm, while the character grading determines which products survive. The familiar cancellation conditions have emerged as identities of the algebra we constructed.

There is a useful global presentation of the same mechanism. In the universal centered root-coordinate ring, put

s = u v, U = u^{3}, V = v^{3} .

These are fixed by the cyclic action, and their multiplication retains the relation $U V = s^{3}$ .

Proposition 5.1. The invariant rings of the cyclic and full permutation actions are

\begin{matrix} (5) & k [u, v]^{C_{3}} = k [s, U, V] / (U V - s^{3}), k [u, v]^{S_{3}} = k [s, U + V] . \end{matrix}

Proof. A monomial $u^{i} v^{j}$ is fixed by the cyclic action precisely when $i - j$ is divisible by $3$ . Removing a power of $u v$ leaves a power of either $u^{3}$ or $v^{3}$ . These monomials give the first presentation, with the single relation $U V = s^{3}$ . The remaining involution interchanges $U, V$ and fixes $s$ . Its invariants are generated by $s, U + V, U V$ , and the relation eliminates $U V$ .

□

Consequently the map from the cyclic quotient to the coefficient space is explicitly

(s, U, V) ⟼ (p, q) = (- 3 s, - U - V), U V = s^{3} .

Recovering a point above $(p, q)$ requires separating the unordered pair $U, V$ , then lifting one cyclic character coordinate by a cube root. The invariant presentation extends as a polynomial identity across the discriminant locus; the torsor interpretation applies on the distinct-root locus.

5.3 The quadratic resolvent and compatible cube roots

The unordered pair ${U, V}$ has sum $- q$ and product $- p^{3} / 27$ . Therefore its members are the roots of

\begin{matrix} (6) & T^{2} + q T - \frac{p^{3}}{27} = 0. \end{matrix}

Writing

δ = \frac{q^{2}}{4} + \frac{p^{3}}{27},

we obtain

U = - \frac{q}{2} + \sqrt{δ}, V = - \frac{q}{2} - \sqrt{δ} .

Suppose first that $U \neq 0$ . Choose a cube root $u$ of $U$ , and then define

\begin{matrix} (7) & v = - \frac{p}{3 u} . \end{matrix}

The product relation ensures $v^{3} = V$ . Formula (3) now gives all three roots.

The instruction in (7) is essential. Independently chosen cube roots of $U$ and $V$ need not have product $- p / 3$ . Once $u$ is chosen, $v$ is determined. Replacing $u$ by $ω u$ replaces $v$ by $ω^{- 1} v$ , cycling the three answers.

If $U = 0$ but $V \neq 0$ , interchange their roles. If both vanish, $p = q = 0$ and all three roots are zero. Thus the apparent division by $u$ is a choice of coordinate chart, not a restriction on the method.

For the original cubic, the result is

\begin{matrix} (8) & X_{j} = - \frac{A}{3} + ω^{j} u + ω^{- j} v, j = 0, 1, 2, \end{matrix}

with $p, q$ as in Section 4 and the radicals chosen compatibly.

5.4 A worked cubic

Take $X^{3} + 3 X^{2} - 6 = 0$ . The translation $Y = X + 1$ gives

Y^{3} - 3 Y - 4 = 0.

The invariant equations are $u v = 1$ and $u^{3} + v^{3} = 4$ . Thus

U, V = 2 \pm \sqrt{3} .

Taking $u = \sqrt[3]{2 + \sqrt{3}}$ to be the positive real cube root and setting $v = 1 / u$ produces

X_{0} = - 1 + \sqrt[3]{2 + \sqrt{3}} + \sqrt[3]{2 - \sqrt{3}} .

The other roots are $- 1 + ω u + ω^{2} v$ and $- 1 + ω^{2} u + ω v$ . The reciprocal relation between the real cube roots is the numerical form of the invariant constraint $u v = 1$ .

5.5 What the square root remembers

The discriminant is

Δ = - 4 p^{3} - 27 q^{2} = - 27 (U - V)^{2} .

The alternating polynomial

d = (r_{0} - r_{1}) (r_{0} - r_{2}) (r_{1} - r_{2})

satisfies

\begin{matrix} (9) & d = 3 (ω - ω^{2}) (U - V), d^{2} = Δ . \end{matrix}

Even permutations preserve $d$ , whereas odd permutations reverse its sign. A choice of square root of $Δ$ distinguishes the two cyclic orientations of the three roots. The remaining cube-root choice selects a starting point in the chosen cyclic order.

There is a small but important field distinction. Cardano uses $\sqrt{δ}$ , while the alternating invariant uses $\sqrt{Δ}$ , and $δ = - Δ / 108$ . Over $k = K (ω)$ these generate the same extension, because $k$ contains $\sqrt{- 3} = ω - ω^{2}$ . They need not generate the same extension over $K$ . For example, $Y^{3} - 2$ has $δ = 1$ but discriminant $- 108$ . The roots of unity are part of the Galois-theoretic construction.

6 Ferrari: reconstruct a root from three character lines

Apply the same construction to

g (Y) = Y^{4} + p Y^{2} + q Y + r,

first on the distinct-root locus. Here the regular normal abelian subgroup is $V_{4}$ . Pulling the root algebra back to $P / V_{4}$ makes it the algebra of a $V_{4}$ -torsor, with a distinguished trace-zero root observable. The quotient $S_{4} / V_{4} ≃ S_{3}$ acts on three objects: the nontrivial characters, or equivalently the pairings

\begin{matrix} (10) & 12 ∣ 34, 13 ∣ 24, 14 ∣ 23. \end{matrix}

Thus the surjection

\begin{matrix} (11) & S_{4} ⟶ S_{3} \end{matrix}

predicts a cubic resolvent before any auxiliary polynomial is chosen. We now construct the quantities that it will govern.

6.1 The three summands are prescribed by the cover

Let $r_{1}$ denote the root observable, and let $χ_{1}, χ_{2}, χ_{3}$ be the three nontrivial characters of $V_{4}$ . Normalized trace is the trivial-character projector, so

r_{1} = e_{χ_{1}} r_{1} + e_{χ_{2}} r_{1} + e_{χ_{3}} r_{1} .

Define $u = 2 e_{χ_{1}} r_{1}$ , $v = 2 e_{χ_{2}} r_{1}$ , and $w = 2 e_{χ_{3}} r_{1}$ . This normalization makes the coordinates sums of paired roots; the decomposition itself gives

r_{1} = (u + v + w) / 2.

The three-term substitution has now been obtained from the root algebra. To calculate its coordinates, order the other root sheets by the regular $V_{4}$ -action. The character projectors yield

\begin{matrix} (12) & \begin{aligned} u & = \frac{r_{1} + r_{2} - r_{3} - r_{4}}{2} = r_{1} + r_{2}, \\ v & = \frac{r_{1} - r_{2} + r_{3} - r_{4}}{2} = r_{1} + r_{3}, \\ w & = \frac{r_{1} - r_{2} - r_{3} + r_{4}}{2} = r_{1} + r_{4} . \end{aligned} \end{matrix}

Their transformation rules are completely explicit:

\begin{array}{cccc} u & v & w \\ (12) (34) & u & - v & - w \\ (13) (24) & - u & v & - w \\ (14) (23) & - u & - v & w \end{array}

Each nontrivial group element reverses exactly two signs. Applying these three group elements to the decomposition of the root observable gives

\begin{matrix} (13) & \begin{aligned} r_{1} & = (u + v + w) / 2, & r_{2} & = (u - v - w) / 2, \\ r_{3} & = (- u + v - w) / 2, & r_{4} & = (- u - v + w) / 2. \end{aligned} \end{matrix}

Thus the eventual sums of square roots are already dictated by Fourier inversion. What remains is to find the squares and retain the correct relation among their signs.

6.2 The invariants, including the information squares forget

Put

U = u^{2}, V = v^{2}, W = w^{2}, t = u v w .

The squares are attached naturally to the pairings. For example,

U = (r_{1} + r_{2})^{2} = (r_{3} + r_{4})^{2},

so $U$ does not distinguish the two blocks of $12 ∣ 34$ . The product $t$ , however, retains a compatibility condition that three unrelated squares would lose.

Proposition 6.1. For the Klein four action,

\begin{matrix} (14) & K [u, v, w]^{V_{4}} = K [U, V, W, t] / (t^{2} - U V W) . \end{matrix}

The quotient $S_{4} / V_{4}$ permutes $U, V, W$ and fixes $t$ . If $e_{1}, e_{2}, e_{3}$ denote the elementary symmetric polynomials in $U, V, W$ , then

\begin{matrix} (15) & K [u, v, w]^{S_{4}} = K [e_{1}, e_{2}, t], e_{3} = t^{2} . \end{matrix}

Proof. A monomial $u^{i} v^{j} w^{ℓ}$ survives all the double sign changes exactly when $i, j, ℓ$ have the same parity. If all are even, it is a monomial in $U, V, W$ ; if all are odd, it is $u v w$ times such a monomial. This proves (14) and its single relation.

The transpositions $(23), (34)$ interchange $u, v$ and $v, w$ , respectively. The transposition $(12)$ sends $(u, v, w)$ to $(u, - w, - v)$ . These generate $S_{4}$ , so $t$ is fixed and the squares are permuted. Every $V_{4}$ -invariant has a unique expression $A (U, V, W) + t B (U, V, W)$ ; full invariance says that $A, B$ are symmetric. Their dependence on $e_{3}$ can be replaced by dependence on $t^{2}$ .

□

The coefficient calculation again uses the multiplication and trace of the torsor algebra. Write $e_{1} = U + V + W$ and $e_{2} = U V + U W + V W$ . A nontrivial character component has trace zero, whereas an invariant scalar has trace four times itself. In $r_{1} = (u + v + w) / 2$ , this gives

Tr (r_{1}^{2}) = e_{1}, Tr (r_{1}^{3}) = 3 t, Tr (r_{1}^{4}) = \frac{e_{1}^{2} + 4 e_{2}}{4} .

For example, in the cube only the mixed term $u v w$ has trivial character. In the fourth power, the surviving terms are the pure fourth powers and the products of two squares. Their coefficients give the last formula. The known quartic gives Newton's identities

Tr (r_{1}^{2}) = - 2 p, Tr (r_{1}^{3}) = - 3 q, Tr (r_{1}^{4}) = 2 p^{2} - 4 r .

Comparing the two descriptions yields

\begin{matrix} (16) & p = - \frac{e_{1}}{2}, q = - t, r = \frac{e_{1}^{2} - 4 e_{2}}{16} . \end{matrix}

Equivalently,

\begin{matrix} (17) & U + V + W = - 2 p, U V + U W + V W = p^{2} - 4 r, U V W = q^{2}, u v w = - q . \end{matrix}

6.3 The resolvent cubic and coherent square roots

The quotient has permuted the three character squares while retaining their product constraint. The first three identities in (17) therefore say precisely that $U, V, W$ are the roots of

\begin{matrix} (18) & R (Z) = Z^{3} + 2 p Z^{2} + (p^{2} - 4 r) Z - q^{2} . \end{matrix}

This cubic is now available to Cardano's method. Once all three of its roots have been ordered, choose square roots $u, v, w$ satisfying

\begin{matrix} (19) & u^{2} = U, v^{2} = V, w^{2} = W, u v w = - q . \end{matrix}

Then (13) gives the four roots of the quartic.

For $q \neq 0$ , all three squares are nonzero. One may choose $u$ and $v$ arbitrarily and set $w = - q / (u v)$ . The relation $U V W = q^{2}$ gives $w^{2} = W$ . There are four compatible sign choices, corresponding exactly to $V_{4}$ . An arbitrary choice among the eight sign patterns would forget the cubic invariant $u v w$ and might change the sign of the coefficient $q$ .

For $q = 0$ , the quartic is biquadratic:

Y^{4} + p Y^{2} + r = 0.

Solve $Z^{2} + p Z + r = 0$ and take both square roots of each answer. In the invariant description, at least one of $u, v, w$ vanishes, and the product condition is automatically satisfied. No division by a vanishing coordinate is needed.

The familiar alternative resolvent with roots

θ_{1} = r_{1} r_{2} + r_{3} r_{4}, θ_{2} = r_{1} r_{3} + r_{2} r_{4}, θ_{3} = r_{1} r_{4} + r_{2} r_{3}

contains exactly the same information. Indeed $θ_{1} = p + U$ , and similarly for the other two. Translating (18) by $θ = Z + p$ gives

\begin{matrix} (20) & θ^{3} - p θ^{2} - 4 r θ + 4 p r - q^{2} = 0. \end{matrix}

This is the standard pairing resolvent used to study quartic Galois groups; see Milne's treatment in Chapter 4 of [2].

The resolvent also preserves the discriminant. For example,

U - V = (r_{2} - r_{3}) (r_{1} - r_{4}),

and the analogous identities for $U - W$ and $V - W$ together account for all six root differences. Squaring and multiplying gives

disc R = disc g .

In particular, distinct quartic roots give three distinct pairing invariants. The resolvent does not accidentally merge two pairings away from the discriminant locus.

7 Why Ferrari's perfect square appears

Ferrari's practical method chooses one pairing, rather than ordering all three of them. The corresponding cover already predicts a difference of squares. We first construct that operation and only then compute its coefficients.

Let $P$ be the space of ordered, centered, distinct quartic roots. The stabilizer of the pairing $12 ∣ 34$ is a dihedral group $D_{8}$ of order eight. Its subgroup

H = ⟨ (12), (34) ⟩ ≃ S_{2} \times S_{2}

preserves each block separately. Thus

P / H \overset{2}{\to} P / D_{8} \overset{3}{\to} P / S_{4}

has the following meaning: the right-hand map forgets which pairing was selected; the left-hand map forgets which of its two blocks was selected first. These are degrees of covers on the distinct-root locus. A specialized field extension can have smaller degree. Although $H$ is abstractly a Klein four group, it is not the normal double-transposition subgroup $V_{4}$ used in the preceding section.

7.1 The norm forces a difference of squares

The root cover above a selected pairing maps to the double cover that distinguishes its blocks: send a root to the block containing it. Each fibre of this map has two roots. Its rank-two algebra supplies a monic quadratic by taking the relative norm of $Y - α$ . Taking the norm once more down the block cover recovers the original quartic, by transitivity of norms. Thus the two quadratic factors are constructed from the cover itself.

In root coordinates, these two relative norms are the monic quadratic polynomials belonging to the blocks. On the cover that distinguishes the blocks, write them as

Q_{-} (Y) = (Y - r_{1}) (Y - r_{2}), Q_{+} (Y) = (Y - r_{3}) (Y - r_{4}) .

The nontrivial symmetry $ι$ of this double cover exchanges $Q_{+}$ and $Q_{-}$ . Their product is consequently a norm:

g (Y) = Q_{+} (Y) ι (Q_{+} (Y)) .

Here the norm simply means multiplying a quantity by its value on the other sheet. This operation returns a polynomial defined on the space where only the unordered pairing is remembered.

Apply the two character projectors of this involution:

A (Y) = \frac{Q_{+} (Y) + Q_{-} (Y)}{2}, B (Y) = \frac{Q_{+} (Y) - Q_{-} (Y)}{2} .

Then $ι (A) = A$ , $ι (B) = - B$ , and Fourier inversion gives $Q_{+} = A + B$ , $Q_{-} = A - B$ . Multiplying these two reconstructed components gives

\begin{matrix} (21) & g (Y) = A (Y)^{2} - B (Y)^{2} . \end{matrix}

Thus the difference of squares is forced by the norm and the two characters of the block-exchange symmetry. It has appeared before any search for a convenient square to complete.

Centering determines the shapes of the two components. Their average is monic with vanishing linear coefficient, whereas their difference has degree at most one. Hence

A (Y) = Y^{2} + m, B (Y) = s Y + d, s = r_{1} + r_{2} = - (r_{3} + r_{4}) .

The quantities $s$ and $d$ change sign together when the blocks are exchanged. In particular, $z = s^{2}$ is attached to the unordered pairing: it is precisely one root of $R$ . Choosing a sign of $s$ distinguishes the blocks whenever $s \neq 0$ .

7.2 The coefficients determine the reconstruction data

Only now do we use the known coefficients $p, q, r$ . In the norm $(Y^{2} + m)^{2} - (s Y + d)^{2}$ , the coefficients of $Y^{2}$ , $Y$ , and $1$ are respectively

2 m - s^{2} = p, - 2 s d = q, m^{2} - d^{2} = r .

For $q \neq 0$ , every resolvent root $z$ is nonzero. The first two equations then give

m = \frac{p + z}{2}, d = - \frac{q}{2 s} .

The third is the remaining norm compatibility condition:

z (p + z)^{2} - q^{2} = 4 r z,

which is exactly $R (z) = 0$ . The resolvent therefore certifies the descent of the quadratic norm to the prescribed quartic. Its degree three records the three possible pairings; the square root of its chosen root records the two possible block orders.

The reconstructed factors are

Q_{-} = A - B = Y^{2} - s Y + b, Q_{+} = A + B = Y^{2} + s Y + c,

where

\begin{matrix} (22) & b = \frac{p + z + q / s}{2}, c = \frac{p + z - q / s}{2} . \end{matrix}

Their roots are

\begin{matrix} (23) & \frac{s \pm \sqrt{- 2 p - z - 2 q / s}}{2}, \frac{- s \pm \sqrt{- 2 p - z + 2 q / s}}{2} . \end{matrix}

These last two square roots distinguish the roots within each block. Changing $s$ to $- s$ exchanges the two blocks, while changing either remaining sign exchanges the two roots of that block. Undoing the initial centering gives the roots of the original quartic.

In Ferrari's familiar notation, the same norm reads

\begin{matrix} (24) & g (Y) = (Y^{2} + m)^{2} - {(s Y - \frac{q}{2 s})}^{2}, m = \frac{p + z}{2} . \end{matrix}

Eliminating $z = s^{2} = 2 m - p$ gives the usual auxiliary equation

q^{2} = 4 (2 m - p) (m^{2} - r) .

The parameter $m$ is the constant coefficient of the invariant projection $(Q_{+} + Q_{-}) / 2$ . The linear square is the square of the anti-invariant projection $(Q_{+} - Q_{-}) / 2$ . Both substitutions have thus been constructed by the cover and its character projectors.

If $q = 0$ , the original quartic is biquadratic, and one solves $Z^{2} + p Z + r = 0$ before taking square roots. The block cover and its norm still exist for distinct roots, but $s$ can vanish and no longer distinguish its sheets. The formulas involving $1 / s$ are a coordinate chart for the reconstruction, not a requirement that every quartic lie in that chart.

8 Two quartics worked through

8.1 An example in which the signs are visible

Consider

g (Y) = Y^{4} - 10 Y^{2} - 4 Y + 8.

Its resolvent is

R (Z) = Z^{3} - 20 Z^{2} + 68 Z - 16 = (Z - 4) (Z^{2} - 16 Z + 4),

so we may order the squares as

U = 4, V = 8 + 2 \sqrt{15}, W = 8 - 2 \sqrt{15} .

The choices

u = 2, v = \sqrt{5} + \sqrt{3}, w = \sqrt{5} - \sqrt{3}

have the required squares and satisfy $u v w = 4 = - q$ . Formula (13) gives

1 + \sqrt{5}, 1 - \sqrt{5}, - 1 + \sqrt{3}, - 1 - \sqrt{3} .

Alternatively, selecting only $z = 4$ and $s = 2$ gives

g (Y) = (Y^{2} - 2 Y - 4) (Y^{2} + 2 Y - 2) .

The two presentations show the same geometry at different resolutions: the first orders all three pairings and reconstructs the four roots; the second chooses a single pairing and solves its two blocks.

8.2 An example with the full symmetric Galois group

The preceding example has extra arithmetic simplifications. For a quartic with full $S_{4}$ symmetry over $Q$ , take

g (Y) = Y^{4} - Y - 1.

Its resolvent is

R (Z) = Z^{3} + 4 Z - 1.

Cardano gives its unique real root as

\begin{matrix} (25) & z = \sqrt[3]{\frac{1}{2} + \sqrt{\frac{283}{108}}} + \sqrt[3]{\frac{1}{2} - \sqrt{\frac{283}{108}}}, \end{matrix}

where real cube roots are meant. Their product is $- 4 / 3$ , as required. Since $R (0) < 0 < R (1)$ and $R^{'} (Z) = 3 Z^{2} + 4 > 0$ for real $Z$ , we have $0 < z < 1$ . Set $s = \sqrt{z} > 0$ . Ferrari gives the real factorization

Y^{4} - Y - 1 = (Y^{2} - s Y + \frac{z - 1 / s}{2}) (Y^{2} + s Y + \frac{z + 1 / s}{2}) .

Its four roots are

\frac{s \pm \sqrt{- z + 2 / s}}{2}, \frac{- s \pm i \sqrt{z + 2 / s}}{2} .

This is a complete radical solution, with the choices specified rather than hidden in nested radical notation.

For completeness, its Galois group can be checked with little computation. Modulo $2$ , the polynomial becomes $Y^{4} + Y + 1$ . It has no linear factor, and it is not divisible by the only irreducible quadratic over $F_{2}$ , namely $Y^{2} + Y + 1$ ; reduction by that quadratic leaves remainder $1$ . Hence the quartic is irreducible over $Q$ . The resolvent has no rational root and has discriminant $- 283$ , so its Galois group is $S_{3}$ .

The quartic Galois group $G \subseteq S_{4}$ is transitive and maps onto this $S_{3}$ . Thus $| G |$ is divisible by both $4$ and $6$ . The only possibilities are $12$ and $24$ . The unique index-two subgroup of $S_{4}$ is $A_{4}$ , whose image on pairings is only $C_{3}$ , so the order cannot be $12$ . Therefore $G = S_{4}$ . The calculation above genuinely traverses the nonabelian symmetry of a general quartic.

9 Cardano in every degree: the dihedral family

Cardano's calculation extends to an infinite family once its symmetry is made explicit. The relevant feature of the cubic is a pair of Fourier coordinates carrying inverse characters. Keep that representation, replace the third roots of unity by the $n$ -th roots of unity, and ask what equation the quotient produces.

9.1 The invariant ring determines the family

Let $n \geq 3$ , and let $k$ have characteristic zero and contain a primitive $n$ -th root of unity $ζ$ . On $k [u, v]$ , consider

ρ (u, v) = (ζ u, ζ^{- 1} v), τ (u, v) = (v, u) .

The relations $ρ^{n} = τ^{2} = 1$ and $τ ρ τ = ρ^{- 1}$ identify the acting group as ${Dih}_{n} = C_{n} ⋊ C_{2}$ , of order $2 n$ . Put

s = u v, U = u^{n}, V = v^{n}, t = U + V .

The same invariant-monomial argument used for the cubic gives

\begin{matrix} (26) & k [u, v]^{C_{n}} = k [s, U, V] / (U V - s^{n}), k [u, v]^{{Dih}_{n}} = k [s, t] . \end{matrix}

Indeed, $u^{i} v^{j}$ is rotation-invariant precisely when $n$ divides $i - j$ . After factoring powers of $u v$ , it is a power of $u^{n}$ or $v^{n}$ . The reflection exchanges $U$ and $V$ , leaving their sum and product; the latter is already $s^{n}$ .

The quotient by the reflection alone has coordinates $x = u + v$ and $s = u v$ . Therefore $u^{n} + v^{n}$ must be a polynomial in $x, s$ . Its formula is forced by

(u + v) (u^{n - 1} + v^{n - 1}) = u^{n} + v^{n} + u v (u^{n - 2} + v^{n - 2}) .

Define the Dickson polynomials by

\begin{matrix} (27) & D_{0} (X, a) = 2, D_{1} (X, a) = X, D_{n} (X, a) = X D_{n - 1} (X, a) - a D_{n - 2} (X, a) . \end{matrix}

The recurrence proves

\begin{matrix} (28) & D_{n} (u + v, u v) = u^{n} + v^{n} . \end{matrix}

For example,

\begin{aligned} D_{3} (X, a) & = X^{3} - 3 a X, \\ D_{4} (X, a) & = X^{4} - 4 a X^{2} + 2 a^{2}, \\ D_{5} (X, a) & = X^{5} - 5 a X^{3} + 5 a^{2} X . \end{aligned}

Thus the equation arises by fixing the invariant $s = a$ and expressing the remaining invariant $t$ on the reflection quotient. For $a = 1$ , these polynomials satisfy $D_{n} (X, 1) = 2 T_{n} (X / 2)$ , where $T_{n}$ is the Chebyshev polynomial. Their arithmetic applications are developed in [3].

There are two complementary descriptions of the information retained. The coordinate $x = u + v$ , together with $s$ , remembers the unordered pair ${u, v}$ . The coordinates $s, t$ remember its entire orbit under cyclic phase changes as well. Generically, the degree- $n$ polynomial describes the $n$ possible unordered pairs lying above a fixed dihedral orbit. Its degree therefore counts the remaining choices; its coefficients express the information common to every choice.

9.2 One quadratic and one radical in every degree

Fix $a \neq 0$ . To solve $D_{n} (X, a) = t$ , the invariant equations require

U + V = t, U V = a^{n} .

Hence

U, V = \frac{t \pm \sqrt{t^{2} - 4 a^{n}}}{2} .

Choose $u$ with $u^{n} = U$ , and set $v = a / u$ . The product constraint then ensures $v^{n} = V$ . Fourier reconstruction gives

\begin{matrix} (29) & X_{j} = ζ^{j} u + ζ^{- j} \frac{a}{u}, j = 0, \dots, n - 1. \end{matrix}

These are all the roots, counted with multiplicity. One way to see the multiplicities as well is to form the monic product of the $X - X_{j}$ : for independent $u, v$ , its $n$ distinct roots satisfy (28), so it equals $D_{n} (X, u v) - (u^{n} + v^{n})$ . This polynomial identity remains valid after specialization.

Cardano is exactly the case $n = 3$ , with $a = - p / 3$ and $t = - q$ . The case $a = 0$ , excluded only to allow division by $u$ , is simply $X^{n} = t$ .

For every $n$ , the root vector in (29) has just two Fourier frequencies, $+ 1$ and $- 1$ . This is the structural restriction that makes high degree manageable. A general polynomial of degree $n$ does not have this two-frequency form.

The geometric Galois group is equally explicit. With $z$ transcendental and $a \in k^{\times}$ fixed, write

x = z + a / z, t = z^{n} + a^{n} / z^{n} .

The extension $k (z) / k (t)$ has degree $2 n$ . Its $2 n$ automorphisms are generated by $z \mapsto ζ z$ and $z \mapsto a / z$ , so its group is ${Dih}_{n}$ . It is the splitting field of $D_{n} (X, a) - t$ : the roots are given by (29), and the first two recover $z$ by a linear equation. Solving the equation reverses this quotient construction. A quadratic distinguishes $u^{n}$ from $v^{n}$ ; an $n$ -th root chooses a cyclic phase.

The familiar trigonometric solution has the same source. Take $a = 1$ and $t = 2 \cos θ$ , where $0 < θ < π$ . Then $u^{n} = e^{i θ}$ and $v = u^{- 1}$ , so the roots are

X_{j} = 2 \cos (\frac{θ + 2 π j}{n}), j = 0, \dots, n - 1.

All are real and distinct. A point on the unit circle projects to twice its real part under $z \mapsto z + z^{- 1}$ , while multiplication of angles upstairs becomes the Dickson polynomial downstairs. At $n = 3$ , this is the trigonometric form of Cardano's method when all three roots are real. The radical and trigonometric formulas are two coordinate descriptions of the same covering construction. For higher $n$ , they continue to solve the same dihedral family without a new substitution.

9.3 An irreducible quintic with an explicit solution

Consider

f (X) = X^{5} - 5 X^{3} + 5 X - 3.

Put

u = \sqrt[5]{\frac{3 + \sqrt{5}}{2}} > 0, ζ = e^{2 π i / 5} .

All five roots are

X_{j} = ζ^{j} u + ζ^{- j} u^{- 1}, j = 0, \dots, 4.

In particular, the real root is

\sqrt[5]{\frac{3 + \sqrt{5}}{2}} + \sqrt[5]{\frac{3 - \sqrt{5}}{2}} .

This is an irreducible quintic: the translate

f (X + 3) = X^{5} + 15 X^{4} + 85 X^{3} + 225 X^{2} + 275 X + 120

is Eisenstein at $5$ .

Here the arithmetic Galois group over $Q$ is $C_{5} ⋊ C_{4}$ , rather than the geometric group ${Dih}_{5}$ . This distinction records the action on roots of unity. To verify it, let $M = Q (ζ, u)$ . Since $\sqrt{5} \in Q (ζ)$ , its degree is at most $20$ ; irreducibility of $f$ forces $[M : Q (ζ)] = 5$ , hence equality. The automorphisms

ρ : (ζ, u) ⟼ (ζ, ζ u), τ : (ζ, u) ⟼ (ζ^{2}, u^{- 1})

act on root indices as $j \mapsto j + 1$ and $j \mapsto 3 j$ . The second is well-defined because $ζ \mapsto ζ^{2}$ sends $\sqrt{5}$ to $- \sqrt{5}$ . These generate $20$ distinct automorphisms, acting faithfully on the roots, and therefore identify $M$ as their splitting field with the asserted group. Its solvability explains the radical expression; the general quintic has a different Galois group [2].

9.4 The same quotient in finite-field computation

The identity also gives an inversion algorithm for nonlinear maps. Work now over $F_{q}$ , with $a = 1$ . The polynomial identity

D_{m} (D_{n} (X, 1), 1) = D_{m n} (X, 1)

follows by evaluating at $X = z + z^{- 1}$ .

For $x \in F_{q}$ , choose a root $z$ of $Z^{2} - x Z + 1$ in $F_{q^{2}}$ . Frobenius either fixes $z$ or exchanges it with $z^{- 1}$ . Thus $z^{q - 1} = 1$ or $z^{q + 1} = 1$ , and in either case $z^{q^{2} - 1} = 1$ . If

gcd (n, q^{2} - 1) = 1, m n \equiv 1 (\mod q^{2} - 1),

then

D_{m} (D_{n} (x, 1), 1) = z^{m n} + z^{- m n} = x .

Consequently $D_{n}$ permutes $F_{q}$ , with inverse $D_{m}$ . For example, over $F_{7}$ , the inverse of $D_{5} (X, 1) = X^{5} + 2 X^{3} + 5 X$ is $D_{29} (X, 1)$ , since $5 \cdot 29 \equiv 1 (\mod 48)$ . These are equalities of functions on the finite field. The full permutation criterion, including necessity, appears in [3].

The calculation takes place in cyclic multiplicative groups, where inversion means inverting an exponent. Passing through $z \mapsto z + z^{- 1}$ transports that calculation to a polynomial map. The same environment that organizes Cardano's radicals therefore also organizes finite-field permutations.

10 Read the radical choices in the covering tower

The covers of Section 2 produced the reconstruction calculations. We can now identify exactly which sheet each radical choice selects and which information each map forgets. Let $W_{n}$ now denote the affine space of centered ordered roots, and let $W_{n}^{\circ}$ be its open subset where no two roots coincide. Its quotient by $S_{n}$ is the space of centered monic polynomials with distinct roots. A point of the quotient remembers the coefficients and forgets the ordering.

Over the distinct-root locus, the maps below are finite étale covers: algebraic counterparts of covering spaces, with no branching. Over $C$ , one can follow the roots continuously along paths in coefficient space. A loop can return the same polynomial while permuting its roots; this permutation is its monodromy.

10.1 The cubic tower

The cubic construction factors the ordered-root cover as

\begin{matrix} (30) & W_{3}^{\circ} \overset{C_{3}}{\to} W_{3}^{\circ} / C_{3} \overset{C_{2}}{\to} W_{3}^{\circ} / S_{3} . \end{matrix}

The arrows forget information. The first forgets which root is the starting point in a cyclic ordering. The second forgets the cyclic orientation. Solving moves in the reverse direction: a square root chooses the orientation, and a cube root chooses the starting point. Before restricting to distinct roots, the intermediate quotient has the explicit equation $U V = s^{3}$ .

For a particular separable cubic with splitting field $L$ over $k = K (ω)$ and $Gal (L / k) = S_{3}$ , the corresponding field tower is

k \subset k (\sqrt{Δ}) = L^{C_{3}} \subset L,

with degrees $2$ and $3$ . If the actual Galois group is smaller, these degrees can drop. The universal construction and its polynomial identities remain valid.

10.2 The quartic tower and a distinction worth keeping

The quartic has the tower

\begin{matrix} (31) & W_{4}^{\circ} \overset{V_{4}}{\to} W_{4}^{\circ} / V_{4} \overset{S_{3}}{\to} W_{4}^{\circ} / S_{4} . \end{matrix}

The intermediate space remembers an ordering of the three pairings, together with the invariants already specified by the quartic. Its generic fiber over coefficient space has six points, one for each ordering of the three resolvent roots. Over it, the four remaining choices are the compatible sign patterns in (19).

If a quartic has splitting field $L / K$ and Galois group $S_{4}$ , then

K \subset L^{V_{4}} \subset L

has degrees $6$ and $4$ . The field $L^{V_{4}}$ is the splitting field of the resolvent cubic. It is generally not the degree-three field obtained by adjoining just one resolvent root.

Indeed, one pairing is stabilized by a dihedral subgroup $D_{8} \subset S_{4}$ of order eight. Selecting one resolvent root follows the degree-three cover associated with this stabilizer. Choosing $s = \sqrt{z}$ then distinguishes its two blocks, and solving their two quadratics distinguishes the roots inside each block. Generically this route has successive degrees $3, 2, 2, 2$ . Solving the whole resolvent first instead gives degrees $6, 2, 2$ . Both recover the same splitting field.

The stabilizer chain for the one-pairing route is explicitly

S_{4} \supset D_{8} \supset ⟨ (12), (34) ⟩ \supset ⟨ (34) ⟩ \supset {1} .

The group $⟨ (12), (34) ⟩$ preserves each of the two blocks separately. Although it is abstractly a Klein four group, it is different from the normal double-transposition subgroup $V_{4}$ . Adjoining the difference $r_{1} - r_{2}$ leaves only the swap $(34)$ ; adjoining $r_{3} - r_{4}$ removes that last ambiguity.

The distinction explains why the practical one-resolvent-root algorithm and the normal-subgroup tower organize their square roots differently. A choice of one pairing does not yet reduce the symmetry to $V_{4}$ ; an ordering of all three pairings does.

These degree lists describe intermediate fields inside the quartic splitting field. A literal implementation of Cardano may temporarily adjoin a cube root of unity outside that field. In particular, the degree-three step in the first list is not itself being identified with a pure cube-root adjunction.

10.3 Radical extraction as trivializing a torsor

There is a precise cohomological formulation of the remaining ambiguity. For a field $F$ of characteristic not dividing $m$ , the Kummer sequence gives

\begin{matrix} (32) & H_{\overset{´}{e} t}^{1} (Spec F, μ_{m}) ≃ F^{\times} / (F^{\times})^{m} . \end{matrix}

Here $μ_{m}$ is the group of $m$ -th roots of unity. A nonzero equation $z^{m} = a$ defines a $μ_{m}$ -torsor: over an algebraic closure its solutions form a set on which $μ_{m}$ acts freely and transitively. Its cohomology class is the class of $a$ modulo $m$ -th powers. Adjoining a solution makes the class trivial. See [5, 6] for the general statements.

For Cardano, after choosing the orientation and adjoining $ω$ , the remaining equation $u^{3} = U$ represents the class $[U]$ . The equation for $v$ contributes no independent choice because $U V = (- p / 3)^{3}$ . When $p \neq 0$ , it follows that $[V] = [U]^{- 1}$ . Reversing the orientation interchanges these classes, matching the inversion action in $S_{3} ≃ C_{3} ⋊ C_{2}$ . If $p = 0$ , one uses the nonzero coordinate instead of writing a class for zero.

For Ferrari with $q \neq 0$ , work over the splitting field $F$ of the resolvent and order its roots. The classes $[U], [V], [W]$ in $F^{\times} / (F^{\times})^{2}$ satisfy

[U] [V] [W] = [q^{2}] = 1.

At most two independent square classes remain. The equation $u v w = - q$ fixes their compatibility. This is the cohomological expression of the four-element $V_{4}$ -fiber.

The torsor language identifies exactly what is being trivialized and why one radical is dependent on the others. The invariant equations supply explicit representatives of the classes, so the description remains computational.

Repeated roots lie on the discriminant locus, where the covering maps branch. The polynomial identities and reconstruction formulas still hold, with multiplicities and the zero-coordinate cases handled as above; the unramified-cover interpretation is reserved for the complement of that locus.

10.4 Character lines in families

The field calculations can also vary with parameters. A character component over a field is a vector space, often a line. Over a parameter space, the corresponding component can vary as a line bundle. Multiplication between character components becomes multiplication between line bundles, and choosing a radical becomes a problem of choosing compatible local trivializations.

For example, when $n$ is invertible on a scheme $S$ , a $μ_{n}$ -torsor is equivalently described by a line bundle together with a trivialization of its $n$ -th tensor power. Locally it has the form

z^{n} = a, a \in O_{S}^{\times} .

Changing the local generator changes $a$ by an $n$ -th power. Thus the familiar ambiguity of a radical is the coordinate expression of descent data. The Kummer sequence records this construction cohomologically; over a field $K$ , it gives

H_{\overset{´}{e} t}^{1} (K, μ_{n}) ≃ K^{\times} / (K^{\times})^{n} .

This is the geometric version of the eigenline whose $n$ -th power is invariant. The line bundle and its multiplication retain information that disappears if one records only a local equation [5].

11 The same Fourier projectors split an integral

Ferrari's calculation used the characters of the Klein four group to separate four root coordinates. The same operation can separate the differentials on a curve. In a suitable family, it turns a genus-two integration problem into two elliptic ones, and the resulting decomposition also controls point counts over finite fields.

11.1 Two quotient curves from one equation

Choose $a, b \in C$ such that

a b (a - 1) (b - 1) (a - b) \neq 0, f (u) = (u - 1) (u - a) (u - b),

and let $C$ be the smooth projective curve with affine equation

\begin{matrix} (33) & C : y^{2} = f (x^{2}) . \end{matrix}

The map $x : C \to P^{1}$ has degree two and branches at the six distinct roots of $f (x^{2})$ . It is unramified at infinity. Riemann–Hurwitz therefore gives

2 g (C) - 2 = 2 (- 2) + 6 = 2, g (C) = 2.

The involutions

σ (x, y) = (- x, y), h (x, y) = (x, - y)

commute and generate a Klein four group. The second is the hyperelliptic involution. The fixed rational functions for $σ$ are generated by $x^{2}, y$ ; those for $σ h$ are generated by $x^{2}, x y$ . They give the quotient curves and maps

E_{+} : v^{2} = f (u), π_{+} (x, y) = (u, v) = (x^{2}, y),

E_{-} : w^{2} = u f (u), π_{-} (x, y) = (u, w) = (x^{2}, x y) .

Both maps have degree two and extend to the smooth projective models. The cubic defining $E_{+}$ and the quartic defining $E_{-}$ have distinct roots, so both curves have genus one. We take the point at infinity as origin on $E_{+}$ , and $(0, 0)$ as origin on $E_{-}$ . These quotient constructions are the classical degree-two elliptic subcovers of an even sextic [13].

11.2 The decomposition reduces the integrals

The two forms

ω_{0} = \frac{d x}{y}, ω_{1} = \frac{x d x}{y}

are a basis of $H^{0} (C, Ω_{C}^{1})$ . At a finite branch point, $y$ is a local parameter and the equation shows that $d x / y$ is regular. At infinity put $t = 1 / x$ and $Y = t^{3} y$ . Then

Y^{2} = (1 - t^{2}) (1 - a t^{2}) (1 - b t^{2}), ω_{0} = - \frac{t d t}{Y}, ω_{1} = - \frac{d t}{Y} .

Thus both forms are regular there as well. They are linearly independent, and the genus calculation shows that they exhaust the holomorphic differentials.

Now $σ^{*} ω_{0} = - ω_{0}$ and $σ^{*} ω_{1} = ω_{1}$ . The character projectors

\frac{1 - σ^{*}}{2}, \frac{1 + σ^{*}}{2}

separate these two lines. More concretely, the quotient maps give

\begin{matrix} (34) & π_{-}^{*} (\frac{d u}{w}) = 2 ω_{0}, π_{+}^{*} (\frac{d u}{v}) = 2 ω_{1} . \end{matrix}

The factors of two come simply from $d (x^{2}) = 2 x d x$ . The equalities are first checked where the displayed coordinates are valid and then hold globally as identities of holomorphic forms.

For any piecewise smooth path $γ$ on $C$ , and any constants $A, B \in C$ , it follows that

\begin{matrix} (35) & \int_{γ} \frac{(A + B x) d x}{y} = \frac{A}{2} \int_{π_{-} (γ)} \frac{d u}{w} + \frac{B}{2} \int_{π_{+} (γ)} \frac{d u}{v} . \end{matrix}

The integration problems on the right are elliptic. Specifying the paths on the curves also specifies the necessary continuation of the square roots. The decomposition works for every holomorphic differential in this family, including its periods around closed paths.

This is the same reason for using Fourier coordinates as in Ferrari's formula: a symmetry separates a coupled problem into components with simpler reconstruction rules. Here the components live on quotient curves, so the gain is a reduction in geometric complexity.

11.3 What the periods reconstruct

The decomposition extends to rational cohomology:

\begin{matrix} (36) & H^{1} (C, Q) = π_{+}^{*} H^{1} (E_{+}, Q) \oplus π_{-}^{*} H^{1} (E_{-}, Q) . \end{matrix}

Indeed, the pullbacks are injective because their trace maps compose with them to give multiplication by two. Their images have opposite $σ$ -eigenvalues and each has dimension two. Since $\dim_{Q} H^{1} (C, Q) = 4$ , they account for the entire space. Equivalently, one can apply the preceding differential calculation to the holomorphic and antiholomorphic parts of cohomology.

To retain the periods together with their lattice, consider the Jacobian

J (C) = H^{0} (C, Ω_{C}^{1})^{*} / H_{1} (C, Z),

where a cycle acts on differentials by integration. This complex torus is also the algebraic variety ${Pic}^{0} (C)$ of degree-zero line bundles. A map of curves induces pullback on line bundles and a norm map in the other direction. For the present quotients, write

T = (π_{+ *}, π_{- *}) : J (C) ⟶ E_{+} \times E_{-}, S (P, Q) = π_{+}^{*} P + π_{-}^{*} Q .

Here ${Pic}^{0} (E_{\pm})$ is identified with $E_{\pm}$ using the chosen origins.

Proposition 11.1. The maps $S$ and $T$ are isogenies of degree four, and

T \circ S = [2] \times [2] .

Proof. For each degree-two quotient, pullback followed by norm, $π_{\pm *} π_{\pm}^{*}$ , is multiplication by two. The off-diagonal maps vanish. For example, $π_{+ *}$ is unchanged by $σ$ , whereas $σ$ acts on the image of $π_{-}^{*}$ by negation: on $E_{-}$ it sends $(u, w)$ to $(u, - w)$ , which is $[- 1]$ for the chosen origin. Hence $π_{+ *} π_{-}^{*}$ equals its own negative. Its image lies in a finite group of two-torsion points; a homomorphism from a connected elliptic curve to that group is zero. The other off-diagonal map is treated in the same way.

Thus $T S = [2] \times [2]$ . This composition is an isogeny, so $S$ and $T$ , between abelian surfaces of the same dimension, are themselves isogenies. Under the canonical principal polarizations of the Jacobians and the product polarization, norm and pullback are dual. Consequently $S$ and $T$ have equal degrees. Their product is the degree of $[2]$ on an abelian surface, namely $2^{4} = 16$ , so each degree is four.

□

An isogeny has finite kernel; it need not be an isomorphism. Thus the elliptic factors reconstruct the Jacobian up to finite information in the period lattice. The curve itself has not become a product. This distinction makes visible the information that the rational character projectors, with their denominators, do not retain integrally.

11.4 The same decomposition counts points

The equations and maps also make sense over an odd finite field $F_{q}$ , provided that $a b (a - 1) (b - 1) (a - b) \neq 0$ there. They give the exact identity

\begin{matrix} (37) & # C (F_{q}) = # E_{+} (F_{q}) + # E_{-} (F_{q}) - (q + 1) . \end{matrix}

One can check this directly, without a cohomological trace theorem. Let $χ$ be the quadratic character, extended by $χ (0) = 0$ . The number of solutions of $x^{2} = u$ is $1 + χ (u)$ , so

\sum_{x \in F_{q}} χ (f (x^{2})) = \sum_{u \in F_{q}} χ (f (u)) + \sum_{u \in F_{q}} χ (u f (u)) .

The affine point counts follow by adding $q$ . The smooth projective models of $C$ and $E_{-}$ each have two rational points at infinity, because their defining polynomials are monic of even degree; $E_{+}$ has one. Adding these points proves (37).

For example, take $a = 2$ , $b = 3$ over $F_{13}$ . The two character sums on the right are $- 6$ and $1$ , respectively. Hence

# E_{+} (F_{13}) = 8, # E_{-} (F_{13}) = 16, # C (F_{13}) = 10 = 8 + 16 - 14.

The cohomological explanation is that the decomposition of $H^{1}$ , now in $ℓ$ -adic cohomology for $ℓ \neq char (F_{q})$ , respects Frobenius. Therefore the numerator polynomials of the zeta functions factor as $L_{C} (T) = L_{E_{+}} (T) L_{E_{-}} (T)$ . The integral reduction and the point-count identity are two consequences of the same decomposition.

The path toward Fourier–Mukai theory now has a concrete intermediate object. A Jacobian organizes integrals and line bundles on a curve; an elliptic curve is itself such a Jacobian. We can therefore ask what Fourier reconstruction should mean when the character parameters form an entire space of line bundles, and when families and extensions must be retained along with individual components. Before treating holomorphic bundles, the circle gives a model in which the required extension and specialization data can be calculated completely.

12 A circle: Fourier transformation beyond eigenvalues

Finite abelian symmetry gave us character spaces with multiplication. To see why a Fourier transform might need sheaves and complexes, it helps to change just one feature: allow monodromy around a circle to have a nontrivial Jordan block. The resulting transform will still be completely explicit. It will preserve information that eigenvalues, traces, and dimensions forget, and its cohomology will explain why derived fibres enter the geometric theory.

12.1 Monodromy as a module on the character space

Fix a base point and a positive orientation on $S^{1}$ . A finite-dimensional complex local system is a vector space $V$ transported consistently along paths; transport around the positive loop is an invertible map $T : V \to V$ . Cutting the circle at the base point makes the transport trivial, and gluing its two ends by $T$ reconstructs the local system. A morphism is a linear map commuting with monodromy. Thus the category ${Loc}_{fd} (S^{1}, C)$ is the category of such pairs $(V, T)$ . Since $π_{1} (S^{1}) = Z$ , no finite-order relation forces $T$ to be diagonalizable.

The rank-one characters are parametrized by $λ \in C^{\times}$ , their monodromy eigenvalue. Put

R = C [z, z^{- 1}], G_{m} = Spec R .

An invertible operator on a finite-dimensional vector space defines an $R$ -module by specifying the action of $z$ . Such modules are precisely the finite-length $R$ -modules, or equivalently the coherent sheaves on $G_{m}$ with finite support. Here a sheaf is described completely by its module; no gluing calculation is hidden in the notation.

For the Fourier convention used below, let $S (V, T)$ be $V$ with $z$ acting as $T^{- 1}$ . This defines an exact equivalence

\begin{matrix} (38) & S : {Loc}_{fd} (S^{1}, C) \tilde{⟶} {Coh}_{fin} (G_{m}) . \end{matrix}

The inverse takes multiplication by $z^{- 1}$ as monodromy. Both constructions keep all intertwining maps and exact sequences. A rank-one system with monodromy $λ$ becomes the skyscraper module $R / (z - λ^{- 1})$ : a point on the character space. The inverse appears because the transform pairs the input with a character, rather than its inverse.

12.2 The universal kernel and its two-term calculation

The module description is also obtained by an integral-transform construction. Let $U$ be the local system of free rank-one $R$ -modules on $S^{1}$ whose monodromy is multiplication by $z$ . It packages every rank-one character at once: specialization at $z = a$ gives the character with monodromy $a$ . For a local system $L_{T}$ , form

M (L_{T}) = R Γ (S^{1}, L_{T} \otimes_{C} U) .

This is the circle version of a Mellin transform: tensor with a universal character and then take cohomology. The corresponding construction on complex algebraic varieties, and its relation to Fourier–Mukai theory, is developed in [15].

Use one vertex and one positively oriented edge for the circle. On its universal cover, the boundary of a lifted edge is its terminal vertex minus its initial vertex. For coefficients with monodromy $z T$ , the cellular cochain differential is therefore $z T - I$ . Consequently

\begin{matrix} (39) & M (L_{T}) ≃ C_{T} := [R \otimes_{C} V \overset{z T - I}{\to} R \otimes_{C} V], \end{matrix}

where the two terms have cohomological degrees $0, 1$ .

Proposition 12.1. There is a natural isomorphism

M (L_{T}) ≃ S (V, T) [- 1] .

Thus $M [1]$ , restricted to finite-dimensional local systems, is the exact equivalence (38).

Proof. The determinant $det (z T - I)$ is a nonzero Laurent polynomial. Hence $z T - I$ is invertible over $C (z)$ , and is injective on the free $R$ -module $R \otimes V$ . In its cokernel, the relation $z T v = v$ says that $z$ acts as $T^{- 1}$ . Explicitly, the map

R \otimes V ⟶ S (V, T), \sum_{j} z^{j} v_{j} ⟼ \sum_{j} T^{- j} v_{j}

annihilates the image of $z T - I$ . Every class reduces uniquely to a constant vector, so it identifies the cokernel with $S (V, T)$ . The complex has cohomology only in degree one, which accounts for the shift $[- 1]$ . These maps commute with every intertwiner.

□

Here the categorical transform is an equivalence on the stated source and target, not an assertion about all constructible sheaves on all spaces. Its kernel, cohomology, and reconstruction can all be calculated from one matrix.

12.3 Thickened points record what a list of characters loses

Compare the monodromies

T_{0} = (\begin{matrix} 1 & 0 \\ 0 & 1 \end{matrix}), T_{1} = (\begin{matrix} 1 & 1 \\ 0 & 1 \end{matrix}) .

They have the same eigenvalues and the same trace of every integral power. Nevertheless,

\dim H^{0} (S^{1}, L_{T_{0}}) = 2, \dim H^{0} (S^{1}, L_{T_{1}}) = 1,

because a global flat section is precisely a vector fixed by monodromy. Their spectral modules are

S (V, T_{0}) ≃ k (1) \oplus k (1), S (V, T_{1}) ≃ R / (z - 1)^{2},

where $k (1) = R / (z - 1)$ . The second is a length-two thickening of the point $1$ : multiplication by $z - 1$ is nonzero, but its square vanishes. That nilpotent action records the nonsplit extension between the two character lines. It changes an observable cohomology group even though every character trace agrees.

12.4 Tensor product becomes convolution

Let $m : G_{m} \times G_{m} \to G_{m}$ be multiplication. For finite-length modules, define convolution by

M ⋆ N = m_{*} (M ⊠ N) .

Concretely, its underlying vector space is $M \otimes_{C} N$ , and $z$ acts as $z_{M} \otimes z_{N}$ . The supports are finite, so this operation stays within finite-length coherent sheaves and uses ordinary pushforward. Therefore

\begin{matrix} (40) & S (V \otimes W, T \otimes U) ≃ S (V, T) ⋆ S (W, U) . \end{matrix}

The unit is the point module $k (1)$ . With these operations, (38) is an exact symmetric monoidal equivalence. It preserves extensions and multiplication, as the finite character decomposition did earlier.

For unipotent monodromy, the logarithm $N = \log T$ is a finite polynomial in $T - I$ . In the formal coordinate $s = - \log z$ at $1$ , the spectral action is $s = N$ . Multiplication of spectral parameters becomes addition of these coordinates, so tensor product is governed by

N_{V \otimes W} = N_{V} \otimes I + I \otimes N_{W} .

For two nonsplit rank-two systems, the calculation becomes

C [x, y] / (x^{2}, y^{2}), s \cdot f = (x + y) f .

There is a length-three chain $1 \mapsto x + y \mapsto 2 x y \mapsto 0$ , and the independent vector $x - y$ is killed by $s$ . The tensor product therefore has unipotent Jordan blocks of sizes three and one. Below, Fourier–Mukai duality will turn this same calculation into a decomposition of vector bundles on an elliptic curve. The passage to a logarithmic coordinate uses characteristic zero.

12.5 Why taking a fibre must retain a complex

The trivial rank-one local system gives an especially small example:

\begin{matrix} (41) & M (L_{I}) = [R \overset{z - 1}{\to} R] ≃ k (1) [- 1] . \end{matrix}

Specialize the free complex at $z = a$ . It becomes

[C \overset{a - 1}{\to} C] .

For $a \neq 1$ , its cohomology vanishes. At $a = 1$ , its differential is zero, so its $H^{0}$ and $H^{1}$ are both $C$ , as required for the ordinary cohomology of a circle. This operation is the derived fibre

M (L_{I}) \otimes_{R}^{L} k (a) .

The ordinary fibre of the single module $k (1) [- 1]$ would retain only degree one. The missing degree zero is supplied by ${Tor}_{1}^{R} (k (1), k (1)) ≃ C$ , followed by the shift. Keeping a free resolution before specialization retains precisely the information needed at the exceptional character.

The example supplies concrete reasons for the next enlargement. Sheaves record spectral support and its infinitesimal thickness; complexes make specialization compatible with cohomology; convolution transports tensor calculations. The holomorphic Fourier–Mukai transform implements related operations with a different source and a different character space. In particular, the rank-one complex local systems on an elliptic curve are parametrized by $(C^{\times})^{2}$ , whereas its degree-zero holomorphic line bundles form ${Pic}^{0} (E)$ , itself an elliptic curve. The geometric theorem concerns the latter space. The circle calculation prepares its mechanisms without identifying these distinct theories.

13 Fourier–Mukai: reconstructing global bundles

The circle transform kept monodromy as a sheaf on its character space. We now seek a transform for holomorphic bundles on an elliptic curve, where the dual parameters are degree-zero line bundles. The genus-two example has already introduced this space through the Jacobian. Two concrete questions will guide the construction: how can we compute with nonsplit extensions, and how much data is needed to reconstruct a stable bundle of higher rank?

13.1 A question that requires extension data

Before constructing a transform, it is useful to see what the transformed data must distinguish. On a smooth complex elliptic curve $E$ , compare the split bundle $O_{E} \oplus O_{E}$ with a nonsplit extension

\begin{matrix} (42) & 0 ⟶ O_{E} ⟶ F_{2} ⟶ O_{E} ⟶ 0. \end{matrix}

Both have two trivial line bundles as successive quotients, and both have class $2 [O_{E}]$ in the ordinary Grothendieck group $K_{0} (E)$ . Nevertheless, they have different numbers of global sections.

The beginning of the cohomology exact sequence is

0 ⟶ C ⟶ H^{0} (E, F_{2}) ⟶ C \overset{δ}{\to} C ⟶ H^{1} (E, F_{2}) ⟶ C ⟶ 0.

The connecting map $δ$ takes $1$ to the extension class in ${Ext}^{1} (O_{E}, O_{E}) = H^{1} (E, O_{E}) ≃ C$ . The extension is nonsplit, so $δ$ is a nonzero map between one-dimensional spaces and is therefore an isomorphism. Exactness gives

\begin{matrix} (43) & h^{0} (E, F_{2}) = h^{1} (E, F_{2}) = 1, h^{0} (E, O_{E} \oplus O_{E}) = 2. \end{matrix}

Here $h^{i}$ denotes the dimension of $H^{i}$ . A record of the two constituent line bundles cannot recover this elementary invariant. A useful Fourier transform must retain how the constituents are attached. The distinction will become a small piece of geometry on the dual curve: a doubled point with a nonzero nilpotent direction, rather than two independent copies of a point.

13.2 A character space carrying sheaves

The circle calculation replaced a list of eigenvalues by a sheaf that retained nilpotent structure. For holomorphic bundles, a geometric transform must likewise preserve extensions and their variation. Its dual parameter space will now consist of line bundles, and its kernel will be their universal family. Let $E$ be a smooth complex elliptic curve with origin $0$ , and let

\hat{E} = {Pic}^{0} (E)

be its dual elliptic curve. A point of $\hat{E}$ specifies a degree-zero line bundle on $E$ . Tensor product supplies the group law on this parameter space, just as multiplication supplies the group law on ordinary characters.

The universal family is the normalized Poincaré line bundle $P$ on $E \times \hat{E}$ . It is the geometric kernel replacing the scalar pairing $χ (x)$ . With $p_{E}$ and $p_{\hat{E}}$ the two projections, define

\begin{matrix} (44) & Φ_{P} (F) = R p_{\hat{E} *} (L p_{E}^{*} F \otimes^{L} P) . \end{matrix}

The construction has the same three operations as an integral transform: move the input to the product, multiply by the kernel, and integrate along the original variable. Here integration is derived pushforward, which retains all cohomological degrees rather than only ordinary sections.

Mukai's theorem says that this functor is an equivalence

D^{b} Coh (E) ≃ D^{b} Coh (\hat{E}) .

After identifying the elliptic curve with its dual by the origin, and using the compatible normalized Poincaré kernel, its elementary transforms are

\begin{matrix} (45) & Φ (k (x)) ≃ P_{x}, Φ (P_{x}) ≃ k (- x) [- 1], Φ^{2} ≃ (- 1_{E})^{*} [- 1] . \end{matrix}

Here $k (x)$ is the skyscraper sheaf at $x$ . A point mass becomes a character-like line bundle; applying the transform twice gives reflection, together with a cohomological shift. These are precise categorical counterparts of elementary Fourier identities [8].

The shift matters. For instance, a nontrivial degree-zero line bundle $L$ has no cohomology: a nonzero section would trivialize it, and Serre duality gives the same conclusion for $H^{1} (E, L)$ . The trivial bundle has both $H^{0}$ and $H^{1}$ . Derived pushforward organizes this jump into the object $k (0) [- 1]$ . Its derived fibre at the origin has cohomology in degrees zero and one: the skyscraper sheaf has a nonzero ${Tor}_{1}$ with itself. Replacing it by a list of ordinary fibre dimensions would lose the gluing and derived structure at the exceptional point.

If $m : E \times E \to E$ is addition, define convolution by

F ⋆ G = R m_{*} (F ⊠^{L} G) .

The multiplicativity of the Poincaré kernel yields

\begin{matrix} (46) & Φ (F ⋆ G) ≃ Φ (F) \otimes^{L} Φ (G) . \end{matrix}

Thus convolution becomes tensor product as a functorial identity. It applies to objects and maps, including extension data, rather than merely to numerical functions [8].

13.3 A tensor-product calculation through infinitesimal spectral data

We can now answer a tensor-product question while retaining the extension data just identified. Call a vector bundle unipotent if it has a filtration whose successive quotients are $O_{E}$ . The nonsplit bundle $F_{2}$ of (42) is the first nontrivial example. Since ${Ext}^{1} (O_{E}, O_{E}) ≃ C$ , all its nonzero extension classes give isomorphic middle bundles. The question is to decompose $F_{2} \otimes F_{2}$ into indecomposable bundles.

Set $Ψ = Φ [1]$ on unipotent bundles. The Fourier–Mukai theorem restricts to an equivalence of abelian categories

\begin{matrix} (47) & Ψ : Unip (E) \tilde{⟶} {Coh}_{0} (\hat{E}), Ψ (F \otimes G) ≃ Ψ (F) ⋆ Ψ (G), \end{matrix}

where the target consists of coherent sheaves supported at the origin. This is a categorical equivalence, not just an equality of classes in a ring. On the formal neighbourhood of the origin, its target is the category of finite-length $C [[t]]$ -modules, or equivalently finite-dimensional vector spaces with a nilpotent operator given by multiplication by $t$ . The indecomposables are $C [[t]] / (t^{r})$ . Their inverse transforms are the indecomposable unipotent bundles $F_{r}$ , with

\begin{matrix} (48) & Ψ (F_{r}) ≃ C [[t]] / (t^{r}), F_{1} = O_{E} . \end{matrix}

The equivalence and its compatibility with convolution are discussed explicitly by Schröer [7].

Convolution remembers the group law of $\hat{E}$ . Over $C$ , a formal logarithm provides a coordinate in which that law is additive. In this coordinate the convolution of two finite-length modules is their tensor product over $C$ , with $t$ acting as $t \otimes 1 + 1 \otimes t$ . This coordinate choice uses characteristic zero; in positive characteristic the formal group law cannot in general be replaced by the additive law.

Consequently the bundle calculation becomes a four-dimensional linear algebra problem:

Ψ (F_{2} \otimes F_{2}) ≃ M := C [x, y] / (x^{2}, y^{2}), t \cdot f = (x + y) f .

This is the same nilpotent calculation as in Section 12: multiplication by $x + y$ has Jordan blocks of lengths three and one. The corresponding module decomposition is

M ≃ C [t] / (t^{3}) \oplus C [t] / (t) .

Applying the inverse equivalence proves

\begin{matrix} (49) & F_{2} \otimes F_{2} ≃ F_{3} \oplus O_{E} . \end{matrix}

The global geometry has supplied an environment in which the calculation is forced by a small local model.

The same mechanism gives, in characteristic zero,

\begin{matrix} (50) & F_{r} \otimes F_{s} ≃ ⨁_{i = 1}^{min (r, s)} F_{r + s + 1 - 2 i} . \end{matrix}

One proof identifies multiplication by $x$ on $C [x] / (x^{r})$ with the raising operator in an irreducible ${sl}_{2}$ -representation. On the tensor product the raising operator is multiplication by $x + y$ ; the Clebsch–Gordan decomposition gives precisely these Jordan block sizes [8]. Fourier geometry has connected a tensor product of bundles with the representation theory of another group.

This example also identifies what a numerical shadow forgets. In ordinary $K_{0} (E)$ , the exact sequence (42) imposes $[F_{2}] = 2 [O_{E}]$ . The category distinguishes the nonsplit bundle from the split one: their transforms are respectively $C [[t]] / (t^{2})$ and $k (0) \oplus k (0)$ . An infinitesimally thickened point and two copies of a reduced point have the same length but different module structures. Categorification retains the difference and makes it usable in calculations.

13.4 A Euclidean algorithm for vector bundles

Fourier–Mukai reconstruction also simplifies bundles beyond the unipotent case. For a nonzero vector bundle $V$ , its slope is

μ (V) = \frac{\deg V}{rank V} .

It is called stable if every nonzero proper subbundle of smaller rank has strictly smaller slope. This condition controls how $V$ can be assembled from lower-rank pieces.

Let $Φ$ be the normalized elliptic Fourier–Mukai transform used above, with $E$ identified with its dual. Its action on rank and degree is

\begin{matrix} (51) & (r, d) ⟼ (d, - r) . \end{matrix}

There is a short way to derive the formula from the elementary transforms already computed. The numerical Grothendieck group of an elliptic curve is $Z^{2}$ , recorded by rank and degree, with basis $[O_{E}]$ and $[k (0)]$ . This follows from Riemann–Roch for the Euler pairing $χ (U, V) = \sum_{i} (- 1)^{i} \dim {Ext}^{i} (U, V)$ :

χ (U, V) = rank (U) \deg (V) - \deg (U) rank (V) .

The transform preserves this Euler pairing and so induces an automorphism of the numerical group. Since

Φ (O_{E}) = k (0) [- 1], Φ (k (0)) = O_{E},

it sends the two basis vectors to $(0, - 1)$ and $(1, 0)$ , respectively. This proves (51). For complexes, rank and degree mean the alternating sums of the ranks and degrees of their cohomology sheaves; the minus sign records the shift.

A numerical formula alone does not show that a transformed object is again a vector bundle. The needed geometric theorem says that if $V$ is stable of positive degree, then $Φ (V)$ is a stable vector bundle in cohomological degree zero. For stable bundles of negative degree, the sole nonzero cohomology sheaf is instead in degree one and is stable [14]. These are additional properties of the elliptic transform.

The absence of higher cohomology in the positive-degree case can already be understood from slopes. For every degree-zero line bundle $P$ , Serre duality gives

H^{1} (E, V \otimes P) ≃ Hom (V \otimes P, O_{E})^{*} = 0.

The last equality follows because a stable bundle of positive slope has no nonzero map to the semistable bundle $O_{E}$ of slope zero. Riemann–Roch then gives $h^{0} (E, V \otimes P) = d$ . Cohomology and base change assemble these spaces into a vector bundle of rank $d$ on the dual curve. The stability of that bundle is the further theorem just cited.

Tensoring by a degree- $m$ line bundle preserves stability and changes the numerical data by

(r, d) ⟼ (r, d + m r) .

These two operations act like the steps of the Euclidean algorithm, while remaining invertible operations on the objects themselves.

For a fully explicit instance, let $V$ be stable of rank five and degree two. Applying the transform and tensoring by the indicated line bundles produces

\begin{aligned} (5, 2) & \overset{Φ}{\to} (2, - 5), \\ (2, - 5) & \overset{\otimes O_{E} (3 \cdot 0)}{\to} (2, 1), \\ (2, 1) & \overset{Φ}{\to} (1, - 2), \\ (1, - 2) & \overset{\otimes O_{E} (2 \cdot 0)}{\to} (1, 0) . \end{aligned}

Both inputs to $Φ$ have positive degree. Every stage is therefore an actual stable vector bundle, and the final object is a degree-zero line bundle $L$ . With

T (V) = Φ (Φ (V) \otimes O_{E} (3 \cdot 0)) \otimes O_{E} (2 \cdot 0),

the entire reduction reads $T (V) = L$ .

Every operation in $T$ is an equivalence, so $L$ reconstructs $V$ , including its isomorphism class, by reversing those operations. Conversely, start with any $L \in {Pic}^{0} (E)$ . Undoing the last twist gives a line bundle of degree $- 2$ . The inverse transform takes it to a stable bundle of rank two and degree one; undoing the degree-three twist gives degree $- 5$ , and the next inverse transform gives rank five and degree two. Indeed, the inversion formula gives $Φ^{- 1} ≃ (- 1_{E})^{*} Φ [1]$ , and the negative-degree clause of the same theorem makes the shift cancel the degree-one cohomology of each transform. Thus this procedure gives a bijection between the isomorphism classes of stable bundles of rank five and degree two and the points of ${Pic}^{0} (E)$ .

The numerical Euclidean algorithm is only the visible record of the calculation. The equivalences carry the bundles and their morphisms through it. A classification problem for rank-five bundles has become a reconstruction problem from one line bundle on the dual elliptic curve.

14 Another cubic: from Fourier projectors to counting and periods

The same projectors can do something quite different from extracting roots: they can count solutions. This opens a second geometric branch, in which the spectral operator is Frobenius and its traces count solutions over finite fields. We will begin with a five-term calculation, recover the number of points on a curve over every finite extension, and then identify a categorical statement whose numerical consequence is a character-sum identity.

14.1 A projector that counts cube roots

Consider the smooth projective cubic

E : X^{3} + Y^{3} = Z^{3}

over $F_{7}$ . It has genus one and a rational point. Let $ω = e^{2 π i / 3}$ , choose the cubic character $χ : F_{7}^{\times} \to μ_{3}$ by $χ (3) = ω$ , and put $χ (0) = 0$ . The element $3$ generates $F_{7}^{\times}$ ; in the order $1, 2, 3, 4, 5, 6$ , the character values are

1, ω^{2}, ω, ω, ω^{2}, 1.

For every $t \in F_{7}$ , including zero,

\begin{matrix} (52) & A (t) := # {x \in F_{7} : x^{3} = t} = 1 + χ (t) + χ (t)^{2} . \end{matrix}

For nonzero $t$ , the right side is three when $t$ is a cube and zero otherwise. At zero it is one. This is character orthogonality serving as an exact indicator, rather than as a change of coordinates.

The affine point count is the convolution

N_{aff} = \sum_{t \in F_{7}} A (t) A (1 - t) .

Define the Jacobi sum

J (ρ, η) = \sum_{t \in F_{7}} ρ (t) η (1 - t),

where the nontrivial characters are extended by zero. The terms linear in a nontrivial character sum to zero. Also

J (χ, χ^{- 1}) = - χ (- 1) = - 1 :

indeed, $t \mapsto t / (1 - t)$ runs through all field elements except $- 1$ , with the zero term contributing nothing. Writing $J = J (χ, χ)$ , expansion therefore gives

N_{aff} = 7 + J + \overset{―}{J} - 2.

At infinity, $Z = 0$ , there are three points: their ratios $X / Y$ are the three cube roots of $- 1$ . Thus

\begin{matrix} (53) & # E (F_{7}) = 8 + J + \overset{―}{J} . \end{matrix}

The correction at infinity matters: a character sum initially counts points in an affine chart, not automatically on its projective completion.

Only $t = 2, 3, 4, 5, 6$ contribute to $J$ . Their contributions are, respectively,

ω^{2}, 1, ω^{2}, 1, ω^{2} .

Consequently

\begin{matrix} (54) & J = 2 + 3 ω^{2} = - 1 - 3 ω, J + \overset{―}{J} = 1, J \overset{―}{J} = 7. \end{matrix}

Equation (53) gives nine points: six affine points and three at infinity.

14.2 Why this calculation controls every extension field

Fix a prime $ℓ \neq 7$ and use $ℓ$ -adic cohomology with coefficients enlarged to contain the character values. Geometric Frobenius is normalized here to act by $7$ on $H^{2} (E_{{\overset{―}{F}}_{7}}, {\overset{―}{Q}}_{ℓ})$ . The trace formula and the cohomology of a smooth projective genus-one curve give

\begin{matrix} (55) & # E (F_{7^{r}}) = 1 + 7^{r} - Tr ({Fr}^{r} ∣ H^{1} (E_{{\overset{―}{F}}_{7}}, {\overset{―}{Q}}_{ℓ})) . \end{matrix}

Here $H^{1}$ is two-dimensional and the determinant of Frobenius on it is $7$ . Since the point count is nine, its trace is $- 1$ . Its characteristic polynomial is therefore

T^{2} + T + 7.

By (54), the two roots are

\begin{matrix} (56) & α = - J = 1 + 3 ω, β = - \overset{―}{J} = 1 + 3 ω^{2} . \end{matrix}

The general Jacobi-sum description of Fermat curves explains this identification through the action

(a, b) [X : Y : Z] = [a X : b Y : Z], (a, b) \in μ_{3}^{2} .

Its two nonzero character components in $H^{1}$ are lines. Frobenius preserves them, and the corresponding scalars are the two negatives of the Jacobi sums. The character-projector calculation has found the spectrum of a geometric operator [16].

Taking powers of this one operator now gives

\begin{matrix} (57) & # E (F_{7^{r}}) = 7^{r} + 1 - α^{r} - β^{r} . \end{matrix}

No diagonalization choices are needed for computation. Put $s_{r} = α^{r} + β^{r}$ . Then

s_{0} = 2, s_{1} = - 1, s_{r} = - s_{r - 1} - 7 s_{r - 2} (r \geq 2) .

This gives $s_{2} = - 13$ , $s_{3} = 20$ , and $s_{4} = 71$ , hence

# E (F_{7}) = 9, # E (F_{49}) = 63, # E (F_{343}) = 324, # E (F_{2401}) = 2331.

Direct finite-field enumeration confirms these four values. The recurrence itself determines infinitely many further counts. Equivalently, the zeta function is

\begin{matrix} (58) & Z (E, T) := \exp (\sum_{r \geq 1} # E (F_{7^{r}}) \frac{T^{r}}{r}) = \frac{1 + T + 7 T^{2}}{(1 - T) (1 - 7 T)} . \end{matrix}

Moreover $| α | = | β | = \sqrt{7}$ , so

\begin{matrix} (59) & | # E (F_{7^{r}}) - (7^{r} + 1) | \leq 2 7^{r / 2} . \end{matrix}

For this special curve the norm identity is already visible in the five-term sum. Cohomology explains why the same two numbers govern all extension fields, and places the calculation inside a theory that applies to curves without this convenient character formula.

14.3 The same symmetry selects a period

Now consider the same equation over $C$ . In the chart $Z = 1$ , the differential

ν = \frac{d x}{y^{2}}, x^{3} + y^{3} = 1,

extends to a holomorphic differential on $E$ . For example, near $y = 0$ the relation $x^{2} d x + y^{2} d y = 0$ rewrites it as $- d y / x^{2}$ . Under $(x, y) \mapsto (a x, b y)$ , with $a^{3} = b^{3} = 1$ , it satisfies

(a, b)^{*} ν = a b ν .

Thus this differential belongs to a definite character line, just as a Fourier coordinate does.

Let $γ$ be the real arc from $(0, 1)$ to $(1, 0)$ . Substituting $t = x^{3}$ gives the explicit integral

\begin{matrix} (60) & \int_{γ} ν = \int_{0}^{1} \frac{d x}{(1 - x^{3})^{2 / 3}} = \frac{1}{3} \int_{0}^{1} t^{- 2 / 3} (1 - t)^{- 2 / 3} d t = \frac{1}{3} B (\frac{1}{3}, \frac{1}{3}) . \end{matrix}

Both endpoint singularities in the last integral are integrable. To obtain a closed cycle, let $σ (x, y) = (ω x, y)$ and $τ (x, y) = (x, ω y)$ , and set

δ = (1 - σ_{*}) (1 - τ_{*}) γ .

Its boundary vanishes: $τ$ fixes $(1, 0)$ and $σ$ fixes $(0, 1)$ . Since $σ^{*} ν = τ^{*} ν = ω ν$ , its period is

\begin{matrix} (61) & \int_{δ} ν = \frac{(1 - ω)^{2}}{3} B (\frac{1}{3}, \frac{1}{3}) . \end{matrix}

The same algebraic family has therefore supplied a character sum in finite characteristic and a special-function integral over $C$ . These are different realizations of its symmetry, with different additional structures: Frobenius on one side, and the comparison between algebraic differential forms and topological cycles on the other.

14.4 An identity that lifts to an isomorphism

Before enlarging the objects, we can see the numerical operation explicitly. Over $F_{q}$ , choose a nontrivial additive character $ψ$ , and for a nontrivial multiplicative character $ρ$ put

G_{ψ} (ρ) = \sum_{u \neq 0} ρ (u) ψ (u) .

Use the same definition of $J$ , now summing over $F_{q}$ . If $ρ, η, ρ η$ are nontrivial, then

\begin{matrix} (62) & G_{ψ} (ρ) G_{ψ} (η) = J (ρ, η) G_{ψ} (ρ η) . \end{matrix}

To prove it, expand the product and partition by $s = u + v$ . The contribution at $s = 0$ vanishes because $ρ η$ is nontrivial. For $s \neq 0$ , set $u = s t$ , $v = s (1 - t)$ : the inner sum becomes $(ρ η) (s) J (ρ, η)$ , leaving exactly the Gauss sum on the right. This is a concrete convolution-to-product calculation.

There is an actual categorical lift. We state the two-character case of a theorem of Otsubo and Yamazaki [17]. Let $q = p^{f}$ , let $d ∣ q - 1$ , and work in the tensor category of Chow motives in the covariant convention over $F_{q}$ , with coefficient field $Λ = Q (ζ_{p d})$ . For the objects needed here, a motive is specified by a smooth projective variety together with an idempotent algebraic correspondence. A finite group $H$ acting on $X$ supplies such a correspondence:

e_{ϑ}^{X} = \frac{1}{| H |} \sum_{h \in H} ϑ (h)^{- 1} [Γ_{h}] .

The graph $Γ_{h} \subset X \times X$ plays the role of the linear operator $h$ . The image $h (X)^{ϑ}$ is its character summand. This is the same projector formula, applied to geometry before taking a cohomology realization.

Let $A_{d}$ be the smooth projective model of

u^{q} - u = v^{d},

on which $F_{q} \times μ_{d}$ acts by $(c, a) (u, v) = (u + c, a v)$ . Let $F_{d}$ be the smooth projective curve $U^{d} + V^{d} = W^{d}$ , with the coordinatewise $μ_{d}^{2}$ -action. For characters $θ, θ_{1}, θ_{2}$ of $μ_{d}$ , set

M_{ψ, θ} = h (A_{d})^{(ψ, θ)}, N_{θ_{1}, θ_{2}} = h (F_{d})^{(θ_{1}, θ_{2})},

extending coefficients to $Λ$ throughout.

Theorem 14.1. (Otsubo–Yamazaki, two-character case) If $ψ$ , $θ_{1}$ , $θ_{2}$ , and $θ_{1} θ_{2}$ are nontrivial, then these character summands are invertible motives and there is an isomorphism

\begin{matrix} (63) & M_{ψ, θ_{1}} \otimes M_{ψ, θ_{2}} ≃ M_{ψ, θ_{1} θ_{2}} \otimes N_{θ_{1}, θ_{2}} . \end{matrix}

Here invertible means invertible for tensor product. Such an object's endomorphisms are scalars in $Λ$ . To compare conventions, write

ρ_{i} (u) = θ_{i} (u^{(q - 1) / d}) .

The Frobenius endomorphisms of the displayed factors are, respectively,

- G_{ψ} (ρ_{1}), - G_{ψ} (ρ_{2}), - G_{ψ} (ρ_{1} ρ_{2}), - J (ρ_{1}, ρ_{2}) .

The authors use signed Gauss and Jacobi sums, $- G$ and $- J$ , which are the Frobenius scalars on these degree-one summands. Frobenius commutes with the motivic isomorphism, so equality of its scalar actions gives

(- G_{ψ} (ρ_{1})) (- G_{ψ} (ρ_{2})) = (- G_{ψ} (ρ_{1} ρ_{2})) (- J (ρ_{1}, ρ_{2})),

recovering (62). For our example take $q = 7$ , $d = 3$ , $ψ (u) = e^{2 π i u / 7}$ , and choose $θ$ so that $θ (u^{2}) = χ (u)$ . Then $θ_{1} = θ_{2} = θ$ satisfies every hypothesis.

The elementary identity has a short proof; the categorical theorem asserts more than that identity. It constructs an isomorphism before extracting Frobenius scalars, so the relation is retained under cohomological realizations. Related motivic constructions also organize identities between Fermat periods; their period consequences require keeping track of algebraic factors. This is a concrete reason to preserve objects and maps: a numerical equality becomes the consequence of a relation that can be transported and used in other settings. Fourier–Mukai theory retains another kind of information, namely how transformed objects vary and how their extensions fit together. These are complementary reasons to enlarge the objects on which Fourier reconstruction acts.

15 A quantitative shadow: where the square-root bound comes from

The Fermat cubic supplied a cancellation estimate through two explicitly computed eigenvalues. Geometric Fourier theory can produce such estimates when an elementary evaluation of the sum is unavailable. We will also see how local information determines the number of eigenvalues, and hence the constant in the estimate.

Let $F_{q}$ have characteristic $p$ , let $ψ : F_{q} \to C^{\times}$ be a nontrivial additive character, and take $a \in F_{q}^{\times}$ . The Kloosterman sum is

\begin{matrix} (64) & K (a) = \sum_{x \in F_{q}^{\times}} ψ (x + \frac{a}{x}) . \end{matrix}

It has $q - 1$ summands of absolute value one. The geometric result is

\begin{matrix} (65) & | K (a) | \leq 2 \sqrt{q} . \end{matrix}

For example, over $F_{5}$ with $ψ (u) = e^{2 π i u / 5}$ , direct evaluation at $a = 2$ gives

K (2) = 2 e^{4 π i / 5} + 2 e^{6 π i / 5} = - 1 - \sqrt{5} .

The objective is a uniform bound for every $q$ and every nonzero $a$ , without evaluating each sum separately.

15.1 The transform retains a family of cohomology groups

The first Fourier step is elementary. Define $g (0) = 0$ and $g (t) = ψ (1 / t)$ for $t \neq 0$ . For the unnormalized transform

\hat{g} (a) = \sum_{t \in F_{q}} g (t) ψ (a t),

the substitution $x = a t$ gives $\hat{g} (a) = K (a)$ when $a \neq 0$ .

Choose $ℓ \neq p$ , realize the character values in ${\overset{―}{Q}}_{ℓ}$ , and fix an embedding into $C$ for absolute values. Use the Artin–Schreier sheaf $L_{ψ}$ normalized so that geometric Frobenius has trace $ψ (u)$ at $u \in F_{q}$ . Let $j : G_{m} ↪ A_{t}^{1}$ and put

G = j_{!} L_{ψ} (1 / t),

an ordinary sheaf placed in cohomological degree zero. Its trace function is $g$ . The Fourier–Deligne transform on constructible derived categories is

\begin{matrix} (66) & {FT}_{ψ} (G) = R p_{a!} (p_{t}^{*} G \otimes L_{ψ} (a t)) [1], \end{matrix}

where $p_{t}, p_{a}$ project from $A_{t}^{1} \times A_{a}^{1}$ . Tensoring multiplies the trace functions; compactly supported pushforward sums them along the $t$ -line. The shift $[1]$ changes the sign of the alternating trace. Thus the transformed object's trace at $a$ is $- K (a)$ [10].

More precisely, for $a \neq 0$ , its derived stalk is

\begin{matrix} (67) & R Γ_{c} (G_{m, {\overset{―}{F}}_{q}}, F_{a}) [1], F_{a} = L_{ψ} (x + a / x) . \end{matrix}

We will show that the unshifted compactly supported cohomology occurs only in degree one and has dimension two. The shift then places this vector space in degree zero. As $a$ varies through $G_{m}$ , these spaces form the rank-two Kloosterman sheaf [9]. Its fibers retain Frobenius actions and monodromy, not merely the single number $K (a)$ .

15.2 Two poles explain the dimension two

We compute on the $x$ -line, with $a \neq 0$ fixed. The rank-one sheaf $F_{a}$ has nontrivial wild ramification at both missing points $0$ and $\infty$ . A simple pole of an Artin–Schreier phase has Swan conductor one. Since $x + a / x$ has exactly these two simple poles,

{Swan}_{0} (F_{a}) = {Swan}_{\infty} (F_{a}) = 1.

The Grothendieck–Ogg–Shafarevich formula gives

\begin{aligned} χ_{c} (G_{m}, F_{a}) & = rank (F_{a}) χ_{c} (G_{m}, {\overset{―}{Q}}_{ℓ}) - {Swan}_{0} (F_{a}) - {Swan}_{\infty} (F_{a}) \\ = 1 \cdot 0 - 1 - 1 = - 2. \end{aligned}

The Euler characteristic of the constant sheaf on $G_{m}$ is zero: removing two points from $P^{1}$ subtracts two from its Euler characteristic two.

There are no nonzero compactly supported global sections of a lisse sheaf on this connected nonproper curve, so $H_{c}^{0} = 0$ . Poincaré duality identifies $H_{c}^{2}$ with geometric coinvariants, with a Tate twist. These vanish because the rank-one local system has nontrivial geometric monodromy. Consequently

\begin{matrix} (68) & \dim H_{c}^{1} (G_{m}, F_{a}) = 2. \end{matrix}

These are the local-to-global dimension calculations behind the constant in (65); see [18], Section 4.

The two Swan conductors above belong to the input sheaf $F_{a}$ on the $x$ -line. The transformed rank-two sheaf on the $a$ -line has different local behavior: it is tame at zero and has Swan conductor one at infinity. The transform changes the geometric object, not just its notation.

15.3 Weights explain the square root

The values of the rank-one Artin–Schreier sheaf have absolute value one over every finite extension: $F_{a}$ is pure of weight zero. Deligne's theorem on weights bounds the absolute values of the eigenvalues on $H_{c}^{1}$ by $\sqrt{q}$ . Together with (68), this is already enough to prove the desired inequality.

In this case one has the stronger statement of purity in weight one. At both boundary points the rank-one wild inertia character is nontrivial, so there is no boundary contribution and

H_{c}^{1} (G_{m}, F_{a}) \tilde{⟶} H^{1} (G_{m}, F_{a}) .

Compactly supported cohomology has weights at most one; ordinary cohomology has weights at least one, by duality and the corresponding upper bound for the dual sheaf. Hence both Frobenius eigenvalues $α_{a}, β_{a}$ have absolute value exactly $\sqrt{q}$ . The trace formula gives

K (a) = - (α_{a} + β_{a}), | K (a) | \leq | α_{a} | + | β_{a} | = 2 \sqrt{q} .

The substantive inputs are the ramification calculation, the cohomological formulas, and the theorem on weights. The last step is an elementary inequality.

The mechanism also persists under extension of the base field. For $a \in F_{q}^{\times}$ , set

K_{r} (a) = \sum_{x \in F_{q^{r}}^{\times}} ψ ({Tr}_{F_{q^{r}} / F_{q}} (x + a / x)) .

The same fiber gives

\begin{matrix} (69) & K_{r} (a) = - (α_{a}^{r} + β_{a}^{r}), | K_{r} (a) | \leq 2 q^{r / 2} . \end{matrix}

As with the Fermat curve, an entire sequence of sums is governed by one finite-dimensional operator. Here Fourier transformation constructs those operators uniformly as a geometric family. Its rank, ramification, and weights make quantitative predictions that are unavailable from the list of summands alone.

16 Higher Fourier theory and Galois reconstruction

The preceding calculations give a reason to continue the ascent. The multiplication of character lines determined compatible radicals. Nilpotent structure distinguished local systems with the same eigenvalues. Derived fibres recovered cohomology lost by ordinary specialization. Motives retained geometric correspondences whose Frobenius actions produced numerical identities. Higher algebra continues this practice when the coefficients and the symmetry themselves carry homotopy.

16.1 The kernel formalism and the composition of explanations

The familiar Fourier kernel $χ (a)$ , the universal circle local system, the Poincaré bundle, and the Artin–Schreier sheaf all couple an original variable to a dual parameter. In a sheaf theory with the relevant pullbacks, tensor products, and pushforwards, a kernel $K$ on $X \times Y$ defines

Φ_{K} (F) = R p_{Y *} (L p_{X}^{*} F \otimes^{L} K) .

Compact support replaces $*$ by $!$ in the exponential-sum setting. The choice of pushforward is part of the construction: an ordinary sum, compactly supported cohomology, and coherent cohomology answer different questions.

There is a useful calculus behind these formulas. For example, take smooth proper varieties over a field and perfect coherent kernels $K$ on $X \times Y$ and $L$ on $Y \times Z$ . Derived base change and the projection formula give

Φ_{L} \circ Φ_{K} ≃ Φ_{L \circ K}, L \circ K = R p_{13 *} (L p_{12}^{*} K \otimes^{L} L p_{23}^{*} L) .

The projections here are from $X \times Y \times Z$ . The formula follows by substituting the two transforms, pulling them to the triple product, and using base change to combine the integrations. Thus an inversion theorem can be proved by computing one composite kernel. In this coherent-sheaf setting, $O_{Δ}$ is the identity kernel. For the elliptic transform, the composite is the structure sheaf of the graph of inversion, shifted by $[- 1]$ ; this recovers $Φ^{2} ≃ (- 1_{E})^{*} [- 1]$ . The functorial statement simultaneously controls every bundle and every morphism on which the functor acts [8].

This gives precise content to the idea of a mathematical environment doing a calculation. Once kernel composition, base change, and inversion have been proved, an application can use them without rebuilding each coordinate identity. The substantive work is concentrated in reusable theorems, while the input and the required compatibility data remain explicit.

16.2 From derived categories to stable infinity categories

A derived category has already retained more than a list of cohomology groups. It remembers complexes and extensions, and it supplies derived tensor products and pushforwards. A stable infinity category also retains the spaces of maps and the homotopies relating their compositions. This extra structure is relevant when a construction must vary functorially and when several ways of composing it must agree coherently.

For example, convolution is associative because both parenthesizations integrate the same external tensor product along the addition map from a triple product. For four or more factors, these identifications must themselves agree. A symmetric monoidal infinity category organizes this entire system, including the unit and symmetry constraints. The local algebra calculations remain visible: over an ordinary ring, derived tensor products still have Tor groups. With a ring spectrum as coefficients, modules can also carry stable homotopy information that an ordinary complex over a discrete ring does not encode.

This distinction matters for reconstruction. Replacing a character space by its dimension forgets its maps and multiplication. A Grothendieck class forgets a nonsplit extension. Passing to a homotopy category forgets higher information about mapping spaces. Each passage can be useful, but a reconstruction theorem must be formulated before the particular information it needs has been discarded.

16.3 Spectral Cartier duality constructs the dual space

Let $R$ be a connective commutative ring spectrum and $X$ a spectral abelian variety over $R$ . Tensor product and the group law give $QCoh (X)$ a Hopf-algebra structure among stable $R$ -linear categories. Its categorical dual has convolution as its multiplication. A biextension on $X \times Y$ defines a symmetric monoidal transform from convolution on $X$ to tensor product on $Y$ .

Categorified Cartier duality specifies the candidate category, and Tannaka duality gives the criterion for recovering a geometric dual from it. Existence still needs geometry. Lurie constructs the functor of multiplicative line bundles ${Pic}_{X}^{m}$ , proves its spectral representability using Artin's theorem, and proves that its universal biextension is perfect. Perfectness is equivalent to the associated Fourier–Mukai functor being an equivalence. The identity component of the spectral Picard space need not even be flat, so cannot simply substitute for this construction [11], Sections 4.7 and 5, especially Proposition 5.5.1 and Theorem 5.6.4.

Here the categorical formulation has become part of the construction of the parameter space itself. The circle example began with a visible space of characters, and the elliptic example began with ${Pic}^{0} (E)$ . The spectral construction can determine the dual through the category it must support.

16.4 Integration when the symmetry has higher homotopy

The finite Fourier projector averages over group elements. A higher symmetry has objects, automorphisms, and potentially automorphisms between automorphisms. Even the first step changes the counting rule. A finite groupoid has cardinality

| G | = \sum_{[x] \in π_{0} G} \frac{1}{| Aut (x) |} .

In particular, $| B G | = 1 / | G |$ for a finite group $G$ : a single isomorphism class can still have nontrivial symmetry. For a connected space with only finitely many nonzero homotopy groups, all finite, the corresponding homotopy cardinality is

| X | = \prod_{i \geq 1} | π_{i} (X) |^{(- 1)^{i}} .

These formulas describe rational numerical counting. A higher Fourier transform requires a version of integration inside the coefficient category itself.

The relevant condition is ambidexterity: suitably finite indexing spaces admit a compatible identification of the colimit and limit operations. For a finite set, this starts with the identification of a finite direct sum and product in an additive category. For a finite group action in a stable category, it involves the norm from homotopy orbits to homotopy fixed points. An equivalence of that norm permits a form of averaging; it is an additional property, not a formal consequence of writing down a group action. Higher semiadditivity extends this compatibility to appropriate spaces with finite homotopy data.

This is why replacing sets by spaces in a Fourier formula is a mathematical theorem rather than a change of notation. The integration must interact correctly with products, pullbacks, and composition of fibres. Once those properties hold, the kernel calculus has a higher counterpart.

16.5 A higher Kummer theorem

Barthel, Carmeli, Schlank, and Yanovski construct higher semiadditive Fourier transforms, including the classical finite transform at height zero and chromatic transforms at positive heights [12]. One application returns to the radical-reconstruction theme in a genuinely higher setting.

Fix a prime $p$ and $n, r \geq 1$ . Let $R$ be a $T (n)$ -local commutative ring spectrum, and write $R^{\times} = {gl}_{1} (R)$ for its connective spectrum of units. Choose a primitive higher $p^{r}$ -th root of unity of height $n$ : this is a map of spectra

ω : Σ^{n} H (Z / p^{r}) ⟶ R^{\times}

satisfying the primitivity condition of [12], Section 6.2. Here $H$ denotes the Eilenberg–Mac Lane spectrum. In this chromatic setting, primitivity makes the associated Fourier transforms invertible; $ω$ is higher coherent data, not merely an element of $π_{0} R$ .

Let $M$ be a connected $n$ -finite $H (Z / p^{r})$ -module spectrum: $π_{i} M$ is finite for $1 \leq i \leq n$ and zero otherwise. Its Pontryagin dual is the spectrum

M^{*} = {RHom}_{Z} (M, Q / Z), π_{i} M^{*} ≃ {Hom}_{Z} (π_{- i} M, Q / Z) .

The notation uses the underlying complex of abelian groups. Put $G = Ω Ω^{\infty} M$ , the loop space of the underlying infinite loop space. Their higher Kummer theorem identifies the space of extensions as

\begin{matrix} (70) & {G -Galois extensions of R} ≃ {Map}_{Sp} (Σ^{n} M^{*}, R^{\times}) . \end{matrix}

The right-hand side is a mapping space of spectra, and the left-hand side is the space of $G$ -Galois extensions in the $T (n)$ -local category. The finiteness, localization, and higher-root hypotheses specify where the classification holds. The source is Theorem C of [12], a connected case of Theorem 7.34.

Compare the role of the inputs. For a cyclic field extension, roots of unity make the character lines available, and their multiplication gives a radical class. Here the symmetry is $G$ , the coefficients form a ring spectrum, and a mapping space into units records the extension together with its higher automorphisms. Retaining the mapping space is part of the strength of the classification: its connected components record equivalence classes, while its higher homotopy retains the symmetries of the reconstruction data.

The same work also constructs categorical Fourier equivalences for suitable local systems of chromatic modules. These results enlarge both sides of the elementary equivalence between representations and character-graded vector spaces. They provide an algebraic-topological setting in which duality, descent, and Galois reconstruction can continue beyond ordinary fields and varieties.

16.6 What the examples establish together

The arguments have taken place in objects that retain the operations needed for reconstruction. Multiplication in the root algebra forces compatible radicals. Character projectors split differentials and cohomology. Spectral modules retain nonsplit extensions, and derived fibres preserve exceptional cohomology. Fourier–Mukai equivalences carry bundle calculations into modules. A tensor isomorphism of motives yields the Gauss–Jacobi identity through Frobenius, while ramification and weights supply the Kloosterman bound. Higher Fourier theory continues the construction with coherent homotopy and new coefficient theories.

The companion What a Boundary Map Can Prove develops the same inquiry through gluing. Exact triangles and determinant lines produce counting laws; Hodge theory constrains chromatic coefficients; an attachment motive carries a computed symmetry group. There an explicit pair of nodal curves has the same graph and graded cohomology but motivic Galois groups of dimensions four and six. Here two monodromies have the same eigenvalues but different spaces of global sections. In both examples, retaining an extension reveals behavior that the simpler invariant conceals.

References

Frits Beukers, Notes on Galois Theory, Sections 9.2 and 9.3. https://www.staff.science.uu.nl/~beuke106/ringengalois/dicgal.pdf.
J. S. Milne, Fields and Galois Theory, version 5.10, 2022. https://www.jmilne.org/math/CourseNotes/FT.pdf.
Antonia W. Bluher, Permutation properties of Dickson and Chebyshev polynomials and connections to number theory, Finite Fields and Their Applications 76 (2021), 101899. https://arxiv.org/abs/1707.06877.
John C. Baez, Higher-Dimensional Algebra II: 2-Hilbert Spaces, Advances in Mathematics 127 (1997), 125–189, Section 6.1. https://arxiv.org/abs/q-alg/9609018.
The Stacks Project Authors, The Stacks Project, Section 59.28, “Kummer theory,” Tag 03PK. https://stacks.math.columbia.edu/tag/03PK.
The Stacks Project Authors, The Stacks Project, Section 21.4, “First cohomology and torsors,” Tag 03AG. https://stacks.math.columbia.edu/tag/03AG.
Stefan Schröer, On the ring of unipotent vector bundles on elliptic curves in positive characteristics, 2009. https://arxiv.org/abs/0908.3743.
Kaiyi Chen, Fourier–Mukai Transforms and Vector Bundles on Elliptic Curves, lecture slides, 2025. https://www.math.pku.edu.cn/puremath/docs/2025-05/20250530155446773636.pdf.
Nicholas M. Katz, Gauss Sums, Kloosterman Sums, and Monodromy Groups, Annals of Mathematics Studies 116, Princeton University Press, 1988. https://web.math.princeton.edu/~nmk/Katz-GKM.pdf.
Gérard Laumon, Transformation de Fourier, constantes d'équations fonctionnelles et conjecture de Weil, Publications Mathématiques de l'IHÉS 65 (1987), 131–210. https://numdam.org/item/PMIHES_1987__65__131_0/.
Jacob Lurie, Elliptic Cohomology I: Spectral Abelian Varieties, 2018. https://people.math.harvard.edu/~lurie/papers/Elliptic-I.pdf.
Tobias Barthel, Shachar Carmeli, Tomer M. Schlank, and Lior Yanovski, The Chromatic Fourier Transform, 2022. https://arxiv.org/abs/2210.12822.
Tony Shaska, Genus two curves covering elliptic curves: a computational approach, 2012, especially Sections 3.1 and 5. https://arxiv.org/abs/1209.3187.
Daniel Hernández Ruipérez and Carlos Tejero Prieto, Fourier–Mukai transforms for coherent systems on elliptic curves, 2006, revised 2007, especially Section 2. https://arxiv.org/abs/math/0603249.
Yongqiang Liu, Laurenţiu Maxim, and Botong Wang, Non-abelian Mellin transformations and applications, Forum of Mathematics, Sigma 10 (2022), e100. https://doi.org/10.1017/fms.2022.91.
Noam D. Elkies, $L (s, χ)$ as an entire function; Gauss sums, Math 229: Introduction to Analytic Number Theory, Harvard University, 2019, especially Exercise 12. https://people.math.harvard.edu/~elkies/M229.19/lsx.pdf.
Noriyuki Otsubo and Takao Yamazaki, Motivic Gauss and Jacobi sums, Annales de la Faculté des Sciences de Toulouse, Série 6, 35 (2026), no. 1, 95–135; especially Theorems 1.1–1.2 and Remarks 7.4–7.5. https://doi.org/10.5802/afst.1842. https://arxiv.org/abs/2402.06072.
Philippe Michel, Lectures on applied $ℓ$ -adic cohomology, notes from the 2016 Arizona Winter School, 2017, Section 4. https://arxiv.org/abs/1712.03173. https://swc-math.github.io/aws/2016/2016MichelNotes.pdf.