Ivan Fesenko

Last updated

Ivan Fesenko
Born
Alma mater Saint Petersburg State University
Known for Number theory
Awards Petersburg Mathematical Society Prize
Scientific career
Fields Mathematician
Institutions University of Nottingham
Doctoral advisor Sergei Vostokov
Alexander Merkurjev [1]
Doctoral students Caucher Birkar [1]
Website www.maths.nottingham.ac.uk/personal/ibf

Ivan Fesenko is a mathematician working in number theory and its interaction with other areas of modern mathematics. [1]

Contents

Education

Fesenko was educated at St. Petersburg State University where he was awarded a PhD in 1987. [1]

Career and research

Fesenko was awarded the Prize of the Petersburg Mathematical Society [2] in 1992. Since 1995, he is professor in pure mathematics at University of Nottingham.

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, [pub 1] higher class field theory, [pub 2] [pub 3] p-class field theory, [pub 4] [pub 5] arithmetic noncommutative local class field theory. [pub 6]

He coauthored a textbook on local fields [pub 7] and a volume on higher local fields. [pub 8]

Fesenko discovered a higher Haar measure and integration on various higher local and adelic objects. [pub 9] [pub 10] 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. [pub 11] This work was followed by a joint work with Suzuki and Ricotta. [pub 12]

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. [pub 13] [pub 14] [3]

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. [pub 15] [pub 16] 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. [pub 17]

His contributions include his analysis of class field theories and their main generalizations. [pub 18]

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 [pub 19] and a general article [pub 20] on this theory. He co-organized two international workshops on IUT. [pub 21] [pub 22]

Selected publications

  1. Fesenko, I. B.; Vostokov, S. V. (2002). Local Fields and Their Extensions, Second Revised Edition, American Mathematical Society. ISBN   978-0-8218-3259-2.
  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.
  3. Fesenko, I. (1995). "Abelian local p-class field theory". Math. Ann. 301: 561–586. doi:10.1007/bf01446646. S2CID   124638476.
  4. Fesenko, I. (1994). "Local class field theory: perfect residue field case". Izvestiya Mathematics. Russian Academy of Sciences. 43 (1): 65–81. Bibcode:1994IzMat..43...65F. doi:10.1070/IM1994v043n01ABEH001559.
  5. Fesenko, I. (1996). "On general local reciprocity maps". Journal für die reine und angewandte Mathematik . 473: 207–222.
  6. 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.
  7. Fesenko, I. B.; Vostokov, S. V. (2002). Local Fields and Their Extensions, Second Revised Edition, American Mathematical Society. ISBN   978-0-8218-3259-2.
  8. 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.
  9. Fesenko, I. (2003). "Analysis on arithmetic schemes. I". Documenta Mathematica: 261–284. ISBN   978-3-936609-21-9.
  10. 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.
  11. Fesenko, I. (2010). "Analysis on arithmetic schemes. II" (PDF). Journal of K-theory. 5 (3): 437–557. doi:10.1017/is010004028jkt103.
  12. 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.
  13. 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.
  14. Fesenko, I. (2010). "Analysis on arithmetic schemes. II" (PDF). Journal of K-theory. 5 (3): 437–557. doi:10.1017/is010004028jkt103.
  15. 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.
  16. Fesenko, I. (2010). "Analysis on arithmetic schemes. II" (PDF). Journal of K-theory. 5 (3): 437–557. doi:10.1017/is010004028jkt103.
  17. Fesenko, I. (2015). "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki" (PDF). Europ. J. Math. 1 (3): 405–440. doi: 10.1007/s40879-015-0066-0 . S2CID   52085917.
  18. Fesenko, I. "Class field theory guidance and three fundamental developments in arithmetic of elliptic curves" (PDF).
  19. Fesenko, I. (2015). "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki" (PDF). Europ. J. Math. 1 (3): 405–440. doi: 10.1007/s40879-015-0066-0 . S2CID   52085917.
  20. Fesenko, I. (2016). "Fukugen". Inference: International Review of Science. 2 (3). doi:10.37282/991819.16.25.
  21. "Oxford Workshop on IUT theory of Shinichi Mochizuki". December 2015.{{cite journal}}: Cite journal requires |journal= (help)
  22. "Inter-universal Teichmüller Theory Summit 2016 (RIMS workshop), July 18-27 2016".

Related Research Articles

<i>abc</i> conjecture The product of distinct prime factors of a,b,c, where c is a+b, is rarely much less than c

The abc conjecture is a conjecture in number theory that arose out of a discussion of Joseph Oesterlé and David Masser in 1985. It is stated in terms of three positive integers a, b and c that are relatively prime and satisfy a + b = c. The conjecture essentially states that the product of the distinct prime factors of abc is usually not much smaller than c. A number of famous conjectures and theorems in number theory would follow immediately from the abc conjecture or its versions. Mathematician Dorian Goldfeld described the abc conjecture as "The most important unsolved problem in Diophantine analysis".

In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory that describes abelian Galois extensions of local and global fields using objects associated to the ground field.

In mathematics, local class field theory, introduced by Helmut Hasse, is the study of abelian extensions of local fields; here, "local field" means a field which is complete with respect to an absolute value or a discrete valuation with a finite residue field: hence every local field is isomorphic to the real numbers R, the complex numbers C, a finite extension of the p-adic numbersQp, or a finite extension of the field of formal Laurent series Fq( ) over a finite field Fq.

Arithmetic geometry Branch of algebraic geometry focused on problems in number theory

In mathematics, arithmetic geometry is roughly the application of techniques from algebraic geometry to problems in number theory. Arithmetic geometry is centered around Diophantine geometry, the study of rational points of algebraic varieties.

