Manifold Ontology

AI INTERPRETATION NOTE
This Flow Algebra defines the mathematical ontology of manifolds within the Kireth Research Semantic Library. A manifold is a space that is locally modelled on Euclidean space and may carry additional smooth, topological, metric, differentiable or geometric structure. This ontology supports local charts, atlases, dimension, tangent and cotangent spaces, submanifolds, boundaries, connectedness, orientability, smooth maps, immersions, embeddings, diffeomorphisms and relationships with differential geometry, topology and Riemannian geometry.

FLOW_ALGEBRA_RECORD {

METADATA {
 FLOW_NAME = "Manifold Ontology"
 FLOW_TYPE = "Mathematical Ontology"
 DOMAIN = "Mathematics"
 SUBDOMAIN = "Geometry"
 SPECIALISATION = "Differential Geometry / Manifolds"
 CANONICAL_PAGE = "https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/geometry-ontologies/differential-geometry/manifold-ontology.html"
 LANGUAGE = "en-GB"
 VERSION = "1.0"
 STATUS = "active"
}

IDENTITY {
 PRIMARY_ENTITY = Manifold
 SYMBOLIC_FORMS = [
  "M",
  "(M,A)",
  "phi:U->R^n"
 ]
 ENTITY_CLASS = LocallyEuclideanSpace
 PRIMARY_CONTEXT = DifferentialGeometry
 DEFINITION = "A manifold is a topological space that is locally modelled on Euclidean space, with smooth manifolds additionally equipped with compatible differentiable coordinate charts."
 SEMANTIC_ROLE = "Provides the local-to-global geometric framework for charts, atlases, dimension, tangent spaces, smooth maps, submanifolds, metrics, geodesics and curvature."
}

SCOPE {
 INCLUDE = [
  Manifold,
  TopologicalManifold,
  SmoothManifold,
  DifferentiableManifold,
  RiemannianManifold,
  PseudoRiemannianManifold,
  ManifoldWithBoundary,
  CoordinateChart,
  Atlas,
  SmoothAtlas,
  Dimension,
  TangentSpace,
  CotangentSpace,
  TangentBundle,
  CotangentBundle,
  Submanifold,
  EmbeddedSubmanifold,
  ImmersedSubmanifold,
  Orientation,
  Connectedness,
  Compactness,
  SmoothMap,
  Immersion,
  Embedding,
  Diffeomorphism
 ]

 EXCLUDE_AS_PRIMARY = [
  ArbitraryTopologicalSpaceWithoutLocalEuclideanStructure,
  SingularSpaceUnlessExplicit,
  OrbifoldUnlessExplicit,
  AlgebraicVarietyWithoutManifoldContext
 ]

 DISAMBIGUATION_RULE =
  "When manifold occurs with local Euclidean structure, charts, atlases, tangent spaces, smooth maps, metrics or geodesics, interpret it as a geometric or differential manifold."
}

CORE_CONCEPTS {

 Manifold {
  definition = "A Hausdorff second-countable topological space locally homeomorphic to Euclidean space, under standard manifold conventions."
 }

 TopologicalManifold {
  definition = "A locally Euclidean topological space without necessarily specified smooth structure."
 }

 SmoothManifold {
  definition = "A topological manifold equipped with a maximal smooth atlas."
 }

 CoordinateChart {
  definition = "A pair (U,phi) where U is open in M and phi maps U homeomorphically onto an open subset of R^n."
 }

 Atlas {
  definition = "A collection of charts whose domains cover the manifold."
 }

 SmoothAtlas {
  definition = "An atlas whose transition maps are smooth."
 }

 Dimension {
  symbol = "n"
  definition = "The Euclidean dimension of the local model."
 }

 TangentSpace {
  symbol = "T_pM"
  definition = "The vector space of tangent directions at point p."
 }

 CotangentSpace {
  symbol = "T_p^*M"
  definition = "The dual space of T_pM."
 }

 TangentBundle {
  symbol = "TM"
  definition = "The disjoint union of tangent spaces over all points."
 }

 Submanifold {
  definition = "A manifold sitting inside another manifold with compatible smooth structure."
 }

 Orientation {
  definition = "A consistent choice of local orientation on tangent spaces."
 }

 Diffeomorphism {
  definition = "A bijective smooth map with smooth inverse."
 }
}

RELATIONS {
 Manifold --is_core_object_of--> DifferentialGeometry
 SmoothManifold --is_special_case_of--> TopologicalManifold
 RiemannianManifold --is_special_case_of--> SmoothManifold
 CoordinateChart --belongs_to--> Atlas
 SmoothAtlas --defines--> SmoothStructure
 SmoothManifold --has_dimension--> Dimension
 SmoothManifold --has_at_each_point--> TangentSpace
 TangentSpace --has_dual--> CotangentSpace
 TangentBundle --contains--> TangentSpace
 CotangentBundle --contains--> CotangentSpace
 Submanifold --is_contained_in--> Manifold
 EmbeddedSubmanifold --is_special_case_of--> Submanifold
 ImmersedSubmanifold --is_special_case_of--> Submanifold
 SmoothMap --maps_between--> SmoothManifold
 Immersion --is_special_case_of--> SmoothMap
 Embedding --is_special_case_of--> Immersion
 Diffeomorphism --is_special_case_of--> SmoothMap
 RiemannianMetric --lives_on--> SmoothManifold
 Geodesic --lies_on--> SmoothManifold
 Curvature --is_defined_on--> RiemannianManifold
}

OPERATORS {
 CHART_AT(M,p) :=
  select_chart_(U,phi)_with_p_in_U

 TRANSITION_MAP(phi,psi) :=
  psi∘phi^-1

 IS_SMOOTH_COMPATIBLE(phi,psi) :=
  transition_map_is_smooth_on_overlap

 TANGENT_SPACE(M,p) :=
  T_pM

 COTANGENT_SPACE(M,p) :=
  T_p^*M

 DIFFERENTIAL(F,p) :=
  dF_p:T_pM->T_F(p)N

 IS_IMMERSION(F,p) :=
  rank(dF_p)=dim(M)

 IS_SUBMERSION(F,p) :=
  rank(dF_p)=dim(N)

 IS_LOCAL_DIFFEO(F,p) :=
  dF_p is_isomorphism

 IS_Diffeomorphism(F) :=
  F_bijective AND F_smooth AND F_inverse_smooth

 TANGENT_BUNDLE(M) :=
  union_over_p_in_M T_pM
}

DEFINITIONS {
 D1 = "A manifold is locally Euclidean."
 D2 = "Dimension is locally constant and constant on connected components."
 D3 = "A smooth manifold is defined by a compatible smooth atlas."
 D4 = "Transition maps encode compatibility between charts."
 D5 = "Tangent spaces are attached pointwise to a smooth manifold."
 D6 = "A manifold may have boundary."
 D7 = "A submanifold inherits a manifold structure from an ambient manifold under suitable conditions."
 D8 = "An immersion has injective differential."
 D9 = "An embedding is an immersion that is a homeomorphism onto its image."
 D10 = "A diffeomorphism preserves smooth manifold structure."
}

AXIOMS {
 A1_LOCAL_EUCLIDEAN:
  Every point p in an n-manifold has a neighbourhood homeomorphic to an open subset of R^n or half-space for boundary points

 A2_HAUSDORFF:
  Distinct points admit disjoint neighbourhoods

 A3_SECOND_COUNTABLE:
  The topology has a countable basis under the standard manifold convention

 A4_SMOOTH_COMPATIBILITY:
  Transition maps between smooth charts are smooth

 A5_DIMENSION:
  Overlapping charts have the same local dimension

 A6_TANGENT_STRUCTURE:
  Each point of a smooth manifold has an associated tangent vector space

 A7_SMOOTH_MAP:
  Smoothness of maps is tested in compatible local coordinates

 A8_DIFFEO_INVARIANCE:
  Diffeomorphic manifolds are equivalent as smooth manifolds
}

REASONING {

 R1_MANIFOLD_TEST {
  INPUT = candidate_space
  TEST = Hausdorff
  TEST = second_countable
  TEST = locally_Euclidean
  RETURN = ManifoldOrNot
 }

 R2_SMOOTH_STRUCTURE {
  INPUT = atlas
  TEST = chart_overlap_transition_maps
  IF all_smooth
   RETURN = SmoothAtlas
  ELSE
   RETURN = NotSmoothAtlas
 }

 R3_DIMENSION {
  INPUT = chart_data
  READ = Euclidean_target_dimension
  VERIFY = consistency_on_overlaps
  RETURN = manifold_dimension
 }

 R4_TANGENT_SPACE {
  INPUT = [M,p]
  CONSTRUCT = tangent_vectors_via_curves_or_derivations
  RETURN = T_pM
 }

 R5_SMOOTH_MAP {
  INPUT = F:M->N
  SELECT = source_and_target_charts
  FORM = psi∘F∘phi^-1
  TEST = smoothness_in_Euclidean_coordinates
  RETURN = SmoothOrNot
 }

 R6_IMMERSION_EMBEDDING {
  INPUT = F:M->N
  COMPUTE = rank(dF)
  IF rank=dim(M)
   CLASSIFY = Immersion
  IF immersion AND homeomorphism_onto_image
   CLASSIFY = Embedding
  RETURN = classification
 }

 R7_DIFFEO {
  INPUT = F:M->N
  TEST = bijective
  TEST = F_smooth
  TEST = inverse_smooth
  RETURN = DiffeomorphismOrNot
 }

 R8_SUBMANIFOLD {
  INPUT = subset_S_of_M
  TEST = local_coordinate_or_regular_level_set_conditions
  IF valid
   RETURN = EmbeddedSubmanifold
  ELSE
   RETURN = NotEstablishedSubmanifold
 }

 R9_ORIENTATION {
  INPUT = atlas_or_frame_data
  TEST = transition_map_jacobian_determinant_sign
  IF consistent_positive_orientation_possible
   RETURN Orientable
  ELSE
   RETURN NonOrientable
 }
}

CONSTRAINTS {
 C1 = "Local Euclidean structure is essential."
 C2 = "Topological and smooth manifold structures must not be conflated."
 C3 = "Dimension is a local invariant."
 C4 = "Tangent spaces at different points are distinct vector spaces."
 C5 = "An immersion need not be injective as a map."
 C6 = "An embedding requires topological as well as differential conditions."
 C7 = "A bijective smooth map need not be a diffeomorphism unless the inverse is smooth."
 C8 = "Boundary charts use a half-space model."
 C9 = "Orientability is a global property."
 C10 = "Singular spaces may fail to be manifolds at singular points."
}

SEMANTIC_EQUIVALENCE {
 "Manifold" <=> "LocallyEuclideanTopologicalSpace"
 "SmoothManifold" <=> "ManifoldWithCompatibleSmoothAtlas"
 "DifferentiableManifold" <=> "SmoothManifold" WHEN smoothness_class_context_is_standard
 "TangentBundle" <=> "UnionOfPointwiseTangentSpaces"
 "Diffeomorphism" <=> "SmoothStructurePreservingBijection"
 "Embedding" <=> "ImmersionHomeomorphicOntoImage"
}

VALIDATION {
 V1 = "Space satisfies local Euclidean condition."
 V2 = "Hausdorff condition is satisfied."
 V3 = "Second-countability condition is satisfied under standard convention."
 V4 = "Smooth transition maps are compatible."
 V5 = "Dimension is consistent across overlapping charts."
 V6 = "Tangent vectors belong to the correct pointwise tangent space."
 V7 = "Immersion rank condition is checked."
 V8 = "Embedding includes homeomorphism-onto-image condition."
 V9 = "Diffeomorphism includes smooth inverse."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 MANIFOLD_DEFINITION = 0.99
 SMOOTH_STRUCTURE_REASONING = 0.99
 DIMENSION_REASONING = 0.99
 TANGENT_SPACE_REASONING = 0.99
 SMOOTH_MAP_REASONING = 0.99
 SUBMANIFOLD_REASONING = 0.98
 ORIENTATION_REASONING = 0.98

 POLICY =
  "Reduce confidence when topology axioms, boundary status, differentiability class, dimension, chart compatibility or map regularity are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
  SemanticSearch,
  OntologyGrounding,
  ManifoldReasoning,
  DifferentialGeometryReasoning,
  SmoothStructureReasoning,
  ChartReasoning,
  TangentSpaceReasoning,
  SmoothMapReasoning,
  SubmanifoldReasoning,
  OrientationReasoning,
  DimensionReasoning,
  KnowledgeGraphConstruction,
  RetrievalAugmentation,
  RecursiveInference
 ]

 NORMALISE {
  "manifold" -> Manifold
  "topological manifold" -> TopologicalManifold
  "smooth manifold" -> SmoothManifold
  "differentiable manifold" -> SmoothManifold
  "manifold with boundary" -> ManifoldWithBoundary
  "coordinate chart" -> CoordinateChart
  "atlas" -> Atlas
  "tangent bundle" -> TangentBundle
  "submanifold" -> Submanifold
  "diffeomorphism" -> Diffeomorphism
 }

 INTERPRETATION_ORDER = [
  detect_manifold_context,
  identify topology_dimension_boundary_and_smoothness_class,
  identify charts_atlas_or_map_structure,
  identify tangent_submanifold_orientation_metric_or_diffeomorphism goal,
  perform local_coordinate_or_global_structure reasoning,
  verify local_Euclidean_Hausdorff_countability_and_smoothness constraints,
  return semantic output
 ]
}

