Abstract
We consider the problem of estimating the intersection multiplicity between an algebraic variety and a Pfaffian foliation, at every point of the variety. We show that this multiplicity can be majorized at every point p by the local algebraic multiplicity at p of a suitably constructed algebraic cycle. The construction is based on Gabrièlov’s complex analog of the Rolle–Khovanskiĭ lemma. We illustrate the main result by deriving similar uniform estimates for the complexity of the Milnor fiber of a deformation (under a smoothness assumption) and for the order of contact between an algebraic hypersurface and an arbitrary non-singular one-dimensional foliation. We also use the main result to give an alternative geometric proof for a classical multiplicity estimate in the context of commutative group varieties.
Similar content being viewed by others
Notes
This restriction can be relaxed significantly by a perturbation argument which we omit for simplicity.
In fact, a more general stratified version holds also without the assumption on p, see [12].
The same property holds, with a minor technical modification, for arbitrary invariant vector fields on commutative group varieties.
References
Binyamini, G.: Multiplicity estimates: a Morse-theoretic approach. Duke Math. J. (to appear) (2014). arXiv:1406.1858
Binyamini, G.: Multiplicity estimates, analytic cycles and Newton polytopes. (preprint) (2014). arXiv:1407.1183
Binyamini, G., Novikov, D.: Multiplicities of Noetherian deformations. (preprint) (2014). arXiv:1406.5959
Brownawell, W.D., Masser, D.W.: Multiplicity estimates for analytic functions. I. J. Reine Angew. Math. 314, 200–216 (1980)
Brownawell, W.D., Masser, D.W.: Multiplicity estimates for analytic functions. II. Duke Math. J. 47(2), 273–295 (1980)
Gabrièlov, A.: Multiplicities of Pfaffian intersections, and the łojasiewicz inequality. Selecta Math. (N.S.) 1(1), 113–127 (1995)
Gabrielov, Andrei: Multiplicities of zeroes of polynomials on trajectories of polynomial vector fields and bounds on degree of nonholonomy. Math. Res. Lett. 2(4), 437–451 (1995)
Gabrielov, A.: Multiplicity of a zero of an analytic function on a trajectory of a vector field. In: The Arnoldfest (Toronto, ON, 1997), Volume 24 of Fields Institute Communications, pp. 191–200. American Mathematical Society, Providence, RI (1999)
Gabrielov, A., Khovanskii, A.: Multiplicity of a Noetherian intersection. In: Geometry of differential equations, Volume 186 of American Mathematical Society Translations: Series 2, pp. 119–130. American Mathematical Society, Providence, RI (1998)
Gabrielov, A., Vorobjov, N.: Complexity of computations with Pfaffian and Noetherian functions. In: Normal forms, bifurcations and finiteness problems in differential equations, Volume 137 of NATO Science Series II: Mathematics, Physics and Chemistry, pp. 211–250. Kluwer Academic Publishers, Dordrecht (2004)
Khovanskiĭ, A.G.: Fewnomials, Volume 88 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI (1991). Translated from the Russian by Smilka Zdravkovska
Lê DT: Topological use of polar curves. In: Algebraic Geometry (Proceedings of Symposia in Pure Mathematics, Volume 29, Humboldt State University, Arcata, CA, 1974), pp. 507–512. American Mathematical Society, Providence, RI (1975)
Masser, D.W., Wüstholz, G.: Zero estimates on group varieties. I. Invent. Math. 64(3), 489–516 (1981)
Masser, D.W., Wüstholz, G.: Zero estimates on group varieties. II. Invent. Math. 80(2), 233–267 (1985)
Moreau, J.-C.: Démonstrations géométriques de lemmes de zéros. I. In: Seminar on Number Theory, Paris 1981–82 (Paris, 1981/1982), Volume 38 of Progress in Mathematics, pp. 201–205. Birkhäuser Boston, Boston, MA (1983)
Moreau, J-C: Démonstrations géométriques de lemmes de zéros. II. In: Diophantine Approximations and Transcendental Numbers (Luminy, 1982), Volume 31 of Progress in Mathematics, pp. 191–197. Birkhäuser Boston, Boston, MA (1983)
Nesterenko, Y.V.: Estimates for the number of zeros of certain functions. In: New Advances in Transcendence Theory (Durham, 1986), pp. 263–269. Cambridge University Press, Cambridge (1988)
Nesterenko, YuV: Modular functions and transcendence questions. Math. Sb. 187(9), 65–96 (1996)
Novikov, D., Yakovenko, S.: Trajectories of polynomial vector fields and ascending chains of polynomial ideals. Ann. Inst. Fourier (Grenoble) 49(2), 563–609 (1999)
Philippon, Patrice: Lemmes de zéros dans les groupes algébriques commutatifs. Bull. Soc. Math. France 114(3), 355–383 (1986)
Risler, J.-J.: A bound for the degree of nonholonomy in the plane. Theoret. Comput. Sci., 157(1):129–136, (1996). Algorithmic complexity of algebraic and geometric models (Creteil, 1994)
Wüstholz, G.: Multiplicity estimates on group varieties. Ann. Math. (2) 129(3), 471–500 (1989)
Yomdin, Y.: Oscillation of analytic curves. Proc. Am. Math. Soc. 126(2), 357–364 (1998)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author was supported by the Banting Postdoctoral Fellowship and the Rothschild Fellowship.
Rights and permissions
About this article
Cite this article
Binyamini, G. Pfaffian intersections and multiplicity cycles. Sel. Math. New Ser. 22, 297–318 (2016). https://doi.org/10.1007/s00029-015-0191-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00029-015-0191-0