---
title: Manifolds with Kinks
url: https://www.emergentmind.com/topics/manifolds-with-kinks
type: topic
---

# Manifolds with Kinks

Searching arXiv for the cited papers and closely related work on manifolds with kinks.
Manifolds with kinks are a class of manifolds with possibly singular boundary that contains smooth manifolds without boundary, smooth manifolds with boundary, manifolds with corners, and more singular spaces such as pyramids, cones, and certain cusps. In the recent graph-Laplacian literature, the purpose of the notion is to provide a single geometric framework in which interior points, smooth boundary points, corners, and more singular boundary-like structures admit a common asymptotic analysis for Gaussian-kernel operators. In a distinct Lorentzian usage, submanifolds-with-kinks are stratified submanifolds in which at most two smooth pieces meet along a codimension-1 kink set; this framework is used to formulate piecewise-smooth spacelike foliations while preserving the well-posedness and equivariance of Bohmian trajectories [2507.07751] [1311.3698].

## 1. Definitions and scope

A topological \(d\)-manifold with kinks \(M\) is a paracompact, Hausdorff space covered by charts of two types. Interior charts \((U,\phi)\) have \(\phi:U\to\mathbb{R}^d\) a homeomorphism onto an open set. Border charts \((U,\phi)\) have \(\phi:\overline U\to\mathbb{R}^d\) a homeomorphism onto the closure of an open set whose boundary has at least \({\mathcal C}^0\)-regularity. Two charts are \({\mathcal C}^k\)-compatible if their transition \(\psi\circ\phi^{-1}\) extends to a \({\mathcal C}^k\)-diffeomorphism of ambient open sets in \(\mathbb{R}^d\). A smooth manifold with kinks is one admitting a maximal atlas of \({\mathcal C}^\infty\)-compatible interior or border charts [2507.07751].

This definition is explicitly broad. It contains smooth manifolds without boundary, smooth manifolds with boundary, manifolds with corners, and more singular spaces. The point is not merely to enlarge the category of manifolds, but to preserve enough local differential structure for tangent-space and operator asymptotics to remain meaningful at singular boundary points.

In the Lorentzian setting, the corresponding object is formulated differently. A stratified submanifold \(S\subset M\) of dimension \(d\) is a finite union of disjoint smooth \(d\)-dimensional submanifolds-with-boundary together with their common boundaries. A submanifold-with-kinks is such a stratified submanifold for which at each point at most two of the smooth pieces meet; equivalently, each codimension-1 boundary stratum is shared by exactly two smooth pieces. Thus there are no “Y-shaped” junctions, only “\(\wedge\)”–shaped edges. Its kink set \(K(S)\) is the set of points at which \(S\) is not a smooth embedded submanifold, and \(\dim K(S)=d-1\) [1311.3698].

These two constructions are related by their treatment of piecewise-smooth geometry, but they are not identical. A plausible implication is that “manifolds with kinks” should be read as a family of closely related technical notions whose exact meaning depends on the analytic problem under study.

## 2. Tangent structure and inward sectors

On a smooth manifold with kinks, the tangent space \(T_pM\) at a point \(p\) is defined as the space of smooth derivations at \(p\). In local coordinates it is isomorphic to \(\mathbb{R}^d\). The nontrivial additional datum is the inward sector, or strictly inward cone,
\[
I_pM
= \{\gamma'(0)\in T_pM\;|\;
\gamma:[0,\varepsilon)\to M,\;\gamma(0)=p,\;
\gamma\text{ smooth}\}.
\]
This is the set of tangent vectors that point into \(M\) [2507.07751].

For a Lipschitz-CDD border chart \(\phi\) at \(p\), the inward sector agrees via \(d\phi\) with the open feasible-direction cone of the Euclidean domain \(\phi(U)\) at \(\phi(p)\). In local coordinates,
\[
I_pM
= \bigl\{v\in\mathbb{R}^d:\exists\,t>0\text{ with }p+t\,v\in M\bigr\}.
\]
At a classical boundary point, \(I_pM\) is a half-space. At an essential corner of depth \(k\), it is a \(k\)-fold positive cone. At a cusp such as \(\{y\ge |x|^{1/2}\}\) at the origin, \(I_pM\) is a single ray and has no interior [2507.07751].

