Related papers: Gauss--Bonnet theorem for compact and orientable s…

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.

We consider harmonic immersions in $\R^{\N}$ of compact Riemann surfaces with finitely many punctures where the harmonic coordinate functions are given as real parts of meromorphic functions. We prove that such surfaces have finite total…

We discuss notions of Gauss curvature and mean curvature for polyhedral surfaces. The discretizations are guided by the principle of preserving integral relations for curvatures, like the Gauss/Bonnet theorem and the mean-curvature force…

We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…

A generalization of the Hartogs theorem is proved for a class of Tubes structures. We assume that the intervening commutative Lie algebra admits at least a number of globally solvable generators greater or equal to the structure…

In this note, we exhibit a method to prove the Baum-Connes conjecture (with coefficients) for extensions with finite quotients of certain groups which already satisfy the Baum-Connes conjecture. Interesting examples to which this method…

We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is fully constructive, not using the axiom of…

We give an elementary and self-contained proof of the uniformization theorem for non-compact simply-connected Riemann surfaces.

This paper shows an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima and the Binomial Formula, that avoids: any root extraction other than the one used to define the modulus…

The generalized Darmois--Israel formalism for Einstein--Gauss--Bonnet theory is applied to construct thin-shell Lorentzian wormholes with spherical symmetry. We calculate the energy localized on the shell, and we find that for certain…

The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit cocycles. The appropriate cohomology theory is based on considering sheaves on a certain site. An advantage of…

We prove a Gauss-Bonnet and Poincar\'e-Hopf type theorems for complex $\partial$-manifold $\tilde{X} = X - D$, where $X$ is a complex compact manifold and $D$ is a reduced divisor. We will consider the cases such that $D$ has isolated…

The aim of this short note is to give a simple proof of the non-rationality of the double cover of the three-dimensional projective space branched over a sufficiently general quartic.

We study Thom Transversality Theorem using a point of view, suggested by Gromov, which allows to avoid the use of Sard Theorem and gives finer informations on the structure of the set of non-transverse maps.

We show that given an infinite triangulation $K$ of a surface with punctures (i.e., with no vertices at the punctures) and a set of target cone angles smaller than $\pi$ at the punctures that satisfy a Gauss-Bonnet inequality, there exists…

This paper studies homeomorphisms of surfaces isotopic to the identity by means of purely topological methods and Brouwer theory. The main development is a novel theory of orbit forcing using maximal isotopies and transverse foliations.…

In this paper we give a geometric argument for bounding the diameter of a connected compact surface (with boundary) of arbitrary codimension in Euclidean space in terms of Topping's diameter bound for closed surfaces (without boundary). The…

We prove that a standard realization of the direct image complex via the so-called Douady-Barlet morphism associated with a smooth complex analytic surface admits a natural decomposition in the form of an injective quasi-isomorphism of…

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…

We give an elementary proof of a compact embedding theorem in abstract Sobolev spaces. The result is first presented in a general context and later specialized to the case of degenerate Sobolev spaces defined with respect to nonnegative…