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.

Participants

Funding

Research Groups:

• Geometry of projective varieties // Geometría de las variedades proyectivas(2009-2010)
  Enrique Arrondo Esteban - enrique_arrondo[at]mat.ucm.es
  UCM Research Group 910772
• Real algebraic and analytic geometry (RAAG) // Geometría algebraica y analítica real (2009-2010)
  Antonio Díaz-Cano Ocaña - antonio_diazcano[at]mat.ucm.es
  UCM Research Group 910444
• Non-linear functional analysis in Banach spaces // Análisis funcional no-lineal en espacios Banach (2009-2010)
  Jesús A. Jaramillo Aguado - jaramil[at]mat.ucm.es
  UCM Research Group 910626
• Shape theory and topological dynamics // Teoría de la forma y dinámica topológica (2009-2010)
  Francisco Romero Ruiz del Portal - r_portal[at]mat.ucm.es
  UCM Research Group 910183
• Diferential geometry and systems symetry // Geometría diferencial y simetría de sistemas  (2009-2010)
  Rutwig Campoamor Stutberg - rutwig[at]mat.ucm.es
  UCM Research Group 920920
• SINGULAR Group // Grupo SINGULAR (2009-2010)
  Ignacio Luengo Velasco - iluengo[at]mat.ucm.es
  Alejandro Melle Hernández - amelle[at]mat.ucm.es
  UCM Research Group 921020
• Operators, Positivity and Applications // Operadores, positividad y aplicaciones (2009)
  Francisco Hernández
  pr/34/07-15837
• Paracompactness and fuzzy topology // Paracompacidad y topología "fuzzy" (2009)
  Francisco Gallego Lupiáñez - fg_lupianez[at]mat.ucm.es
  UCM Research  Group 910028

Research Grants:

• Álgebras de Lie perfectas, teoría de invariantes de generalizados y aplicaciones a la geometría diferencial (2006-2009)
  José María Ancochea Bermúdez
  Code: MTM2006-09152
• Análisis funcional no lineal y geométrico (2006-2009)
  Jesús Ángel Jaramillo Aguado
  Code: MTM2006-03531
• Análisis funcional no lineal y geométrico (2010-2012)
  Jesús Ángel Jaramillo Aguado
  Code: MTM2009-07848
• Geometría algebraica y analítica y aplicaciones (2010-2012)
  Enrique Arrondo Esteban
  Code: MTM2009-06964
• Variedades algebraicas y analíticas y aplicaciones (2006-2009)
  Enrique Arrondo Esteban
  Code MTM2006-04785
• Topología geométrica y de dimensión baja y dinámica topológica (2007-2009)
  Francisco Romero Ruiz del Portal
  Code: MTM2006-0825
• Topología geométrica y de dimensión baja y dinámica topológica (2010-2012)
  Francisco Romero Ruiz del Portal
  Code: MTM2009-07030
• Operadores, retículos y geometría de espacios de Banach (2009-2010)
  Francisco Hernández
  Code: MTM2008-01502
• NILS mobility project. Improving student, researchers and artist mobility and cooperation between Spain, Norway, Iceland and Liechtenstein (2009-2011)
  Carlos Andradas Herranz
  Code: ES0034
• Geometría real (2009-2010)
  José F. Fernando Galván
  Code: MTM2008-00272
• Teoría de singularidades y aplicaciones en aritmética, criptografía, geometría y topología (2007-2010)
  Ignacio Luengo Velasco
  Code: MTM2007-67908-C02-02
• Sistemas dinámicos y geometría: tres aproximaciones (2009-2010)
  Luis Giraldo Suárez
  Code: MIGS-C4-0184
• Campos de vectores, foliaciones holomorfas y dinámica en variedades complejas (2010)
  Luis Giraldo Suárez
  Code: MTM2010-15481
• Workshop de Jóvenes Investigadores (2010)
  Jesús Ángel Jaramillo Aguado
  Code: MTM2009-08508-E/MTM
• Workshop de Jóvenes Investigadores (2010)
  Jesús Ángel Jaramillo Aguado
  Code: SARE-C5-0531
• School and Workshop on Topics in Operator Algebras and some Applications (2010)
  Jesús Ángel Jaramillo Aguado
  Code: MIGS-C5-0290
• Topología de Makey en diversas categorías de grupos topológicos (2010)
  Elena Martín Peinador
  Code: MTM2009-14409-C02-02
• Geometría real (2006-2008)
  Jesús Ruiz
  Code: MTM2005-02865
• Geometría Algebraica y Analítica Real
  Antonio Díaz-Cano Ocaña
  Code CCG07-UCM/ESP-2160
• Geometría de las variedades proyectivas
  Enrique Arrondo Esteban
  Code CCG07-UCM/ESP-3026
• Espacios funcionales, operadores y aplicaciones
  Francisco Hernández Rodríguez.
• Operadores y estructuras en espacios de Banach
  Francisco Luis Hernández Rodríguez
  Code UCM-BSCH PR34/07-1841