We give a short proof of the Gauss-Bonnet theorem for a real oriented Riemannian vector bundle $E$ of even rank over a closed compact orientable manifold $M$. This theorem reduces to the classical Gauss-Bonnet-Chern theorem in the special case when $M$ is a Riemannian manifold and $E$ is the tangent bundle of $M$ endowed with the Levi-Civita connection. The proof is based on an explicit geometric construction of the Thom class for 2-plane bundles.
In this paper, we give a simple proof of the Gauss-Bonnet-Chern theorem for a real oriented Finsler vector bundle with rank equal to the dimension of the base manifold. As an application, a Gauss-Bonnet-Chern formula for any metric-compatible connection is established on Finsler manifolds.
In [31,32,33] the Gauss-Bonnet formulas for coherent tangent bundles over compact oriented surfaces (without boundary) were proved. We establish the Gauss-Bonnet theorem for coherent tangent bundles over compact oriented surfaces with boundary. We apply this theorem to investigate global properties of maps between surfaces with boundary. As a corollary of our results we obtain Fukuda-Ishikawa's theorem. We also study geometry of the affine extended wave fronts for planar closed non singular hedgehogs (rosettes). In particular, we find a link between the total geodesic curvature on the boundary…
We give a definition of `coherent tangent bundles', which is an intrinsic formulation of wave fronts. In our application of coherent tangent bundles for wave fronts, the first fundamental forms and the third fundamental forms are considered as induced metrics of certain homomorphisms between vector bundles. They satisfy the completely same conditions, and so can reverse roles with each other. For a given wave front of a 2-manifold, there are two Gauss-Bonnet formulas. By exchanging the roles of the fundamental forms, we get two new additional Gauss-Bonnet formulas for the third fundamental for…
We use the mapping cone for the relative deRham cohomology of a manifold with boundary in order to show that the Chern-Gauss-Bonnet Theorem for oriented Riemannian vector bundles over such manifolds is a manifestation of Lefschetz Duality in any of the two embodiments of the latter. We explain how Thom isomorphism fits into this picture, complementing thus the classical results about Thom forms with compact support. When the rank is odd, we construct, by using secondary transgression forms introduced here, a new closed pair of forms on the disk bundle associated to a vector bundle, pair which …
From the point of view of index theory, we give a simple proof of a Gauss-Bonnet-Chern formula for all Finsler manifolds by the Cartan connection. Based on this, we establish a Gauss-Bonnet-Chern formula for any metric-compatible connection and also derive the Gauss-Bonnet-Chern formula of Lackey.
We prove a Gauss-Bonnet theorem for (finite coverings of) moduli spaces of Riemann surfaces endowed with the McMullen metric. The proof uses properties of an exhaustion of moduli spaces by compact submanifolds with corners and the Gauss-Bonnet formula of Allendoerfer and Weil for Riemannian polyhedra.
This paper is a continuation of the paper F. A. Arias and M. Malakhaltsev "A generalization of the Gauss-Bonnet and Hopf-Poincaré theorems", ArXiv:1510.01395 [MathDG] 5 Oct 2015. Let $π: E \to M$ be a locally trivial fiber bundle over a two-dimensional manifold $M$, and $Σ\subset M$ be a discrete subset. A subset $Q \subset E$ is called an $n$-sheeted branched section of the bundle $π$ if $Q' = π^{-1}(M \setminus Σ) \cap Q$ is a $n$-sheeted covering of $M \setminus Σ$. The set $Σ$ is called the singularity set of the branched section $Q$. We define the index of a singularity point of a branche…
For a compact differentiable surface with boundary embedded in $\Bbb R^3$, we give simple proofs of the Gauss-Bonnet theorem, Poincaré-Hopf theorem, and several other integral formulas. We complete all of the proofs without using fundamental or differential forms.
We give a stereological version of the Gauss-Bonnet formula in order to compute the Euler characteristic of a domain with boundary in a smooth orientable surface in R^3, by looking at contacts with a "sweeping" plane.
Given a construction of smooth homotopy class invariants of smooth immersions $M^n\to R^{n+k}$. The particular case of $k=1, n\ge 1$ is a sequence of non-zero integrals, where the $n=2$ term is the Gauss-Bonnet integral
We prove a Gauss-Bonnet type formula for Riemann-Finsler surfaces of non-constant indicatrix volume and with regular piecewise smooth boundary. We give a Hadamard type theorem for N-parallels of a Landsberg surface.
In this paper, we prove a positive mass theorem and Penrose-type inequality of the Gauss-Bonnet-Chern mass $m_2$ for the graphic manifold with flat normal bundle.
We prove a version of Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$. The sub-Riemannian distance makes $H^1$ a metric space and consenquently with a spherical Hausdorff measure. Using this measure, we define a Gaussian curvature at points of a surface S where the sub-Riemannian distribution is transverse to the tangent space of S. If all points of S have this property, we prove a Gauss-Bonnet formula and for compact surfaces (which are topologically a torus) we obtain $\int_S K = 0$.
It is shown in the paper "Variational Properties of the Gauss-Bonnet Curvatures" of M.L. Labbi, that metrics with constant 2k-Gauss-Bonnet curvature on a closed n-dimensional manifold, 1<2k<n, are critical points for a certain Hilbert type functional with respect to volume preserving conformal variations. This motivates the corresponding Yamabe problem: is it true that any metric on a closed manifold is conformal to a metric with constant 2k-Gauss-Bonnet curvature? Using perturbative methods we affirmatively answer this question for small perturbations of certain space forms. More precisely, i…
In this note, we use Chern's magic form $Φ_k$ in his famous proof of the Gauss-Bonnet theorem to define a mass for asymptotically flat manifolds. It turns out that the new defined mass is equivalent to the one that we introduced recently by using the Gauss-Bonnet-Chern curvature $L_k$. Moreover, this equivalence implies a simple proof of the equivalence between the ADM mass and the intrinsically defined mass via the Ricci tensor, which was reconsidered by Miao-Tam \cite{MT} and Herzlich \cite{H} very recently.
The authors Balogh-Tyson-Vecchi in arXiv:1604.00180 utilize the Riemannian approximations scheme $(\mathbb H^1,<,>_L)$, in the Heisenberg group, introduced by Gromov, to calculate the limits of Gaussian and normal curvatures defined on surfaces of $\mathbb H^1$ when $L\rightarrow\infty$. They show that these limits exist (unlike the limit of Riemannian surface area form or length form), and they obtain Gauss-Bonnet theorem in $\mathbb H^1$ as limit of Gauss-Bonnet theorems in $(\mathbb H^1,<,>_L)$ when $L$ goes to infinity. This construction was extended by Wang-Wei in arXiv:1912.00302 to the …
We prove that a Gaussian ensemble of smooth random sections of a real vector bundle over compact manifold canonically defines a metric on the bundle together with a connection compatible with it. Additionally, we prove a refined Gauss-Bonnet-Chern theorem stating that if the bundle and the manifold are oriented, then the Euler form of the above connection can be identified, as a current, with the expectation of the random current defined by the zero-locus of a random section in the above Gaussian ensemble.
As an interesting application of the Einstein-Gauss-Bonnet theory and our work on the Gauss-Bonnet-Chern mass (Ge, Wang, Wu), we obtain a positive mass theorem for asymptotically flat graphs in $\R^{n+1}$ under a condition that $R+αL_2$ is non-negative, where $R$ is the scalar curvature, $α\in\R$ a constant and $L_2$ the second Gauss-Bonnet curvature. A Penrose type inequality is also obtained in the case $α>0$.
In this paper we show positive mass theorems and Penrose type inequalities for the Gauss-Bonnet-Chern mass, which was introduced recently in \cite{GWW}, for asymptotically flat CF manifolds and its rigidity.
We give an explicit formula for the Gauss-Bonnet-Chern mass of an asymptotically flat graphical manifold of arbitrary codimension and use it to prove the positive mass theorem and the Penrose inequality for graphs with flat normal bundle.
The aim of this note is to provide an intrinsic proof of the Gauss--Bonnet theorem without invoking triangulations, which is achieved by exploiting complex structures.
In this paper we first prove that every differential character can be represented by differential form with singularities. Then we lift the Gauss-Bonnet-Chern theorem for vector bundles to differential characters.
We prove a discrete Gauss-Bonnet-Chern theorem which states where summing the curvature over all vertices of a finite graph G=(V,E) gives the Euler characteristic of G.
By proving graph theoretical versions of Green-Stokes, Gauss-Bonnet and Poincare-Hopf, core ideas of undergraduate mathematics can be illustrated in a simple graph theoretical setting. In this pedagogical exposition we present the main proofs on a single page and add illustrations. While discrete Stokes is is old, the other two results for graphs were found only recently.
We prove that the Euler form of a metric connection on real oriented vector bundle $E$ over a compact oriented manifold $M$ can be identified, as a current, with the expectation of the random current defined by the zero-locus of a certain random section of the bundle. We also explain how to reconstruct probabilistically the metric and the connection on $E$ from the statistics of random sections of $E$.
We define a new one form H^A based on the second fundamental tensor H^abA, the Gauss-Bonnet-Chern form can be novelly expressed with this one-form. Using the phi-mapping theory we find that the Gauss-Bonnet-Chern density can be expressed in terms of the delta-function and the relationship between the Gauss-Bonnet-Chern theorem and Hopf-Poincare theorem is given straightforwardly. The topological current of the Gauss-Bonnet-Chern theorem and its topological structure are discussed in details. At last, the Morse theory formula of the Euler characteristic is generalized.
In this paper, we prove a local index theorem for the DeRham Hodge-laplacian which is defined by the connection compatible with metric. This connection need not be the Levi-Civita connection. When the connection is Levi-Civita connection, this is the classical local Gauss-Bonnet-Chern theorem.
We prove the Chern-Gauss-Bonnet Theorem using sigma models whose source supermanifolds have super dimension 0|2. Along the way we develop machinery for understanding manifold invariants encoded by families of 0|n-dimensional Euclidean field theories and their quantization.
The Gauss-Bonnet curvature of order $2k$ is a generalization to higher dimensions of the Gauss-Bonnet integrand in dimension $2k$, as the usual scalar curvature generalizes the two dimensional Gauss-Bonnet integrand. In this paper, we evaluate the first variation of the integrals of these curvatures seen as functionals on the space of all Riemannian metrics on the manifold under consideration. An important property of this derivative is that it depends only on the curvature tensor and not on its covariant derivatives. We show that the critical points of this functional once restricted to metri…
We present a self-contained proof of the Gauss-Bonnet theorem for two-dimensional surfaces embedded in $R^3$ using just classical vector calculus. The exposition should be accessible to advanced undergraduate and non-expert graduate students. It may be viewed as an illustration and exercise in multivariate calculus and a motivation to go deeper into the fields of geometry and topology.
The $(2k)$-th Gauss-Bonnet curvature is a generalization to higher dimensions of the $(2k)$-dimensional Gauss-Bonnet integrand, it coincides with the usual scalar curvature for $k=1$. The Gauss-Bonnet curvatures are used in theoretical physics to describe gravity in higher dimensional space times where they are known as the Lagrangian of Lovelock gravity, Gauss-Bonnet Gravity and Lanczos gravity. In this paper we present various aspects of these curvature invariants and review their variational properties. In particular, we discuss natural generalizations of the Yamabe problem, Einstein metric…
