Suppose we want to solve$$x^3 - ax^2 + bx - c = 0.$$We know a priori that this can be factored as $(x - r\_0)(x - r\_1)(x - r\_2)$; by Vieta's formulas, we know$$a = r\_0 + r\_1 + r\_2,\quad b = r\_0r\_1 + r\_1 r\_2 + r\_2r\_0,\quad c = r\_0r\_1r\_2.$$These expressions are invariant under three-cycles. Now, we make the substitution$$r\_0 = u\_0 + u\_1 + u\_2,\quad r\_1 = u\_0 + u\_1\omega + u\_2\omega^2,\quad r\_2 = u\_0 + u\_1\omega^2 + u\_2\omega^4,$$where $\omega$ is a primitive cube root of unity. Explicitly, we have$$u\_0 = {1\over3}(r\_0 + r\_1 + r\_2),\quad u\_1 = {1\over3}(r\_0 + r\_1\omega^{-1} + r\_2 \omega^{-2}),\quad u\_2 = {1\over3}(r\_0 + r\_1 \omega^{-2} + r\_2\omega^{-4}).$$Conceptually,$$\text{if }F(z) = u\_0 + u\_1z + u\_2z^2,\text{ then }r\_i = F(\omega^i).$$The first of Vieta's relations now reads$$a = F(1) + F(\omega) F(\omega^2) = 3u\_0,$$which is a roots of unity filter on $F$. The second reads$$b = F(1)F(\omega) + F(\omega)F(\omega^2) + F(\omega^2)F(1),$$which is a roots of unity filter on$$F(z)F(\omega z) = (u\_0 + u\_1 z + u\_2z^2)(u\_0 + u\_1z\omega + u\_2z^2\omega^2).$$Since in a filter, we only care abou tthe cubic terms – here $u\_0^2$ and $-u\_1u\_2z^3$ – we find that $b = 3u\_0^2 - 3u\_1u\_2$. If we repeat the same thing for $c$ and compile everything together, we arrive at$$a = 3u\_0,\quad b = 3u\_0^2 - 3u\_1u\_2,\quad c = u\_0^3 + u\_1^3 + u\_2^3 - 3u\_0u\_1u\_2.$$The first equation gives us $u\_0 = a/3$ for free, and we can then obtain $u\_1u\_2$ in terms of $a$, $b$, $c$. Finally, the last equation tells us what $u\_1^3 + u\_2^3$ are. So, we can compute the values of $u\_1^3 + u\_2^3$, $u\_1^3 \cdot u\_2^3$; this reduces to a quadratic, which we can solve.


My question is, what is the precise underlying interplay going on between the Galois theory and the "finite" Fourier analysis here, if there is any? Am I shooting in the dark for something that may possibly not exist? Or is there something deep behind all this? 



Precise relationship between "finite" Fourier analysis and Galois theory in solving the cubic?
The idea is that you can extract the explicit Kummer extension directly from the Fourier transform of the roots. If you have an element of the Galois group that cyclically permutes the roots, by weighting with appropriate roots of unity, i.e., taking a Fourier transform, the automorphism is diagonalized and acts on each $u\_i$ via multiplication by a root of unity. Now to determine the roots, you just have to find $u\_i^3$.


Usually, one first simplifies by shifting all of the roots by $-a/3$, i.e. letting $x\_{new} = x - a/3$, thereby setting $a\_{new}=u\_{0,new}=0$ (I'll omit the "new" from now on). Then $b = u\_1 u\_2$ and $c = u\_1^3 + u\_2^3$. This makes the necessary steps easier to see.


