# Differential Geometry (math.DG)

• We consider the heat equation associated with a class of hypoelliptic operators of Kolmogorov-Fokker-Planck type in dimension two. We explicitly compute the first meaningful coefficient of the small time asymptotic expansion of the heat kernel on the diagonal, and we interpret it in terms of curvature-like invariants of the optimal control problem associated with the diffusion. This gives a first example of geometric interpretation of the small-time heat kernel asymptotics of non-homogeneous Hörmander operators which are not associated with a sub-Riemannian structure, i.e., whose second-order part does not satisfy the Hörmander condition.
• We construct a new family of high genus examples of free boundary minimal surfaces in the Euclidean unit 3-ball by desingularizing the intersection of a coaxial pair of a critical catenoid and an equatorial disk. The surfaces are constructed by singular perturbation methods and have three boundary components. They are the free boundary analogue of the Costa-Hoffman-Meeks surfaces and the surfaces constructed by Kapouleas by desingularizing coaxial catenoids and planes. It is plausible that the minimal surfaces we constructed here are the same as the ones obtained recently by Ketover using the min-max method.
• The invariant metric affine connections on Berger spheres which are Einstein with skew torsion are determined in both Riemannian and Lorentzian signature. Expressions of such connections are explicitly given. In particular, every Berger sphere with Lorentzian signature admits invariant metric affine connections Einstein with skew-torsion up to $\mathbb{S}^3$. For Riemannian signature, the existence of such connections strongly depends on the dimension of the sphere and on the scale of the deformation used for the Berger metric. In particular, there are Riemaniann Berger spheres, not Einstein, which admit invariant metric affine connections Einstein with skew-torsion.
• We construct a sequence of compact, oriented, embedded, two-dimensional surfaces of genus one into Euclidean 3-space with prescribed, almost constant, mean curvature of the form $H(X)=1+{A}{|X|^{-\gamma}}$ for $|X|$ large, when $A<0$ and $\gamma\in(0,2)$. Such surfaces are close to sections of unduloids with small necksize, folded along circumferences centered at the origin and with larger and larger radii. The construction involves a deep study of the corresponding Jacobi operators, an application of the Lyapunov-Schmidt reduction method and some variational argument.
• We prove a result of Chern-Weil type for canonically metrized line bundles on one-parameter families of smooth complex curves. Our result generalizes a result due to J.I. Burgos Gil, J. Kramer and U. Kühn that deals with a line bundle of Jacobi forms on the universal elliptic curve over the modular curve with full level structure, equipped with the Petersson metric. Our main tool, as in the work by Burgos Gil, Kramer and Kühn, is the notion of a b-divisor.
• A setting for global variational geometry on Grassmann fibrations is presented. The integral variational functionals for finite dimensional immersed submanifolds are studied by means of the fundamental Lepage equivalent of a homogeneous Lagrangian, which can be regarded as a generalization of the well-known Hilbert form in the classical mechanics. Prolongations of immersions, diffeomorphisms and vector fields to the Grassmann fibrations are introduced as geometric tools for the variations of immersions. The first infinitesimal variation formula together with its consequences, the Euler-Lagrange equations for extremal submanifolds and the Noether theorem for invariant variational functionals are proved. The theory is illustrated on the variational functional for minimal submanifolds.
• We exhibit the Chern-Simos forms of some characteristic classes in the simplicial de Rham complex.
• We define a notion of positivity on continuous and translation invariant valuations on convex bodies on a finite dimensional real vector space. We endow the valuation space generated by mixed volumes with a norm induced by the positive cone. This enables us to construct a continuous extension of the convolution operator on smooth valuations to the closure of that space. As an application, we prove a variant of Minkowski's existence theorem. Furthermore, given a linear map, we generalize a theorem of Favre-Wulcan and Lin by proving that the eigenvalues of the linear map is related to the spectral radius of the induced linear operator on the space of valuations. Finally, given a linear action and under a natural strict log-concavity assumption on certain spectral radius of the induced linear operators on valuations, we study the positivity properties of the space of invariant valuations corresponding to the spectral radius of the operator.
• In this article, we completely determine which log Fano hyperplane arrangements are uniformly K-stable, K-stable, K-polystable, K-semistable or not.
• Assume that a projective variety together with a polarization is uniformly K-stable. If the polarization is canonical or anti-canonical, then the projective variety is uniformly K-stable with respects to any polarization sufficiently close to the original polarization.
• Sep 26 2017 math.DG arXiv:1709.08168v1
We define multiplicative Poisson-Nijenhuis structures on a Lie groupoid which extends the notion of symplectic-Nijenhuis groupoid introduced by Stié23non and Xu. We also introduce a special class of Lie bialgebroid structure on a Lie algebroid $A$, called P-N Lie bialgebroid, which defines a hierarchy of compatible Lie bialgebroid structures on $A$. We show that under some topological assumption on the groupoid, there is a one-to-one correspondence between multiplicative Poisson-Nijenhuis structures on a Lie groupoid and P-N Lie bialgebroid structures on the corresponding Lie algebroid.
• Given a C2-domain with compact boundary in an arbitrary complete Riemannian manifold, we search for smallness conditions on the boundary data for which the Dirichlet problem for the minimal hypersurface equation is solvable. We obtain an extension to Riemannian manifolds of an existence result of G. H. Williams ( J. Reine Angew. Math. 354:123-140, 1984).
• We show that, when considering the anisotropic scaling factors and their derivatives as affine variables, the coefficients of the heat kernel expansion of the Dirac-Laplacian on $SU(2)$ Bianchi IX metrics are algebro-geometric periods of motives of complements in affine spaces of unions of quadrics and hyperplanes. We show that the motives are mixed Tate and we provide an explicit computation of their Grothendieck classes.
• We establish an algorithm which computes formulae for the CR GJMS operators, the $P^\prime$-operator, and the $Q^\prime$-curvature in terms of CR tractors. When applied to torsion-free pseudo-Einstein contact forms, this algorithm both gives an explicit factorisation of the CR GJMS operators and the $P^\prime$-operator, and shows that the $Q^\prime$-curvature is constant, with the constant explicitly given in terms of the Webster scalar curvature. We also use our algorithm to derive local formulae for the $P^\prime$-operator and $Q^\prime$-curvature of a five-dimensional pseudo-Einstein manifold. Comparison with Marugame's formulation of the Burns--Epstein invariant as the integral of a pseudohermitian invariant yields new insights into the class of local pseudohermitian invariants for which the total integral is independent of the choice of pseudo-Einstein contact form.
• We introduce a notion of admissible Hermitian metrics on parabolic bundles and define positivity properties of the same. We develop Chern-Weil theory for parabolic bundles and prove that our metric notions coincide with the already existing algebro- geometric versions. We also formulate a Griffiths conjecture in the parabolic setting and prove some results that provide evidence in its favour. In particular, we prove that it holds on Riemann surfaces, a Berndtsson-type result holds in general, and that there are metrics on stable bundles over surfaces whose Schur forms are positive.
• In the present paper we provide a description of complete Calabi-Yau metrics on the canonical bundle of generalized complex flag manifolds. By means of Lie theory we give an explicit description of complete Ricci-flat Kähler metrics obtained through the Calabi ansatz technique. We use this approach to provide several explicit examples of noncompact complete Calabi-Yau manifolds, these examples include canonical bundles of non-toric flag manifolds (e.g. Grassmann manifolds and full flag manifolds).
• Hamilton's Ricci flow (RF) equations were recently expressed in terms of a sparsely-coupled system of autonomous first-order nonlinear differential equations for the edge lengths of a d-dimensional piecewise linear (PL) simplicial geometry. More recently, this system of discrete Ricci flow (DRF) equations was further simplified by explicitly constructing the Forman-Ricci tensor associated to each edge, thereby diagonalizing the first-order differential operator and avoiding the need to invert large sparse matrices at each time step. We recently showed analytically and numerically that these equations converge for axisymmetric 3-geometries to the corresponding continuum RF equations. We demonstrate here that these DRF equations yield an explicit numerical realization of Thurston's geometrization procedure for a discrete 3D axially-symmetric neckpinch geometry by using surgery to explicitly integrate through its Type-1 neck pinch singularity. A cubic-spline-based adaptive mesh was required to complete the evolution. Our numerically efficient simulations yield the expected Thurston decomposition of the sufficiently pinched axially symmetric geometry into its unique geometric structure -- a direct product of two lobes, each collapsing toward a 3-sphere geometry. The structure of our curvature may be used to better inform one of the vertex and edge weighting factors that appear in the Forman's expression of Ricci curvature on graphs.
• In this article we present pictorially the foundation of differential geometry which is a crucial tool for multiple areas of physics, notably general and special relativity, but also mechanics, thermodynamics and solving differential equations. As all the concepts are presented as pictures, there are no equations in this article. As such this article may be read by pre-university students who enjoy physics, mathematics and geometry. However it will also greatly aid the intuition of an undergraduate and masters students, learning general relativity and similar courses. It concentrates on the tools needed to understand Maxwell's equations thus leading to the goal of presenting Maxwell's equations as 3 pictures.

Andrey Karchevsky Feb 17 2017 09:51 UTC

Dear Authors,

This is in reference of your preprint arxiv 1702.0638.

Above all I must say that I am puzzled with the level of publicity your work has got at http://www.nature.com/news/long-awaited-mathematics-proof-could-help-scan-earth-s-innards-1.21439. Is this a new way for mathematicians t

...(continued)
Zoltán Zimborás Oct 31 2016 23:12 UTC

There is a lot of discussion about the paper by Atiyah (claiming to solve this famous question) in the math community - with a bit of skeptical edge - both on reddit and on mathoverflow: