Lefschetz fibration
E420794
A Lefschetz fibration is a smooth map from a higher-dimensional manifold to a lower-dimensional one whose singularities are modeled on complex Morse-type critical points, playing a central role in symplectic and complex geometry.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Lefschetz fibration canonical | 2 |
| Picard–Lefschetz theory | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4202378 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: Lefschetz fibration Context triple: [Solomon Lefschetz, knownFor, Lefschetz fibration]
-
A.
Milnor fibration
Milnor fibration is a fundamental construction in singularity theory and differential topology that describes how the complement of a complex hypersurface singularity fibers over the circle, revealing the local topological structure of the singularity.
-
B.
Thom–Mather stratification
Thom–Mather stratification is a refined notion of stratification in differential topology that imposes strong regularity and control conditions on how smooth strata fit together, generalizing and strengthening Whitney stratifications.
-
C.
Grothendieck–Ogg–Shafarevich formula
The Grothendieck–Ogg–Shafarevich formula is a result in arithmetic geometry that relates the Euler characteristic of an ℓ-adic sheaf on a curve over a finite field to local invariants such as conductors and ramification data.
-
D.
Dehn surgery
Dehn surgery is a fundamental operation in 3-manifold topology that modifies a 3-dimensional manifold by cutting out a solid torus and gluing it back in a different way, playing a central role in the classification and study of 3-manifolds.
-
E.
Atiyah–Bott fixed-point theorem
The Atiyah–Bott fixed-point theorem is a fundamental result in equivariant cohomology that expresses global invariants, such as indices of elliptic operators, in terms of local data at the fixed points of a group action.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Lefschetz fibration Target entity description: A Lefschetz fibration is a smooth map from a higher-dimensional manifold to a lower-dimensional one whose singularities are modeled on complex Morse-type critical points, playing a central role in symplectic and complex geometry.
-
A.
Milnor fibration
Milnor fibration is a fundamental construction in singularity theory and differential topology that describes how the complement of a complex hypersurface singularity fibers over the circle, revealing the local topological structure of the singularity.
-
B.
Thom–Mather stratification
Thom–Mather stratification is a refined notion of stratification in differential topology that imposes strong regularity and control conditions on how smooth strata fit together, generalizing and strengthening Whitney stratifications.
-
C.
Grothendieck–Ogg–Shafarevich formula
The Grothendieck–Ogg–Shafarevich formula is a result in arithmetic geometry that relates the Euler characteristic of an ℓ-adic sheaf on a curve over a finite field to local invariants such as conductors and ramification data.
-
D.
Dehn surgery
Dehn surgery is a fundamental operation in 3-manifold topology that modifies a 3-dimensional manifold by cutting out a solid torus and gluing it back in a different way, playing a central role in the classification and study of 3-manifolds.
-
E.
Atiyah–Bott fixed-point theorem
The Atiyah–Bott fixed-point theorem is a fundamental result in equivariant cohomology that expresses global invariants, such as indices of elliptic operators, in terms of local data at the fixed points of a group action.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
fibration in topology
ⓘ
mathematical concept ⓘ structure in symplectic geometry ⓘ |
| appearsIn | Donaldson’s existence theorem for Lefschetz pencils ⓘ |
| associatedInvariant | monodromy representation ⓘ |
| canBeCompatibleWith |
complex structure
ⓘ
symplectic form ⓘ |
| criticalValuesAreIsolated | true ⓘ |
| encodes |
intersection form of 4-manifold
ⓘ
topology of total space via monodromy ⓘ |
| field |
algebraic geometry
ⓘ
complex geometry ⓘ low-dimensional topology ⓘ symplectic geometry ⓘ |
| generalizationOf | Lefschetz pencil NERFINISHED ⓘ |
| genericFiber | smooth closed surface ⓘ |
| hasBase | oriented surface ⓘ |
| hasCodomain | smooth manifold ⓘ |
| hasCriticalPointsModeledOn |
complex Morse singularities
ⓘ
nondegenerate complex quadratic forms ⓘ |
| hasDomain | smooth manifold ⓘ |
| hasFiber | oriented surface ⓘ |
| hasFiniteNumberOfCriticalPoints | true ⓘ |
| hasIsolatedSingularities | true ⓘ |
| hasKeyTool |
Picard–Lefschetz theory
NERFINISHED
ⓘ
vanishing cycle techniques ⓘ |
| hasVanishingCycle | simple closed curve in the fiber ⓘ |
| isSmoothMapAwayFromCriticalPoints | true ⓘ |
| isSubmersionAwayFromCriticalPoints | true ⓘ |
| localModelNearCriticalPoint | (z1,…,zn) ↦ z1² + ⋯ + zn² ⓘ |
| monodromyAroundCriticalValue | Dehn twist about vanishing cycle ⓘ |
| monodromyTakesValuesIn | mapping class group of the fiber ⓘ |
| namedAfter | Solomon Lefschetz NERFINISHED ⓘ |
| relatedConcept |
Lefschetz pencil
NERFINISHED
ⓘ
complex Lefschetz fibration ⓘ symplectic Lefschetz fibration ⓘ |
| requires | orientation on base and fiber ⓘ |
| singularFiber | nodal surface ⓘ |
| singularFiberHas | single transverse node ⓘ |
| studiedIn | low-dimensional topology of 4-manifolds ⓘ |
| typicalBaseManifold |
2-sphere
ⓘ
higher-genus surface ⓘ |
| typicalCodomainDimension | 2 ⓘ |
| typicalDomainDimension | 4 ⓘ |
| usedIn |
Donaldson’s theory of symplectic Lefschetz pencils
ⓘ
classification of symplectic 4-manifolds ⓘ construction of symplectic 4-manifolds ⓘ study of mapping class groups ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: Lefschetz fibration Description of subject: A Lefschetz fibration is a smooth map from a higher-dimensional manifold to a lower-dimensional one whose singularities are modeled on complex Morse-type critical points, playing a central role in symplectic and complex geometry.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.