arXiv research

Extends corner structure study to general case, constructs normal Trans-Sasakian structures.

Defines products for fibered corners manifolds, generalizing resolutions.

In this paper we prove a rigidity result for the equality case of the Penrose inequality on $3$-dimensional asymptotically flat manifolds with nonnegative scalar curvature and corners. Our result also has deep connections with the equality cases of Theorem 1 in \cite{Miao2} and Theorem 1.1 in \cite{LM}.

We introduce the notion of reticular Legendrian unfoldings in order to investigate stabilities of bifurcations of wavefronts generated by a hypersurface germ with a boundary, a corner, or an r-corner in a smooth n dimensional manifold. We define several stabilities of reticular Legendrian unfoldings and prove that they…

New method reveals corners of drum shapes.

A machine learning environment for detecting autonomous vehicle corner cases.

New heat trace coefficients reveal curvature effects in polygonal domains.

This paper makes a formal study of asymptotically hyperbolic Einstein metrics given, as conformal infinity, a conformal manifold with boundary. The space on which such an Einstein metric exists thus has a finite boundary in addition to the usual infinite boundary and a corner where the two meet. On the finite boundary …

Generalizes complex manifolds to manifolds with corners and generalized corners.

Corners can be identified by a drum's sound spectrum.

In conventional Differential Geometry one studies manifolds, locally modelled on ${\mathbb R}^n$, manifolds with boundary, locally modelled on $[0,\infty)\times{\mathbb R}^{n-1}$, and manifolds with corners, locally modelled on $[0,\infty)^k\times{\mathbb R}^{n-k}$. They form categories ${\bf Man}\subset{\bf Man^b}\sub…

Proves spacetime positive mass theorem with corners.

For every connected manifold with corners we use a homology theory called conormal homology, defined in terms of faces and incidences and whose cycles correspond geometrically to corner's cycles. Its Euler characteristic (over the rationals, dimension of the total even space minus the dimension of the total odd space),…

In this work, we conducted a study on building an automated testing system for deep learning systems based on differential behavior criteria. The automated testing goals were achieved by jointly optimizing two objective functions: maximizing differential behaviors from models under testing and maximizing neuron coverag…

Bordered Floer homology assigns invariants to 3-manifolds with boundary, such that the Heegaard Floer homology of a closed 3-manifold, split into two pieces, can be recovered as a tensor product of the bordered invariants of the pieces. We construct cornered Floer homology invariants of 3-manifolds with codimension-2 c…

Manifolds with boundary and with corners form categories ${\bf Man}\subset{\bf Man^b}\subset{\bf Man^c}$. A manifold with corners $X$ has two notions of tangent bundle: the tangent bundle $TX$, and the b-tangent bundle ${}^bTX$. The usual definition of smooth structure uses $TX$, as $f:X\to\mathbb{R}$ is defined to be …

New curvature measures for 4D manifolds with corners defined and related to Gauss-Bonnet.

The study defines differential forms and currents on orbifolds with corners.

Extends 4D cornered skein theory to surfaces, proving gluing formulas.

Solves relative isoperimetric problem on polygonal domains, focusing on corners.

Paper proves corner connection tiles can represent knots with fewer tiles.

Paper solves curvature assignment on surfaces with sharp points and edges.

The Reynolds Transport Theorem, colloquially known as 'differentiation under the integral sign', is a central tool of applied mathematics, finding application in a variety of disciplines such as fluid dynamics, quantum mechanics, and statistical physics. In this work we state and prove generalizations thereof to subman…

Fourth-order problem on half-ball with corner behavior.

Safety is an essential aspect in the facilitation of automated vehicle deployment. Current testing practices are not enough, and going beyond them leads to infeasible testing requirements, such as needing to drive billions of kilometres on public roads. Automated vehicles are exposed to an indefinite number of scenario…

