Counting Polynomial-type Exceptional Units on Algebraic Varieties over Number Fields

Previous research on exceptional units has primarily focused on the ring of rational integers or abstract finite rings, often restricted to linear or quadratic constraints. In this paper, we extend the concept of polynomial-type exceptional units to the ring of integers of an arbitrary algebraic number field. We investigate the number of these polynomial-type exceptional units on general algebraic varieties. By employing the Chinese Remainder Theorem and Hensel's lifting technique, we derive an exact counting formula for the number of these exceptional units on a smooth closed subscheme under the assumption of good reduction. Furthermore, using the Lang-Weil inequality, we establish an asymptotic estimate for the counting function. In particular, we prove that for varieties of degree at most two, the error term can be significantly improved, yielding a sharper asymptotic bound.