On the zeta Mahler measure function of the Jacobian determinant, condition numbers and the height of the generic discriminant

Autor: Mario Pardo, Luis Miguel Pardo
Rok vydání: 2016
Předmět:
Zdroj: Applicable Algebra in Engineering, Communication and Computing. 27:303-358
ISSN: 1432-0622
0938-1279
Popis: In Cassaigne and Maillot (J Number Theory 83:226---255, 2000) and, later on, in Akatsuka (J Number Theory 129:2713---2734, 2009) the authors introduced zeta Mahler measure functions for multivariate polynomials [Cassaigne and Maillot (J Number Theory 83:226---255, 2000) called them "zeta Igusa" functions, but we follow here the terminology of Akatsuka (J Number Theory 129:2713---2734, 2009)]. We generalize this notion by defining a zeta Mahler measure function $${\mathcal {Z}}_X(\cdot ,f):{\mathbb {C}}\longrightarrow {\mathbb {C}}$$ZX(·,f):CźC, where X is a compact probability space and $$f:X\longrightarrow {\mathbb {C}}$$f:XźC is a function bounded almost everywhere in X. We give sufficient conditions that imply that this function is holomorphic in certain domains. Zeta Mahler measure functions contains big amounts of information about the expected behavior of f on X. This generalization is motivated by the study of several quantities related to numerical methods that solve systems of multivariate polynomial equations. We study the functions $${\mathcal {Z}}(\cdot ,{1}/{\Vert \cdot \Vert _\mathrm{aff}})$$Z(·,1/ź·źaff), $${\mathcal {Z}}(\cdot ,{1}/{\mu _\mathrm{norm}})$$Z(·,1/μnorm) and $${\mathcal {Z}}(\cdot ,\mathrm JAC)$$Z(·,JAC), respectively associated to the norm of the affine zeros ($$\Vert \cdot \Vert _\mathrm{aff}$$ź·źaff), the non-linear condition number ($$\mu _\mathrm{norm}$$μnorm) and the Jacobian determinant (JAC) of complete intersection zero-dimensional projective varieties. We find the exact value of these functions in terms of Gamma functions and we also describe their respective domains of holomorphy in $${\mathbb {C}}$$C. With the exact value of these zeta functions we can immediately prove and exhibit expectations of some average properties of zero-dimensional algebraic varieties. For instance, the exact knowledge of $${\mathcal {Z}}(\cdot ,{1}/{\Vert \cdot \Vert _\mathrm{aff}})$$Z(·,1/ź·źaff) yields as a consequence that the expectation of the mean of the logarithm of the norms of the affine zeros of a random system of polynomial equations is one half of the nth harmonic number $$H_n$$Hn. Other conclusions are exhibited along the manuscript. Using these generalized zeta functions we exhibit the exact value of the arithmetic height of the hyper-surface known as the discriminant variety (roughly speaking the variety formed by all systems of equations having a singular zero).
Databáze: OpenAIRE
Externí odkaz: