---
title: 'Non-Integral Geometry: A Generalized Approach'
url: https://www.emergentmind.com/topics/non-integral-geometry
type: topic
---

# Non-Integral Geometry: A Generalized Approach

Searching arXiv for papers on “non-integral geometry” and closely related usage.
Non-integral geometry denotes a family of geometric frameworks in which standard integral or differential structures are either replaced or explicitly relaxed. In one recent usage, it is introduced as “a new field of generalized function (distribution) theory where the effects breaking the symmetry of integration measure have been investigated,” with the inverse Radon transform acquiring an additional term \(f_A\) under a non-invariant, complex integration measure [2605.28670]. In a different but related usage, Hjelmslev-type “non–integral” geometries are reformulated within parapolar geometry through the imbrex axiom, yielding a uniform classification of several generalized projective spaces and their projective embeddings [1309.3304]. A further adjacent direction is the “calculus-free” development of hyperbolic geometry entirely in metric terms, showing that strong geometric classification can be obtained without differential apparatus [1801.07609]. Taken together, these lines of work indicate that non-integral geometry is not a single unified doctrine, but a cluster of approaches in which geometric structure is developed without reliance on the usual invariant integration or smooth differential machinery.

## 1. Terminological scope and conceptual setting

The most explicit definition appears in the Radon-theoretic setting: “non-integral geometry” is described as a field of generalized function theory in which “the effects breaking the symmetry of integration measure have been investigated” [2605.28670]. In that framework, the central departure from classical integral geometry is the replacement of the Euclidean-group-invariant measure by a non-symmetric or non-invariant measure, together with an analytic regularization that yields a complex decomposition of the radial measure.

A distinct use of closely related terminology occurs in the theory of generalized projective spaces. The exposition of imbrex geometries treats “Hjelmslev-type (non–integral) geometries” as incidence-geometric structures motivated by neighbour relations and their parapolar analogues [1309.3304]. Here “non–integral” does not refer to inverse transforms or Radon operators, but to a weakening of classical projective-geometric incidence encoded by Hjelmslev-type neighbourhood behaviour.

A third, methodologically adjacent, line is the development of hyperbolic geometry “free of differential apparatus,” conducted entirely in metric terms and never invoking derivatives or integrals [1801.07609]. This does not define “non-integral geometry” as a formal field, but it demonstrates that substantial geometric content—including geodesics, homogeneity, rigidity, and classification—can be obtained in a setting explicitly detached from calculus.

This suggests that the phrase functions as an umbrella for multiple programs united less by a single axiomatic core than by a common strategy: replacing standard smooth or invariant-integral structure by metric, distributional, or incidence-theoretic alternatives.

## 2. Broken-symmetry measures and the Radon-theoretic formulation

In classical integral geometry, the inverse Radon transform in \(\mathbb R^n\) is written symbolically as
\[
f(x)=\int_{S^{n-1}}d\Omega(\hat n)\;\int_{\mathbb R}d\eta\;R[f](\eta+\langle \hat n,x\rangle),
\]
where \(d\Omega(\hat n)\) is the standard rotation-invariant Haar measure on \(S^{n-1}\) and \(d\eta\) is the Lebesgue measure on the real line [2605.28670]. These together form an invariant measure under the Euclidean group \(O(n)\ltimes \mathbb R^n\).

The non-integral formulation allows two sources of symmetry breaking. First, “the physical object \(f(x)\) to be reconstructed may fail to be rotationally symmetric or may have inhomogeneous support.” Second, “the angular integration need no longer run over all of \(S^{n-1}\), but only over some subset \(\Omega\subset S^{n-1}\)” [2605.28670]. Concretely, one replaces
\[
\int_{S^{n-1}}d\Omega(\hat n)\to\int_{\Omega}d^{\,n-1}\Theta(\phi,\theta_i),
\]
with \(\Omega\) a proper subdomain. Because \(\Omega\neq S^{n-1}\), the resulting measure is no longer invariant under full rotations.

The same paper further states that analytic regularization of the \(\eta\)-integral produces a complex decomposition of the radial measure,
\[
d\eta\to P.V.[\eta^n]\,d\eta+i\pi\delta(\eta),
\]
and identifies the \(i\pi\delta(\eta)\) contribution as the “complex integration measure” [2605.28670]. The decisive point is that the symmetry breaking is not merely geometric; it also propagates into the distributional structure of inversion. The resulting geometry is therefore “non-integral” in the precise sense that classical invariant integration is replaced by a restricted angular domain and a complexified, analytically regularized radial measure.

