Representation and sameness: what survives a translation? Bee Rosa Davis Research note · Version 0.3 · Updated 8 October 2026 The foundational program connects two ways of describing the same phenomenon: transformations that preserve identity, and geometry that measures meaningful change. The question is which relationships survive when one description is translated into another. TL;DR The question: When one description of a system is translated into another, which properties provably survive, and which proposed links to classical open problems actually follow? What the work does: Deposited manuscripts on representation manifolds, translation–distance equivalence, double covers, holonomy and operator conjectures, plus a 2026 review running exact checks and constructing counterexamples against selected steps. What is still open: Repaired statements with explicit hypotheses for the distortion, detector-transfer and energy-bound steps, and independent specialist review of the deposited arguments on major conjectures. THE RESEARCH IN CONTEXT Many engineering systems compare records that arrive in different forms: a message converted between formats, a signal measured by two instruments, a state written in two coordinate systems. There are two natural ways to say that such records are the same: an explicit translation that maps one to the other, and a distance in a geometric space that is small when they agree. Whether these two notions give the same guarantees is not automatic. It depends on the precise space, metric, equivalence relation and the error allowed in each translation, and a small gap between them can change what a downstream detector concludes. The deposited Davis Manifold paper (November 2025) proposes curved state spaces with bounded distortion along benign paths, margins and abstention bands, and divides detection failure into geometry, feature-linkage, calibration and abstention terms; it reports no performance metrics. The companion Geometry of Sameness constructs maps between translator-graph and manifold descriptions and proposes that error budgets transfer between them with first-order slack, assuming local translators can be linearized with bounded Jacobians. Later 2026 deposits extend the framework to the Hodge conjecture, the three- and smooth four-dimensional Poincaré conjectures, the Crouzeix conjecture, the invariant subspace problem, and a Non-Decoupling theorem about flat models of curved systems. The site's review record, dated 7 October 2026, checks selected steps rather than whole manuscripts. It retains the component error-budget bound, checked over 6,561 exact rational input pairs, and the connected-partition counting results, where an independent enumerator agreed with the source algorithm on all 1,099 labeled graphs with one to five vertices. It also constructs counterexamples: on a flat torus, a family of connections with shrinking size keeps fixed curvature energy, refuting the general form of a lemma used in the energy-bound argument, and a supremum-norm interpolation bound cannot be promoted to a pointwise lower bound. AVAILABLE RECORD Source manuscripts, six teaching chapters, and an explicit mathematical review with corrections. TECHNICAL FIGURE source-derived technical plate Exact mathematical construction with coordinate and metric distinctions. The companion adds the relationship to the source manuscripts. A correction the mathematical review retains Recorded validation-suite result Check / quantity | Recorded result | Interpretation Supplied suite | 10 / 11 checks passed | Only the suite’s own finite tests Test 9, original coordinates | Mean error 0.2952 | Synthetic regression Test 9, rotated coordinates | Mean error 0.1425 | Same rotation-invariance check Rotated / original error | 0.483 | The check failed; coordinate sensitivity remains The suite does not prove the proposed lower bound or a mass gap. Keeping the failed rotation check visible is part of the mathematical record. review.html — Unmodified approximation-suite rerun The engineering origin of the mathematical question A translator can preserve an identifier while losing a distinction that matters to a decision. Conversely, two numerically different records can represent the same state after a unit conversion or a change of coordinates. The Davis Manifold and Geometry of Sameness work tries to make these equivalence choices explicit. The aim is to connect implemented translations with distances and error budgets. Such a connection requires a stated domain, metric, equivalence relation, and distortion control. It is not supplied merely by calling a data representation a manifold. A simple quotient exposes the proof obligation A directed arrow returns to its starting direction after 2π; an unoriented axis returns after π. The projection from arrows to axes identifies opposite directions. A quantity defined on the arrow space descends to the axis space only if it gives the same value to the directions being identified. The current Math page develops this distinction alongside curvature and path dependence, approximation, probability lift, and connected counting. The geometric pigeonhole argument is another precisely scoped result: a finite metric cover forces a near-repeat among enough separated samples; an excursion-and-return needs an extra hypothesis. The corrections belong to the research The review records failed or incomplete steps in broader distortion, quotient-observable, energy, and pointwise approximation claims. The supplied approximation suite passed 10 of its 11 checks, with a rotation-invariance failure. Finite enumeration checks support particular graph statements rather than validating every manuscript. The wider catalog retains proposed arguments about major mathematical problems as part of the research history. Inclusion does not certify their resolution. The precise statements and counterexamples in the review are the appropriate starting point for evaluating the current program. THE NEXT RESEARCH STEP A useful next manuscript should isolate one translation-to-geometry result with its exact hypotheses and a worked implementation. That provides a reviewable contribution without asking a reader to accept every proposed cross-domain extension. TEACHING CONSTRUCTION (not project measurements) Specify a set X, an equivalence relation, the quotient map q, and the observables or distances of interest. An observable descends to the quotient only if it is constant on equivalence classes. More general manifold and operator claims require their own hypotheses. q(x) = q(y) ⇒ f(x) = f(y) for an observable on the quotient Equivalence relation: A reflexive, symmetric, and transitive rule identifying descriptions. Quotient: The space of equivalence classes under that rule. Proof obligation: A specific implication that still needs justification under stated hypotheses. An arrow at angle α and one at α+π define the same unoriented axis. The function cos α changes sign under this identification, so it does not define an axis observable. The function cos²α is unchanged and does descend. This exact example motivates the broader representation question. SOURCE RECORD Six mathematical walkthroughs: https://www.davisgeometric.com/math.html Proof review and counterexamples: https://www.davisgeometric.com/research/math/review.html The Davis Manifold: Geometry-First Detection with Compositional Error Budgets: https://doi.org/10.5281/zenodo.17642038 The Geometry of Sameness: An ε-Equivalence of Translation and Distance: https://doi.org/10.5281/zenodo.17642422 The Hodge Conjecture: A Davis Field Equations Resolution: https://doi.org/10.5281/zenodo.18224782 Davis-Wilson Flow as Ricci Flow: An Independent Gauge-Theoretic Proof of the Poincaré Conjecture via Cache Space Collapse: https://doi.org/10.5281/zenodo.18251382 The Smooth 4-Dimensional Poincar´e Conjecture: Whitney Embedding via Curvature Flow: https://doi.org/10.5281/zenodo.18987788 The Crouzeix Conjecture: Shift Extremality and the Curvature Budget: https://doi.org/10.5281/zenodo.18976016 Geodesic Confinement Resolves the Invariant Subspace Problem: https://doi.org/10.5281/zenodo.18943764 The Davis Non-Decoupling Theorem: Why Every Flat Model of a Curved System Fails, and the Topological Size of the Debt: https://doi.org/10.5281/zenodo.18754646 Source versions: https://www.davisgeometric.com/research/account-source-records.json No new experiments are reported in this research note. Illustrated study: https://www.davisgeometric.com/research/figures/draft-mathematical-foundations.html