Geometry and Dynamics in Riemannian and Finsler Spaces

项目编号：dms -0412166项目负责人：Dmitri BuragoD。Burago建议继续他在黎曼和芬斯勒几何、几何起源动力系统和几何群论方面的一些长期项目上的工作。项目包括：周期度量的几何，归范空间和最小填充的面积最小化曲面，以及表面积泛函的椭圆性；低维部分双曲微分同态；无界双不变拟半模与“大”群无共轭点的流形；奇异几何在台球系统动力学中的应用及若干几何原点算法问题和pl等距近似。该方案旨在解决以下问题：Busemann猜想：平面是赋范空间中面积最小的曲面；建立部分双曲系统类的结构；寻找Hofer范数的弱版本（可能在一些保容同胚群上）；无共轭点环面上E.Hopf猜想的各种推广。本项目延续了作者之前的研究，包括40年代Hedlund和morse提出的关于环面无共轭点的E. hopf猜想的解，关于硬球气体模型中碰撞次数存在统一估计的“Boltzman-Sinaj”问题，上面提到的H. Busemann问题的二维情况，H. Furstenberg关于双Lipschits非等效分离网的存在性问题和J. Moser关于非Lipschits同胚jacobian行列式的连续函数的存在性问题（均来自60年代）。提案中提出的推测和研究方向来自提案者和他的合作者在研究这些问题时发展起来的想法和方法。尽管提案的大多数主题属于相当抽象的数学领域，但它们的动机在于现实世界的问题。周期度量的大尺度不变量的物理类似物是周期介质（如晶体物质：即，辐射的传播速率等）的宏观性质，并且人们希望将这些性质与微观特征联系起来。双曲动力学确实很好理解，它形成了混沌模型的第一个也是最简单的例子；然而，我们对部分双曲系统知之甚少，它提供了一个更现实的模型；该项目旨在为这种具有少量自由度的系统提供新的见解。关于硬球气体模型中碰撞次数存在统一估计的“Boltzman-Sinaj”问题起源于统计物理学中最基础的研究。对测地线流、台球系统、几何复杂性和最优策略的研究可能会更好地理解热力学、生物学、社会学和物理学中某些模型的稳定性，特别是在处理不精确数据时，可能会产生新的计算算法。

AbstractAward: DMS-0412166Principal Investigator: Dmitri BuragoD. Burago proposes to continue his work on a number of long-termprojects in Riemannian and Finsler geometry, dynamical systems ofgeometric origin, and geometric group theory. The projectsinclude: geometry of periodic metrics, area-minimizing surfacesin normed spaces and minimal fillings, and ellipticity of surfacearea functionals; low dimensional partially hyperbolicdiffeomorphisms; unbounded bi-invariant quasi-semi-norms and"large" groups; manifolds without conjugate points; applicationsof singular geometry to dynamics of billiard systems and certainalgorithmic problems of geometric origin; and approximations byPL-isometries. Among the problems the proposal is aimed at thereare: Busemann's Conjecture that flats are area-minimizingsurfaces in normed spaces; styding the structure of the class ofpartially-hyperbolic systems; finding weak versions of Hofer'snorm (possibly on some groups of volume-preservinghomeomorphisms); various generalizations of E.Hopf's conjectureon tori without conjugate points. This project continues theproposer's previous research, including a solution of the E. Hopfconjecture on tori without conjugate points posed by Hedlund andMorse in the 40s, a "Boltzman-Sinaj" problem on the existence ofuniform estimates on the number of collisions in hard ball gasmodels, the two-dimensional case of H. Busemann's problemmentioned above, H. Furstenberg's problem on the existence ofbi-Lipschits non-equivalent separated nets and J. Moser's problemon the existence of a continuous function that is not a Jacobiandeterminant of a Lipschits homeomorphism (all from the 60s). Theconjectures and directions of research suggested in the proposalgrew from ideas and methods developed by the proposer and hiscollaborators while working on these problems.Even though most topics of the proposal belong to rather abstractareas of mathematics, their motivations lie in real-wordproblems. The physical analogs of large-scale invariants ofperiodic metrics are macroscopic properties of periodic media(such as crystal substances: i.e., the rate of propagation ofradiation etc), and one wants to relate these properties tomicroscopic characteristics. Hyperbolic dynamics is really wellunderstood, and it forms the first and the simplest example ofchaotic models; however, little is know about partiallyhyperbolic systems, which offer a much more realistic model; theproject is aimed in giving new insight into such systems with asmall number of degrees of freedom. The "Boltzman-Sinaj" problemon the existence of uniform estimates on the number of collisionsin hard ball gas models originated from the most basic researchin statistical physics. Study of the geodesic flows, billiardsystems, geometric complexity, and optimal strategies may resultin better understanding of (stability) of certain models inthermodynamics, biology, sociology, and physics, especially whendealing with imprecise data, and perhaps result in newcomputational algorithms.