Effective bounds for polynomial systems defined over the rationals

TL;DR

This survey introduces effective bounds in algebraic geometry for affine polynomial systems over rationals, emphasizing finite varieties, and aims to illustrate the types of estimates achievable in this field.

Contribution

It provides an overview of effective algebraic geometry estimates specifically for polynomial systems over rationals, serving as educational support for a course.

Findings

Illustrates bounds for solutions of polynomial systems over Q

Focuses on finite varieties in algebraic geometry

Serves as educational material for understanding effective estimates

Abstract

This survey paper was primarily written as as the support for a course pesented at the JNCF2025: it aims to present some material that illustrates the kind of estimates one can obtain in effective algebraic geometry, for affine polynomial equation systems defined over the rational numbers Q, and focuses on the case of finite varieties.