## 3. Universal inverse Radon operators and the additional term \(f_A\)

After analytic regularization “following Gelfand–Shilov,” a “single dimension-independent formula for the inverse Radon transform in \(\mathbb R^n\)” is obtained [2605.28670]. Writing the Radon data as \(G(\tau,\phi,\theta_i)=\mathcal R[f](\tau,\phi,\theta_i)\), the inverse operator is decomposed as
\[
f_\varepsilon(x)=\mathcal R_\varepsilon^{-1}G=f_S(x)+f_A(x),
\]
with
\[
f_S(x)=i^{\,n-2}(-1)^{n-1}(n-1)!\,
\int_{\Omega}d^{n-1}\Theta\,
\int_{-\infty}^{+\infty}P.V.[\eta^n]\,d\eta\;
\mathcal R[f](\eta+\langle \hat n,x\rangle,\Theta),
\]
and
\[
f_A(x)=(-1)^{n-1}i^{\,n-1}\pi
\int_{\Omega}d^{n-1}\Theta\,
\int_{-\infty}^{+\infty}\delta(\eta)\,d\eta\;
\frac{\partial^{\,n-1}}{\partial\eta^{\,n-1}}
\mathcal R[f](\eta+\langle \hat n,x\rangle,\Theta).
\]
The paper presents these as equations (2.3)–(2.5) and characterizes them as universal because the same pair of formulas holds “for every \(n\) without changing their structure,” with only the factorial and powers of \(i\) depending on dimension [2605.28670].

For \(n=2\), the formulas specialize to
\[
f_S(x)=-
\int_{0}^{\pi/2}d\phi
\int_{-\infty}^{+\infty}P.V.[\eta^2]\,d\eta\;
\mathcal R[f](\eta+\langle \hat n(\phi),x\rangle,\phi),
\]
and
\[
f_A(x)=-
i\pi
\int_{0}^{\pi/2}d\phi
\int_{-\infty}^{+\infty}\delta(\eta)\,d\eta\;
\partial_\eta\,\mathcal R[f](\eta+\langle \hat n(\phi),x\rangle,\phi)
\]
[2605.28670].

Within this construction, \(f_A\) is not an auxiliary correction added from outside the inversion formalism. It is generated by the same analytic-continuation procedure as the principal-value part \(f_S\). The paper therefore presents the universal inverse operator as inherently two-component rather than as a classical inverse plus a posteriori regularization.

## 4. Regularization, singularity cancellation, and reconstruction

The principal theoretical claim of the 2026 formulation is that \(f_A\) acts as a regularizing contribution [2605.28670]. The argument begins with the observation that for a non-symmetric support, computation of \(f_S(x)\) yields “branch-cut and logarithmic singularities in \(x\)—for instance negative arguments inside logs or \(1/0\) poles at the boundary of the support.” The additional term then produces “an exactly compensating imaginary piece.”

Two explicit cancellation mechanisms are stated. The first concerns “imaginary log-singularities arising in the \(\eta^2\)-piece \(f_S^{(\tau)}\),” which “cancel one-to-one against the contribution from \(f_A^{(\tau)}\).” In the notation of the paper,
\[
f_S^{(\tau)}(x)\big|_{\log\;{\rm Im}}
+
f_A^{(\tau)}(x)\big|^{(a)}
=0.
\]
The second concerns “the \(x\)-independent and \(x\)-dependent infinite-log singularities in the cot- and tan-angle pieces of \(f_S^{(\phi)}\),” which are cancelled by complementary pieces of \(f_A\):
\[
f_S^{(\phi)}(x)\big|_{\log[\infty]}
+
f_A^{(\tau)}(x)\big|^{(b)}
+
f_A^{(\phi)}(x)\big|_{\log[\infty]}
=0
\]
[2605.28670].

The paper emphasizes that “no genuine contour integrals appear”; the mechanism is “purely distributional,” based on the decomposition
\[
\eta^n\to P.V.[\eta^n]+i\pi\delta(\eta)
\]
and on angular integrals in which the \(\theta\)- and \(\delta\)-constraints select the same singular loci [2605.28670].

The main proposition states that if \(f(x)\) is compactly supported in a non-rotationally symmetric domain \(\Omega\subset\mathbb R^n\) and \(G=\mathcal R[f]\) is its Radon data on the restricted angular set \(\Omega\subset S^{n-1}\), then the universal inverse transform
\[
f_\varepsilon(x)=f_S(x)+f_A(x)
\]
“reproduces \(f(x)\) exactly and eliminates all nonintegrable singularities” [2605.28670]. The same source further describes \(f_A\) as “the unique regularizing term” which, when added to the principal-value formula \(f_S(x)\), causes “the complete cancellation of all cut and delta singularities.”

