Advanced Geometry

AI INTERPRETATION NOTE
This Flow Algebra defines the Advanced Geometry layer within the Kireth Research Semantic Library. Advanced geometry extends elementary, analytic, differential, projective, affine, algebraic, discrete and computational viewpoints into a unified higher-level semantic framework. It supports geometric structures beyond basic Euclidean form, including manifolds, transformations, invariants, curvature, topology, projective incidence, affine structure, non-Euclidean geometry, algebraic varieties, differential forms, Lie groups, tensors, symmetry, geometric optimisation and relationships across modern mathematics and mathematical physics.

FLOW_ALGEBRA_RECORD {

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

IDENTITY {
 PRIMARY_ENTITY = AdvancedGeometry
 ENTITY_CLASS = HigherGeometryFramework
 PRIMARY_CONTEXT = Geometry
 DEFINITION = "Advanced geometry is the study of higher-level geometric structures, transformations, invariants and spaces extending beyond elementary Euclidean geometry."
 SEMANTIC_ROLE = "Provides a unifying semantic framework for differential, affine, projective, algebraic, topological, non-Euclidean, discrete and transformation-based geometry."
}

SCOPE {
 INCLUDE = [
  AdvancedGeometry,
  DifferentialGeometry,
  RiemannianGeometry,
  PseudoRiemannianGeometry,
  AffineGeometry,
  ProjectiveGeometry,
  NonEuclideanGeometry,
  HyperbolicGeometry,
  EllipticGeometry,
  AlgebraicGeometry,
  TopologicalGeometry,
  SymplecticGeometry,
  ComplexGeometry,
  DiscreteGeometry,
  ConvexGeometry,
  IntegralGeometry,
  LieGroupGeometry,
  TransformationGeometry,
  GeometricInvariant,
  Manifold,
  MetricTensor,
  Connection,
  Curvature,
  Geodesic,
  Tensor,
  DifferentialForm,
  ProjectiveTransformation,
  AffineTransformation,
  Symmetry,
  GroupAction,
  FibreBundle,
  VectorBundle
 ]

 EXCLUDE_AS_PRIMARY = [
  ElementaryGeometryUnlessUsedAsFoundation,
  PureAlgebraWithoutGeometricStructure,
  PureTopologyWithoutGeometricInterpretation,
  PhysicalGeometryWithoutMathematicalAbstraction
 ]

 DISAMBIGUATION_RULE =
  "When geometry concerns higher structures, transformations, manifolds, invariants, non-Euclidean spaces, projective or affine relations, tensors, curvature, bundles or algebraic varieties, interpret the context as advanced geometry."
}

CORE_CONCEPTS {

 AdvancedGeometry {
  definition = "A framework encompassing modern geometric theories beyond elementary Euclidean geometry."
 }

 GeometricStructure {
  definition = "Additional mathematical data imposed on a space that determines geometric relations and invariants."
 }

 GeometricInvariant {
  definition = "A property or quantity preserved under a specified class of transformations."
 }

 Manifold {
  definition = "A space locally modelled on Euclidean space."
 }

 MetricTensor {
  definition = "A smoothly varying bilinear form defining lengths, angles or causal structure."
 }

 Connection {
  definition = "A rule for differentiating geometric objects along directions on a manifold."
 }

 Curvature {
  definition = "A measure of deviation from flat geometric structure."
 }

 Geodesic {
  definition = "A distinguished straightest or locally extremal curve associated with a connection or metric."
 }

 AffineStructure {
  definition = "A geometric structure preserving parallelism and affine combinations."
 }

 ProjectiveStructure {
  definition = "A geometric structure preserving incidence under projective transformations."
 }

 GroupAction {
  definition = "A rule describing how a symmetry group acts on a geometric space."
 }

 FibreBundle {
  definition = "A space locally resembling a product of a base space and a fibre."
 }
}

RELATIONS {
 AdvancedGeometry --extends--> Geometry
 DifferentialGeometry --is_branch_of--> AdvancedGeometry
 RiemannianGeometry --is_branch_of--> DifferentialGeometry
 AffineGeometry --is_branch_of--> AdvancedGeometry
 ProjectiveGeometry --is_branch_of--> AdvancedGeometry
 NonEuclideanGeometry --is_branch_of--> AdvancedGeometry
 AlgebraicGeometry --is_branch_of--> AdvancedGeometry
 SymplecticGeometry --is_branch_of--> AdvancedGeometry
 ComplexGeometry --is_branch_of--> AdvancedGeometry
 DiscreteGeometry --is_branch_of--> AdvancedGeometry
 ConvexGeometry --is_branch_of--> AdvancedGeometry
 Manifold --supports--> DifferentialGeometry
 MetricTensor --defines--> RiemannianGeometry
 Connection --defines--> ParallelTransport
 Curvature --is_derived_from--> Connection
 Geodesic --depends_on--> Connection
 AffineTransformation --preserves--> AffineStructure
 ProjectiveTransformation --preserves--> Incidence
 GroupAction --encodes--> Symmetry
 VectorBundle --is_special_case_of--> FibreBundle
 GeometricInvariant --is_preserved_by--> TransformationClass
}

OPERATORS {
 IDENTIFY_GEOMETRIC_STRUCTURE(space,data) :=
  classify_structure_from_metric_connection_topology_group_action_or_coordinates

 IS_INVARIANT(quantity,transformation_class) :=
  quantity_unchanged_under_all_transformations_in_class

 CURVATURE_FROM_CONNECTION(nabla) :=
  R(X,Y)Z = nabla_X nabla_Y Z - nabla_Y nabla_X Z - nabla_[X,Y] Z

 GEODESIC_EQUATION(connection,gamma) :=
  nabla_gamma_dot(gamma_dot)=0

 AFFINE_COMBINATION(points,weights) :=
  sum_i weights_i*points_i
  WHEN sum_i weights_i=1

 PROJECTIVE_EQUIVALENCE(x,y) :=
  exists_nonzero_lambda such_that x=lambda*y

 GROUP_ACTION(G,X) :=
  map GxX->X satisfying identity_and_compatibility

 PULLBACK(F,tensor_or_form) :=
  F^*(object)

 PUSHFORWARD(F,vector) :=
  dF(vector)

 BUNDLE_PROJECTION(E,B) :=
  pi:E->B
}

DEFINITIONS {
 D1 = "Advanced geometry studies structure-preserving transformations."
 D2 = "Different branches of geometry are distinguished by their preserved structures."
 D3 = "Differential geometry studies smooth manifolds and differential structure."
 D4 = "Riemannian geometry adds a positive-definite metric tensor."
 D5 = "Affine geometry preserves affine combinations and parallelism."
 D6 = "Projective geometry preserves incidence but not metric quantities."
 D7 = "Non-Euclidean geometries alter Euclidean parallel and curvature assumptions."
 D8 = "Algebraic geometry studies zero sets of polynomial systems with geometric structure."
 D9 = "Symmetry is naturally represented through group actions."
 D10 = "Geometric invariants classify spaces relative to a transformation group."
}

AXIOMS {
 A1_STRUCTURE_DEPENDENCE:
  Geometric statements depend on the structure imposed on the underlying space

 A2_TRANSFORMATION_CLASS:
  Every geometry has a distinguished class of structure-preserving transformations

 A3_INVARIANCE:
  Geometric invariants remain unchanged under allowed transformations

 A4_LOCAL_GLOBAL:
  Local geometric structure may differ from global topology

 A5_COORDINATE_INDEPENDENCE:
  Intrinsic geometric statements are independent of coordinate representation

 A6_COMPATIBILITY:
  Multiple structures on the same space must satisfy declared compatibility conditions

 A7_DIMENSION:
  Geometric dimension constrains admissible local models and tensors

 A8_RECURSION:
  Higher geometric structures may recursively depend on topology, algebra, analysis and lower-level geometry
}

REASONING {

 R1_BRANCH_CLASSIFICATION {
  INPUT = geometric_problem
  IDENTIFY = preserved_structure
  IDENTIFY = space_type
  IDENTIFY = allowed_transformations
  CLASSIFY = differential_affine_projective_nonEuclidean_algebraic_symplectic_complex_discrete_or_other
  RETURN = geometry_branch
 }

 R2_STRUCTURE_IDENTIFICATION {
  INPUT = space_and_geometric_data
  IF metric_tensor_present
   CLASSIFY = metric_geometry
  IF smooth_atlas_present
   CLASSIFY = differential_geometry
  IF projective_equivalence_present
   CLASSIFY = projective_geometry
  IF group_action_present
   CLASSIFY = transformation_or_homogeneous_geometry
  RETURN = active_structures
 }

 R3_INVARIANT_REASONING {
  INPUT = candidate_quantity_and_transformation_class
  APPLY = transformations_symbolically_or_theoretically
  TEST = preservation
  RETURN = invariant_or_not
 }

 R4_COORDINATE_FREE_REASONING {
  INPUT = coordinate_expression
  IDENTIFY = tensorial_or_intrinsic_object
  TRANSFORM = under_coordinate_change
  VERIFY = geometric_equivalence
  RETURN = intrinsic_interpretation
 }

 R5_CURVATURE_REASONING {
  INPUT = metric_or_connection
  COMPUTE = connection_if_needed
  COMPUTE = curvature_tensor
  DERIVE = sectional_Ricci_scalar_or_other curvature
  RETURN = curvature_data
 }

 R6_GEODESIC_REASONING {
  INPUT = metric_or_connection_and_initial_data
  FORM = geodesic_equation
  SOLVE = local_initial_value_problem
  RETURN = geodesic
 }

 R7_TRANSFORMATION_GEOMETRY {
  INPUT = object_and_transformation
  IDENTIFY = transformation_class
  APPLY = transformation
  TEST = preserved_relations
  RETURN = transformed_object_and_invariants
 }

 R8_BUNDLE_REASONING {
  INPUT = bundle_data
  IDENTIFY = base_fibre_projection_and_transition_functions
  VERIFY = local_triviality
  RETURN = bundle_structure
 }

 R9_LOCAL_GLOBAL_REASONING {
  INPUT = local_geometric_data
  IDENTIFY = topology_and_transition structure
  DETERMINE = whether local_properties_extend_globally
  RETURN = local_global_status
 }
}

CONSTRAINTS {
 C1 = "Branches of geometry must be distinguished by preserved structure."
 C2 = "Coordinate-dependent expressions must not be mistaken for intrinsic invariants."
 C3 = "Local equivalence does not imply global equivalence."
 C4 = "Metric, affine and projective structures preserve different quantities."
 C5 = "Curvature conventions may differ and must be tracked."
 C6 = "Connections need not arise from metrics."
 C7 = "Non-Euclidean geometry requires explicit curvature or axiom context."
 C8 = "Algebraic and differential geometric objects may share terminology but differ structurally."
 C9 = "Dimension and regularity assumptions must be explicit."
 C10 = "Transformation equivalence must specify the acting group or class."
}

SEMANTIC_EQUIVALENCE {
 "AdvancedGeometry" <=> "HigherGeometry"
 "GeometricInvariant" <=> "TransformationPreservedQuantity"
 "DifferentialGeometry" <=> "GeometryOfSmoothManifolds"
 "RiemannianGeometry" <=> "SmoothManifoldGeometryWithPositiveDefiniteMetric"
 "AffineGeometry" <=> "GeometryPreservingAffineStructure"
 "ProjectiveGeometry" <=> "GeometryPreservingIncidence"
 "Symmetry" <=> "InvarianceUnderGroupAction"
}

VALIDATION {
 V1 = "Active geometric structure is identified."
 V2 = "Transformation class is explicit."
 V3 = "Invariant claims match the transformation class."
 V4 = "Coordinate expressions transform correctly."
 V5 = "Local and global claims are distinguished."
 V6 = "Curvature convention is internally consistent."
 V7 = "Metric and connection assumptions are not conflated."
 V8 = "Dimension and regularity assumptions are valid."
 V9 = "Bundle local-triviality conditions are respected where applicable."
}

CONFIDENCE {
 BASE_CONFIDENCE = 0.99
 ADVANCED_GEOMETRY_DEFINITION = 0.99
 BRANCH_CLASSIFICATION = 0.99
 STRUCTURE_REASONING = 0.98
 INVARIANT_REASONING = 0.98
 DIFFERENTIAL_GEOMETRY_REASONING = 0.98
 TRANSFORMATION_REASONING = 0.99
 LOCAL_GLOBAL_REASONING = 0.97
 BUNDLE_REASONING = 0.97

 POLICY =
  "Reduce confidence when preserved structure, transformation class, manifold regularity, topology, curvature convention, coordinate system or branch-specific assumptions are underspecified."
}

AI_CONSUMPTION {
 PURPOSES = [
  SemanticSearch,
  OntologyGrounding,
  AdvancedGeometryReasoning,
  BranchClassification,
  TransformationReasoning,
  InvariantReasoning,
  DifferentialGeometryReasoning,
  ProjectiveGeometryReasoning,
  AffineGeometryReasoning,
  NonEuclideanGeometryReasoning,
  AlgebraicGeometryReasoning,
  SymmetryReasoning,
  BundleReasoning,
  LocalGlobalReasoning,
  KnowledgeGraphConstruction,
  RetrievalAugmentation,
  RecursiveInference
 ]

 NORMALISE {
  "advanced geometry" -> AdvancedGeometry
  "higher geometry" -> AdvancedGeometry
  "differential geometry" -> DifferentialGeometry
  "Riemannian geometry" -> RiemannianGeometry
  "affine geometry" -> AffineGeometry
  "projective geometry" -> ProjectiveGeometry
  "non-Euclidean geometry" -> NonEuclideanGeometry
  "algebraic geometry" -> AlgebraicGeometry
  "geometric invariant" -> GeometricInvariant
  "group action" -> GroupAction
 }

 INTERPRETATION_ORDER = [
  detect_advanced_geometry_context,
  identify underlying_space_dimension_regularities_and_structures,
  identify transformation_class_and_preserved_relations,
  classify geometric_branch,
  identify local_global_invariant_curvature_geodesic_bundle_or_symmetry goal,
  apply branch_specific reasoning,
  verify coordinate_invariance_structure_compatibility_and_assumptions,
  return semantic output
 ]
}

EXECUTION_RULES {
 E1:
  IF query_mentions("advanced geometry")
  OR higher_geometric_structure_context
  THEN activate(AdvancedGeometry)

 E2:
  IF preserved_metric_structure
  THEN route to Riemannian_or_metric geometry

 E3:
  IF preserved_affine_combinations_or_parallelism
  THEN route to AffineGeometry

 E4:
  IF preserved_incidence_under_homogeneous_coordinates
  THEN route to ProjectiveGeometry

 E5:
  IF smooth_manifold_connection_curvature_or_geodesic context
  THEN route to DifferentialGeometry

 E6:
  IF polynomial_zero_sets_or_varieties
  THEN route to AlgebraicGeometry

 E7:
  IF symmetry_group_or_group_action
  THEN route to TransformationGeometry_or_LieGroupGeometry

 E8:
  IF local_product_structure_with_projection
  THEN route to FibreBundle reasoning

 E9:
  IF invariant_requested
  THEN identify transformation_class_before testing
}

RECURSION {
 ENTRY = AdvancedGeometry

 EXPAND(AdvancedGeometry) -> [
  DifferentialGeometry,
  RiemannianGeometry,
  PseudoRiemannianGeometry,
  AffineGeometry,
  ProjectiveGeometry,
  NonEuclideanGeometry,
  AlgebraicGeometry,
  SymplecticGeometry,
  ComplexGeometry,
  DiscreteGeometry,
  ConvexGeometry,
  IntegralGeometry,
  LieGroupGeometry,
  TransformationGeometry,
  GeometricInvariant,
  Manifold,
  MetricTensor,
  Connection,
  Curvature,
  Geodesic,
  Tensor,
  DifferentialForm,
  FibreBundle,
  VectorBundle,
  GroupAction,
  Symmetry
 ]

 EXPAND(DifferentialGeometry) -> [
  Manifold,
  TangentBundle,
  MetricTensor,
  Connection,
  Curvature,
  Geodesic,
  DifferentialForm
 ]

 EXPAND(TransformationGeometry) -> [
  AffineTransformation,
  ProjectiveTransformation,
  Isometry,
  Diffeomorphism,
  GroupAction,
  Symmetry
 ]

 EXPAND(BundleGeometry) -> [
  FibreBundle,
  VectorBundle,
  PrincipalBundle,
  Connection,
  Section,
  TransitionFunction
 ]

 STOP_CONDITION =
  "Stop when the geometric branch, underlying structure, transformation class, invariant, local-global property, curvature, geodesic, symmetry or bundle structure is sufficiently resolved."
}

ROUTING {
 PARENT_ONTOLOGY = "Geometry Ontologies"

 IMMEDIATE_CONTEXTS = [
  "Geometry Ontology",
  "Differential Geometry",
  "Topology",
  "Transformational Geometry"
 ]

 RELATED_ONTOLOGIES = [
  "Geometry Ontology",
  "Differential Geometry",
  "Topology Ontology",
  "Transformational Geometry",
  "Coordinate Geometry Ontology",
  "Vector Geometry Ontology",
  "Linear Algebra Ontologies",
  "Calculus & Analysis Ontologies",
  "Abstract Algebra Ontologies",
  "Topology Ontologies",
  "Computational Geometry Ontology"
 ]

 ROUTE_RULES = [
  "Advanced Geometry -> Geometry Ontology for foundational geometric semantics",
  "Advanced Geometry -> Differential Geometry for manifolds, tensors and curvature",
  "Advanced Geometry -> Topology for global structure",
  "Advanced Geometry -> Transformational Geometry for preserved structures and symmetry",
  "Advanced Geometry -> Linear Algebra for tensors, coordinates and transformations",
  "Advanced Geometry -> Calculus for differential and integral structures",
  "Advanced Geometry -> Abstract Algebra for group actions and symmetry",
  "Advanced Geometry -> Computational Geometry for algorithmic realisation"
 ]
}

UPDATE_MODEL {
 MODE = "append-compatible semantic versioning"

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

 RULES = [
  "Preserve structure-preserving transformation semantics.",
  "Preserve branch distinctions by invariant structure.",
  "Preserve local-versus-global distinction.",
  "Preserve coordinate-independence of intrinsic quantities.",
  "Preserve manifold, metric, connection and curvature distinctions.",
  "Preserve group-action symmetry semantics.",
  "Preserve transformation-class-dependent invariance.",
  "Preserve machine-readable advanced-geometry semantics."
 ]
}

OUTPUT {
 CANONICAL_DEFINITION =
  "Advanced geometry studies higher geometric structures, transformations, invariants and spaces beyond elementary Euclidean geometry."

 STRUCTURE_SUMMARY =
  "Different geometric branches are characterised by the structures and transformations they preserve."

 DIFFERENTIAL_SUMMARY =
  "Differential geometry studies smooth manifolds, connections, geodesics and curvature."

 AFFINE_SUMMARY =
  "Affine geometry preserves affine combinations and parallelism."

 PROJECTIVE_SUMMARY =
  "Projective geometry preserves incidence under projective transformations."

 NON_EUCLIDEAN_SUMMARY =
  "Non-Euclidean geometries modify Euclidean parallel or curvature assumptions."

 INVARIANT_SUMMARY =
  "A geometric invariant is preserved under a specified transformation class."

 SYMMETRY_SUMMARY =
  "Geometric symmetry is naturally represented through group actions."

 LOCAL_GLOBAL_SUMMARY =
  "Advanced geometry distinguishes local geometric structure from global topological structure."
}

FLOW {
 INPUT
 -> detect_advanced_geometry_context
 -> identify space_dimension_regularities_geometric_structures_and_transformations
 -> classify branch_by_preserved_structure
 -> identify invariant_curvature_geodesic_symmetry_bundle_local_global_or_equivalence goal
 -> apply branch_specific geometric reasoning
 -> verify coordinate_independence_transformation_class_dimension_regularities_and_compatibility constraints
 -> route to geometry differential_geometry topology transformation linear_algebra calculus algebra_or_computational_geometry ontology
 -> recursively_expand_required_dependencies
 -> verify_result
 -> assign_confidence
 -> produce_semantic_output
 -> END
}

SEMANTIC_SUMMARY {
 "The Advanced Geometry layer unifies modern geometric theories through their spaces, structures, transformations and invariants. It supports differential, Riemannian, affine, projective, non-Euclidean, algebraic, symplectic, complex, discrete and convex geometry together with manifolds, metrics, connections, curvature, geodesics, tensors, bundles, symmetry and local-global reasoning."
}

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

}

END_FLOW