Abstract:We give a survey on the general effective reduction theory of integral polynomials and its applications. We concentrate on results providing the finiteness for the number of `$\mathbb{Z}$-equivalence classes' and `$GL_2(\mathbb{Z})$-equivalence classes' of polynomials of given discriminant. We present the effective finiteness results of Lagrange from 1773 and Hermite from 1848, 1851 for quadratic resp. cubic polynomials. Then we formulate the general ineffective finiteness result of Birch and Merriman from 1972, the general effective finiteness theorems of Győry from 1973, obtained independently, and of Evertse and Győry from 1991, and a result of Hermite from 1857 not discussed in the literature before 2023. We briefly outline our effective proofs which depend on Győry's effective results on unit equations, whose proofs involve Baker's theory of logarithmic forms. Then we focus on our recent joint paper with Bhargava, Remete and Swaminathan from 2023, where Hermite's finiteness result from 1857 involving `Hermite equivalence classes' is compared with the above-mentioned modern results involving $\mathbb{Z}$-equivalence and $GL_2(\mathbb{Z})$-equivalence, and where it is confirmed that Hermite's result from 1857 is much weaker than the modern results mentioned. The results of Győry from 1973 and Evertse and Győry from 1991 together established a general effective reduction theory of integral polynomials with given non-zero discriminant, which has significant consequences and applications, including Győry's effective finiteness theorems from the 1970's on monogenic orders and number fields. We give an overview of these in our paper. In the Appendix we discuss related topics not strictly belonging to the reduction theory of integral polynomials.

Some geometric consequences of the symmetric reduction

On Reduction Schemes and the Symmetry of A Matrix

A geometric study of BZ operator on representations of $\mathrm{GL}_n$ over non-archimedean field

Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae (with an appendix by Roman Bezrukavnikov, Vasily Krylov, and Kenta Suzuki)

Graded geometry and generalized reduction

A Geometric Realization of Partially-Symmetric Macdonald Polynomials

Bernstein-Kouchnirenko-Khovanskii with a symmetry

Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae

Symmetry Reduction of States I

Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

Reducibility in Sasakian Geometry

Irreducible Restrictions of Representations of Symmetric Groups in Small Characteristics: Reduction Theorems

Conditions for symmetry reduction of polysymplectic and polycosymplectic structures

Symmetric rank of some reducible forms

A geometric realization of the asymptotic affine Hecke algebra

A multidimensional generalization of Symanzik polynomials

A sign that used to annoy me, and still does

An equivariant bijection of irreducible Brauer characters above the Dade-Glauberman-Nagao correspondence

Quantitative reduction theory and unlikely intersections

General effective reduction theory of integral polynomials of given non-zero discriminant and its applications

Quadratic transformations of Macdonald and Koornwinder polynomials