LaTeX2Web, a web authoring and publishing system
LaTeX2Web, a web authoring and publishing system
If you see this, something is wrong
To get acquainted with the document, the best thing to do is to select the "Collapse all sections" item from the "View" menu. This will leave visible only the titles of the top-level sections.
Clicking on a section title toggles the visibility of the section content. If you have collapsed all of the sections, this will let you discover the document progressively, from the top-level sections to the lower-level ones.
Generally speaking, anything that is blue is clickable.
Clicking on a reference link (like an equation number, for instance) will display the reference as close as possible, without breaking the layout. Clicking on the displayed content or on the reference link hides the content. This is recursive: if the content includes a reference, clicking on it will have the same effect. These "links" are not necessarily numbers, as it is possible in LaTeX2Web to use full text for a reference.
Clicking on a bibliographical reference (i.e., a number within brackets) will display the reference.
Speech bubbles indicate a footnote. Click on the bubble to reveal the footnote (there is no page in a web document, so footnotes are placed inside the text flow). Acronyms work the same way as footnotes, except that you have the acronym instead of the speech bubble.
By default, discussions are open in a document. Click on the discussion button below to reveal the discussion thread. However, you must be registered to participate in the discussion.
If a thread has been initialized, you can reply to it. Any modification to any comment, or a reply to it, in the discussion is signified by email to the owner of the document and to the author of the comment.
The blue button below that says "table of contents" is your tool to navigate in a publication.
The left arrow brings you to the previous document in the publication, and the right one brings you to the next. Both cycle over the publication list.
The middle button that says "table of contents" reveals the publication table of contents. This table is hierarchical structured. It has sections, and sections can be collapsed or expanded. If you are a registered user, you can save the layout of the table of contents.
First published on Friday, Apr 4, 2025 and last modified on Thursday, Apr 10, 2025
University of Warsaw, Ul. Banacha 2, 02-097 Warsaw, Poland, Email, https://noemie-combe-23.webself.net
University of Warsaw, Ul. Banacha 2, 02-097 Warsaw, Poland
Shape Theory, Fiber bundles, Foliations
Reconstruction problems lie at the very heart of both mathematics and science, posing the enigmatic challenge: How does one resurrect a hidden structure from the shards of incomplete, fragmented, or distorted data? In this paper, we introduce a new approach that harnesses the profound insights of the Vaisman Atiyah–Molino framework. Our method renders the reconstruction problem computationally tractable while exhibiting exceptional robustness in the presence of noise. Central to our theory is the Hantjies tensor—a curvature-like invariant that precisely quantifies noise propagation and enables error-bounded reconstructions. This synthesis of differential geometry, integral analysis, and algebraic topology not only resolves long-standing ambiguities in inverse problems but also paves the way for transformative applications across a broad spectrum of scientific disciplines.
Reconstruction problems stand among the biggest challenges in mathematics and applied sciences: How does one rebuild a hidden structure from fragmented, incomplete, or distorted data? Whether it is deducing the three-dimensional conformation of a protein from blurry two-dimensional microscope images, or inferring the structure of a graph from partially observed subgraphs, these inverse problems lie at the core of diverse disciplines—ranging from cryo-electron microscopy and tomography to astronomy, radio-astronomy, medicine and graph theory as well as modern machine learning.
The intrinsic difficulty of reconstruction is underscored by the fact that infinitely many structures may be consistent with the same incomplete data. In practice, traditional methods, such as iterative algorithms, are hampered by three fundamental challenges:
In this work, we introduce a new framework for reconstruction that unifies and extends previous approaches by leveraging the deep insights of the Vaisman [1] and Atiyah–Molino [2, 3] frameworks. Rather than addressing each inverse problem in isolation, our approach employs a unified geometric language that recasts reconstruction as the extraction of hidden symmetries and invariants within the data.
On one hand, the Vaisman framework interprets reconstruction as a geometric unraveling of symmetry. It resolves the inherent multiplicity of solutions in underdetermined inverse problems by inducing a stratified decomposition of the configuration space into transverse foliations. Each foliation represents an equivalence class of solutions that are indistinguishable under a given projection operator, thereby transforming the ambiguity into a structured hierarchy of invariant submanifolds. The intersection of these orthogonal layers of constraints is isolated, which in turn guarantees unique solutions and robustness against noise. For instance, objects that yield identical two-dimensional images naturally lie on the same leaf of the foliation.
On the other hand, the Atiyah–Molino framework reinterprets the reconstruction problem as a fiber bundle phenomenon. By splitting the problem into tangent directions (encoding local deformations, such as the tilting of a protein) and normal directions (capturing global invariants such as centroids and moments), this approach achieves significant computational tractability. The Atiyah–Molino exact sequence decomposes the problem into algebraic equations, thereby obviating the need for brute-force searches. Furthermore, the introduction of the Hantjies tensor—a curvature-like invariant—provides a precise measure of noise propagation, thereby allowing for error-bounded reconstructions.
This synthesis of differential geometry, algebraic topology, and integral analysis not only resolves long-standing ambiguities in inverse problems but also paves the way for transformative applications across science and engineering. In the subsequent sections, we develop the theoretical underpinnings of our approach and demonstrate its efficacy in several paradigmatic reconstruction scenarios.
Applications of our method include:
Acknowledgements The first author thanks Pawel Dlotko for discussions on TDA. Both authors thank Philippe Combe for comments on this paper. This research is part of the project No. 2022/47/P/ST1/01177 co-founded by the National Science Centre and the European Union’s Horizon 2020 research and innovation program, under the Marie Sklodowska Curie grant agreement No. 945339.For the purpose of Open Access, the author has applied a CC-BY public copyright licence to any Author Accepted Manuscript (AAM) version arising from this submission. 
.
We consider at least two independent projections of a three-dimensional object onto distinct two-dimensional planes. The existence of such independent projections is necessary to ensure sufficient information for reconstruction. This leads to the problem of defining an inverse function that maps the planar projections back to the original volumetric object.
The Radon transform \( Rf(\theta,t)\) integrates a function \( f(x,y,z)\) along planes parameterized by angle \( \theta\) and offset \( t\) . Its inverse requires integrating over all possible angles, but practical applications (e.g., cryo-EM) use finite projections.
For discrete objects (e.g., particles on a line), the inverse function can be constructed as a linear system where each projection contributes equations. Two independent projections ensure the system is determined (solvable) under non-degenerate conditions [4].
A key idea is to leverage the results of Neifeld on geometric projective 2-dimensional spaces. From these results, it follows that the independent projections induce a pair of independent connections. These connections allow us to extract curvature-related information in two dimensions, including the Riemann tensor and Ricci curvature. Understanding whether these curvature tensors arise from an associative or commutative algebraic structure further informs the reconstruction process.
Neifeld’s involution principle bridges projective geometry and differential geometry, enabling a dual-connection framework for 3D reconstruction. By interpreting projections as inducing independent connections on \( \mathbb{C}P^2\) , this approach generalizes classical integral geometry methods and enhances their robustness, particularly in complex or symmetric settings. Further work could explore applications to quantum state tomography (via projective Hilbert spaces) or algebraic varieties in \( \mathbb{C}P^n\) .
Proposition 1
(i) Let \( O \subset \mathbb{CP}^3 \) be a smooth, non-symmetric three dimensional object embedded in the complex projective space, and let \( \Pi_1, \Pi_2: \mathbb{CP}^3 \dashrightarrow \mathbb{CP}^2 \) be two independent rational projections onto distinct complex projective planes. Assume:
Involution symmetry: The projections satisfy
where \( \iota: \mathbb{CP}^2 \to \mathbb{CP}^2 \) is an involution (e.g., a polarity induced by the Fubini-Study metric).
Each projection \( \Pi_i \) defines a holomorphic line bundle \( L_i \to \mathbb{CP}^2 \) with a connection \( \nabla_i \) derived from the Fubini-Study metric. The involution \( \iota \) induces a duality
making \( (\nabla_1, \nabla_2) \) a dual pair.
The centroid (or first moment) of a geometric shape is its “average position" in space, computed as the arithmetic mean of all points in the object. For a three dimensional object projected onto a 2D plane, if the object is represented as a set of points or a density distribution, the centroid of its projection onto a plane is the weighted average position of those points in that plane.
For a projection
the centroid \(\bar{p}_i \in \mathbb{R}^2\) is given by
where \((x_k,y_k)\) are the coordinates of the projected points and \(N\) is the total number of points.
The centroid encodes the translational symmetry of the projected data. For example, shifting the three dimensional object in space shifts the centroid linearly in the projection.
A moment map generalizes the concept of centroids to algebraic/geometric settings, often encoding symmetry-invariant properties of an object.
The moment map
assigns to the three dimensional object \(O\) the centroid of its projection onto the plane \(\Pi_i\). If \(O\) is a density distribution, \(\mu_i\) computes the first statistical moment (mean) of the projection. For a line or curve, \(\mu_i\) corresponds to the centroid of its projected trace.
Each \(\mu_i\) provides a linear constraint on the orientation of \(O\). Combining \(\mu_1\) and \(\mu_2\) (from two distinct projections) resolves ambiguities in the three dimensional orientation.
Proposition 2
Let \( \mu_i: O \to \mathbb{C}^2 \) be the first moment maps of \( O \) with respect to \( \Pi_i \), encoding the centroids of the projected data.
Under these conditions:
Explicitly, there exists a unique solution \( v \in T\mathbb{CP}^3 \) (a direction vector modulo scaling) satisfying:
(1)
where \( \omega_i \) are connection 1-forms (local representatives of the connections) encoding the involution duality: \( \omega_1 = \iota^* \omega_2 \), where \( \iota:\mathbb{C}P^3\to \mathbb{C}P^3\) is an involution.
The system of equations in Eq.(1) is a pair of linear constraints on \( v\) where \( v \cdot \omega_i\) represents the contraction of \( v\) with the connection 1-form \( \omega_i\) , inducing a scalar equation.
Note that the involution \( \iota\) induces a duality between the connections:
The system has a unique solution \(v\) (modulo scaling) for the following reasons:
Algebraic Rank: The equations define a full-rank linear system. For example, if
the two equations reduce the degrees of freedom from 4 (modulo scaling) to 1.
Curvature Compatibility: The duality
ensures that the curvatures
do not introduce conflicting constraints.
Before we proceed to the proof of the Prop. 2, we recall the notion of a curvature. Given a connection \( \nabla\) on a vector bundle \( E\to M\) , its curvature \( F_{\nabla}\) is the 2-form-valued endomorphism measuring the failure of \( \nabla\) to be flat. Formally:
where \( X,Y\) are vector fields on \( M\) .
Proof
Duality of Connections: The involution \( \iota \) ensures \( \nabla_1 \) and \( \nabla_2 \) are dual under the Fubini-Study metric. This forces their curvatures \( F_{\nabla_i} \) to satisfy
(this arises from the antisymmetry of the Fubini-Study K
specialChar{34}ahler form \( \omega\) under \( \iota\) ) resolving ambiguities in the orientation parameters.
To analyze the structure of the space underlying this reconstruction, we study its foliations. Vaisman’s and Shurygin’s [5] results indicate that a space or manifold defined over an algebra is bijective to a foliated Riemannian space. Consequently, the reconstruction problem can be formulated within the framework of Atiyah–Molino spaces. This provides a natural setting to investigate the algebraic properties of the space and their implications for curvature and connection.
Let \( M \) be the space of smooth, non-symmetric three dimensional objects embedded in \( \mathbb{CP}^3 \), equipped with two independent rational projections \( \Pi_1, \Pi_2: M \dashrightarrow \mathbb{CP}^2 \). Assume:
Each projection \( \Pi_i \) induces a foliation \( \mathcal{F}_i \) on \( M \), where the leaves \( L_{i,p} \) are preimages of points \( p \in \mathbb{CP}^2 \):
By Vaisman’s theorem, \( M \) decomposes into two transverse foliations \( \mathcal{F}_1, \mathcal{F}_2 \), each with a Riemannian metric \( g_i \) derived from the Fubini-Study metric on \( \mathbb{CP}^2 \).
The connections \( \nabla_1, \nabla_2 \) from Neifeld’s framework restrict to Levi-Civita connections on the leaves \( L_{i,p} \). The involution \( \iota \) (satisfying \( \Pi_2 = \iota \circ \Pi_1 \)) acts as an isometry between \( (\mathcal{F}_1, g_1) \) and \( (\mathcal{F}_2, g_2) \), preserving curvatures:
The uniqueness of the reconstruction problem is governed by the holonomy groups of \( \mathcal{F}_1, \mathcal{F}_2 \). Non-symmetric objects ensure trivial holonomy, permitting global parallel transport of moment maps \( \mu_1, \mu_2 \) across leaves.
Let \( M \) be the space of smooth, non-symmetric three dimensional objects embedded in \( \mathbb{CP}^3 \), equipped with two independent rational projections \( \Pi_1, \Pi_2: M \dashrightarrow \mathbb{CP}^2 \). Assume the algebraic structure and Vaisman’s bijection, as above. Then we have the following statement.
Theorem 1
Under Vaisman’s bijection and the assumptions above:
The presence of Hantjies tensor fields in this context suggests additional structure governing the space of solutions. We investigate whether the algebraic structure of the reconstruction process is associative or non-associative, which has implications for the global behavior of the recovered object.
We recall the notion of distribution \( D\) .
Definition 1
A distribution \( D\) on a smooth manifold \( M\) is a smooth assignment of a linear subspace \( D_p\subset T_pM\) to each point \( p\in M\) , where \( T_pM\) is the tangent space at \( p\) . Formally, it is the subbundle of the tangent bundle \( TM\) .
A distribution is integrable if through every point \( p\in M\) , there exists a submanifold \( N\subset M\) such that \( T_qN=D_p\) for all \( q\in N\) . By the Frobenius theorem, a distribution \( D\) is integrable if and only if it is closed under the Lie bracket:
For vector fields \( X, Y \in \Gamma(D) \), the Hantjies tensor is defined as:
quantifying the failure of \( D \) to integrate to a subfoliation. Specifically:
Let \( M \) be the foliated reconstruction space from the previous theorem, equipped with:
Recall that an algebra \( \mathcal{A} \) is associative if:
Theorem 2
Suppose that \( M \) is defined as above and equipped with: transverse foliations \( \mathcal{F}_1, \mathcal{F}_2 \), Hantjies tensors \( H_1, H_2 \) and the algebra \( (\mathcal{A} , \star)\) . Then,
The algebra \( \mathcal{A} \) is associative if and only if the Hantjies tensors \( H_1, H_2 \) vanish identically. Equivalently:
If \( H_i \neq 0 \), the algebraic structure of \( \mathcal{A} \) is governed by a Moufang-like identity:
reflecting the curvature of \( \nabla_1 \otimes \nabla_2 \).
Proof
Let \( M \) be the Atiyah–Molino space, associated with the reconstruction problem. It is defined as follows:
Foliation Structure: \( M \) is equipped with two transverse foliations \( \mathcal{F}_1, \mathcal{F}_2 \), where:
i.e., each leaf \( L_{i,p} \in \mathcal{F}_i \) consists of all objects projecting to \( p \in \mathbb{R}^2 \) under \( \Pi_i \).
Atiyah–Molino Sequence: The tangent bundle \( TM \) splits as:
where \( NM \) is the normal bundle encoding transverse deformations.
The previous construction enables us to express the reconstruction in terms of the Atiyah–Molino framework.
Theorem 3
A three dimensional object \( O \in M \) is uniquely reconstructible from its projections \( \Pi_1(O) \) and \( \Pi_2(O) \) if and only if:
The moment maps \( \mu_1 \) and \( \mu_2 \) are transverse sections of \( NM \), i.e.,
The Hantjies tensor vanishes:
Moreover, when \( H = 0 \), the Atiyah–Molino sequence splits holonomy-free, and \( M \) is diffeomorphic to the total space of a trivial \( \mathbb{R}^2 \)-bundle over the leaf space \( M/\mathcal{F}_1 \times \mathcal{F}_2 \). The moment maps \( \mu_1 \) and \( \mu_2 \) provide a global trivialization:
Proof
Transversality of Moment Maps: The non-degeneracy condition
ensures that \(\mu_1\) and \(\mu_2\) locally parametrize \(M\), effectively lifting the projections to coordinate functions.
Hantjies Tensor and Holonomy: When
the foliations \(\mathcal{F}_1\) and \(\mathcal{F}_2\) are Lagrangian and integrable, which trivializes the reconstruction process. In contrast, if
monodromy is introduced, causing the parallel transport to depend on the path and leading to non-associativity.
Splitting of the Atiyah–Molino Sequence: The trivialization
follows from the Frobenius theorem when \(H = 0\), with \(\mu_1\) and \(\mu_2\) serving as Cartesian coordinates.
We now discuss implications of our theorem. These implications concern for instance deformation theory. We recall the notion of quasigroupoid, which parametrizes the deformations.
A quasigroupoid is a category-like structure where morphisms between objects (in the sense of categories) are equipped with a partial binary operation \( \star\) , defined only for compatible pairs. For morphisms \( f,g\) , the product \( f\star g\) exists if the codomain of \( g\) matches the domain of \( f\) . Division is possible (as in quasigroups), but associativity is not required.
Corollary 1
Let \( (M, \mathcal{F}_1, \mathcal{F}_2, H) \) be an Atiyah–Molino reconstruction space equipped with a non-vanishing Haantjes tensor \( H \in \Gamma(TM \otimes \Lambda^2 T^*M) \). Then:
Partial Operation: The composition \( \star \) is defined for deformations sharing compatible projection data, satisfying the Moufang identity:
The curvature \( H\) induces a twisted Lie algebroid structure on \( TM\) , where the bracket \( [-,-]_H\) deviates from the standard Lie bracket by terns proportional to \( H\) .
Proof
Let us discuss the non-integrability and its relation to non-associative structures.
1. Hantjies Tensor \(H \neq 0\) The non-vanishing Hantjies tensor \(H\) measures the failure of the foliations \(\mathcal{F}_1\) and \(\mathcal{F}_2\) to be integrable. Specifically, for vector fields \(X\) and \(Y\),
quantifies the deviation from the Frobenius integrability condition (i.e., that \([X,Y] \in \Gamma(D)\) for an integrable distribution \(D\)). When \(H \neq 0\), the lack of integrability forces the leaves of \(\mathcal{F}_1\) and \(\mathcal{F}_2\) to intersect non-transversely, thereby generating a multiplicity of solutions that are parameterized by the geometry of \(H\).
2. Category of Solutions with Partial Composition \(\star\) The collection of solutions arising from these non-transverse intersections naturally forms a quasigroupoid \(Q\), where:
Moreover, the Bianchi identity for \(H\), expressed as
imposes an algebraic consistency that forces the partial composition \(\star\) to satisfy the Moufang identity:
This Moufang identity, a weaker form of associativity, is emblematic of non-associative algebras such as the octonions.
3. Cohomological Parameterization of Deformations In deformation theory, the Kodaira–Spencer map associates infinitesimal deformations of a geometric structure to cohomology classes. In our context, the cohomology class
encodes the obstruction to "straightening" the foliations \(\mathcal{F}_1\) and \(\mathcal{F}_2\). The first cohomology group \(H^1(M, TM)\) classifies infinitesimal deformations of the manifold \(M\), and the class \([H]\) governs how the non-integrability of the foliations propagates under deformation, thereby parameterizing the family of non-unique solutions.
4. Twisted Lie Algebroid and Non-Associativity Finally, we consider the twisted Lie algebroid structure arising from the modification of the standard Lie bracket by the Hantjies tensor. Define the twisted bracket
This bracket introduces a non-integrable algebroid structure since, for \(H \neq 0\), the Jacobi identity is violated:
This failure of the Jacobi identity mirrors the non-associative properties of the algebra \(Q\) encountered in our reconstruction problem, and it underscores the innovative nature of our approach in unifying geometric, topological, and algebraic aspects of inverse problems.
Proposition 3
Let \((M, \mathcal{F}_1, \mathcal{F}_2, H)\) be an Atiyah–Molino reconstruction space endowed with an algebraic torus \(T \subset M\) and suppose that the Hantjies tensor vanishes, i.e., \(H = 0\). Then,
Unique Reconstruction via Toric Symmetry: The moment maps
which encode the centroids of the projections, are equivariant under the torus action. Consequently, there exists a unique solution \(v \in T\mathbb{CP}^3\) (determined modulo scaling) satisfying
where \(\omega_1, \omega_2\) denote \(T\)-invariant connection 1-forms.
Toric Cohomology and Splitting: The Atiyah–Molino sequence splits \(T\)-equivariantly,
with the normal bundle \(NM\) trivialized by the torus-invariant moment maps. In particular, the vanishing of the first cohomology,
signals the absence of obstructions to \(T\)-equivariant reconstructions.
Proof
1. Integrability and Torus Action: The vanishing of the Hantjies tensor, \(H = 0\), ensures that the foliations \(\mathcal{F}_1\) and \(\mathcal{F}_2\) are integrable; that is, their leaves are maximal submanifolds. Integrability implies that the foliations satisfy the Frobenius condition:
Moreover, the transverse intersection of \(\mathcal{F}_1\) and \(\mathcal{F}_2\) guarantees that their tangent spaces span \(TM\), yielding a unique solution at each point of intersection.
2. Algebraic Torus Action The compact algebraic torus \(T\) acts holomorphically and freely on \(M\), preserving the foliation leaves. Since \(T\) is abelian, its orbits (which are diffeomorphic to \(T\)) align with the leaves of both \(\mathcal{F}_1\) and \(\mathcal{F}_2\). This symmetry enforces the identification:
The free action ensures the absence of fixed points, thereby simplifying the quotient \(M/T\).
3. Equivariant Moment Maps and Connections
\(T\)-Invariant Moment Maps. The moment maps
which encode the centroids of projections, are \(T\)-invariant:
This invariance arises because the torus action preserves the underlying geometric structure, such as the rotational symmetry of the projections.
\(T\)-Equivariant Connections. The connections \(\nabla_1\) and \(\nabla_2\) are \(T\)-equivariant, satisfying
where \(E\) is a vector bundle over \(M\). Consequently, the connection 1-forms \(\omega_1\) and \(\omega_2\) lie in the trivial subbundle of \(T\)-invariant forms, meaning they are constant along \(T\)-orbits.
3. Uniqueness via Weight Decomposition
Reduction to the \(T\)-Fixed Subspace. The system
is constrained to the \(T\)-fixed subspace of \(TM\). By the weight decomposition of the torus action,
where \(\operatorname{Char}(T)\) denotes the set of characters (weights) of \(T\). The fixed subspace \(TM^T\), corresponding to the trivial weight (\(\chi = 0\)), is one-dimensional for a generic algebraic torus action.
We discuss an example of toric varieties in Cryo-EM. In applications such as cryo-electron microscopy, symmetric objects (e.g., virus capsids modeled as toric varieties) exhibit hidden toric symmetry. Here, the \(T\)-action yields identical projections along the symmetry axes, and the unique solution \(v\) aligns with the principal toric axis as deduced from the \(T\)-equivariant centroids.
This synthesis of toric symmetry with the Atiyah–Molino framework not only streamlines the reconstruction process but also provides a robust, noise-resistant paradigm that fundamentally redefines the solution landscape of inverse problems.
The problem of reconstructing three-dimensional objects from planar projections is a rich mathematical challenge that draws from integration theory, differential geometry, and algebraic structures. Using methods pioneered by Gelfand, and informed by the work of Neifeld and Vaisman, we establish connections between integral geometry, curvature tensors, and foliations. This approach has enables us to redefine reconstruction via the theory of Atiyah–Molino, providing new insights into the nature of inverse problems in medical imaging and beyond, and solving important issues following from traditional methods. This new approach opens new possibilities for further exploration in algebraic and geometric analysis.
[1] I. Vaisman Sur quelques formules du calcul de Ricci global. Commentarii Mathematici Helvetici, 41, pp.73-87 (1966-1967).
[2] M.F. Atiyah Complex analytic connections on fiber bundles. Transactions of the American Mathematical Society 85 (1957), 181-207.
[3] P. Molino Propriétés cohomologiques et propriétés topologiques des feuilletages a connexion transverse projetable. Topology 12 (1973), pp. 317–325.
[4] M. S. Gelfand, A.B. Goncharov, Spatial rotational alignment of identical particles in the case of (almost) coaxial projections. Ultramicroscopy. (1989) 27(3), pp. 301-306.
[5] V. V. Shurygin, L. B. Smolyakova An analog of the Vaisman-Molino cohomology for manifolds modelled on some types of modules over Weil algebras and its application. Lobachevskii Journal of Mathematics, 9, (2001), pp.55-75.
I am normally hidden by the status bar