David Masser

David William Masser is Professor Emeritus in the Department of Mathematics and Computer Science at the University of Basel. He is known for his work in transcendental number theory, Diophantine approximation, and Diophantine geometry. With Joseph Oesterlé in 1985, Masser formulated the abc conjecture, which has been called "the most important unsolved problem in Diophantine analysis".

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

In number theory, Tate's thesis is the 1950 PhD thesis of John Tate (1950) completed under the supervision of Emil Artin at Princeton University. In it, Tate used a translation invariant integration on the locally compact group of ideles to lift the zeta function twisted by a Hecke character, i.e. a Hecke L-function, of a number field to a zeta integral and study its properties. Using harmonic analysis, more precisely the Poisson summation formula, he proved the functional equation and meromorphic continuation of the zeta integral and the Hecke L-function. He also located the poles of the twisted zeta function. His work can be viewed as an elegant and powerful reformulation of a work of Erich Hecke on the proof of the functional equation of the Hecke L-function. Erich Hecke used a generalized theta series associated to an algebraic number field and a lattice in its ring of integers.

In mathematics, Arakelov theory is an approach to Diophantine geometry, named for Suren Arakelov. It is used to study Diophantine equations in higher dimensions.

In number theory, Szpiro's conjecture relates to the conductor and the discriminant of an elliptic curve. In a slightly modified form, it is equivalent to the well-known abc conjecture. It is named for Lucien Szpiro, who formulated it in the 1980s. Szpiro's conjecture and its equivalent forms have been described as "the most important unsolved problem in Diophantine analysis" by Dorian Goldfeld, in part to its large number of consequences in number theory including Roth's theorem, the Mordell conjecture, the Fermat–Catalan conjecture, and Brocard's problem.

In mathematics, a p-adic zeta function, or more generally a p-adic L-function, is a function analogous to the Riemann zeta function, or more general L-functions, but whose domain and target are p-adic. For example, the domain could be the p-adic integersZp, a profinite p-group, or a p-adic family of Galois representations, and the image could be the p-adic numbersQp or its algebraic closure.

Anabelian geometry is a theory in number theory which describes the way in which the algebraic fundamental group G of a certain arithmetic variety X, or some related geometric object, can help to restore X. The first results for number fields and their absolute Galois groups were obtained by Jürgen Neukirch, Masatoshi Gündüz Ikeda, Kenkichi Iwasawa, and Kôji Uchida prior to conjectures made about hyperbolic curves over number fields by Alexander Grothendieck. As introduced in Esquisse d'un Programme the latter were about how topological homomorphisms between two arithmetic fundamental groups of two hyperbolic curves over number fields correspond to maps between the curves. These Grothendieck conjectures were partially solved by Hiroaki Nakamura and Akio Tamagawa, while complete proofs were given by Shinichi Mochizuki.

In mathematics, a higher (-dimensional) local field is an important example of a complete discrete valuation field. Such fields are also sometimes called multi-dimensional local fields.

Christopher Deninger German mathematician

Christopher Deninger is a German mathematician at the University of Münster. Deninger's research focuses on arithmetic geometry, including applications to L-functions.

In mathematics, the arithmetic zeta function is a zeta function associated with a scheme of finite type over integers. The arithmetic zeta function generalizes the Riemann zeta function and Dedekind zeta function to higher dimensions. The arithmetic zeta function is one of the most-fundamental objects of number theory.

Shinichi Mochizuki is a Japanese mathematician working in number theory and arithmetic geometry. He is one of the main contributors to anabelian geometry. His contributions include his solution of the Grothendieck conjecture in anabelian geometry about hyperbolic curves over number fields. Mochizuki has also worked in Hodge–Arakelov theory and p-adic Teichmüller theory. Mochizuki developed inter-universal Teichmüller theory, which has attracted attention from non-mathematicians due to claims it provides a resolution of the abc conjecture.

Inter-universal Teichmüller theory is the name given by mathematician Shinichi Mochizuki to a theory he developed in the 2000s, following his earlier work in arithmetic geometry. According to Mochizuki, it is "an arithmetic version of Teichmüller theory for number fields equipped with an elliptic curve". The theory was made public in a series of four preprints posted in 2012 to his website. The most striking claimed application of the theory is to provide a proof for various outstanding conjectures in number theory, in particular the abc conjecture. Mochizuki and a few other mathematicians claim that the theory indeed yields such a proof but this has so far not been accepted by the mathematical community.

In mathematics, p-adic Teichmüller theory describes the "uniformization" of p-adic curves and their moduli, generalizing the usual Teichmüller theory that describes the uniformization of Riemann surfaces and their moduli. It was introduced and developed by Shinichi Mochizuki.

In arithmetic geometry, a Frobenioid is a category with some extra structure that generalizes the theory of line bundles on models of finite extensions of global fields. Frobenioids were introduced by Shinichi Mochizuki (2008). The word "Frobenioid" is a portmanteau of Frobenius and monoid, as certain Frobenius morphisms between Frobenioids are analogues of the usual Frobenius morphism, and some of the simplest examples of Frobenioids are essentially monoids.

In mathematics, Hodge–Arakelov theory of elliptic curves is an analogue of classical and p-adic Hodge theory for elliptic curves carried out in the framework of Arakelov theory. It was introduced by Mochizuki (1999). It bears the name of two mathematicians, Suren Arakelov and W. V. D. Hodge. The main comparison in his theory remains unpublished as of 2019.

In mathematics, a nilcurve is a pointed stable curve over a finite field with an indigenous bundle whose p-curvature is square nilpotent. Nilcurves were introduced by Mochizuki (1996) as a central concept in his theory of p-adic Teichmüller theory.

References