Alexander Varchenko

Alexander Varchenko
Born (1949-02-06) February 6, 1949
Russia
Fields Mathematics
Institutions University of North Carolina
Alma mater Moscow State University
Doctoral advisor V. I. Arnold
Known for Varchenko's theorem

Alexander Nikolaevich Varchenko (Russian: Александр Николаевич Варченко, born February 6, 1949 in Krasnodar, Soviet Union) is a Soviet and Russian mathematician working in geometry, topology, combinatorics and mathematical physics.

Background

From 1964 to 1966 Varchenko studied at the Moscow Kolmogorov boarding school No. 18 for gifted high school students, where A. N. Kolmogorov and Ya. A. Smorodinsky were lecturing mathematics and physics. Varchenko graduated from Moscow State University in 1971. He was a student of V. I. Arnold.[1] Varchenko defended his Ph.D. thesis Theorems on Topological Equisingularity of Families of Algebraic Sets and Maps in 1974 and Doctor of Science thesis Asymptotics of Integrals and Algebro-Geometric Invariants of Critical Points of Functions in 1982. From 1974 to 1984 he was a research scientist at the Moscow State University, in 1985–1990 a professor at the Gubkin Institute of Gas and Oil, and since 1991 he has been the Ernest Eliel Professor at the University of North Carolina at Chapel Hill.

Varchenko was an invited speaker at the International Congresses of Mathematicians in 1974 in Vancouver (section of algebraic geometry) and in 1990 in Kyoto (a plenary address).[2] In 1973 he received the Moscow Mathematical Society Award.

Research

In 1971, Varchenko proved that a family of complex quasi-projective algebraic sets with an irreducible base form a topologically locally trivial bundle over a Zariski open subset of the base.[3] This statement, conjectured by O.Zariski, had filled up a gap in the proof of Zariski’s theorem on the fundamental group of the complement to a hypersurface[4] published in 1937. In 1973, Varchenko proved R.Thom's conjecture that a germ of a generic smooth map is topologically equivalent to a germ of a polynomial map and has a finite dimensional polynomial topological versal deformation, while the non-generic maps form a subset of infinite codimension in the space of all germs.[5]

Varchenko was among creators of the theory of Newton polygons in singularity theory, in particular, he gave a formula, relating Newton polygons and asymptotics of the oscillatory integrals associated with a critical point of a function. Using the formula, Varchenko constructed a counterexample to V. I. Arnold's semicontinuity conjecture that the brightness of light at a point on a caustic is not less than the brightness at the neighboring points.[6]

Varchenko formulated a conjecture on the semicontinuity of the spectrum of a critical point under deformations of the critical point and proved it for deformations of low weight of quasi-homogeneous singularities. Using the semicontinuity, Varchenko gave an estimate from above for the number of singular points of a projective hypersurface of given degree and dimension.[7]

Varchenko introduced the asymptotic mixed Hodge structure on the cohomology, vanishing at a critical point of a function, by studying asymptotics of integrals of holomorphic differential forms over families of vanishing cycles. Such an integral depends on the parameter – the value of the function. The integral has two properties: how fast it tends to zero, when the parameter tends to the critical value, and how the integral changes, when the parameter goes around the critical value. The first property was used to define the Hodge filtration of the asymptotic mixed Hodge structure and the second property was used to define the weight filtration.[8]

The second part of the 16th Hilbert problem is to decide if there exists an upper bound for the number of limit cycles in polynomial vector fields of given degree. The infinitesimal 16th Hilbert problem, formulated by V. I. Arnold, is to decide if there exists an upper bound for the number of zeros of an integral of a polynomial differential form over a family of level curves of a polynomial Hamiltonian in terms of the degrees of the coefficients of the differential form and the degree of the Hamiltonian. Varchenko proved the existence of the bound in the infinitesimal 16th Hilbert problem.[9]

V. Schechtman and Varchenko identified in [10] the KZ differential equations with a suitable Gauss-Manin connection and constructed multidimensional hypergeometric solutions of the KZ equations. In that construction the solutions were labeled by elements of a suitable homology group. Then the homology group was identified with a multiplicity space of the tensor product of representations of a suitable quantum group and the monodromy representation of the KZ equations was identified with the associated R-matrix representation. This construction gave a geometric proof of the Kohno-Drinfeld theorem [11][12] on the monodromy of the KZ equations. A similar picture was developed for the qKZ type difference equations in joint works with G.Felder and V.Tarasov.[13][14]

In the second half of 90s G.Felder, P.Etingof, and Varchenko developed the theory of dynamical quantum groups.[15][16] Dynamical equations, compatible with the KZ type equations, were introduced in joint papers with G. Felder, Y. Markov, V. Tarasov.[17][18] In applications, the dynamical equations appear as the quantum differential equations of the cotangent bundles of partial flag varieties.[19]

In,[20] E. Mukhin, V. Tarasov, and A. Varchenko proved the Shapiro conjecture in real algebraic geometry:[21] if the Wronski determinant of a complex finite-dimensional vector space of polynomials in one variable has real roots only, then the vector space has a basis of polynomials with real coefficients.

