Differential Geometry

AI INTERPRETATION NOTE
This Flow Algebra defines the Differential Geometry layer within the Kireth Research Semantic Library. Differential geometry studies smooth curves, surfaces and higher-dimensional manifolds using differential calculus, linear algebra and tensor methods. This ontology layer covers tangent spaces, vector fields, differential forms, metrics, connections, geodesics, curvature, embeddings, local coordinates and global geometric structure. It is designed for semantic retrieval, recursive mathematical reasoning, ontology routing, proof support, knowledge-graph construction and AI consumption.

FLOW_ALGEBRA_RECORD {

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

IDENTITY {
 PRIMARY_ENTITY = DifferentialGeometry
 ENTITY_CLASS = SmoothGeometricStructureFramework
 PRIMARY_CONTEXT = Geometry
 DEFINITION = "Differential geometry is the study of smooth geometric objects using differential calculus, linear algebra and related analytic structures."
 SEMANTIC_ROLE = "Provides the core framework for manifolds, tangent spaces, metrics, geodesics, curvature, vector fields, differential forms and smooth geometric mappings."
}

SCOPE {
 INCLUDE = [
  SmoothCurve,
  SmoothSurface,
  SmoothManifold,
  CoordinateChart,
  Atlas,
  TangentSpace,
  TangentVector,
  CotangentSpace,
  VectorField,
  DifferentialForm,
  MetricTensor,
  RiemannianMetric,
  Connection,
  CovariantDerivative,
  Geodesic,
  Curvature,
  GaussianCurvature,
  SectionalCurvature,
  RicciCurvature,
  ScalarCurvature,
  SecondFundamentalForm,
  ShapeOperator,
  Embedding,
  Immersion,
  Diffeomorphism
 ]

 EXCLUDE_AS_PRIMARY = [
  PureTopologicalManifoldWithoutSmoothStructure,
  DiscreteGeometryWithoutDifferentialStructure,
  AlgebraicGeometryWithoutDifferentialContext,
  PhysicalSpacetimeModelWithoutMathematicalAbstraction
 ]

 DISAMBIGUATION_RULE =
  "When geometry concerns smooth curves, surfaces, manifolds, tangent spaces, metrics, geodesics, curvature or differentiable maps, interpret the context as differential geometry."
}

CORE_CONCEPTS {

 DifferentialGeometry {
  definition = "Geometry of smooth spaces and structures studied through differentiation."
 }

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

 CoordinateChart {
  definition = "A homeomorphism from an open subset of a manifold to an open subset of Euclidean space."
 }

 Atlas {
  definition = "A collection of compatible coordinate charts covering a manifold."
 }

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

 TangentVector {
  definition = "An element of a tangent space, representable by a derivation or velocity of a curve."
 }

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

 VectorField {
  definition = "A smooth assignment of a tangent vector to each point of a manifold."
 }

 DifferentialForm {
  definition = "A smooth antisymmetric covariant tensor field."
 }

 RiemannianMetric {
  symbol = "g"
  definition = "A smoothly varying positive-definite inner product on tangent spaces."
 }

 Connection {
  definition = "A rule for differentiating vector fields along vector fields."
 }

 CovariantDerivative {
  definition = "The derivative operation induced by a connection."
 }

 Geodesic {
  definition = "A curve whose tangent vector is parallel transported along itself."
 }

 Curvature {
  definition = "A measure of deviation from local flatness."
 }

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

RELATIONS {
 DifferentialGeometry --is_subdomain_of--> Geometry
 DifferentialGeometry --contains--> SmoothManifold
 SmoothManifold --has--> CoordinateChart
 SmoothManifold --has--> Atlas
 SmoothManifold --has_at_each_point--> TangentSpace
 TangentSpace --contains--> TangentVector
 TangentSpace --has_dual--> CotangentSpace
 SmoothManifold --can_carry--> VectorField
 SmoothManifold --can_carry--> DifferentialForm
 SmoothManifold --can_carry--> RiemannianMetric
 RiemannianMetric --induces--> Length
 RiemannianMetric --induces--> Angle
 RiemannianMetric --induces--> VolumeForm
 Connection --induces--> CovariantDerivative
 Connection --defines--> ParallelTransport
 LeviCivitaConnection --is_compatible_with--> RiemannianMetric
 LeviCivitaConnection --defines--> Geodesic
 Curvature --is_derived_from--> Connection
 Surface --can_have--> GaussianCurvature
 Diffeomorphism --preserves--> SmoothStructure
}

OPERATORS {
 TANGENT_SPACE(M,p) :=
  T_pM

 DIFFERENTIAL(F,p) :=
  dF_p

 PUSHFORWARD(F,p,v) :=
  dF_p(v)

 PULLBACK(F,omega) :=
  F^*(omega)

 COVARIANT_DERIVATIVE(X,Y) :=
  nabla_X(Y)

 GEODESIC_EQUATION(gamma,Gamma) :=
  d2x^k/dt^2 + Gamma^k_ij*(dx^i/dt)*(dx^j/dt)=0

 LENGTH(gamma,g) :=
  integral sqrt(g(gamma_dot,gamma_dot)) dt

 ENERGY(gamma,g) :=
  (1/2)*integral g(gamma_dot,gamma_dot) dt

 CURVATURE_TENSOR(X,Y,Z) :=
  nabla_X(nabla_Y Z)-nabla_Y(nabla_X Z)-nabla_[X,Y] Z

 RICCI_TENSOR(R) :=
  trace_of_Riemann_curvature

 SCALAR_CURVATURE(g,Ric) :=
  trace_g(Ric)

 GAUSSIAN_CURVATURE(surface,p) :=
  product_of_principal_curvatures_at_p
}

DEFINITIONS {
 D1 = "Differential geometry requires smooth structure."
 D2 = "A tangent space is a vector space attached to a point of a manifold."
 D3 = "A Riemannian metric assigns an inner product to each tangent space."
 D4 = "A connection differentiates vector fields."
 D5 = "Geodesics satisfy zero covariant acceleration."
 D6 = "Curvature measures failure of second covariant derivatives to commute."
 D7 = "A diffeomorphism preserves smooth manifold structure."
 D8 = "The differential of a smooth map is a linear map between tangent spaces."
 D9 = "Differential forms pull back naturally under smooth maps."
 D10 = "Curvature may be intrinsic or extrinsic depending on the construction."
}

AXIOMS {
 A1_SMOOTH_COMPATIBILITY:
  Transition maps between overlapping charts of a smooth atlas are smooth

 A2_TANGENT_LINEARITY:
  Each tangent space T_pM is a vector space

 A3_METRIC_POSITIVITY:
  A Riemannian metric is symmetric and positive definite on nonzero tangent vectors

 A4_CONNECTION_LINEARITY:
  A connection is linear in the differentiated vector field and satisfies a Leibniz rule

 A5_LEVI_CIVITA:
  Every Riemannian metric determines a unique torsion-free metric-compatible connection

 A6_GEODESIC:
  A geodesic satisfies nabla_gamma_dot(gamma_dot)=0

 A7_CURVATURE_TENSORIALITY:
  The Riemann curvature operator is tensorial in its inputs

 A8_COORDINATE_INVARIANCE:
  Geometric statements must be independent of coordinate representation
}

REASONING {

 R1_MANIFOLD_IDENTIFICATION {
  INPUT = geometric_space
  TEST = local_Euclidean_structure
  TEST = compatible_smooth_charts
  IF valid
   RETURN SmoothManifold
  ELSE
   RETURN NotEstablishedSmoothManifold
 }

 R2_TANGENT_REASONING {
  INPUT = [M,p,curve_or_coordinate_data]
  CONSTRUCT = tangent_vector_or_derivation
  RETURN = element_of_T_pM
 }

 R3_DIFFERENTIAL_MAP {
  INPUT = [F:M->N,p]
  COMPUTE = Jacobian_in_coordinates
  INTERPRET = coordinate_independent_linear_map_dF_p
  RETURN = pushforward
 }

 R4_METRIC_REASONING {
  INPUT = [g,v,w]
  COMPUTE = g_p(v,w)
  DERIVE = norm_angle_length_as_requested
  RETURN = metric_quantity
 }

 R5_GEODESIC_REASONING {
  INPUT = metric_or_connection
  COMPUTE = Christoffel_symbols_if_coordinates_used
  BUILD = geodesic_equation
  SOLVE_or_ANALYSE = curve
  RETURN = geodesic_information
 }

 R6_CURVATURE_REASONING {
  INPUT = connection_or_metric
  COMPUTE = curvature_tensor
  CONTRACT = Ricci_or_scalar_curvature_when_requested
  RETURN = curvature_information
 }

 R7_SURFACE_CURVATURE {
  INPUT = smooth_surface
  COMPUTE = first_and_second_fundamental_forms
  DERIVE = shape_operator
  COMPUTE = principal_curvatures
  RETURN = Gaussian_and_mean_curvature
 }

 R8_FORM_REASONING {
  INPUT = differential_form
  APPLY = exterior_derivative_or_pullback
  CHECK = closed_exact_or_integrability_properties
  RETURN = differential_form_result
 }

 R9_Diffeomorphism_REASONING {
  INPUT = smooth_map_F
  TEST = bijectivity
  TEST = smoothness_of_F_and_inverse
  RETURN = DiffeomorphismOrNot
 }
}

CONSTRAINTS {
 C1 = "Coordinate expressions must not be confused with coordinate-independent geometric objects."
 C2 = "A topological manifold need not possess a specified smooth structure."
 C3 = "Riemannian metrics are positive definite; pseudo-Riemannian metrics require separate handling."
 C4 = "Christoffel symbols are not tensor components."
 C5 = "Curvature sign conventions may differ and must be declared when relevant."
 C6 = "Intrinsic and extrinsic curvature must not be conflated."
 C7 = "Geodesics are locally extremal or stationary for length, not necessarily globally shortest."
 C8 = "Tangent vectors at different points cannot be directly compared without additional structure."
 C9 = "Pullbacks act naturally on covariant objects; pushforwards act naturally on tangent vectors."
}

SEMANTIC_EQUIVALENCE {
 "DifferentialGeometry" <=> "SmoothGeometry"
 "SmoothManifold" <=> "ManifoldWithCompatibleSmoothAtlas"
 "TangentSpace" <=> "SpaceOfInfinitesimalDirectionsAtPoint"
 "RiemannianMetric" <=> "SmoothPositiveDefiniteInnerProductField"
 "Geodesic" <=> "CurveWithZeroCovariantAcceleration"
 "Diffeomorphism" <=> "SmoothStructurePreservingBijection"
}

VALIDATION {
 V1 = "Charts satisfy smooth compatibility."
 V2 = "Tangent vectors belong to the correct tangent space."
 V3 = "Metric is symmetric and positive definite."
 V4 = "Covariant derivative obeys connection rules."
 V5 = "Geodesic equation is coordinate-consistent."
 V6 = "Curvature contractions use compatible index conventions."
 V7 = "Intrinsic statements are coordinate-independent."
 V8 = "Diffeomorphism requires smooth inverse."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 DIFFERENTIAL_GEOMETRY_DEFINITION = 0.99
 MANIFOLD_REASONING = 0.99
 TANGENT_REASONING = 0.99
 METRIC_REASONING = 0.99
 GEODESIC_REASONING = 0.98
 CURVATURE_REASONING = 0.98
 DIFFERENTIAL_FORM_REASONING = 0.98

 POLICY =
  "Reduce confidence when smoothness class, coordinate convention, metric signature, curvature sign convention, manifold dimension or connection are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
  SemanticSearch,
  OntologyGrounding,
  DifferentialGeometryReasoning,
  ManifoldReasoning,
  TangentSpaceReasoning,
  MetricReasoning,
  GeodesicReasoning,
  CurvatureReasoning,
  DifferentialFormReasoning,
  CoordinateReasoning,
  TensorReasoning,
  KnowledgeGraphConstruction,
  RetrievalAugmentation,
  RecursiveInference
 ]

 NORMALISE {
  "differential geometry" -> DifferentialGeometry
  "smooth geometry" -> DifferentialGeometry
  "smooth manifold" -> SmoothManifold
  "tangent space" -> TangentSpace
  "Riemannian metric" -> RiemannianMetric
  "geodesic" -> Geodesic
  "curvature tensor" -> Curvature
  "diffeomorphism" -> Diffeomorphism
 }

 INTERPRETATION_ORDER = [
  detect_differential_geometry_context,
  identify manifold_curve_surface_or_smooth_map,
  identify local_coordinates_and_dimension_when_needed,
  identify tangent_metric_connection_form_curvature_or_geodesic goal,
  select coordinate_free_or_coordinate representation,
  perform differential_geometric reasoning,
  verify smoothness_tensoriality_coordinate_and_convention constraints,
  return semantic output
 ]
}

EXECUTION_RULES {
 E1:
  IF query_mentions("differential geometry")
  OR smooth_manifold_curvature_geodesic_context
  THEN activate(DifferentialGeometry)

 E2:
  IF tangent_space_requested
  THEN identify manifold_and_point
  AND construct T_pM

 E3:
  IF smooth_map_differential_requested
  THEN compute Jacobian_in_coordinates
  AND interpret as dF_p

 E4:
  IF metric_quantity_requested
  THEN use Riemannian_metric_at_correct_point

 E5:
  IF geodesic_requested
  THEN identify connection_or_metric
  AND solve_or_analyse geodesic_equation

 E6:
  IF curvature_requested
  THEN declare or infer sign_convention
  AND compute appropriate curvature object

 E7:
  IF differential_form_context
  THEN distinguish pullback_exterior_derivative_and_contraction operations

 E8:
  IF diffeomorphism_requested
  THEN verify bijectivity_smoothness_and_smooth_inverse
}

RECURSION {
 ENTRY = DifferentialGeometry

 EXPAND(DifferentialGeometry) -> [
  SmoothCurve,
  SmoothSurface,
  SmoothManifold,
  CoordinateChart,
  Atlas,
  TangentSpace,
  CotangentSpace,
  VectorField,
  DifferentialForm,
  RiemannianMetric,
  Connection,
  CovariantDerivative,
  Geodesic,
  Curvature,
  Embedding,
  Immersion,
  Diffeomorphism
 ]

 EXPAND(SmoothManifold) -> [
  CoordinateChart,
  Atlas,
  TangentSpace,
  CotangentSpace,
  TensorBundle,
  DifferentialForm
 ]

 EXPAND(RiemannianGeometry) -> [
  RiemannianMetric,
  LeviCivitaConnection,
  Geodesic,
  RiemannCurvature,
  RicciCurvature,
  ScalarCurvature,
  VolumeForm
 ]

 EXPAND(SurfaceGeometry) -> [
  FirstFundamentalForm,
  SecondFundamentalForm,
  ShapeOperator,
  PrincipalCurvature,
  GaussianCurvature,
  MeanCurvature
 ]

 STOP_CONDITION =
  "Stop when the manifold, tangent, metric, geodesic, curvature, form, embedding or smooth-map property is sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Geometry Ontologies"

 IMMEDIATE_CONTEXTS = [
  "Geometry Ontology",
  "Coordinate / Analytic Geometry",
  "Vector Geometry Ontology",
  "Topology Ontologies"
 ]

 RELATED_ONTOLOGIES = [
  "Geometry Ontology",
  "Coordinate Geometry Ontology",
  "Analytic Geometry Ontology",
  "Vector Geometry Ontology",
  "Linear Algebra Ontologies",
  "Tensor Ontologies",
  "Topology Ontologies",
  "Calculus & Analysis Ontologies",
  "Transformation Ontology",
  "Manifold Ontologies"
 ]

 ROUTE_RULES = [
  "Differential Geometry -> Geometry for foundational geometric semantics",
  "Differential Geometry -> Coordinate Geometry for charts and local coordinates",
  "Differential Geometry -> Vector Geometry for tangent vectors and vector fields",
  "Differential Geometry -> Linear Algebra for tangent-space and tensor operations",
  "Differential Geometry -> Calculus for derivatives and differential equations",
  "Differential Geometry -> Topology for manifold structure",
  "Differential Geometry -> Transformation for diffeomorphisms and smooth maps",
  "Differential Geometry -> Tensor Ontologies for metric and curvature tensors"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"

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

 RULES = [
  "Preserve smooth-manifold semantics.",
  "Preserve tangent-space point dependence.",
  "Preserve coordinate invariance.",
  "Preserve metric-versus-connection distinction.",
  "Preserve intrinsic-versus-extrinsic distinction.",
  "Preserve curvature convention awareness.",
  "Preserve machine-readable differential-geometry semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION =
  "Differential geometry studies smooth curves, surfaces and manifolds using differential calculus and linear algebra."

 MANIFOLD_SUMMARY =
  "A smooth manifold is a locally Euclidean space equipped with a compatible smooth atlas."

 TANGENT_SUMMARY =
  "T_pM is the vector space of tangent directions at point p."

 METRIC_SUMMARY =
  "A Riemannian metric assigns a positive-definite inner product to each tangent space."

 GEODESIC_SUMMARY =
  "A geodesic satisfies nabla_gamma_dot(gamma_dot)=0."

 CURVATURE_SUMMARY =
  "Curvature measures deviation from local flatness and is encoded by the Riemann curvature tensor."

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

FLOW {
 INPUT
 -> detect_differential_geometry_context
 -> identify smooth_curve_surface_manifold_map_or_tensorial_structure
 -> identify local_coordinates_dimension_and_smoothness_when_needed
 -> identify tangent_metric_connection_geodesic_curvature_form_or_map goal
 -> select coordinate_free_or_coordinate representation
 -> perform differential_geometric reasoning
 -> verify smoothness_point_dependence_tensoriality_coordinate_and_convention constraints
 -> route to geometry coordinate vector linear_algebra calculus topology tensor_or_transformation ontology
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}

SEMANTIC_SUMMARY {
 "Differential Geometry provides the smooth-geometry branch of the Semantic Library, connecting manifolds, tangent and cotangent spaces, vector fields, differential forms, Riemannian metrics, connections, geodesics and curvature. It supports both intrinsic and extrinsic reasoning while maintaining coordinate-independent semantics and explicit convention handling."
}

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

}

END_FLOW