Alexander Varchenko | |
---|---|
![]() | |
Born | |
Alma mater | Moscow State University (1971) |
Known for | Varchenko's theorem |
Scientific career | |
Fields | Mathematics |
Institutions | University of North Carolina at Chapel Hill |
Doctoral advisor | Vladimir Arnold |
Alexander Nikolaevich Varchenko (Russian: Александр Николаевич Варченко, born February 6, 1949) is a Soviet and Russian mathematician working in geometry, topology, combinatorics and mathematical physics.
Education and career
[edit]From 1964 to 1966 Varchenko studied at the Moscow Kolmogorov boarding school No. 18 for gifted high school students, where Andrey Kolmogorov and Ya. A. Smorodinsky were lecturing mathematics and physics. Varchenko graduated from Moscow State University in 1971. He was a student of Vladimir 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.
Research
[edit]In 1969 Varchenko identified the monodromy group of a critical point of type of a function of an odd number of variables with the symmetric group which is the Weyl group of the simple Lie algebra of type .[2]
In 1971, Varchenko proved that a family of complex quasi-projective algebraic sets with an irreducible base forms a topologically locally trivial bundle over a Zariski open subset of the base.[3] This statement, conjectured by Oscar Zariski, had filled up a gap in the proof of Zariski's theorem on the fundamental group of the complement to a complex algebraic hypersurface[4] published in 1937. In 1973, Varchenko proved René 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]
Vadim Schechtman and Varchenko identified in [10] the Knizhnik–Zamolodchikov equations (or, KZ 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 quantum KZ equations (or, qKZ-type difference equations) in joint works with Giovanni Felder and Vitaly Tarasov.[13][14] The weight functions appearing in multidimensional hypergeometric solutions were later identified with stable envelopes in Andrei Okounkov's equivariant enumerative geometry.[15][16]
In the second half of 90s Felder, Pavel Etingof, and Varchenko developed the theory of dynamical quantum groups.[17][18] Dynamical equations, compatible with the KZ type equations, were introduced in joint papers with G. Felder, Y. Markov, V. Tarasov.[19][20] In applications, the dynamical equations appear as the quantum differential equations of the cotangent bundles of partial flag varieties.[21]
In,[22] Evgeny Mukhin, Tarasov, and Varchenko proved the conjecture of Boris Shapiro and Michael Shapiro in real algebraic geometry:[23] 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 N-dimensional planes coincides with the dimension of the space of invariants in a suitable tensor product of representations of the general linear group . In,[24] Mukhin, 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.
Recognition
[edit]Varchenko was an invited speaker at the International Congress of Mathematicians in 1974 in Vancouver (section of algebraic geometry) and in 1990 in Kyoto (a plenary address).[25] In 1973 he received the Moscow Mathematical Society Award.
He was named to the 2023 class of Fellows of the American Mathematical Society, "for contributions to singularity theory, real algebraic geometry, and the theory of quantum integrable systems".[26]
Books
[edit]- Arnolʹd, V. I.; Guseĭn-Zade, S. M.; Varchenko, A. N. Singularities of differentiable maps. Vol. I. The classification of critical points, caustics and wave fronts. Monographs in Mathematics, 82. Birkhäuser Boston, Inc., Boston, MA, 1985. xi+382 pp. ISBN 0-8176-3187-9
- Arnolʹd, V. I.; Guseĭn-Zade, S. M.; Varchenko, A. N. Singularities of differentiable maps. Vol. II. Monodromy and asymptotics of integrals. Monographs in Mathematics, 83. Birkhäuser Boston, Inc., Boston, MA, 1988. viii+492 pp. ISBN 0-8176-3185-2
- Etingof, P.; Varchenko, A. Why the Boundary of a Round Drop Becomes a Curve of Order Four (University Lecture Series), AMS 1992, ISBN 0821870025
- Varchenko, A. Multidimensional hypergeometric functions and representation theory of Lie algebras and quantum groups. Advanced Series in Mathematical Physics, 21. World Scientific Publishing Co., Inc., River Edge, NJ, 1995. x+371 pp. ISBN 981-02-1880-X
- Varchenko, A. Special functions, KZ type equations, and representation theory. CBMS Regional Conference Series in Mathematics, 98. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2003. viii+118 pp. ISBN 0-8218-2867-3
References
[edit]- ^ Edward Frenkel (1 October 2013). Love and Math: The Heart of Hidden Reality. Basic Books. pp. 38. ISBN 978-0-465-06995-8.
- ^ A. Varchenko (1969). "The branching of multiple integrals which depend on parameters". Funkcional. Anal. I Prilozhen. 3 (3): 79–80.
- ^ A. Varchenko (1972). "Theorems of Topological Equisingularity of Families of Algebraic Manifold and Polynomial Mappings". Izv. Acad. Sci. USSR. 36: 957–1019.
- ^ Zariski, O. (1937). "On the Poincaré group of projective hypersurface". Ann. of Math. 38 (1): 131–141. doi:10.2307/1968515. JSTOR 1968515.
- ^ Varchenko, A. (1975). "Versal Topological Deformations". Izv. Acad. Sci. USSR. 39: 294314.
- ^ Varchenko, A. (1976). "Newton Polyhedra and Asymptotics of Oscillatory Integrals". Funct. Anal. Appl. 10 (3): 175–196. doi:10.1007/bf01075524. S2CID 17932967.
- ^ 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 SSSR. 270 (6): 1294–1297.
- ^ Varchenko, A. (1980). "The Asymptotics of Holomorphic Forms Determine a Mixed Hodge Structure". Soviet Mathematics - Doklady. 22 (5): 772–775.
- ^ Varchenko, A. (1984). "Estimate of the Number of Zeros of a Real Abelian Integral Depending on a Parameter and Limit Cycles". Func. Anal. Appl. 18 (2): 98–108. doi:10.1007/bf01077820. S2CID 121780077.
- ^ Schechtman, V.; Varchenko, A. (1991). "Arrangements of Hyperplanes and Lie Algebra Homology". Invent. Math. 106: 139–194. Bibcode:1991InMat.106..139S. doi:10.1007/bf01243909. S2CID 121471033.
- ^ Kohno, T. (1987). "Monodromy representations of braid groups and Yang-Baxter equations". Annales de l'Institut Fourier. 1 (4): 139–160. doi:10.5802/aif.1114.
- ^ Drinfeld, V. (1990). "Quasi-Hopf algebras". Leningrad Math. J. 1: 1419–1457.
- ^ 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. arXiv:q-alg/9604011. Bibcode:1997InMat.128..501T. doi:10.1007/s002220050151. S2CID 119162926.
- ^ Felder, G.; Tarasov, V.; Varchenko, A. (1999). "Monodromy of solutions of the elliptic quantum Knizhnik-Zamolodchikov-Bernard difference equations". Int. J. Math. 10 (8): 943–975. arXiv:q-alg/9705017. doi:10.1142/s0129167x99000410. S2CID 14985025.
- ^ Rimányi, R.; Tarasov, V.; Varchenko, A. (2012). "Partial flag varieties, stable envelopes and weight functions". arXiv:1212.6240 [math.AG].
- ^ Felder, G.; Rimányi, R.; Varchenko, A. (2018). "Elliptic Dynamical Quantum Groups and Equivariant Elliptic Cohomology". Symmetry, Integrability and Geometry: Methods and Applications. 14: 132. arXiv:1702.08060. Bibcode:2018SIGMA..14..132F. doi:10.3842/SIGMA.2018.132. S2CID 119149792.
- ^ Felder, G.; Varchenko, A. (1996). "On representations of the elliptic quantum group ". Comm. Math. Phys. 181 (3): 741–761. arXiv:q-alg/9601003. Bibcode:1996CMaPh.181..741F. doi:10.1007/bf02101296. S2CID 119128058.
- ^ Etingof, P.; Varchenko, A. (1998). "Solutions of the quantum dynamical Yang–Baxter equation and dynamical quantum groups". Comm. Math. Phys. 196 (3): 591–640. arXiv:q-alg/9708015. Bibcode:1998CMaPh.196..591E. doi:10.1007/s002200050437. S2CID 8031350.
- ^ Markov, Y.; Felder, G.; Tarasov, V.; Varchenko, A. (2000). "Differential Equations Compatible with KZ Equations". J. Math. Phys., Analysis and Geometry. 3 (2): 139–177. doi:10.1023/A:1009862302234. S2CID 119590296.
- ^ Tarasov, V.; Varchenko, A. (2002). "Duality for Knizhnik-Zamolodchikov and Dynamical Equations". Acta Appl. Math. 73: 141–154. doi:10.1023/A:1019787006990. S2CID 14901561.
- ^ Rimányi, R.; Tarasov, V.; Varchenko, A. (2012). "Partial flag varieties, stable envelopes and weight functions". arXiv:1212.6240 [math.AG].
- ^ Mukhin, E.; Tarasov, V.; Varchenko, A. (2009). "The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz". Annals of Mathematics. Series 2. 170 (2): 863–881. arXiv:math/0512299. doi:10.4007/annals.2009.170.863. S2CID 18381451.
- ^ Sottile, Frank (2010). "Frontiers of reality in Schubert calculus". Bulletin of the American Mathematical Society. (N.S.). 47 (1): 31–71. arXiv:0907.1847. doi:10.1090/s0273-0979-09-01276-2. S2CID 5914695.
- ^ Mukhin, E.; Tarasov, V.; Varchenko, A. (2009). "Schubert calculus and representations of the general linear group". Journal of the American Mathematical Society. 22 (4): 909–940. arXiv:0711.4079. Bibcode:2009JAMS...22..909M. doi:10.1090/s0894-0347-09-00640-7.
- ^ "ICM Plenary and Invited Speakers since 1897". International Congress of Mathematicians. Archived from the original on 2017-11-08. Retrieved 2014-08-28.
- ^ "2023 Class of Fellows". American Mathematical Society. Retrieved 2022-11-09.