We introduce the notions of the caustic-equivalence and the weak caustic-equivalence relations of reticular Lagrangian maps in order to give a generic classification of caustics on a corner. We give the figures of all generic caustics on a corner in a smooth manifold of dimension 2 and 3.

For a compact manifold with boundary $X$ we introduce the $n$-fold scattering stretched product $X^n_{\text{sc}}$ which is a compact manifold with corners for each $n,$ coinciding with the previously known cases for $n=2,3.$ It is constructed by iterated blow up of boundary faces and boundary faces of multi-diagonals i…

We construct a smooth Lie group structure on the group of real analytic diffeomorphisms of a compact analytic manifold with corners. This generalises the known analogous results in the situation where the real analytic manifold has no corners. Additionally our approach uses a different construction.

Currents with corners help count triangulations on surfaces.

This paper considers asymptotically hyperbolic manifolds with a finite boundary intersecting the usual infinite boundary -- cornered asymptotically hyperbolic manifolds -- and proves a theorem of Cartan-Hadamard type near infinity for the normal exponential map on the finite boundary. As a main application, a normal fo…

New tile types for knots and links reduce complexity.

We study metrics with positive scalar curvatures in domains with corners and suggest possible extensions of the concept of positive scalar curvature to singular spaces.

In this paper we present another notion of a smooth manifold with corners and relate it to the commonly used concept in the literature. Afterwards we introduce complex manifolds with corners and show that if $M$ is a compact (respectively complex) manifold with corners and $K$ is a smooth (respectively complex) Lie gro…

Proves Gromov's conjecture and answers Stoker's polyhedron conjecture.

If $X$ is a manifold then the set $C^\infty(X)$ of smooth functions $f:X\to\mathbb R$ is a $C^\infty$-ring, a rich algebraic structure with many operations. $C^\infty$-schemes are schemes over $C^\infty$-rings, a way of using Algebro-Geometric techniques in Differential Geometry. They include smooth manifolds, but also…

M-theory can be defined on closed manifolds as well as on manifolds with boundary. As an extension, we show that manifolds with corners appear naturally in M-theory. We illustrate this with four situations: The lift to bounding twelve dimensions of M-theory on Anti de Sitter spaces, ten-dimensional heterotic string the…

Positive mass theorem for non-smooth metrics on flat manifolds with corners.

The study classifies graphs on surfaces with positive curvature properties.

The paper constructs submanifolds with corners in Delzant polytopes from affine subspaces.

Manifolds without boundary, and manifolds with boundary, are universally known in Differential Geometry, but manifolds with corners (locally modelled on [0,\infty)^k x R^{n-k}) have received comparatively little attention. The basic definitions in the subject are not agreed upon, there are several inequivalent definiti…

Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond geometrically to corner's cycles. Our main theorem is that, for any manifold with cor…

New framework for logarithmically divergent integrals on manifolds with corners.

Defines s-manifolds and s-manifolds with corners for symplectic applications.

We use PDE methods as developed for the Liouville equation to study the existence of conformal metrics with prescribed singularities on surfaces with boundary, the boundary condition being constant geodesic curvature. Our first result shows that a disk with two corners admits a conformal metric with constant Gauss curv…

Introduces generalized products for pseudodifferential operators on manifolds with corners.

We concretely construct a 2-categorically extended TQFT that extends the Reshetikhin-Turaev TQFT to cobordisms with corners. The source category will be a well chosen 2-category of decorated cobordisms with corners and the target bicategory will be the Kapranov-Voevodsky 2-vector spaces.

We extend the notion of reticular Legendrian unfoldings in order to investigate multi-time bifurcations of wavefronts generated by an r-corner. We give a classification list of generic and stable bifurcations with two time parameter and give all generic figures in the plane and the space.

In this paper we prove the propagation of singularities for the wave equation on differential forms with natural (i.e. relative or absolute) boundary conditions on Lorentzian manifolds with corners, which in particular includes a formulation of Maxwell's equations. These results are analogous to those obtained by the a…