A plausible implication is that the non-integral geometry program here is less a replacement for Radon inversion than a re-specification of its analytic domain: the inverse problem is reformulated so that asymmetry of support and asymmetry of measure are built into the operator rather than treated as perturbations.

## 5. Hjelmslev-type non–integral geometries and the imbrex axiom

In the incidence-geometric literature, a different formulation appears in the study of strong parapolar spaces of diameter \(2\). Let
\[
\Gamma=(\mathcal P,\mathcal L,*)
\]
be such a space, and let \(\mathcal E(x,y)\) denote the unique symplecton through two non-collinear points \(x,y\). The imbrex axiom is
\[
\tag{Imb}
\begin{aligned}
&\text{For any point }x\text{ and any line }L\text{ with }x\not\sim L,\\
&\text{and any two distinct points }y_1,y_2\in L,\ 
\mathcal E(x,y_1)\cap\mathcal E(x,y_2)
\text{ is a singular subspace maximal in both.}
\end{aligned}
\]
[1309.3304].

The same exposition derives this from classical Hjelmslev projective planes over a local ring \(R\), where there is a neighbour relation \(\equiv\) on points and lines such that \(\equiv\) is an equivalence whose classes form an ordinary projective plane, and if \(x\not\equiv y_1,y_2\), then the unique lines \(xy_1\) and \(xy_2\) lie in the same line-neighbour class [1309.3304]. In the parapolar reformulation, the transitive equivalence is replaced by the weaker condition that “neighbour” means “collinear in \(\Gamma\),” while symplecta \(S,T\) are neighbours when \(S\cap T\) is a maximal singular subspace.

The exposition states that (Imb) is “exactly the parapolar analogue of Hjelmslev’s intuitive ‘lines close to each other look as if they share a segment’” [1309.3304]. In this setting, “non–integral” refers neither to integration nor to generalized functions; it refers to a generalized incidence geometry in which classical projective separation is softened by neighbourhood structure.

A central lemma says that in any imbrex geometry all symplecta have the same rank. The classification then splits by symplectic rank. For symplectic rank \(2\), each symp is a generalized quadrangle, and a strengthened Cohen-type regularity theorem is obtained: if \(H\) is a thick symplecton and \(L,M\subset H\) are two non-concurrent lines, then \(\{L,M\}^{--}=\{L',M'\}^{--}\) for some \(L',M'\) in \(\{L,M\}^{-}\); in particular, \(\{L,M\}\) is a regular pair [1309.3304]. From this, the only thick imbrex geometries of rank \(2\) arise from the Hjelmslev–Moufang plane over the split octonions, the classical Segre varieties \(S_{p,q}(K)\), the line-Grassmannians \(A_{n,2}(K)\) for \(n\ge 4\), and the half-spin geometries of type \(D_{5,5}(K)\) [1309.3304].

For symplectic rank \(r\ge 3\), the corollary cited in the exposition states that any imbrex geometry is one of the Lie-incidence Grassmannians
\[
A_{n,2}(K)\ (n\ge 4),\quad D_{5,5}(K),\quad E_{6,1}(K),
\]
realized respectively as the \(2\)-Grassmannian, the half-spinor geometry, or the \(E_6\)-building over the field \(K\) [1309.3304].

## 6. Calculus-free metric geometry and classification without differential apparatus

A further nearby direction is the metric treatment of hyperbolic geometry “free of differential apparatus” [1801.07609]. In this formulation, one fixes \(n\ge 1\), sets \(H^n(\mathbb R)=\mathbb R^n\), writes
\[
[x]=\sqrt{1+|x|^2},
\]
and defines
\[
d_h(x,y)=\operatorname{arccosh}([x]\cdot [y]-(x,y)),
\]
with \(\operatorname{arccosh}(t)=\log(t+\sqrt{t^2-1})\) [1801.07609]. By Cauchy–Schwarz, \([x]\cdot [y]-(x,y)\ge 1\), with equality iff \(x=y\), so \(d_h\) is well defined and separates points.

The construction proves the triangle inequality via explicit elementary isometries. For each \(y\in\mathbb R^n\), the map
\[
T_y(x)=x+\bigl([x]+(x,y)\bigr)\cdot y/([y]+1)
\]
is bijective, satisfies \(T_y^{-1}=T_{-y}\), and preserves \(d_h\) [1801.07609]. Together with a one-dimensional permutation estimate, this yields the full triangle inequality. The resulting space \((\mathbb R^n,d_h)\) is proper, complete, and locally compact.

