- 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
Index of snippets
- app_viterboVanishing
- app_weinsteinConjecture
- art_ASideLandauGinzburgModel
- art_B-sideinvariants
- art_BSideInvariants
- art_BoundedRationalEquiavlenceInRrN
- art_ComparisionToBSide
- art_ComparisonToBSide
- art_ExceptionalCollections
- art_Hmsforfanos
- art_RationalEquivalenceInTropicalGeometry
- art_Tropicalchowgroupsii
- art_aInfintyModules
- art_algebraicStructuresOnSH
- art_applicationsOfSH
- art_basicSymplectic
- art_contactManifoldsAndReebFlow
- art_convergenceHeegaardFloer
- art_dehnTwists
- art_exactSequencesInSymplecticGeometry
- art_exactSequencesInSymplecticGeometryExercises
- art_examplesOfLagrangianSubmanifolds
- art_examplesOfSymplecticManifolds
- art_geometryOnVectorSpaces
- art_heegaardDiagrams
- art_heegaardFloer
- art_heegaardFloerConstruction
- art_heegaardFloerExercises
- art_invarianceOfHeegaardFloer
- art_lagrangianCobordisms
- art_lagrangianSubmanifolds
- art_lagrangianSubmanifoldsExercises
- art_lagrangianSurgery
- art_liouvilleDomains
- art_maximumPrinciples
- art_modulesVsTwistedComplexes
- art_mosersTheorem
- art_relationsOfLagrangianSubmanifolds
- art_surgeryExactTriangle
- art_symmetricProducts
- art_symplecticCohomologyExercises
- art_symplecticCohomologyExposition
- art_symplectoAndHamiltonian
- art_triangulatedCategories
- art_triangulatedEnvelopes
- art_tropicalCompactificationSketch
- art_tropicalGeometryIntersection
- art_tropicalGeometryIntroduction
- art_tropicalGeometrySeminarOutline
- art_tropicalHodgeConjectureSketch
- art_tropicalZeroSet
- art_twistedComplexes
- art_viterbosTheorem
- clm_hamiltonianFlux
- cnj_weinsteinConjecture
- cnv_aInfinityCategory
- cnv_floerConventions
- cnv_morseSignConventions
- cnv_symplecticSignConventions
- con_dehnTwist
- con_heegaardFloer
- con_polterovichSurgery
- con_symplecticCohomology
- con_symplecticCohomologyLimit
- con_symplecticCohomologyQuadratic
- cor_darbouxsTheorem
- cor_surgeryExactTriangle
- def_DGModule
- def_DgCategoryOfCoherentSheaves
- def_EquivalenceOfTropicalPolyhedralComplexes
- def_SemiOrthogonalDecomposition
- def_TropicalCartierDivisor
- def_TropicalChowGroup
- def_TropicalPolyhedralComplex
- def_TropicalRationalEquivalence
- def_TropicalRationalfunction
- def_TropicallyNumericalEquivalenct
- def_VanishingPath
- def_aInfinityAlgebra
- def_aInfinityCategory
- def_aInfinityModule
- def_affinehalfspace
- def_almostComplexManifold
- def_categoryOfAInfinityModules
- def_cohomologicalFunctor
- def_compatibleAlmostComplexSTructure
- def_compatibleAlmostComplexStructure
- def_complexVectorSpace
- def_coneOfaInfinityModuleMorphism
- def_contactManifold
- def_contactTypeACS
- def_dehnTwist
- def_exactHomotopy
- def_exactLagrangianSubmanifold
- def_flow
- def_flux
- def_freeLoopSpace
- def_hamiltonianVectorField
- def_heegaardDiagram
- def_heegaardFloerDomain
- def_heegaardMoves
- def_heegaardSplitting
- def_heegaardStabilization
- def_integralaffinefunction
- def_lagrangianCobordism
- def_lagrangianSubmanifold
- def_linearHamiltonian
- def_liouvilleDomain
- def_liouvilleSubdomain
- def_mappingConeOfCochainComplexes
- def_moduleOveraInfinityCategory
- def_morphismOfModulesOverAInfinityCategory
- def_morphismOfTwistedComplexes
- def_morphismOfaInfinityModules
- def_novikovRing
- def_periodicHeegaardFloerDomain
- def_plurisubharmonic
- def_pointedHeegaardDiagram
- def_polyhedralcomplex
- def_rationalpolyhedron
- def_reebVectorField
- def_sedentarity
- def_suspension
- def_symmetricProduct
- def_symplecticManifold
- def_symplecticVectorSpace
- def_symplectization
- def_symplectomorphism
- def_topologicalMappingCone
- def_triangulatedCategory
- def_tropicalSemifield
- def_tropicalhodgeboundaries
- def_tropicalkcycle
- def_tropicalzeroset
- def_twistedComplex
- def_weaklyAdmissibleHeegaardDiagram
- dig_exactSequencesFromCobordisms
- dig_heegaardDiagramMystery
- dig_profileForDehnTwist
- dig_symplecticCohomologyTelescope
- dig_viterboRestriction
- dig_viterboSuggestive
- eqn_floerAction
- eqn_floerEquation
- exm_AVarietyWithNoFullExceptionalCollection
- exm_BeilinsonCollection
- exm_MirrorSymmetryForTheProjectivePlane
- exm_SHofBall
- exm_TropicalPullbackAndPushforward
- exm_ccStarCylinder
- exm_compactnessFromMaximumModulus
- exm_contactManifold
- exm_cotangentBundleIsLiouville
- exm_curvelagrangian
- exm_fluxInCotangent
- exm_fluxInCylinder
- exm_hamiltonsEquations
- exm_heegaardDiagram3Sphere
- exm_heegaardSplitting
- exm_lagrangianInCotangent
- exm_lagrangiansFromConormals
- exm_linearSymplecticSpace
- exm_nonadmissibleHeegaardDiagram
- exm_polterovichSurgery
- exm_polterovichSurgeryTrace
- exm_productTorus
- exm_reebOrbits
- exm_reebVectorField
- exm_ringModule
- exm_sphereRotation
- exm_steinDomain
- exm_suspensionCobordism
- exm_symmetricProductP1
- exm_symplecticCotangentBundle
- exm_symplecticSurface
- exm_tropicalamoeba
- exm_tropicalization
- exm_tropicalrationalfunction
- exm_twistedComplexes
- exm_yonedaModule
- exm_zeroModule
- exr_biranCornea3ended
- exr_coordinateFreeClosedLagrangian
- exr_dehnTwistAsSurgery
- exr_diplacibilityOnS2
- exr_eulerCharacteristicOfHeegaardDiagrams
- exr_geodesicsInSymplecticCohomology
- exr_gluingconormals
- exr_hamiltonianFlux
- exr_hamiltonianIsotopyInCotangentBundle
- exr_heegaardFloerLensSpace
- exr_heegaardMoves
- exr_homologyClassOfWhitneyDisk
- exr_homologyFromHeegaardDiagram
- exr_invarianceOfHHF
- exr_lagragnianSurgeryOnT2
- exr_lagrangianIntersectionsAreCritPoints
- exr_noLagSphereInCP2
- exr_polterovichSurgery
- exr_sym2s1
- exr_symplecticCohomologyCotangentBundleOfS1
- fig_3EndedLagrangianCobordism
- fig_3EndedLagrangianCobordismGammaMinus
- fig_3EndedLagrangianCobordismGammaPlus
- fig_ALargeSliceIsEmpty
- fig_APullbackOfAZeroCycleMayNotBeZero
- fig_ExtendingByVanishingPath
- fig_FLTZCP2
- fig_HmsDiagram
- fig_HmsFanoDiagram
- fig_LagrangiansInTheFukayaSeidelCategory
- fig_PushoffInFukayaSeidelCategory
- fig_SmallNeighborhoodFsCategory
- fig_TropicalPairOfPantsPushforward
- fig_TropicalWeilDivisors
- fig_VanishingPathsForP2
- fig_admissibleHeegaardDiagram
- fig_ccStarCylinder
- fig_dehnTwist
- fig_fluxInCylinder
- fig_fundamentalPolygonsT2
- fig_hamiltonianOnSphere
- fig_handleslide
- fig_heegaardDiagram3Sphere
- fig_heegaardDiagramLensSpace
- fig_heegaardSplitting
- fig_heegaardStabilization
- fig_intersectionoftropicalcurves
- fig_lagrangianCobordism
- fig_limitHamiltonian
- fig_liouvilleMomentMapR2
- fig_nonAdmissibleHeegaardDiagram
- fig_polterovichSurgery
- fig_polterovichSurgeryProfile
- fig_productConventions
- fig_quadraticHamiltonian
- fig_roundingCorner
- fig_somePolyhedralComplexes
- fig_surgeryDim4
- fig_symmetricProductP1
- fig_wrappedFloerCylinder
- lem_aInfinityTriangulatedIsTriangulated
- lem_gradients
- lem_handlebodies
- lem_heegaardAdmissibleFiniteStrips
- lem_heegaardAdmissibleZeroArea
- lem_heegaardNoDisks
- lem_heegaardNoSpheres
- lem_maximumPrinciple
- lem_movinglemma
- lem_polyhedralsubdivision
- lem_straightening
- prf_CharacterizationOfBoundedRationalEquiavlence
- prf_CyclesAndRecessionCones
- prf_TropicalChowGroup
- prf_TropicalCyclesAsSums
- prf_aInfinityModulesIsDG
- prf_categoryOfAInfinityModulesIsTriangulated
- prf_categoryOfTwistedComplexesIsTriangulated
- prf_countableNumberOfReebPeriods
- prf_existenceOfHeegaardSplitting
- prf_hamiltonianFlux
- prf_homologyIncludesIntoSH
- prf_homologyIsCohomologicalFunctor
- prf_lagrangianInCotangent
- prf_lagrangianIntersection
- prf_liouvilleIsGeometricallyBounded
- prf_maximumModulus
- prf_polterovichSurgery
- prf_straightening
- prf_symmetricProductOfSurfaceIsSmooth
- prp_CharacterizationOfBoundedRationalEquiavlence
- prp_DDeterminesAFan
- prp_ProjectionFormula
- prp_TropicalCyclesAsSums
- prp_TropicalPullback
- prp_TropicalPushforward
- prp_aInfinityModulesIsDG
- prp_categoryOfAInfinityModulesIsTriangulated
- prp_categoryOfTwistedComplexes
- prp_compatibleACS
- prp_countableNumberOfReebPeriods
- prp_exactSymplecticHamiltonian
- prp_existenceOfHeegaardSplitting
- prp_fluxOfSurgery
- prp_homologyIncludesIntoSH
- prp_homologyIsCohomologicalFunctor
- prp_homologyOfTelescope
- prp_intersectionsInSymmetricProducts
- prp_lagrangianIntersection
- prp_liouvilleIsGeometricallyBounded
- prp_polterovichSurgery
- prp_stripsInLagrangianSurgery
- rem_chainComplexesNotTriangulated
- rem_exactSymplecticManifold
- rem_heegaardStabilization
- rem_homologyIncludesIntoSH
- rem_increasingHamiltonian
- rem_linearHamiltonian
- rem_seidelDehnTwist
- rem_symplectization
- rem_topologicalMappingCone
- rem_twistedComplex
- rem_twistedComplexConvergence
- rem_twistedComplexTriangle
- sol_biranCornea3ended
- sol_dehnTwistAsSurgery
- sol_geodesicsInSymplecticCohomology
- sol_lagragnianSurgeryOnT2
- sol_symplecticCohomologyCotangentBundleOfS1
- thm_CyclesAndRecessionCones
- thm_categoryOfTwistedComplexesIsTriangulated
- thm_exactSequencesFromCobordisms
- thm_existenceOfFlow
- thm_heegaardMoves
- thm_homotopyCategoryIsTriangulated
- thm_invarianceOfHeegaardFloer
- thm_moser1
- thm_moser2
- thm_relativeMoser
- thm_roundingCorner
- thm_seidelDehnTwist
- thm_stripsInSymmetricProducts
- thm_symmetricProductOfSurfaceIsSmooth
- thm_viterboRestriction
- thm_viterbosTheorem
- thm_weinsteinNeighborhood