It is classically known that the intersection index of the Schubert varieties in the Grassmannian of the N-dimensional planes coincides with the dimension of the space of invariants in a suitable tensor product of representations of the general linear group GL_N. In,[22] E.Mukhin, V.Tarasov, and Varchenko categorified this fact and showed that the Bethe algebra of the Gaudin model on such a space of invariants is isomorphic to the algebra of functions on the intersection of the corresponding Schubert varieties. As an application, they showed that if the Schubert varieties are defined with respect to distinct real osculating flags, then the varieties intersect transversally and all intersection points are real. This property is called the reality of Schubert calculus.

Books

References

  1. ↑ Edward Frenkel (1 October 2013). Love and Math: The Heart of Hidden Reality. Basic Books. p. 38. ISBN 978-0-465-06995-8.
  2. ↑ "ICM Plenary and Invited Speakers since 1897". International Congress of Mathematicians.
  3. ↑ A. Varchenko (1972). "Theorems of Topological Equisingularity of Families of Algebraic Manifold and Polynomial Mappings". Izv. Acad. Sci. USSR. 36: 957–1019.
  4. ↑ Zariski, O. (1937). "On the Poincaré group of projective hypersurface". Ann. of Math. 38: 131–141. doi:10.2307/1968515.
  5. ↑ Varchenko, A. (1975). "Versal Topological Deformations". Izv. Acad. Sci. USSR. 39: 294314.
  6. ↑ Varchenko, A. (1976). "Newton Polyhedra and Asymptotics of Oscillatory Integrals". Func. Anal. and its Appl. 10: 175–196. doi:10.1007/bf01075524.
  7. ↑ Varchenko, A. (1983). "On the Semicontinuity of the Spectra and Estimates from Above of the Number of Singular Points of a Projective Hypersurface". Dokl. Akad. Nauk USSR. 270:6: 1294–1297.
  8. ↑ Varchenko, A. (1980). "The Asymptotics of Holomorphic Forms Determine a Mixed Hodge Structure". Soviet Math. Doklady. 22:5: 772–775.
  9. ↑ Varchenko, A. (1984). "Estimate of the Number of Zeros of a Real Abelian Integral Depending on a Parameter and Limit Cycles". Func. Anal. and Its Appl. 18: 98–108. doi:10.1007/bf01077820.
  10. ↑ Schechtman, V.; Varchenko, A. (1991). "Arrangements of Hyperplanes and Lie Algebra Homology". Invent. Math. 106: 139–194. doi:10.1007/bf01243909.
  11. ↑ Kohno, T. (1987). "Monodromy representations of braid groups and Yang-Baxter equations". Annales de l'Institut Fourier. 1: 139–160. doi:10.5802/aif.1114.
  12. ↑ Drinfeld, V. (1990). "Quasi-Hopf algebras". Leningrad Math. J. 1: 1419–1457.
  13. ↑ Tarasov, V.; Varchenko, A. (1997). "Geometry of q-hypergeometric functions as a bridge between Yangians and quantum affine algebras". Invent. Math. 128 (3): 501–588. doi:10.1007/s002220050151.
  14. ↑ Felder, G.; Tarasov, V.; Varchenko, A. (1999). "Monodromy of solutions of the elliptic quantum Knizhnik-Zamolodchikov-Bernard difference equations". Int. J. Math. 10: 943–975. doi:10.1142/s0129167x99000410.
  15. ↑ Felder, G.; Varchenko, A. (1996). "On representations of the elliptic quantum group E_{τ,η}(sl_2)". Comm. Math. Phys. 181 (3): 741–761. doi:10.1007/bf02101296.
  16. ↑ Etingof, P.; Varchenko, A. (1998). "Solutions of the quantum dynamical Yang–Baxter equation and dynamical quantum groups". Comm. Math. Phys. 196: 591–640. doi:10.1007/s002200050437.
  17. ↑ Markov, Y.; Felder, G.; Tarasov, V.; Varchenko, A. (2000). "Differential Equations Compatible with KZ Equations". J. of Math. Phys., Analysis and Geometry. 3: 139–177.
  18. ↑ Tarasov, V.; Varchenko, A. (2002). "Duality for Knizhnik-Zamolodchikov and Dynamical Equations". Acta Appl. Math. 73: 141–154.
  19. ↑ Rimányi, R.; Tarasov, V.; Varchenko, A. (2012). "Partial flag varieties, stable envelopes and weight functions". arXiv:1212.6240 Freely accessible.
  20. ↑ Mukhin, E.; Tarasov, V.; Varchenko, A. (2009). "The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz". Ann. of Math. (2) 170, no. 2: 863–881. doi:10.4007/annals.2009.170.863.
  21. ↑ Sottile, F. (2010). "Frontiers of reality in Schubert calculus". Bull. Amer. Math. Soc. (N.S.). 47 (1): 31–71. doi:10.1090/s0273-0979-09-01276-2.
  22. ↑ Mukhin, E.; Tarasov, V.; Varchenko, A. (2009). "Schubert calculus and representations of the general linear group". J. Amer. Math. Soc. 22 (4): 909–940. doi:10.1090/s0894-0347-09-00640-7.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.