(D stands for ‘done’, P stands for ‘in progress’)

40 problems, 6 done, 9 partially done

1. Develop a good theory of 2d ramified local zeta integral. Its values will be in C((X)) and the meaning of non-constant terms should be clarified. Use it to construct a 2d general local ramification theory. Find its connections with 6 existing partial approaches to higher ramification theory.

D2. Develop invariant measure and integration on algebraic groups over 2d local fields. GL(n) case was done by Matthew Morrow. A new approach more directly generalising the theory on the additive and multiplicative group in Analysis I is done by Raven Waller.

P3. Develop applications to representation theory of algebraic groups over 2d local fields and of Kac-Moody groups - this is in progress by Raven Waller.

4. Understand better analogies between the Fourier transform on two-dimensional local fields and the Feynman path integral and use them in both directions.

5. Find a general conceptual theory which unifies several quite different existing approaches to higher local fields and their arithmetic such as (a) topological and sequential topological, (b) higher translation measure theoretical, (c) iterated ind-pro categories, (d) higher categorical, (e) model theoretical, (f) non-archimedean functional analysis. Some work in direction (f) was done by Alberto Camara.

1. Similar to Local-5, find a unifying theory, which combines features of topological, categorical approaches and model-theoretical approaches, to deal with the two different adelic structures on surfaces: geometric and analytic adelic structures.

Find a universal geometric-analytic adelic structure which takes into account the integral structure of rank 1 and of rank 2 and is related to the study of 0-cycles and 1-cycles.

2. Develop explicit global and semi-local-global class field theories for arithmetic surfaces, using the explicit higher local class field theory a la Neukirch, along the description in Analysis II. For positive characteristic see Adelic-9.

D3. Prove all expected topological properties of geometric adeles on algebraic surfaces using 2d adelic topological self-duality. Find a two dimensional adelic proof of the R-R theorem for surfaces. Done in www.maths.nott.ac.uk/personal/ibf/ar.pdf

P4. Develop the analogue of Adelic-3 for arithmetic surfaces, i.e. a 2d adelic approach to Arakelov geometry and the Deligne pairing. Has been partially done by Paolo Dolce and Weronika Czerniawska.

P5. Develop a more refined measure and integration which takes into account range of coefficients of finitely many powers of the main local parameter. Partially done by Raven Waller.

P6. Using the local and adelic theories for GL_1, and the measure and integration for local GL_n, develop measure and integration on GL_n(A), A the analytic adeles and its application to automorphic representations in dimension two. See also Adelic-26. Partially done by Raven Waller.

P7. Generalising the one-dimensional general linear adelic group theory (e.g. Goldfeld-Hundley), develop appropriate elements of two-dimensional theory. For the local theory, try to develop two-dimensional analogues of local Whittaker functions, Kirillov model, Jacquet model. See also Adelic-26. Raven Waller is working on this.

D8. Develop a theory of (renormalized) measure and integration on analytic adelic spaces for models of curves of genus >1. Done by Tom Oliver.

D9. Develop a positive characteristic 2d class field theory theory extending the method of Kawada-Satake. Done by Kirsty Syder. See also Adelic-2.

10. Develop elements of an enhanced 2d algebraic geometry which takes into account zero cycles and integral structures of rank 2 on surfaces and which could possibly help to find a more universal adelic object which specializes both to geometric adeles and to analytic adeles.

11. Two-dim theta formula - understand it better from several directions, and try to get an enhanced algebraic geometric proof of two-dim theta formula and which can be used to deal with the zeta integral in a more categorical or geometric way. See also Adelic-10. Try to investigate if there are other summation formulas/theta formulas which can be used in the study of the zeta integral.

12. Compute the zeta integral for an arbitrary function f in two-dim Bruhat-Schwartz space.

13. Develop the theory of zeta integrals for singular points on fibres of general type and establish comparison with the zeta function.

14. Apply Adelic-13 for a 2d adelic interpretation of the conductor, see also Remark 2 in sect. 40 of Analysis II. Obtain an adelic understanding of the wild part of the conductor.

15. Develop a theory of 2d ramified adelic zeta integral, clarify the meaning of non-free coefficients of ramified zeta integrals and use them to obtain more information about ramification invariants. See also Local-1.

D16. Develop the theory of zeta integral on models of curves of higher genus, following the general scheme outlined in section 57 of Analysis II, see also Adelic-8. Done by Tom Oliver.

17. In the context of the correspondence: zeta functions <-> mean-periodic functions, study the mean-periodicity of the boundary function H in the space of smooth functions of exponential growth on the real line, see section 48 of Analysis II and Suzuki-Ricotta-F paper.

18. Further develop the new correspondence zeta functions <-> mean-periodic functions and various related things, including connections with the Langlands correspondence. See also Adelic-33.

19. Find more applications of mean-periodicity, in particular using Suzuki-Ricotta-F paper and other papers of Masatoshi Suzuki.

20. Progress towards hypothesis (*), closely related to the GRH, in section 51 of Analysis II.

21. Develop the theory sketched in section 55 of Analysis II.

22. Investigate the direction of Remark 1 in section 56 of Analysis II, a 2d generalisation of the Weil-Connes approach to the study of the zeta function and zeta integral and its applications to their meromorphic continuation and functional equation.

23. As part of the study of 2d class field theory, develop further the K_1 times the Brauer group theory for arithmetic surfaces of Shuji Saito and extend it to the general case (without the restriction of absence of real places).

D24. Analogously to the positive characteristic case compare the arithmetic rank of an elliptic curve over a global fields and the Picard rank of the model in characteristic zero case and write down the details. Done by Matteo Tamiozzo.

25. Find possible relations between the two dimensional theta formula and other recent "non-linear” summation formula on adelic algebraic groups by Laurent Laffogue.

26. Following the outline in the last section of Adelic approach to zeta functions develop a 2d adelic theory of automorphic functions and representations. See also Adelic-30.

27. Using the objects which naturally come from the theory of two dimensional zeta integral understand and develop an enhanced theory of bundles on arithmetic surfaces extending the one-dimensional classical observation of Weil. See also Adelic-30.

28. Various problems on relations between the two dimensional commutative theory of the zeta functions of models of elliptic curves over global fields and one dimensional non-commutative theory for L-factors of the zeta function. Analytically we already have many relations, the issue is to get them algebraically and geometrically.

29. Develop the theory of Eisenstein series on arithmetic surfaces.

30. Various problems on relations between the two dimensional commutative theory of the zeta functions of arithmetic surfaces in positive characteristic and aspects of geometric Langlands correspondence. One analogy between the two theories is that each reduces the analytic aspects of the zeta/L functions to adelic geometric or geometric aspects. See also Adelic-18 and Adelic-26.

P31. In positive characteristic find a purely adelic proof of the full BSD conjecture without using the previous results proved by other techniques (Tate, Artin, Milne).

P32. Following Analysis III progress towards the relation of the analytic and arithmetic/geometric ranks of a regular model of an elliptic curve over a global field at the central point.

P33. Find a two-dimensional adelic description of an arithmetic analogue of the Bogomolov-Miyaoke-Yau inequality and its applications.

34. Further developing Adelic-15, find an adelic interpretation of the discriminant inequality.

P35. Find more explicit relations between the theory of two adelic structures on arithmetic surfaces and their applications to the study of the zeta functions and the two symmetries of IUT and Hodge theatres in IUT, to possibly enhance each of the theories.