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 BarthLarsen 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 BarthLarsen 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 BarthLarsen 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: BarthLarsen Theorem, Morse Theory, Picard group,
Homotopy group, Spectral sequence, small codimension.
2. The second research direction is Subdifferential Calculus and
HamiltonJacobi 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 HamiltonJacobi 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 firstorder subdifferential calculus in Riemannian
manifolds has been settled and applied to HamiltonJacobi equations
for uniformly continuous Hamiltonians. In the same vein, it is
interesting to develop a secondorder subdifferential calculus on
Riemannian manifolds and apply it to secondorder HamiltonJacobi
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 MyersNakai theorem.
This result states that the Riemannian structure of a finitedimensional
manifold is determined by the structure of the Banach algebra
associated to the space of bounded C^1functions with bounded
differential on the manifold. The development of the above
techniques will allow the study of the validity of a MyersNakai
theorem for infinite dimensions.
Key words: HamiltonJacobi equations, Subdifferential
calculus, infinitedimensional Riemannian structures, Algebras of
differential functions on manifolds.
3. In order to present the research line Geometry of Large Scale
Metric Spaces, Ktheory of C*algebras and Complements of Zsetslet
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 Zembeddings) 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
Zsubsets 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 AtiyahSinger
indexes to operators in non compact Riemannian manifolds and to the
study of the noncommutative 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, Zembeddings, Coarse
geometries, Functions vanishing at infinity, C*algebras, Ktheory,
Homotopy, Shape.