This geometry is the organizing principle of the graph-Laplacian theory. The asymptotic behavior is determined by the inward sector of the tangent space. This suggests that, near a kink, the decisive local datum is not a single normal vector but a cone of admissible directions, together with its spherical averages.

## 3. Local models of singularity

The framework is designed to include several local models in a unified way. A smooth boundary point is locally of the form
\[
\phi(U)=\{x_d\ge \gamma(x')\}
\]
with \(\gamma\in{\mathcal C}^1\), and \(I_pM\) is a half-space. A corner point of depth \(2\) in \(\mathbb{R}^2\) is locally \(\{x_1\ge 0,x_2\ge 0\}\), so \(I_pM=\{v_1,v_2\ge 0\}\). A higher-order corner in \(\mathbb{R}^3\) is locally \(\{x_1,x_2,x_3\ge 0\}\). A pyramid apex in \(\mathbb{R}^3\) is locally the cone \(z\ge \sqrt{x^2+y^2}\), which is a kink not covered by corners. A cusp may be modeled by \(\{y\ge |x|^{1/2}\}\) at the origin, where the inward sector collapses to a single ray [2507.07751].

These examples clarify a common misconception: manifolds with kinks are not limited to manifolds with corners. The class was introduced precisely to accommodate boundary singularities that are more general than the corner case, while still admitting a coherent tangent/inward-sector analysis.

The Lorentzian notion imposes a different restriction. A submanifold-with-kinks allows only two smooth pieces to meet at a singular stratum. More complicated junctions are excluded. By the Seeley extension theorem, any submanifold-with-kinks can be approximated arbitrarily well by a smooth submanifold, but this is not available for more complicated stratifications [1311.3698].

## 4. Gaussian-kernel graph Laplacian on manifolds with kinks

Given i.i.d. samples \(X_1,\dots,X_n\in M\), density \(p\), and bandwidth \(\epsilon>0\), the unnormalized graph Laplacian at a test point \(x\in M\) is
\[
L_{n,\epsilon}f(x)
= \frac{1}{n\,\epsilon^{d/2+1}}
\sum_{j=1}^n
\exp\!\bigl(-\tfrac{d^2(x,X_j)}{\epsilon}\bigr)\bigl[f(x)-f(X_j)\bigr].
\]
Its expectation is
\[
L_\epsilon f(x)
= \frac{1}{\epsilon^{d/2+1}}
\int_M \exp\!\bigl(-\tfrac{d^2(x,y)}{\epsilon}\bigr)
\bigl[f(x)-f(y)\bigr]\,p(y)\,d\mathrm{vol}(y).
\]
At a smooth interior point,
\[
L_\epsilon f(x)\longrightarrow c_d\bigl[p\,\Delta_M f+\tfrac12\nabla p\cdot\nabla f\bigr](x),
\qquad
c_d=\Gamma((d+1)/2)/2,
\]
as \(\epsilon\to 0\) [2507.07751].

At a boundary or kink point, the expansion depends on the geometry of \(I_pM\). For Lipschitz-CDD boundary or kink points,
\[
L_\epsilon f(x)
= -\,\frac{c_d}{\sqrt\epsilon}\,p(x)\,\partial_{v(x)}f(x)
\;-\;c_{d+1}\bigl[p(x)\,A f(x)+[p,f](x)\bigr]
+O(\sqrt\epsilon),
\]
where
\[
v(x)=\int_{S^{d-1}\cap I_pM}\theta\,d\sigma(\theta)
\]
is the average inward-unit-vector,
\[
A f(x)=\int_{S^{d-1}\cap I_pM}d^{(2)}f(\theta,\theta)\,d\sigma(\theta),
\]
and
\[
[p,f](x)=\tfrac12\int_{S^{d-1}\cap I_pM}(\nabla f\cdot\theta)(\nabla p\cdot\theta)\,d\sigma(\theta).
\]
The pointwise asymptotic theorem states that if \((M,g)\) is a \(d\)-dimensional Riemannian manifold with kinks, \(p\in{\mathcal C}^2(M)\), \(f\in{\mathcal C}^3(M)\), and \(x\) is interior or Lipschitz-CDD border, then
\[
L_\epsilon f(x)
= -\frac{c_d}{\sqrt\epsilon}\bigl[p(x)\,\partial_{v(x)}f(x)+o(1)\bigr]
\;-\;c_{d+1}\bigl[p(x)\,A_gf(x)+[p,f]_g(x)\bigr]
+O(\sqrt\epsilon)
\]
as \(\epsilon\downarrow 0\) [2507.07751].

The standard special cases are recovered directly from the inward-sector geometry. In the interior, \(I_pM=T_pM\) is symmetric, so \(v(x)=0\) and one recovers \(c_d\,\Delta_p f\). On a smooth boundary, \(I_pM\) is a half-space and \(v\) is the inner normal, so \(L_\epsilon f\) blows up like \(\epsilon^{-1/2}\partial_\nu f+O(1)\). At a \(k\)-corner, one obtains a sum of \(k\) normal-derivative terms.

## 5. Convergence theory and numerical validation

The pointwise asymptotic expansion has a stochastic counterpart. Choosing \(\epsilon=\epsilon_n\) with
\[
\sqrt{n}\,\epsilon_n^{\,d/2+1}\to\infty
\]
guarantees in-probability convergence of \(L_{n,\epsilon_n}f(x)\) to the deterministic limit; with slightly stronger tails, one also has almost-sure convergence [2507.07751].

The numerical study reported for the theory uses a 3D ball and a 3D cube. For the unit ball, \(n=10^8\) points are sampled uniformly, and \(L_{n,\epsilon}f\) is evaluated at the center and on \(\partial B^3\). The unscaled \(L_{n,\epsilon}f\) converges to \(0\) in the interior and blows up like \(O(\epsilon^{-1/2})\) on the boundary. The scaled quantity \(\sqrt\epsilon\,L_{n,\epsilon}f\) converges numerically to the predicted constants \(0\) and \(c_3\,\partial_\nu f=c_3\cdot 1\), respectively [2507.07751].

For the cube, one observes the hierarchy
\[
\sqrt\epsilon\,L_{n,\epsilon}f
\longrightarrow
0,\quad c_d,\quad 2\,c_d,\quad 3\,c_d
\]
at an interior point, face midpoint, edge midpoint, and vertex. This matches the number of active inward-normals. Empirical error rates in \(\epsilon\) and \(n\) agree with the \(O(\sqrt\epsilon)\) remainder and the concentration bounds. Within this framework, the inward sector is the only datum needed to govern the leading-order and next-order behavior of Gaussian-kernel graph Laplacians [2507.07751].

## 6. Foliations-with-kinks in relativistic Bohmian mechanics

A foliation-with-kinks of a Lorentzian manifold \(M\) is a decomposition
\[
M=\bigsqcup_{t\in\mathbb{R}} \Sigma_t
\]
such that each \(\Sigma_t\) is a spacelike submanifold-with-kinks of codimension \(1\), and the union of all kink sets
\[
K(F)=\bigcup_t K(\Sigma_t)
\]
is itself a stratified submanifold of codimension \(1\). Two additional conditions are imposed: each \(\Sigma_t\) is a Cauchy hypersurface, and at every point of \(\Sigma_t\), including points of the kink set, all tangent vectors are spacelike. In \(1+3\) space-time, \(K(F)\) therefore has dimension \(3\) [1311.3698].

For \(N\) non-interacting Dirac particles in Minkowski space with multi-time wave function
\[
\psi:M^N\to (\mathbb{C}^4)^{\otimes N},
\]
the simultaneous-configuration set
\[
C=\bigcup_t \Sigma_t^N\subset M^N
\]
is a submanifold-with-kinks of dimension \(3N+1\). On \(C\), one defines a probability current \(\mathscr J\) as a smooth \(3N\)-form. On each smooth leaf \(\Sigma_t^N\), \(\mathscr J\) induces the usual Bohm-Dirac current vector field \(j\) in coordinates \((t,q)\in\mathbb{R}\times\mathbb{R}^{3N}\). Away from the kink set, \(j\) is \(C^\infty\) and satisfies the continuity equation
\[
\partial_t j^0(t,q)+\sum_{k=1}^{3N}\partial_{q^k} j^k(t,q)=0.
\]
Because the leaves are only piecewise smooth, \(j\) generally has jump discontinuities along the coordinate image of the kink set [1311.3698].

The key compatibility condition across the kink set is flux continuity:
\[
n_K(t,q)\cdot j_L(t,q)=n_K(t,q)\cdot j_R(t,q)
\quad\text{for almost every }(t,q)\in K,
\]
where \(n_K\) is a unit normal to a regular piece of \(K\), and \(j_L\), \(j_R\) are the one-sided limits. Under standard assumptions—\(j^0\ge 0\), \(\int j^0(0,q)\,d^{3N}q=1\), smoothness away from \(K\), one-sided smooth extensions up to \(K\), the continuity equation away from \(K\), and flux continuity on \(K\)—every integral curve of \(j\) can be unambiguously continued across \(K\) except on a set of initial data of measure zero, and the density \(j^0\) is equivariant in time [1311.3698].

For the hypersurface Bohm-Dirac model, the condition holds automatically. The current form \(\mathscr J\) is divergence-free on \(M^N\) and does not depend on the foliation. A local calculation shows that on each side of the kink set the induced flux agrees with the pull-back of \(\mathscr J\), and Stokes’ theorem forces equality of the normal fluxes on the two sides. As a consequence, the model has globally well-defined continuous world lines and preserves the \(|\psi|^2\)-distribution on each leaf [1311.3698].

## 7. Generic kinks, limitations, and conceptual significance

A notable application is the foliation determined by the condition
\[
d(n_\mu\,dx^\mu)=0.
\]
Even when one starts from a smooth initial Cauchy surface, the integral leaves of this law develop generic piecewise-smooth corners: the foliation acquires kinks. The resulting foliation still satisfies the Cauchy property, the spacelike-tangent condition, and the requirement that its kink set be a stratified submanifold of codimension \(1\). The Bohm-Dirac model therefore remains well-posed and equivariant for the \(dn=0\) foliation despite its generic kinks [1311.3698].

The same paper also delineates a limitation. Guidance laws whose current depends explicitly on the normal \(n_\mu\) at each point, such as Slater’s photon law \(j^\mu=T^{\mu\nu}n_\nu\), will typically fail the flux-continuity condition at kinks and hence can lose equivariance or even trajectory continuation. Exactly at a single-particle crossing of \(K(F)\), only the other particles’ velocities jump, because in the Bohm-Dirac velocity formula each particle’s velocity depends on the normals at the other particles’ positions [1311.3698].

Taken together, the two research programs isolate a common theme. In the graph-Laplacian setting, manifolds with kinks provide a unifying framework for interior points, smooth boundary, corners, and more singular boundary-like structures, with the inward sector controlling the asymptotics. In the Bohmian setting, submanifolds-with-kinks are the “next-to-smooth” class of submanifolds: they capture generic singularities such as edges and corners while retaining a simple topological and measure-theoretic framework in which probability currents and ODE theory still apply. The phrase “manifolds with kinks” therefore denotes a mathematically controlled enlargement of smooth geometry, but the exact admissible singularities depend on the analytic role the kink is meant to play [2507.07751] [1311.3698].

Source: https://www.emergentmind.com/topics/manifolds-with-kinks