Related papers: Gauss-Bonnet type theorems in any dimension

Using a smooth version of the Connes--Thom isomorphism in Grensing's bivariant K-theory for locally convex algebras, we prove an equivariant version of the Connes--Thom isomorphism in periodic cyclic homology. As an application, we prove…

Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. For material set theory, we also have concrete models as…

Let $G\cong \mathbb Z/m_1\mathbb Z\times\ldots\times \mathbb Z/m_r\mathbb Z$ be a finite abelian group with $m_1\mid\ldots\mid m_r=\exp(G)$. The $n$-term subsums version of Kneser's Theorem, obtained either via the DeVos-Goddyn-Mohar…

Lie symmetries of K(m,n) equations with time-dependent coefficients are classified. Group classification is presented up to widest possible equivalence groups, the usual equivalence group of the whole class for the general case and…

Let k be a field. We show that all homogeneous noncommutative curves of genus zero over k are noncommutative P^1-bundles over a (possibly) noncommutative base. Using this result, we compute complete isomorphism invariants of homogeneous…

We study the geometry and holonomy of semi-Riemannian, time-like metric cones that are indecomposable, i.e., which do not admit a local decomposition into a semi-Riemannian product. This includes irreducible cones, for which the holonomy…

We introduce a class of inverse monoids that can be regarded as non-commutative generalizations of Boolean algebras. These inverse monoids are related to a class of \'etale topological groupoids, under a non-commutative generalization of…

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

Shape constrained densities are encountered in many nonparametric estimation problems. The classes of monotone or convex (and monotone) densities can be viewed as special cases of the classes of k-monotone densities. A density g is said to…

Carnot groups are subRiemannian manifolds. As such they admit geodesic flows, which are left-invariant Hamiltonian flows on their cotangent bundles. Some of these flows are integrable. Some are not. The space of k-jets for real-valued…

It is conjectured by Chen and Raspaud that for each integer $k \ge 2$, any graph $G$ with \[ \mathrm{mad}(G) < \frac{2k+1}{k} \quad\text{and}\quad \mathrm{odd\text{-}girth}(G) \ge 2k+1 \] admits a homomorphism into the Kneser graph…

Let $M$ be an $n$-dimensional smooth oriented complete embedded minimal hypersurface in $\mathbb{R}^{n+1}$ with Euclidean volume growth. We show that if the image under the Gauss map of $M$ avoids some neighborhood of a half-equator, then…

We construct an n-dimensional Born-Infeld type gravity theory that has the same properties as Einstein's gravity in terms of the vacuum and particle content: Namely, the theory has a unique viable vacuum (maximally symmetric solution) and a…

An isometric immersion $f: M^{n} \rightarrow \tilde M^{m}$ from an $n$-dimensional Riemannian manifold $M^{n}$ into an almost Hermitian manifold $\tilde M^{m}$ of complex dimension $m$ is called pointwise slant if its Wirtinger angles…

We extend the formula for the Chern classes of blow-ups of algebraic varieties due to Porteous and Lascu-Scott, and of symplectic and complex manifolds due to Geiges and Pasquotto, to the blow-ups of almost complex manifolds. Our approach…

We suggest an algorithm allowing to obtain some new integral-geometric formulae from the existing formulae of Crofton type. These new formulae are applied to get smooth versions of BKK theorem. The algorithm is based on the calculations in…

Given an action of a reductive group on a normal variety, we construct all invariant open subsets admitting a good quotient with a quasiprojective or a divisorial quotient space. Our approach extends known constructions like Mumford's…

In this paper we construct infinitely many examples of a Riemannian submersion from a simple, compact Lie group $G$ with bi-invariant metric onto a smooth manifold that cannot be a quotient of $G$ by a group action. This partially addresses…

We prove the existence of C^{\infty} local solutions to a class of mixed type Monge-Ampere equations in the plane. More precisely, the equation changes type to finite order across two smooth curves intersecting transversely at a point.…

A Gr\"obner basis for the ideal determining mod 2 cohomology of Grassmannian G_{3,n} is obtained. This is used, along with the method of obstruction theory, to establish some new immersion results for these manifolds.