Alexander Varchenko Explained

Alexander Varchenko
Birth Date:6 February 1949
Birth Place:Russia
Fields:Mathematics
Workplaces:University of North Carolina at Chapel Hill
Alma Mater:Moscow State University (1971)
Doctoral Advisor:Vladimir Arnold
Known For:Varchenko's theorem

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

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

In 1969 Varchenko identified the monodromy group of a critical point of type

An

of a function of an odd number of variables with the symmetric group

Sn+1

which is the Weyl group of the simple Lie algebra of type

An

.[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

\operatorname{GL}N

. 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

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

External links

Notes and References

  1. Book: Edward Frenkel . Love and Math: The Heart of Hidden Reality . registration . 1 October 2013 . Basic Books . 978-0-465-06995-8 . 38.
  2. A. Varchenko . The branching of multiple integrals which depend on parameters . 1969 . 3 . 3 . Funkcional. Anal. I Prilozhen . 79–80.
  3. A. Varchenko . Theorems of Topological Equisingularity of Families of Algebraic Manifold and Polynomial Mappings . 1972 . 36 . Izv. Acad. Sci. USSR . 957–1019.
  4. Zariski, O. . On the Poincaré group of projective hypersurface . 1937 . 38 . 1 . Ann. of Math. . 131–141 . 10.2307/1968515 . 1968515.
  5. Varchenko, A. . Versal Topological Deformations . 1975 . 39 . Izv. Acad. Sci. USSR . 294314.
  6. Varchenko, A. . Newton Polyhedra and Asymptotics of Oscillatory Integrals . 1976 . 10 . 3 . Funct. Anal. Appl. . 175–196 . 10.1007/bf01075524. 17932967 .
  7. Varchenko, A. . On the Semicontinuity of the Spectra and Estimates from Above of the Number of Singular Points of a Projective Hypersurface . 1983 . 270 . 6 . Dokl. Akad. Nauk SSSR . 1294–1297.
  8. Varchenko, A. . The Asymptotics of Holomorphic Forms Determine a Mixed Hodge Structure . 1980 . 22 . 5 . Soviet Mathematics - Doklady . 772–775.
  9. Varchenko, A. . Estimate of the Number of Zeros of a Real Abelian Integral Depending on a Parameter and Limit Cycles . 1984 . 18 . 2 . Func. Anal. Appl. . 98–108 . 10.1007/bf01077820. 121780077 .
  10. Schechtman, V. . Varchenko, A. . Arrangements of Hyperplanes and Lie Algebra Homology . 1991 . 106 . Invent. Math. . 139–194 . 10.1007/bf01243909. 1991InMat.106..139S . 121471033 .
  11. Kohno, T. . Monodromy representations of braid groups and Yang-Baxter equations . 1987 . 1 . 4 . Annales de l'Institut Fourier . 139–160 . 10.5802/aif.1114. free .
  12. Drinfeld, V. . Quasi-Hopf algebras . 1990 . 1 . Leningrad Math. J. . 1419–1457.
  13. Tarasov, V. . Varchenko, A. . Geometry of q-hypergeometric functions as a bridge between Yangians and quantum affine algebras . 1997 . 128 . 3 . Invent. Math. . 501–588 . 10.1007/s002220050151 . q-alg/9604011. 1997InMat.128..501T . 119162926 .
  14. Felder, G. . Tarasov, V. . Varchenko, A. . Monodromy of solutions of the elliptic quantum Knizhnik-Zamolodchikov-Bernard difference equations . 1999 . 10 . 8 . Int. J. Math. . 943–975 . 10.1142/s0129167x99000410 . q-alg/9705017. 14985025 .
  15. 1212.6240 . Rimányi, R. . Tarasov, V. . Varchenko, A. . Partial flag varieties, stable envelopes and weight functions . 2012 . math.AG.
  16. 1702.08060 . Felder, G. . Rimányi, R. . Varchenko, A. . Elliptic Dynamical Quantum Groups and Equivariant Elliptic Cohomology . Symmetry, Integrability and Geometry: Methods and Applications . 2018 . 14 . 132 . 10.3842/SIGMA.2018.132 . 2018SIGMA..14..132F . 119149792 .
  17. Felder. G. . Varchenko. A. . On representations of the elliptic quantum group

    E\tau,η(sl2)

    . 1996 . 181 . 3 . Comm. Math. Phys. . 741–761 . 10.1007/bf02101296 . q-alg/9601003. 1996CMaPh.181..741F . 119128058 .
  18. Etingof, P. . Varchenko, A. . Solutions of the quantum dynamical Yang–Baxter equation and dynamical quantum groups . 1998 . 196 . 3 . Comm. Math. Phys. . 591–640 . 10.1007/s002200050437. 1998CMaPh.196..591E . q-alg/9708015 . 8031350 .
  19. Markov. Y. . Felder. G. . Tarasov. V. . Varchenko. A. . Differential Equations Compatible with KZ Equations . 2000 . 3 . J. Math. Phys., Analysis and Geometry . 2 . 139–177. 10.1023/A:1009862302234 . 119590296 .
  20. Tarasov, V. . Varchenko, A. . Duality for Knizhnik-Zamolodchikov and Dynamical Equations . 2002 . 73 . Acta Appl. Math. . 141–154. 10.1023/A:1019787006990 . 14901561 .
  21. 1212.6240 . Rimányi. R. . Tarasov. V. . Varchenko. A. . Partial flag varieties, stable envelopes and weight functions . 2012 . math.AG.
  22. Mukhin. E. . Tarasov. V. . Varchenko. A. . The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz . 2009 . . Series 2 . 170 . 2 . 863–881 . 10.4007/annals.2009.170.863. math/0512299 . 18381451 .
  23. Sottile. Frank . Frontiers of reality in Schubert calculus . 2010 . 47 . Bulletin of the American Mathematical Society. (N.S.) . 1 . 31–71 . 10.1090/s0273-0979-09-01276-2. 0907.1847 . 5914695 .
  24. Mukhin. E. . Tarasov. V. . Varchenko. A. . Schubert calculus and representations of the general linear group . 2009 . 22 . 4 . . 909–940 . 10.1090/s0894-0347-09-00640-7. 2009JAMS...22..909M . free . 0711.4079 .
  25. Web site: ICM Plenary and Invited Speakers since 1897 . . 2014-08-28 . 2017-11-08 . https://web.archive.org/web/20171108012153/http://www.mathunion.org/db/ICM/Speakers/SortedByCongress.php . dead .
  26. Web site: 2023 Class of Fellows. American Mathematical Society. 2022-11-09.