# Ivan Fesenko

Ivan Fesenko is a mathematician working in number theory and its interaction with other areas of modern mathematics. He is a distinguished professor of mathematics at Westlake University in China.

## Education and career

Fesenko was educated at St. Petersburg State University where he was awarded a PhD in 1987.
After continuing at St. Petersburg State University as assistant and associate professor, he became professor in pure mathematics at the University of Nottingham in the UK. He moved to Westlake University in China as a distinguished professor of mathematics in 2023.

## Research

Fesenko was awarded the Prize of the Petersburg Mathematical Society in 1992.
He contributed to several areas of number theory such as class field theory and its generalizations, as well as to various related developments in pure mathematics.
Fesenko contributed to explicit formulas for the generalized Hilbert symbol on local fields and higher local field, higher class field theory, p-class field theory, arithmetic noncommutative local class field theory.
He coauthored a textbook on local fields and a volume on higher local fields.
Fesenko discovered a higher Haar measure and integration on various higher local and adelic objects. He pioneered the study of zeta functions in higher dimensions by developing his theory of higher adelic zeta integrals. These integrals are defined using the higher Haar measure and objects from higher class field theory. Fesenko generalized the Iwasawa-Tate theory from 1-dimensional global fields to 2-dimensional arithmetic surfaces such as proper regular models of elliptic curves over global fields. His theory led to three further developments.
The first development is the study of functional equation and meromorphic continuation of the Hasse zeta function of a proper regular model of an elliptic curve over a global field. This study led Fesenko to introduce a new mean-periodicity correspondence between the arithmetic zeta functions and mean-periodic elements of the space of smooth functions on the real line of not more than exponential growth at infinity. This correspondence can be viewed as a weaker version of the Langlands correspondence, where L-functions and replaced by zeta functions and automorphicity is replaced by mean-periodicity. This work was followed by a joint work with Suzuki and Ricotta.
The second development is an application to the generalized Riemann hypothesis, which in this higher theory is reduced to a certain positivity property of small derivatives of the boundary function and to the properties of the spectrum of the Laplace transform of the boundary function.
The third development is a higher adelic study of relations between the arithmetic and analytic ranks of an elliptic curve over a global field, which in conjectural form are stated in the Birch and Swinnerton-Dyer conjecture for the zeta function of elliptic surfaces. This new method uses FIT theory, two adelic structures: the geometric additive adelic structure and the arithmetic multiplicative adelic structure and an interplay between them motivated by higher class field theory. These two adelic structures have some similarity to two symmetries in inter-universal Teichmüller theory of Mochizuki.
His contributions include his analysis of class field theories and their main generalizations.

### Other contributions

In his study of infinite ramification theory, Fesenko introduced a torsion free hereditarily just infinite closed subgroup of the Nottingham group.
Fesenko played an active role in organizing the study of inter-universal Teichmüller theory of Shinichi Mochizuki. He is the author of a survey and a general article on this theory. He co-organized two international workshops on IUT.

### Selected publications

* ↑ Fesenko, I. B.; Vostokov, S. V. (2002). Local Fields and Their Extensions, Second Revised Edition, American Mathematical Society. American Mathematical Soc. ISBN 978-0-8218-3259-2.
* ↑ Fesenko, I. (1992). "Class field theory of multidimensional local fields of characteristic 0, with the residue field of positive characteristic". St. Petersburg Mathematical Journal. 3: 649–678.
* ↑ Fesenko, I. (1995). "Abelian local p-class field theory". Math. Ann. 301: 561–586. doi:10.1007/bf01446646. S2CID 124638476.
* ↑ Fesenko, I. (1994). "Local class field theory: perfect residue field case". Izvestiya Mathematics. 43 (1). Russian Academy of Sciences: 65–81. Bibcode:1994IzMat..43...65F. doi:10.1070/IM1994v043n01ABEH001559.
* ↑ Fesenko, I. (1996). "On general local reciprocity maps". Journal für die reine und angewandte Mathematik. 473: 207–222.
* ↑ Fesenko, I. (2001). "Nonabelian local reciprocity maps". Class Field Theory – Its Centenary and Prospect, Advanced Studies in Pure Math. pp. 63–78. ISBN 4-931469-11-6.
* ↑ Fesenko, I. B.; Vostokov, S. V. (2002). Local Fields and Their Extensions, Second Revised Edition, American Mathematical Society. ISBN 978-0-8218-3259-2.
* ↑ Fesenko, I.; Kurihara, M. (2000). "Invitation to higher local fields, Geometry and Topology Monographs". Geometry and Topology Monographs. Geometry and Topology Publications. arXiv:math/0012131. ISSN 1464-8997.
* ↑ Fesenko, I. (2003). "Analysis on arithmetic schemes. I". Documenta Mathematica: 261–284. ISBN 978-3-936609-21-9.
* ↑ Fesenko, I. (2008). "Adelic study of the zeta function of arithmetic schemes in dimension two". Moscow Mathematical Journal. 8: 273–317. doi:10.17323/1609-4514-2008-8-2-273-317.
* ↑ Fesenko, I. (2010). "Analysis on arithmetic schemes. II" (PDF). Journal of K-theory. 5 (3): 437–557. doi:10.1017/is010004028jkt103.
* ↑ Fesenko, I.; Ricotta, G.; Suzuki, M. (2012). "Mean-periodicity and zeta functions". Annales de l'Institut Fourier. 62 (5): 1819–1887. arXiv:0803.2821. doi:10.5802/aif.2737. S2CID 14781708.
* ↑ Fesenko, I. (2008). "Adelic study of the zeta function of arithmetic schemes in dimension two". Moscow Mathematical Journal. 8: 273–317. doi:10.17323/1609-4514-2008-8-2-273-317.
* ↑ Fesenko, I. (2010). "Analysis on arithmetic schemes. II" (PDF). Journal of K-theory. 5 (3): 437–557. doi:10.1017/is010004028jkt103.
* ↑ Fesenko, I. (2008). "Adelic study of the zeta function of arithmetic schemes in dimension two". Moscow Mathematical Journal. 8: 273–317. doi:10.17323/1609-4514-2008-8-2-273-317.
* ↑ Fesenko, I. (2010). "Analysis on arithmetic schemes. II" (PDF). Journal of K-theory. 5 (3): 437–557. doi:10.1017/is010004028jkt103.
* ↑ Fesenko, I. (2015). "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki". Europ. J. Math. 1 (3): 405–440. doi:10.1007/s40879-015-0066-0. S2CID 52085917.
* ↑ Fesenko, I. "Class field theory guidance and three fundamental developments in arithmetic of elliptic curves" (PDF).
* ↑ Fesenko, I. (2015). "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki". Europ. J. Math. 1 (3): 405–440. doi:10.1007/s40879-015-0066-0. S2CID 52085917.
* ↑ Fesenko, I. (2016). "Fukugen". Inference: International Review of Science. 2 (3). doi:10.37282/991819.16.25.
* ↑ "Oxford Workshop on IUT theory of Shinichi Mochizuki". December 2015. {{cite journal}}: Cite journal requires |journal= (help)
* ↑ "Inter-universal Teichmüller Theory Summit 2016 (RIMS workshop), July 18-27 2016".