MAPTUR. PURE INTERTHEMATIC MATHEMATICS.
The aim of this programm is to promote the study and research of important problems in Pure Mathematics. The adjective interthematic is therefore superfluous, addressing a characteristic of all significant Mathematics: it touches on differents topics. Indeed the directors of this programm come from three different areas: Algebra, Analysis and Geometry & Topology. This has a central role in chosing specific problems to work on. Anyway all selected problems should have a big variety of objectives and involve researchers coming from a wide spectrum of subjects.
In the Mathematical Department of the UCM work many different mathematicians who have reached a considerable success in their respective fields, as any quality index shows. This is a good starting point. It seems the moment has come to take adventage of the critical mass of researchers and to improve the communication between them; an aspect sometimes forgotten in the past. The research background and experience of all these scientists make us confident about the possibilities of progessing a step forward in the way research has been carried out for many years. The philosophy of our programm may be explained by saying that we will focus efforts on teaching and learning, in one single word, on studying. A sure road to sucessful discoveries.
Up to now there are three research directions:
1. The study of the Topology of Complex Algebraic Varieties has not only reached deep results but also posed some fundamental questions. The most relevant case is the Barth-Larsen Theorem from the 70s: The lower codimension a projective variety has, the more topological propierties it shares with the projective space. More or less at that time, Hartshorne stated the most important open problem in the subject: Are all projective varieties of codimension equal to or lower than the dimension of the variety minus 2 complete intersections? From the Barth-Larsen theorem it follows that a variety with codimension equal to or lower than its dimension minus 2 shares the Picard group with the projective space. And therefore a hypersuface of the variety is a complete intersection in the variety. Recent results due to the UCM Research group Geometry of Projective Algebraic Varieties show that the same holds for other ambient spaces and suggest a more general Barth-Larsen Theorem.
The first aim is to dealt with other ambient spaces like Grassmannians and products of projective spaces. This requires to manage the many different techniques used in Larsen's proof: homotopy and homology groups, Morse theory, geodesics, Levi forms, filtrations and spectral sequences, sheaves cohomology... This will bring together several specialists from Algebra, Analysis, Geometry and Topology.
Key words: Barth-Larsen Theorem, Morse Theory, Picard group, Homotopy group, Spectral sequence, small codimension.
2. The second research direction is Subdifferential Calculus and Hamilton-Jacobi equations on Riemannian manifolds. The subdifferential of a convex function is a classical tool in Convex Analysis, Optimization and Control Theory. The subdifferential of a non necessarily convex function on a Banach space was introduced by Crandall and Lions in order to study Hamilton-Jacobi equations. This notion allowed them to define the concept of viscosity solution and to prove its existance and uniqueness, particularly in many cases where the classical solution does not exist. More recently, the basics of first-order subdifferential calculus in Riemannian manifolds has been settled and applied to Hamilton-Jacobi equations for uniformly continuous Hamiltonians. In the same vein, it is interesting to develop a second-order subdifferential calculus on Riemannian manifolds and apply it to second-order Hamilton-Jacobi equations. In this context it is also useful to study the regularization of Lipschitz functions on the manifold. A key question related to the topic is the classical Myers-Nakai theorem. This result states that the Riemannian structure of a finite-dimensional manifold is determined by the structure of the Banach algebra associated to the space of bounded C^1-functions with bounded differential on the manifold. The development of the above techniques will allow the study of the validity of a Myers-Nakai theorem for infinite dimensions.
Key words: Hamilton-Jacobi equations, Subdifferential calculus, infinite-dimensional Riemannian structures, Algebras of differential functions on manifolds.
3. In order to present the research line Geometry of Large Scale Metric Spaces, K-theory of C*-algebras and Complements of Z-setslet us consider the shape of the earth. Nowadays it is easy to claim it is round because we were able to travel to outer space and to look at it from there. The key question is: Had we been able to get out of the earth's surface without knowing it is round? We propose to study from outside the compact metric spaces embedded in certain special way (called Z-embeddings) in the universe (Hilbert cube). To compare different structures we study functors between categories. Mathematics is full of such beautiful examples. Algebraic topology relates topological spaces and groups, rings and modules... A special situation are total equivalences between categories, like in the case of Topological Algebra. Gelfand and Naimark showed that the study of locally compact Haussdorf spaces is equivalent to the study of commutative C*-algebras. In the same direction, it was T.C. Chapman in 1972 who built an equivalence between the Shape Theory of Z-subsets of the Hilbert cube and the Proper and Weak Homotopy Theory of their complements and, in some cases, their topological types. Later M. Gromov introduced the Coarse Geometries developed by himself and many others like N. Higson, J. Roe, Guoliang Yu, S. Ferry, S. Weinberger, N. Wright, A. Dranishnikov... Coarse Geometries have been mainly used in Geometric Theory of Groups to give partial answers to the conjecture of Novikov, to assign Atiyah-Singer indexes to operators in non compact Riemannian manifolds and to the study of the non-commutative geometry of A. Connes. It is also very important the study of the so called C_0 coarse geometry of metric spaces, which was introduced by N. Wright. It is clear the wide spectrum of methods and problems involved in this line and its broad interest for mathematicians from very differents areas.
Key words: Hilbert cube, Z-embeddings, Coarse geometries, Functions vanishing at infinity, C*-algebras, K-theory, Homotopy, Shape.