Formal Sciences
Mathematics
Geometry & Topology
ElementScope CategorySub-ItemDefinitionDifferential Geometry
1. Domain1.1 Scope of the DomainBoundariesThe range of phenomena the science includes and excludes.Studies smooth manifolds and smooth geometric structures defined using calculus: smooth maps, curvature, connections, geodesics, differential forms, and tensor fields. Excludes non-smooth or purely topological settings unless smooth structures are imposed.
ScaleThe spatial, temporal, or organizational level at which the science operates (e.g., quantum, cellular, social, cosmic).Operates on local and global geometric scales: coordinate charts, tangent/cotangent spaces, vector fields, curvature behavior, and manifold-wide geometric invariants.
1.2 Ontological CommitmentsEntitiesThe kinds of things assumed to exist within the domain (particles, organisms, agents, fields, etc.).Smooth manifolds, charts, atlases, tangent/cotangent spaces, differential forms, metrics, connections, curvature tensors, geodesics, flows, tensor fields.
PropertiesThe fundamental attributes these entities possess (mass, charge, genotype, preference, etc.).Smoothness, differentiability class, curvature, torsion, metric structure, parallel transport behavior, orientation, volume forms, geodesic completeness.
CategoriesThe basic ontological types used to classify domain elements (substances, processes, relations, structures).Riemannian manifolds, pseudo-Riemannian manifolds, symplectic manifolds, smooth maps, vector bundles, principal bundles, differential forms, Lie groups and Lie algebras.
1.3 State-VariablesVariablesThe measurable or definable properties that describe system conditions.Coordinate functions, components of the metric, connection coefficients, curvature components, tensor field values, geodesic parameters, differential-form coefficients.
ParameterizationHow variables encode and represent the system’s state.Parameterized via coordinate charts, local frames, basis representations of tensors, geodesic parameters, flow parameters, or local trivializations of bundles.
1.4 Admissible IdealizationsSimplificationsConceptual reductions used to make the domain tractable (point masses, rational agents, perfect gases).Assuming smoothness everywhere, idealized coordinate patches, symmetry assumptions (e.g., constant curvature), ignoring singularities, using linear approximations in tangent spaces.
Validity ConditionsThe limits and contexts in which idealizations hold or break down.Break down near singularities, on non-smooth spaces, in metric-degenerate regions, for manifolds without compatible atlases, or at topological obstructions to global smooth structures.
1.5 Domain AssumptionsStructural AssumptionsBackground ontological stances such as determinism, continuity, randomness, discreteness.Assumes smooth structures; compatibility of charts; classical calculus; existence of tangent bundles; validity of covariant differentiation; smoothness of geometric objects.
Implicit CommitmentsUnstated but necessary assumptions that shape the field’s conceptual structure.Assumes differentiability behaves predictably; local linearization approximates geometry; curvature fully encodes intrinsic geometry; smooth invariants reflect geometric structure globally.
1.6 Internal Coherence RequirementsConsistencyThe demand that domain concepts do not contradict one another.Requires compatibility of charts in an atlas; consistent definitions of tensors across coordinate changes; curvature and connection definitions must agree globally.
CompatibilityThe requirement that entities, variables, and assumptions fit together into a unified descriptive framework.Requires alignment between metric, connection, curvature, geodesic structure, and smoothness assumptions; tensor transformations must be coherent across overlapping charts.
2. Evidence Layer2.1 Observable PhenomenaObservablesThe aspects of the domain that can produce detectable signals accessible to measurement.Curvature (sectional, Ricci, scalar), geodesic behavior, torsion, metric distances, volume elements, differential-form integrals, flow trajectories, local coordinate behavior.
Detection LimitsThe boundaries of what can be resolved or sensed by current instruments or methods.Limits of measuring curvature at singularities; inability to resolve non-smooth structures; coordinate singularities; degeneracies in metric; limits of numerical precision in computing derivatives.
2.2 Measurement SystemsUnitsStandardized quantifications (meters, seconds, volts, decibels, dollars, etc.) necessary for consistent comparison.Curvature values, metric coefficients, lengths, angles, volume, geodesic parameters, tensor components, coordinate derivatives.
InstrumentsDevices and tools (microscopes, spectrometers, sensors, surveys, detectors) used to produce measurements.Coordinate charts, metrics, Christoffel symbols, curvature operators, differential operators, numerical solvers, symbolic computation tools, geometric visualization systems.
2.3 Operational DefinitionsDefinitionsTerms defined by specific measurement procedures, ensuring empirical clarity.Definitions of curvature tensors, geodesics, parallel transport, differential forms, metric compatibility, torsion, Lie derivatives, and connection coefficients.
ProceduresThe explicit steps required to perform a measurement in a reproducible way.Computing curvature from metric; solving geodesic equations; evaluating differential forms; applying coordinate transformations; computing Christoffel symbols; integrating along curves or surfaces.
2.4 Data AcquisitionProtocolsFormal processes for gathering data under controlled or standardized conditions.Generating coordinate charts; sampling geodesic paths; computing curvature in neighborhoods; constructing local frames; evaluating flows; producing numerical approximations of geometric quantities.
SamplingRules determining which subset of the domain is measured and how representative it is.Selecting representative points, vectors, and frames; sampling along geodesics; evaluating curvature at multiple points; sampling regions of manifolds for numerical approximation.
2.5 Data Character & FormatData TypesThe form raw evidence takes (time series, spectra, images, counts, qualitative records).Coordinate functions, metric tables, curvature tensors, connection matrices, differential-form components, geodesic trajectories, flow data, numerical approximations.
ResolutionThe granularity or precision with which data is captured.Dependent on coordinate refinement, numerical precision of derivatives, grid density on manifolds, smoothness of geometric objects, and symbolic-computation depth.
2.6 Reliability & CalibrationCalibrationAdjustment procedures ensuring instruments produce accurate results.Ensuring coordinate consistency; verifying curvature calculations; validating numerical solvers; confirming metric compatibility; checking invariance under coordinate change.
Error CharacterizationIdentification and quantification of noise, uncertainty, bias, and measurement error.Coordinate singularities, numerical differentiation errors, tensor transformation mistakes, metric degeneracies, instability in geodesic integration, discretization artifacts.
3. Structural Layer3.1 Patterns & RegularitiesLaws / RelationsStable, repeatable patterns governing how observables behave across conditions.Tensor transformation laws; metric compatibility; Levi-Civita uniqueness; Gauss–Codazzi equations; curvature governing geodesic deviation; conservation of geometric invariants under diffeomorphisms.
InvariantsQuantities or properties that remain constant under transformations (symmetries, conservation laws).Curvature invariants, metric invariance under isometries, volume preservation (in special geometries), geodesic invariants, topological invariants induced by curvature (e.g., Gauss–Bonnet integrals).
3.2 Causal ArchitectureMechanismsUnderlying processes or structures that produce the observed regularities.Covariant differentiation generating curvature; geodesic flow mechanisms; parallel transport creating holonomy; metric determining connection; curvature affecting local and global geometry.
PathwaysOrganized sequences of interactions forming a causal chain or network.Geodesic evolution; curvature-induced deformation pathways; heat-flow and Ricci-flow evolutions; parallel-transport loops; frame-field evolution in charts.
3.3 Theoretical VocabularyConceptsCore terms that encode the domain’s structure (force, gene, equilibrium, field).Smooth manifold, chart, atlas, metric, connection, curvature, torsion, geodesic, differential form, Lie derivative, tangent bundle, vector field, holonomy, symplectic form.
ClassificationsTaxonomies, categories, or typologies that organize entities and relations.Riemannian vs. pseudo-Riemannian manifolds; flat, constant-curvature, and curved geometries; symplectic vs. non-symplectic manifolds; orientable vs. non-orientable; geodesically complete vs. incomplete.
3.4 Formal RepresentationsEquationsMathematical constructs expressing laws, relations, or mechanisms.Geodesic equation; Christoffel-symbol formula; Riemann curvature tensor; Ricci and scalar curvature formulas; Cartan structure equations; differential-form identities; Lie derivative expressions.
ModelsStructured representations—mathematical, computational, or conceptual—used to predict and explain phenomena.Riemannian manifolds, Euclidean space, spheres, hyperbolic spaces, Lie groups with invariant metrics, product manifolds, warped-product models, symplectic manifolds.
3.5 Idealized StructuresSimplified ModelsPurposeful abstractions that capture essential dynamics while omitting irrelevant detail.Flat manifolds; constant-curvature spaces (sphere, hyperbolic plane); geodesic balls; normal-coordinate charts; orthonormal frames; manifolds with high symmetry.
Limit ConditionsRegimes where specific models or approximations hold (classical vs. quantum, linear vs. nonlinear).Breakdowns at singularities; non-smooth points; degenerate metrics; failure of completeness; breakdown of coordinate charts; incompatibility with topological obstructions (e.g., no global frames).
3.6 Integrative FrameworksUnifying TheoriesHigher-order structures that connect disparate laws or mechanisms under a coherent whole.Riemannian geometry; symplectic geometry; Cartan’s exterior calculus; gauge theory connections; general relativity as geometric field theory; global analysis linking PDEs with geometry.
Interdisciplinary LinksPoints where the theory connects to adjacent sciences or larger explanatory systems.Links to physics (GR, gauge theory), topology (curvature/topology relations), PDEs (Ricci flow, heat kernels), Lie theory (geometric group actions), numerical analysis (geometric computation).
4. Method Layer4.1 Inquiry DesignExperimental DesignStructured plans for manipulating variables to test causal claims.Altering metrics, varying curvature parameters, modifying coordinate systems, adjusting connection structures, or deforming manifolds to test geometric behavior, geodesic response, and curvature effects.
Observational DesignSystematic approaches for gathering non-manipulated data (surveys, field studies, natural experiments).Observing natural geometric behavior without altering structure: tracking geodesics, monitoring curvature variation, examining differential-form integrals, watching flows evolve under fixed geometric conditions.
4.2 Testing & ValidationHypothesis TestingProcedures for evaluating whether evidence supports or contradicts specific claims.Testing whether a manifold is flat, verifying geodesic completeness, checking curvature calculations, validating compatibility conditions, determining whether a connection is torsion-free or metric-compatible.
ReplicationThe requirement that results be independently reproducible under similar conditions.Recomputing curvature in different coordinate charts; repeating geodesic integration; verifying tensor transformations; checking invariants across alternative frames; reproducing flow evolutions numerically or symbolically.
4.3 Inference & EvaluationStatistical InferenceRules for drawing conclusions from noisy or incomplete data.Logical/geometric analogues: analyzing curvature distributions, evaluating convergence of numerical approximations, comparing geodesic behavior under perturbations, assessing smoothness or regularity of computed tensors.
Model ComparisonCriteria (fit, simplicity, predictive accuracy, robustness) used to evaluate competing models.Comparing geometries by curvature profiles, metric signatures, geodesic structures, flow behavior, symmetry groups, or tensor invariants; comparing alternative models representing the same manifold.
4.4 Error ManagementError AnalysisIdentification and quantification of random and systematic errors.Identifying coordinate-singularity errors, incorrect Christoffel-symbol computations, numerical instability in geodesic integration, tensor transformation mistakes, discretization errors, degeneracies in metric.
Bias ControlMethods for minimizing subjective, instrumental, or procedural biases.Avoiding coordinate-system bias, ensuring frame choice does not predetermine outcomes, preventing over-reliance on symmetric examples, ensuring numerical methods do not distort geometric conclusions.
4.5 Adjudication & RevisionPeer ScrutinyCollective evaluation of claims through critique, review, and debate.Mathematical review of curvature derivations, geodesic computations, tensor identities, flow analyses, and geometric modeling; revision of assumptions or definitions when inconsistencies arise.
Theory RevisionProcedures for modifying, replacing, or discarding models based on new evidence.Updating geometric models, refining metrics or connections, revising curvature formulas, adjusting assumptions about smoothness, modifying flow equations based on counterexamples or new theorems.
4.6 Integrity ConditionsTransparencyRequirements to disclose methods, data, assumptions, and limitations.Full disclosure of coordinate choices, frame conventions, computational methods, smoothness assumptions, metric definitions, and normalization conditions for tensors and curvature.
Ethical StandardsNorms ensuring responsible conduct in experimentation, data handling, and publication.Accurate reporting of geometric results, honest treatment of numerical uncertainty, correct attribution of formulas and theorems, avoidance of coordinate manipulations that obscure geometric truth.