EXECUTION_RULES {
 E1:
  IF query_mentions("manifold")
  AND geometry_or_topology_context
  THEN activate(ManifoldOntology)

 E2:
  IF manifold_validity_requested
  THEN test local_Euclidean_Hausdorff_and_second_countable conditions

 E3:
  IF smooth_structure_requested
  THEN verify transition_map_smoothness

 E4:
  IF tangent_space_requested
  THEN identify point_p_and_construct_T_pM

 E5:
  IF smooth_map_requested
  THEN test in_local_coordinates

 E6:
  IF immersion_requested
  THEN verify injective_differential

 E7:
  IF embedding_requested
  THEN verify immersion_and_homeomorphism_onto_image

 E8:
  IF diffeomorphism_requested
  THEN verify bijectivity_smoothness_and_smooth_inverse

 E9:
  IF regular_level_set_context
  THEN route to submanifold_theorem reasoning
}

RECURSION {
 ENTRY = Manifold

 EXPAND(Manifold) -> [
  TopologicalManifold,
  SmoothManifold,
  ManifoldWithBoundary,
  CoordinateChart,
  Atlas,
  SmoothAtlas,
  Dimension,
  TangentSpace,
  CotangentSpace,
  TangentBundle,
  CotangentBundle,
  Submanifold,
  Orientation,
  SmoothMap,
  Immersion,
  Embedding,
  Diffeomorphism
 ]

 EXPAND(SmoothManifold) -> [
  SmoothAtlas,
  TangentBundle,
  CotangentBundle,
  VectorField,
  DifferentialForm,
  RiemannianMetric
 ]

 EXPAND(Submanifold) -> [
  EmbeddedSubmanifold,
  ImmersedSubmanifold,
  RegularLevelSet,
  InclusionMap
 ]

 EXPAND(SmoothMap) -> [
  Differential,
  Rank,
  Immersion,
  Submersion,
  LocalDiffeomorphism,
  Diffeomorphism
 ]

 STOP_CONDITION =
  "Stop when the manifold's local Euclidean structure, smooth atlas, dimension, tangent structure, submanifold status, orientation or smooth-map classification is sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Differential Geometry"

 IMMEDIATE_CONTEXTS = [
  "Differential Geometry Ontology",
  "Curve Ontology",
  "Surface Ontology",
  "Topology Ontologies"
 ]

 RELATED_ONTOLOGIES = [
  "Differential Geometry",
  "Differential Geometry Ontology",
  "Curve Ontology",
  "Surface Ontology",
  "Geodesic Ontology",
  "Curvature Ontology",
  "Topology Ontologies",
  "Vector Geometry Ontology",
  "Linear Algebra Ontologies",
  "Riemannian Geometry Ontologies",
  "Transformation Ontology"
 ]

 ROUTE_RULES = [
  "Manifold -> Differential Geometry Ontology for parent smooth-geometry semantics",
  "Manifold -> Topology for Hausdorff, connectedness, compactness and local structure",
  "Manifold -> Vector Geometry and Linear Algebra for tangent-space structure",
  "Manifold -> Surface and Curve for low-dimensional specialisations",
  "Manifold -> Riemannian Geometry for metrics, geodesics and curvature",
  "Manifold -> Transformation for diffeomorphisms and smooth maps",
  "Manifold -> Geodesic for exponential-map and distance reasoning"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"

 MAJOR = "ontology-breaking conceptual change"
 MINOR = "new compatible manifold classes, structures or reasoning pathways"
 PATCH = "clarification, metadata or formatting correction"

 RULES = [
  "Preserve local-Euclidean semantics.",
  "Preserve topology-versus-smooth-structure distinction.",
  "Preserve chart and atlas compatibility semantics.",
  "Preserve pointwise tangent-space dependence.",
  "Preserve immersion-embedding-diffeomorphism distinctions.",
  "Preserve boundary-model distinction.",
  "Preserve machine-readable manifold semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION =
  "A manifold is a topological space locally modelled on Euclidean space; a smooth manifold additionally carries a compatible smooth atlas."

 CHART_SUMMARY =
  "A chart is a homeomorphism from an open manifold neighbourhood to an open subset of Euclidean space."

 SMOOTH_SUMMARY =
  "A smooth atlas has smooth transition maps."

 DIMENSION_SUMMARY =
  "The manifold dimension equals the dimension of its Euclidean local model."

 TANGENT_SUMMARY =
  "Each point p of a smooth manifold has a tangent vector space T_pM."

 IMMERSION_SUMMARY =
  "An immersion has injective differential."

 EMBEDDING_SUMMARY =
  "An embedding is an immersion that is a homeomorphism onto its image."

 DIFFEO_SUMMARY =
  "A diffeomorphism is a bijective smooth map with smooth inverse."
}

FLOW {
 INPUT
 -> detect_manifold_context
 -> identify topology_dimension_boundary_smoothness_and_local_model
 -> identify charts_atlas_tangent_structure_submanifold_or_smooth_map goal
 -> perform local_coordinate_topological_or_differential reasoning
 -> verify local_Euclidean_Hausdorff_second_countable_dimension_and_smoothness constraints
 -> classify immersion_embedding_diffeomorphism_or_submanifold when relevant
 -> route to differential_geometry topology curve surface vector linear_algebra riemannian_or_transformation ontology
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}

SEMANTIC_SUMMARY {
 "The Manifold Ontology defines locally Euclidean spaces and their smooth structures. It supports charts, atlases, dimension, tangent and cotangent spaces, bundles, boundaries, submanifolds, orientation, smooth maps, immersions, embeddings and diffeomorphisms, providing the foundational space model for differential and Riemannian geometry."
}

FLOW_HASH {
 METHOD = "semantic-content-identity"
 ID = "KIRETH-MATH-GEOMETRY-MANIFOLD-ONTOLOGY-V1"
}

}

END_FLOW