Geodesics are produced without any line-element integration: for any unit vector \(z\in\mathbb R^n\),
\[
y_z(t)=\sinh(t)\,z
\]
satisfies \(d_h(y_z(s),y_z(t))=|s-t|\), so \(y_z\) is an isometric embedding of \(\mathbb R\) [1801.07609]. Metric segments are unique, and any three points satisfying
\[
d_h(x,z)=d_h(x,y)+d_h(y,z)
\]
are collinear in a single hyperbolic line. Euclid I–IV hold, while Euclid V fails in Playfair form: for a line \(L\) not passing through a point \(a\), one can find infinitely many hyperbolic lines through \(a\) disjoint from \(L\) [1801.07609].

The broader significance of this approach lies in its classification theorem. A metric space is \(k\)-point homogeneous if any isometry on any \(k\)-point subset extends to a global isometry. The main result quoted in the exposition states that any connected, locally compact, \(3\)-point homogeneous metric space with more than one point is isometric to exactly one of:
- \((\mathbb R^n,w\cdot d_e)\), where \(w(t)=c\cdot t\);
- \((S^n,w\circ d_{\text{sphere}})\), with \(d_{\text{sphere}}(x,y)=\arccos((x,y))\), and \(w\) strictly increasing, subadditive, and continuous;
- \((H^n,w\circ d_h)\), \(n>1\), with \(w(t)=c\cdot t\) [1801.07609].

In particular, among geodesic \(3\)-point homogeneous spaces only
\[
(\mathbb R^n,d_e),\qquad (S^n,r\cdot d_{\text{sphere}}),\qquad (H^n,r\cdot d_h)
\]
occur [1801.07609]. The paper explicitly notes that “no other metric space—even if one abandons differentiability—can match that strong symmetry.” This establishes that the abandonment of calculus need not weaken global classification; in this case it still yields a rigid trichotomy.

## 7. Classification patterns, embeddings, and methodological significance

Across these strands, classification is a recurring theme. In the Radon-theoretic version, the principal unifying claim is the “dimension-independence” of the inverse formulas for \(f_S\) and \(f_A\): their structure is unchanged for every \(n\), with only the overall factorial and powers of \(i\) varying [2605.28670]. The paper contrasts this with “Courant–Hilbert methods, which historically needed separate treatment of even/odd \(n\).” It further states implications for “practical CT or seismological inversion,” where non-uniform supports and incomplete angular data are common; according to the paper, the additional term \(f_A\) provides a built-in distributional regularization that removes spurious singularities otherwise addressed by ad hoc smoothing or Tikhonov penalties [2605.28670].

In imbrex geometry, classification takes the form of a finite list of generalized projective varieties and buildings. The projective-embedding application introduces the local tangent-space condition
\[
(*LMM3*)\quad
\bigcup_{y\in L}T_x([x,y])
\text{ spans a projective subspace of dimension }
\le 2d-r+1,
\]
for each point \(x\in X\) and each projective line \(L\subset X\) with no point of \(L\) collinear to \(x\) [1309.3304]. The unified embedding characterization then states that a projectively spanning set \(X\subset\mathbb P^N(K)\) with symplecta of type \((d,r)\) is a local Mazzocca–Melone set iff \(X\) is, up to projection from a suitable complementary subspace, one of:
\[
\text{Segre variety }S_{p,q}(K)\ (d=2),\quad
\text{Grassmannian }A_{n,2}(K)\ (d=4),\quad
\text{half-spin variety }D_{5,5}(K)\ (d=6),\quad
\text{exceptional }E_{6,1}(K)\ (d=8)
\]
[1309.3304].

In the metric hyperbolic setting, the corresponding significance lies in rigidity under minimal apparatus: absolute homogeneity, uniqueness of geodesic segments, and the exclusion of nontrivial dilations for \(n>1\) are all obtained by elementary metric arguments [1801.07609].

A common misconception would be to treat all of these as instances of a single formal theory with a shared definition. The cited works do not provide such a unified axiomatization. Rather, they present distinct frameworks: one based on broken-symmetry measures and generalized functions, one on Hjelmslev-type neighbourhoods and parapolar incidence, and one on metric geometry without differential tools. What they have in common is methodological: each shows that substantial geometric structure can be formulated, classified, or inverted after removing assumptions traditionally encoded through invariant integration or differential calculus.

Source: https://www.emergentmind.com/topics/non-integral-geometry