Symmetric Hermite integral obstruction

ID: symmetric-hermite-integral-obstruction

Suppose nonzero algebraic numbers form a Galois-stable set, with Galois-invariant integer weights , and is an integer. Choose vanishing at all with , and a positive integer making all algebraic integers. For a large prime , put and , and let be the sum of its derivatives. The weighted sum is an integer, nonzero modulo when . If the displayed exponential expression vanished, integrating along the finitely many segments to would bound that nonzero integer by . This contradiction proves the obstruction and supplies direct proofs for and .

New to topics? Read the docs here!