Mixed multiplier ideals and the irregularity of abelian coverings of smooth projective surfaces (Q5917915): Difference between revisions

The author establishes a formula to compute the irregularity of abelian coverings of smooth projective surfaces. The paper contains various examples and applications. Such a formula was first developed by \textit{O. Zariski} [Ann. Math. (2) 32, 485--511 (1931; Zbl 0001.40301)] for cyclic coverings of the projective plane. Generalizations and applications of Zariski's formula were studied by many people (Budur, Esnault, Libgober, Naie, Vaquié). The author generalizes the formula to the case of abelian coverings of smooth projective surfaces, assuming that the branch curve \(C=\sum_i C_i\) is endowed with an \(H\)-partition: there exists an ample divisor \(H\) s.t. for each \(i\), \(C_i\) is linearly equivalent to a multiple of \(H\). With this hypothesis, the irregularity is expressed as linear combination of superabundances of linear systems defined in terms of some mixed multiplier ideals associated to the partition \((C_1,\ldots, C_n)\). In \S 2 the author introduces the mixed multiplier ideals and characterize the jumping walls associated to them. In \S 3 there are summarized some properties of abelian covering of smooth projective surface. In \S the main theorem is proved, and finally \S 5 contains examples and applications.