- An introduction to symplectic geometry
- Basics on Lagrangian submanifolds
- Seminar notes on Tropical Chow groups
- A survey of some of the ways exact sequences appear in symplectic geometry
- A very brief introduction to Heegaard-Floer theory
- An introduction to Symplectic cohomology
Snippet index
Browse the notes by topic and type
388snippetstotal
56articlesoverview notes
88definitionsvocabulary
17theoremsresults
application2
article56
claim1
conjecture1
construction6
convention4
corollary2
definition88
diagram12
equation2
example43
exercise20
exposition7
figure46
lemma11
proof25
proposition26
remark14
solution5
theorem17
Getting started
Start with local models and core vocabulary.
- introduction to symplectic geometry article
- symplectic manifolddefinition
- Lagrangian submanifolddefinition
- Weinstein Neighborhood Theoremtheorem
Lagrangians
Review examples, surgery, and cobordisms.
- introduction to Lagrangian submanifoldsarticle
- Lagrangians from conormalsexample
- Lagrangian connect sum construction
- lagrangian cobordismsarticle
Floer theory
Read from symmetric products to Heegaard Floer theory.
- a sketch of Heegaard-Floer theoryexposition
- Construction of Heegaard Floer cohomologyarticle
- Heegaard diagramdefinition
- Heegaard moves generate equivalencestheorem
Symplectic cohomology
Review Liouville domains, Reeb flow, and Viterbo restriction.
- a sketch of symplectic cohomologyexposition
- Liouville domaindefinition
- Reeb vector fielddefinition
- Viterbo restrictiontheorem
Tropical geometry
Read the tropical material on cycles and rational equivalence.
- a short introduction to tropical geometryarticle
- tropical chow groupdefinition
- tropical pushforwardproposition
- rational equivalence in tropical geometryarticle
Topics
Symplectic Geometry142
- $h^{1,1}$ and the K\"ahler conearticle
- applications of $\SH(X)$article
- Comparision to $B$-sidearticle
- Comparison to $B$-sidearticle
- +138 more
Lagrangians93
- $A$-side Landau-Ginzburg modelarticle
- Comparision to $B$-sidearticle
- Comparison to $B$-sidearticle
- constructing mirrorsarticle
- +89 more
Floer Theory88
- $A$-side Landau-Ginzburg modelarticle
- $h^{2,1}$ and complex deformationarticle
- Construction of Heegaard Floer cohomologyarticle
- Exercisesarticle
- +84 more
Symplectic Cohomology47
- applications of $\SH(X)$article
- Fukaya-Seidel categoriesarticle
- ring structure on $\SH(X)$article
- Viterbo's theoremarticle
- +43 more
Tropical Geometry38
- a short introduction to tropical geometryarticle
- a sketch of compactification in tropical geometryarticle
- a sketch of intersection theoryarticle
- bounded rational equiavlence in $\RR^n$article
- +34 more
Categories61
- $A$-side Landau-Ginzburg modelarticle
- a sketch of compactification in tropical geometryarticle
- Exceptional collectionsarticle
- Fukaya-Seidel categoriesarticle
- +57 more
Mirror Symmetry34
- $A$-side Landau-Ginzburg modelarticle
- B-side invariantsarticle
- Comparision to $B$-sidearticle
- Comparison to $B$-sidearticle
- +30 more
Browse snippets
application 2
- exact Lagrangians contribute to symplectic cohomology app:viterboVanishing
- Weinstein conjecture for hypersurfaces in $\RR^n$ app:weinsteinConjectureInRn
article 56
- $A$-side Landau-Ginzburg model art:ASideLandauGinzburgModel
- $h^{1,1}$ and the K\"ahler cone art:kahlerConeDeformations
- $h^{2,1}$ and complex deformation art:complexStructureDeformations
- a short introduction to tropical geometry art:tropicalGeometryIntroduction
- a sketch of compactification in tropical geometry art:tropicalCompactificationSketch
- a sketch of intersection theory art:tropicalGeometryIntersectionIntroduction
- applications of $\SH(X)$ art:applicationsOfSH
- B-side invariants art:BSideInvariants
- bounded rational equiavlence in $\RR^n$ art:BoundedRationalEquiavlenceInRrN
- Comparision to $B$-side art:ComparisionToBSide
- Comparison to $B$-side art:ComparisonToBSide
- constructing mirror manifolds and implications art:constructingMirrorManifolds
- constructing mirrors art:constructingMirrors
- Construction of Heegaard Floer cohomology art:heegaardFloerConstruction
- examples of Lagrangian submanifolds art:examplesOfLagrangianSubmanifolds
- examples of symplectic manifolds art:examplesOfSymplecticManifolds
- Exceptional collections art:ExceptionalCollections
- Exercises art:exactSequencesInSymplecticGeometryExercises
- Exercises art:heegaardFloerExercises
- exercises art:symplecticCohomologyExercises
- exercises on Lagrangian submanifolds art:lagrangianSubmanifoldsExercises
- Fukaya-Seidel categories art:FukayaSeidelCategories
- Geometry on Manifolds art:geometryOnVectorSpaces
- Heegaard Diagrams:combinatorial descriptions of 3 manifolds art:heegaardDiagrams
- HMS for Fanos art:Hmsforfanos
- Hodge diamond and deformation art:hodgeDiamondAndDeformation
- How to make a category triangulated art:triangulatedEnvelopes
- introduction to Lagrangian submanifolds art:lagrangianSubmanifolds
- introduction to Lefschetz fibrations in symplectic geometry art:IntroductionToLefschetz
- introduction to symplectic geometry art:basicSymplectic
- invariance of Heegaard-Floer cohomology art:invarianceOfHeegaardFloer
- lagrangian cobordisms art:lagrangiancobordisms
- local models for symplectic manifolds art:mosersTheorem
- mirror symmetry: Hodge numbers, SYZ, and Yukawa couplings art:mirrorSymmetryMotivation
- modules or twisted complexes? art:modulesVsTwistedComplexes
- oh no! error page
- rational equivalence in tropical geometry art:RationalEquivalenceInTropicalGeometry
- relations between Lagrangian submanifolds art:relationsOfLagrangianSubmanifolds
- ring structure on $\SH(X)$ art:algebraicStructuresOnSH
- surgery of Lagrangian submanifolds art:lagrangianSurgery
- Symmetric products in symplectic geometry art:symmetricProducts
- symplectic Dehn twist art:dehnTwists
- Symplectomorphisms and Hamiltonian isotopies art:symplectoAndHamiltonian
- The Category of modules over an $A_\infty$ category art:aInfintyModules
- the category of twisted complexes art:twistedComplexes
- the Lagrangian surgery exact triangle art:surgeryExactTriangle
- the mirror flip art:mirrorFlipHodgeNumbers
- the tropical Hodge conjecture art:tropicalHodgeSketch
- the zero locus of a tropical polynomial art:tropicalZeroSet
- triangulated categories art:triangulatedCategories
- Tropical Geometry: plan of attack art:tropicalGeometrySeminarOutline
- TropicalChowGroupsII art:Tropicalchowgroupsii
- Viterbo's theorem art:viterbosTheorem
- welcome to symplectic snippets main page
- where to go from here? art:mirrorSymmetryYukawaCouplings
- why is it called mirror symmetry? art:whyMirrorSymmetryIntro
claim 1
- Hamiltonian associated to exact homotopy clm:hamiltonianFlux
conjecture 1
- Weinstein conjecture cnj:weinsteinConjecture
construction 6
- $\SH(X)$ as a limit con:symplecticCohomologyLimit
- $\SH(X)$ via quadratic $H$ con:symplecticCohomologyQuadratic
- constructing $\SH(G)$ con:symplecticCohomology
- construction of Heegaard Floer complex con:heegaardFloer
- construction of the symplectic dehn twist con:dehnTwist
- Lagrangian connect sum con:polterovichSurgery
convention 4
- conventions for $A_\infty$ categories cnv:aInfinityCategory
- conventions for Floer theory cnv:floerConventions
- conventions for Morse theory cnv:morseSignConventions
- conventions for Symplectic topology cnv:symplecticSignConventions
corollary 2
- Darboux's theorem cor:darbouxsTheorem
- surgery exact Triangle cor:surgeryExactTriangle
definition 88
- $A$-model Yukawa coupling def:aModelYukawaCoupling
- $A_\infty$ algebra def:aInfinityAlgebra
- $A_\infty$ category def:aInfinityCategory
- $A_\infty$ module def:aInfinityModule
- $B$-model Yukawa coupling def:bModelYukawaCoupling
- affine halfspace def:affinehalfspace
- almost complex manifold def:almostComplexManifold
- Calabi--Yau manifold def:calabiYauManifold
- category of $A_\infty$ modules def:categoryOfAInfinityModules
- cohomological Functor def:cohomologicalFunctor
- compatible almost complex structure def:compatibleAlmostComplexStructure
- compatible almost complex structure def:compatibleAlmostComplexSTructure
- complex vector space def:complexVectorSpace
- complex-structure deformation def:complexStructureDeformation
- contact manifold def:contactManifold
- contact type almost complex structure def:contactTypeACS
- dg category of coherent sheaves def:DgCategoryOfCoherentSheaves
- differential graded module def:DGModule
- differential graded module def:lagrangianCobordism
- dual torus fibration def:dualTorusFibration
- equivalence of tropical polyhedral complexes def:EquivalenceOfTropicalPolyhedralComplexes
- exact homotopy of Lagrangian submanifolds def:exactHomotopy
- flow def:flow
- flux of Lagrangian homotopy def:flux
- free loop space def:freeLoopSpace
- genus-zero Gromov--Witten invariant def:genusZeroGromovWittenInvariant
- HamiltonianVectorField def:hamiltonianVectorField
- Heegaard diagram def:heegaardDiagram
- Heegaard domain def:heegaardDomain
- Heegaard moves def:heegaardMoves
- Heegaard splitting def:heegaardSplitting
- Heegaard stabilization def:heegaardStabilization
- Hodge decomposition def:hodgeDecomposition
- Hodge diamond def:hodgeDiamond
- integral affine function def:integralaffinefunction
- K\"ahler cone def:kahlerCone
- Lagrangian submanifold def:exactLagrangianSubmanifold
- Lagrangian submanifold def:lagrangianSubmanifold
- Lagrangian thimble def:LagrangianThimble
- large complex-structure limit def:largeComplexStructureLimit
- large-radius limit def:largeRadiusLimit
- linear Hamiltonian def:linearHamiltonian
- Liouville domain def:liouvilleDomain
- Liouville subdomain def:liouvilleSubomain
- mapping cone of cochain complexes def:mappingConeOfCochainComplexes
- mirror map def:mirrorMap
- Module over an $A_\infty$ category def:moduleOveraInfinityCategory
- morphism of $A_\infty$ modules def:coneOfaInfinityModuleMorphism
- morphism of $A_\infty$ modules def:morphismOfaInfinityModules
- morphism of right $\mathcal A$-modules def:morphismOfModulesOverAinfinityCategory
- morphism of twisted complexes def:morphismOfTwistedComplexes
- Novikov Ring def:novikovRing
- periodic Heegaard domain def:periodicHeegaardDomain
- Picard--Fuchs equation def:picardFuchsEquation
- plurisubharmonic function def:plurisubharmonic
- pointed Heegaard diagram def:pointedHeegaardDiagram
- polyhedral complex def:polyhedralcomplex
- rational polyhedron def:rationalpolyhedron
- Reeb vector field def:reebVectorField
- sedentarity def:sedentarity
- semi-orthogonal Decomposition def:SemiOrthogonalDecomposition
- special Lagrangian torus fibration def:specialLagrangianTorusFibration
- suspension of a topological space def:suspension
- symmetric product def:symmetricProduct
- symplectic dehn twist def:dehnTwist
- symplectic lefschetz fibration def:symplecticLefschetzFibration
- symplectic manifold def:symplecticManifold
- symplectic parallel transport map def:SymplecticParallelTransportMap
- symplectic vector space def:symplecticVectorSpace
- symplectization of a contact manifold def:symplectization
- symplectomorphism def:symplectomorphism
- topological mapping cone def:topologicalMappingCone
- triangulated Category def:triangulatedCategory
- tropical Cartier divisor def:TropicalCartierDivisor
- tropical chow group def:TropicalChowGroup
- tropical hodge boundaries def:tropicalhodgeboundaries
- tropical k cycle def:tropicalkcycle
- tropical polyhedral complex def:TropicalPolyhedralComplex
- tropical rational equivalence def:TropicalRationalEquivalence
- Tropical Rational function def:TropicalRationalfunction
- tropical semi-field def:tropicalSemiField
- tropical zero set def:tropicalzeroset
- tropically numerical equivalenct def:TropicallyNumericalEquivalenct
- twisted complex def:twistedComplex
- vanishing path def:VanishingPath
- variation of Hodge structure def:variationOfHodgeStructure
- weakly admissible Heegaard diagram def:weaklyAdmissibleHeegaardDiagram
- wrapped Fukaya category def:wrappedFukayaCategory
diagram 12
- bounded tropical rational equivalence slice dig:boundedTropicalRationalEquivalenceSlice
- Calabi--Yau threefold Hodge diamond dig:calabiYauThreefoldHodgeDiamond
- exact sequences from cobordisms dig:exactSequencesFromCobordisms
- Leray--Serre $E_2$ page dig:leraySerreE2Page
- Leray--Serre page with trivial top and bottom rows dig:leraySerreTrivialRows
- mirror flip of Hodge diamonds dig:mirrorFlipHodgeDiamonds
- Mystery Heegaard Diagram fig:heegaardDiagramMystery
- profile for the Dehn twist dig:profileForDehnTwist
- relevant terms in the Leray--Serre page dig:leraySerreRelevantTerms
- suggestive diagram from Viterbo restriction dig:viterboSuggestive
- telescope construction for symplectic cohomology dig:symplecticCohomologyTelescope
- Viterbo restriction dig:viterboRestriction
equation 2
- Floer action eqn:floerAction
- Floer equation eqn:floerEquation
example 43
- $A_\infty$ Yoneda module exm:yonedaModule
- $A_\infty$ zero module exm:zeroModule
- A variety with no full exceptional collection exm:AVarietyWithNoFullExceptionalCollection
- Beilinson collection exm:BeilinsonCollection
- building a twisted complex in chain complexes exm:twistedComplexes
- contact hypersurfaces exm:contactManifold
- contact hypersurfaces exm:reebVectorField
- cotangent bundle of a sphere exm:CotangentBundleOfASphere
- flux in $T^*L$ exm:fluxInCotangent
- flux on $\CC^*$ exm:fluxInCylinder
- Hamilton's Equations exm:hamiltonsEquations
- Heegaard diagram for $S^3$ exm:heegaardDiagram3Sphere
- Heegaard diagrams for $S^2\times S^1$ exm:nonadmissibleHeegaardDiagram
- Heegaard splitting exm:heegaardSplitting
- lagrangian thimble exm:LagrangianThimble
- Lagrangians from conormals exm:lagrangiansFromConormals
- Lagrangians given by symplectic parallel transport exm:LagrangiansGivenBySymplecticParallelTransport
- Lagrangians in $\dim(X)=1$ exm:curvelagrangian
- linear symplectic space exm:linearSymplecticSpace
- Liouville structure on the cotangent bundle exm:cotangentBundleIsLiouville
- local model of a singularity exm:LocalModelOfASingularity
- Local Model of Singularity exm:LocalModelOfSingularity
- matching paths in cotangent bundle of the sphere exm:MatchingPathsInCotangentBundleOfTheSphere
- maximum modulus provides compactness exm:compactnessFromMaximumModulus
- mirror symmetry for the projective plane exm:MirrorSymmetryForTheProjectivePlane
- modules over a ring as $A_\infty$ modules exm:ringModule
- Polterovich surgery in $\RR^n$ exm:polterovichSurgery
- Polterovich surgery trace exm:polterovichSurgeryTrace
- product torus exm:productTorus
- Reeb orbits on the sphere exm:reebOrbits
- rotation of Sphere exm:sphereRotation
- sections in the cotangent bundle exm:lagrangianInCotangent
- Stein domains are Liouville exm:steinDomian
- suspension of exact homotopy exm:suspensionCobordism
- Symmetric products of $\CP^1$ exm:symmetricProductOfP1
- symplectic cohomology of the ball exm:SHofBall
- symplectic form on surfaces def:symplecticSurface
- symplectic structure on cotangent bundle def:symplecticCotangentBundle
- symplectic structure on Cylinder exm:ccstarcylinder
- tropical amoeba exm:tropicalamoeba
- tropical pullback and pushforward exm:TropicalPullbackAndPushforward
- tropical rational function exm:tropicalrationalfunction
- tropicalization exm:tropicalization
exercise 20
- coordinate-free closed Lagrangian exr:coordinateFreeClosedLagrangian
- Dehn twist as surgery exr:dehnTwistAsSurgery
- displaceability on $S^2$ exr:diplacibilityOnS2
- Euler characteristic of Heegaard diagrams exr:eulerCharacteristicOfHeegaardDiagrams
- geodesics and symplectic cohohomology of the cotangent bundle exr:geodesicsInSymplecticCohomology
- gluing conormals exr:gluingconormals
- Hamiltonian flux exr:hamiltonianFlux
- Hamiltonian isotopy in a cotangent bundle exr:hamiltonianIsotopyInCotangentBundle
- Heegaard Floer cohomology of lens spaces exr:heegaardFloerLensSpace
- heegaard moves exr:heegaardMoves
- homology classes of Whitney disk boundaries exr:homologyClassOfWhitneyDisk
- homology from Heegaard Diagram exr:homologyFromHeegaardDiagram
- invariance of Heegaard Floer cohomology exr:invarianceOfHHF
- Lagrangian intersections are critical points exr:lagrangianIntersectionsAreCritPoints
- Lagrangian surgery on $T^2$ exr:lagragnianSurgeryOnT2
- no Lagrangian sphere in $\CP^2$ exr:noLagSphereInCP2
- Polterovich surgery exr:polterovichSurgery
- surgery triangle from Lagrangian cobordism exr:biranCornea3ended
- Symmetric Product of $S^1$ exr:sym2s1
- symplectic cohomology of $T^*S^1$ exr:symplecticCohomologyCotangentBundleOfS1
exposition 7
- a sketch of Heegaard-Floer theory art:heegaardFloerExposition
- a sketch of symplectic cohomology art:symplecticCohomologyExposition
- admissibility and convergence art:convergenceHeegaardFloer
- contact manifolds and Reeb flow art:contactManifoldsAndReebFlow
- exact sequences in symplectic geometry art:exactSequencesInSymplecticGeometry
- Liouville domains art:liouvilleDomains
- maximum principles art:maximumPrinciples
figure 46
- Chekanov torus fig:ChekanovTorus
- Lefschetz fibration for cotangent bundle of a sphere fig:LefschetzFibrationForCotangentBundleOfASphere
- vanishing paths for the cotangent bundle of the sphere fig:VanishingPathsForTheCotangentBundleOfTheSphere
- $\CC^*$ is a cylinder fig:ccStarCylinder
- 3 ended Lagrangian cobordism fig:3EndedLagrangianCobordism
- 3 ended Lagrangian cobordism with curve $\gamma^+$ fig:3EndedLagrangianCobordismGammaPlus
- 3 ended Lagrangian cobordism with curve $\gamma^-$ fig:3EndedLagrangianCobordismGammaMinus
- a large slice is empty fig:ALargeSliceIsEmpty
- a pullback of a zero cycle may not be zero. fig:APullbackOfAZeroCycleMayNotBeZero
- admissible HeegaardDiagram fig:admissibleHeegaardDiagram
- examples and nonexamples of polyhedral complexes. fig:somePolyhedralComplexes
- extending by vanishing path fig:ExtendingByVanishingPath
- Floer theory of zero section in $T^*S^1$ fig:wrappedFloerCylinder
- flux for $\CC^*$ fig:fluxInCylinder
- Fukaya product conventions fig:productConventions
- fundamental polygons for $T^2$ fig:fundamentalPolygonsT2
- handleslide fig:handleslide
- Heegaard diagram for $S^3$ fig:heegaardDiagram3Sphere
- Heegaard diagram for the Lens space $L(2,3) fig:heegaardDiagramLensSpace
- Heegaard splitting for $S^3$ fig:heegaardSplitting
- HMS diagram fig:HmsDiagram
- HMS Fano diagram fig:HmsFanoDiagram
- intersection of tropical curves fig:intersectionoftropicalcurves
- Lagragian cobordism fig:lagrangianCobordism
- Lagrangians in the Fukaya Seidel Category fig:LagrangiansInTheFukayaSeidelCategory
- limit Hamiltonian fig:limitHamiltonian
- Liouville structure on $\CC^2$ as viewed from the moment map fig:liuvilleMomentMapR2
- model lefschetz singularity fig:ModelLefschetzSingularity
- mutation of vanishing paths fig:mutationOfVanishingPaths
- non-admissible Heegaard Diagram fig:nonadmissibleHeegaardDiagram
- Polterovich Surgery fig:polterovichSurgery
- product torus fig:ProductTorus
- pushoff in Fukaya-Seidel category fig:PushoffInFukayaSeidelCategory
- quadratic Hamiltonian fig:quadraticHamiltonian
- rotation of sphere fig:hamiltonianOnSphere
- rounding corner in Polterovich surgery fig:heegaardStabilization
- rounding corner in Polterovich surgery fig:roundingCorner
- small neighborhood FS category fig:SmallNeighborhoodFsCategory
- surgery of Lagrangians in $\dim(X)=2 fig:surgeryDim4
- surgery profile fig:polterovichSurgeryProfile
- Symmetric product of $\CP^1$ fig:symmetricProductP1
- symplectic Dehn twist fig:symplecticDehnTwist
- the FLTZ skeleton given by the fan for CP2 fig:FLTZCP2
- tropical pair of pants pushforward fig:TropicalPairOfPantsPushforward
- tropical Weil divisors fig:TropicalWeilDivisors
- vanishing paths for P2 fig:VanishingPathsForP2
lemma 11
- disk bubbling in Heegaard differential lem:heegaardNoDisks
- finitely many strips in Heegaard differential lem:heegaardAdmissibleFiniteStrips
- gradient of real part in Lefschetz fibration lem:GradientOfRealPartInLefschetzFibration
- maximum principle lem:maximumPrinciple
- Morse functions for handlebodies lem:handlebodies
- moving lemma lem:movinglemma
- polyhedral subdivision lem:polyhedralsubdivision
- sphere bubbling in Heegaard differential lem:heegaardNoSpheres
- standard model for Lagrangian intersection lem:straightening
- symplecticGradient lem:gradients
- zero area periodic domains lem:heegaardAdmissibleZeroArea
proof 25
- $\text{mod}-\mathcal A$ is a DG category$ prf:aInfinityModulesIsDG
- characterization of bounded rational equiavlence prf:CharacterizationOfBoundedRationalEquiavlence
- closed sections are Lagrangians prf:lagrangianInCotangent
- cohomology includes into SH prf:homologyIncludesIntoSH
- cohomology is a cohomological functor prf:homologyIsCohomologicalFunctor
- construction of Polterovich surgery prf:polterovichSurgery
- cycles and recession cones prf:CyclesAndRecessionCones
- existence of Heegaard splitting prf:existenceOfHeegaardSplitting
- gradient of real part in Lefschetz fibration prf:GradientOfRealPartInLefschetzFibration
- Hamiltonian flux prf:hamiltonianFlux
- intersections for small Hamiltonians prf:lagrangianIntersection
- Liouville manifolds are geometrically bounded prf:liouvilleIsGeometricallyBounded
- local model for Lagrangian intersection prf:straightening
- local symplectic form in Lefschetz fibration prf:LocalSymplecticFormInLefschetzFibration
- locel model of thimble prf:LocelModelOfThimble
- maximum modulus principle prf:maximumModulus
- parallel transport of Lagrangian submanifold prf:ParallelTransportOfLagrangianSubmanifold
- periods of Reeb orbits prf:countableNumberOfReebPeriods
- proof that the category of $A_\infty$ modules is triangulated prf:categoryOfAInfinityModulesIsTriangulated
- proof that the symmetric product of surfaces is smooth prf:symmetricProductOfSurfaceIsSmooth
- symplectic parallel transport prf:SymplecticParallelTransport
- tropical chow group prf:TropicalChowGroup
- tropical cycles as sums prf:TropicalCyclesAsSums
- twisted complexes form a triangulated category. lem:aInfinityTriangulatedIsTriangulated
- twisted complexes form a triangulated category. prf:categoryOfTwistedComplexesIsTriangulated
proposition 26
- category of twisted complexes prp:categoryOfTwistedComplexes
- characterization of bounded rational equiavlence prp:CharacterizationOfBoundedRationalEquiavlence
- cohomology includes into SH prp:homologyIncludesIntoSH
- cohomology is a cohomological functor prp:homologyIsCohomologicalFunctor
- d determines a fan prp:DDeterminesAFan
- dg-category structure on $\mathcal A-\text{Mod}$ prp:aInfinityModulesIsDG
- exactnessOfIsotopy prp:exactsymplectichamiltonian
- Existence of compatible ACS prp:compatibleACS
- existence of Heegaard splitting prp:existenceOfHeegaardSplitting
- flux of Polterovich surgery prp:fluxOfSurgery
- homology of telescope complex prp:homologyOfTelescope
- intersection of Lagrangians in symmetric product prp:intersectionsInSymmetricProducts
- intersections for small Hamiltonians prp:lagrangianIntersection
- Liouville manifolds are geometrically bounded prp:liouvilleIsGeometricallyBounded
- local symplectic form in Lefschetz fibration prp:LocalSymplecticFormInLefschetzFibration
- locel model of thimble prp:LocelModelOfThimble
- parallel transport of Lagrangian submanifold prp:ParallelTransportOfLagrangianSubmanifold
- periods of Reeb orbits prp:countableNumberOfReebPeriods
- Polterovich surgery of Lagrangian submanifolds prp:polterovichSurgery
- projection formula prp:ProjectionFormula
- strips with boundary on Lagrangian surgery avoiding the neck prp:stripsInLagrangianSurgery
- symplectic parallel transport prp:SymplecticParallelTransport
- triangulated structure on $\mathcal A-\text{Mod}$ prp:categoryOfAInfinityModulesIsTriangulated
- tropical cycles as sums prp:TropicalCyclesAsSums
- tropical pullback prp:TropicalPullback
- tropical pushforward prp:TropicalPushforward
remark 14
- $K(A)$ is triangulated thm:homotopyCategoryIsTriangulated
- category of chain complexes is not triangulated rem_chainComplexesNotTriangulated
- convergence in twisted complexes rem:twistedComplexConvergence
- Dehn twist exact sequence rem:seidelDehnTwist
- exact Symplectic manifolds rem:exactSymplecticManifolds
- exact triangles in twisted complexes rem:twistedComplexTriangle
- grading of symplectic cohomology rem:homologyIncludesIntoSH
- linear Hamiltonian rem:linearHamiltonian
- Morse interpretation of Heegaard stabilization rem:heegaardStabilizations
- orbits of an increasing Hamiltonian rem:increasingHamiltonian
- properties of twisted complexes rem:twistedComplex
- some properties of topological mapping cone rem:topologicalMappingCone
- symmetries of the Hodge diamond rem:hodgeDiamondSymmetries
- symplectization of a contact manifold rem:symplectization
solution 5
- Dehn twist as surgery sol:dehnTwistAsSurgery
- geodesics and symplectic cohohomology of the cotangent bundle sol:geodesicsInSymplecticCohomology
- Lagrangian surgery on $T^2$ sol:lagragnianSurgeryOnT2
- surgery triangle from Lagrangian cobordism sol:biranCornea3ended
- symplectic cohomology of $T^*S^1$ sol:symplecticCohomologyCotangentBundleOfS1
theorem 17
- Calabi conjecture, proved by Yau thm:yauCalabiConjecture
- cycles and recession cones thm:CyclesAndRecessionCones
- Dehn twist exact sequence thm:seidelDehnTwist
- existence of flows thm:existenceOfFlow
- Heegaard moves generate equivalences thm:heegaardMoves
- Heegaard moves generate equivalences thm:invarianceOfHeegaardFloer
- Lagrangian cobordisms give exact sequences thm:exactSequencesFromCobordisms
- Mosers Theorem thm:moser1
- Mosers Theorem thm:moser2
- relativeMoser thm:relativemoser
- rounding the corner thm:roundingCorner
- strips in the symmetric product thm:stripsInSymmetricProducts
- symmetric product of surfaces is smooth thm:symmetricProductOfSurfaceIsSmooth
- twisted complexes form a triangulated category. thm:categoryOfTwistedComplexesIsTriangulated
- Viterbo restriction thm:viterboRestriction
- Viterbo's theorem thm:viterbosTheorem
- Weinstein Neighborhood Theorem thm:weinsteinNeighborhood