Abstract:Counterparts of several classical results of number theory are proven for the ring of polynomials with coefficients in a number field. A theorem of Milnor that determines the Witt ring of a function field is applied to prove an analogue of Gauss's principal genus theorem for binary quadratic forms with polynomial coefficients. This is used to help understand when and why quadratic reciprocity fails in these polynomial rings. Another application is a count of the number of cyclic subgroups whose order is divisible by four in the primary decomposition of the torsion subgroup of the Jacobian of certain hyperelliptic curves. Invariant theory is applied to prove an analogue of a classical theorem of Fueter to give criteria for an elliptic curve with a polynomial discriminant and zero $j$-invariant to have no affine points over the associated function field.

The symmetric Poincaré-Birkhoff-Witt theorem and Dynkin-Magnus commutators

Some proofs of the Poincaré-Birkhoff-Witt theorem and related matters

On the arithmetic of polynomials over a number field

A proof of the Quadratic Reciprocity Law

An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

A proof of the Brill-Noether method from scratch

Proofs of power sum and binomial coefficient congruences via Pascal's identity

Koszul duality and the Poincaré-Birkhoff-Witt theorem

A remark on a theorem of Narasimhan and Ramanan

Higher Weil-petersson Volumes and Tautological Constants

A Poincaré-Birkhoff-Witt theorem for the universal enveloping algebra of a Rota-Baxter Lie algebra

Equational proofs of Jacobson's Theorem

On Kawamata's theorem

The main theorem of the Galois theory proven with ideas from the first Mémoire of Galois

Some Symmetry and Duality Theorems on Multiple Zeta(-star) Values

Une factorisation de la cohomologie complétée et du système de Beilinson-Kato

Proof of a conjecture of Kudla and Rallis on quotients of degenerate principal series

Proof of a conjecture of Bourn and Willenbring concerning a family of palindromic polynomials

The Dynkin-Specht-Wever lemma and some associated constructions

A note on "The Cartan-Hadamard conjecture and the Little Prince"

Brauer relations, isogenies and parities of ranks