# Scientific

## Floer Homotopy 3

A lecture titled "Floer Homotopy" by Mohammed Abouzaid, Columbia University. This is the 3rd in a series of 4.

General Description:

The idea of stable homotopy refinements of Floer homology was first introduced by Cohen, Jones, and Segal in a 1994 paper, but it was only in the last decade that this idea became a key tool in low-dimensional and symplectic topology. The two crowning achievements of these techniques so far are Manolescu's use of his Pin(2)-equivariant Seiberg–Witten Floer homotopy type to resolve the Triangulation Conjecture and Abouzaid-Blumberg's use of Floer homotopy theory and Morava K-theory to prove the general Arnol'd Conjecture in finite characteristic. During this period, a range of related techniques, included under the umbrella of Floer homotopy theory, have also led to important advances, including involutive Heegaard Floer homology, Smith theory for Lagrangian intersections, homotopy coherence, and further connections between string topology and Floer theory. These in turn have sparked developments in algebraic topology, ranging from developments on Lie algebras in derived algebraic geometry to new computations of equivariant Mahowald invariants to new results on topological Hochschild homology.

The goal of the summer school is to provide participants the tools in symplectic geometry and stable homotopy theory required to work on Floer homotopy theory. Students will come away with a basic understanding of some of the key techniques, questions, and challenges in both of these fields. The summer school may be particularly valuable for participants with a solid understanding of one of the two fields who want to learn more about the other and the connections between them.

- Read more about Floer Homotopy 3
- 293 reads

## Floer Homotopy 2

A lecture titled "Floer Homotopy" by Mohammed Abouzaid, Columbia University. This is the 2nd in a series of 4.

General Description:

The idea of stable homotopy refinements of Floer homology was first introduced by Cohen, Jones, and Segal in a 1994 paper, but it was only in the last decade that this idea became a key tool in low-dimensional and symplectic topology. The two crowning achievements of these techniques so far are Manolescu's use of his Pin(2)-equivariant Seiberg–Witten Floer homotopy type to resolve the Triangulation Conjecture and Abouzaid-Blumberg's use of Floer homotopy theory and Morava K-theory to prove the general Arnol'd Conjecture in finite characteristic. During this period, a range of related techniques, included under the umbrella of Floer homotopy theory, have also led to important advances, including involutive Heegaard Floer homology, Smith theory for Lagrangian intersections, homotopy coherence, and further connections between string topology and Floer theory. These in turn have sparked developments in algebraic topology, ranging from developments on Lie algebras in derived algebraic geometry to new computations of equivariant Mahowald invariants to new results on topological Hochschild homology.

The goal of the summer school is to provide participants the tools in symplectic geometry and stable homotopy theory required to work on Floer homotopy theory. Students will come away with a basic understanding of some of the key techniques, questions, and challenges in both of these fields. The summer school may be particularly valuable for participants with a solid understanding of one of the two fields who want to learn more about the other and the connections between them.

- Read more about Floer Homotopy 2
- 308 reads

## A knot Floer stable homotopy type

Given a grid diagram for a knot or link K in the three-sphere, we construct a spectrum whose homology is the knot Floer homology of K. We conjecture that the homotopy type of the spectrum is an invariant of K. Our construction does not use holomorphic geometry, but rather builds on the combinatorial definition of grid homology. We inductively define models for the moduli spaces of pseudo-holomorphic strips and disk bubbles, and patch them together into a framed flow category. The inductive step relies on the vanishing of an obstruction class that takes values in a complex of positive domains with partitions. (This is joint work with Sucharit Sarkar.)

## Floer Homotopy 1

A lecture titled "Floer Homotopy" by Mohammed Abouzaid, Columbia University. This is the 1st in a series of 4.

General Description:

The idea of stable homotopy refinements of Floer homology was first introduced by Cohen, Jones, and Segal in a 1994 paper, but it was only in the last decade that this idea became a key tool in low-dimensional and symplectic topology. The two crowning achievements of these techniques so far are Manolescu's use of his Pin(2)-equivariant Seiberg–Witten Floer homotopy type to resolve the Triangulation Conjecture and Abouzaid-Blumberg's use of Floer homotopy theory and Morava K-theory to prove the general Arnol'd Conjecture in finite characteristic. During this period, a range of related techniques, included under the umbrella of Floer homotopy theory, have also led to important advances, including involutive Heegaard Floer homology, Smith theory for Lagrangian intersections, homotopy coherence, and further connections between string topology and Floer theory. These in turn have sparked developments in algebraic topology, ranging from developments on Lie algebras in derived algebraic geometry to new computations of equivariant Mahowald invariants to new results on topological Hochschild homology.

The goal of the summer school is to provide participants the tools in symplectic geometry and stable homotopy theory required to work on Floer homotopy theory. Students will come away with a basic understanding of some of the key techniques, questions, and challenges in both of these fields. The summer school may be particularly valuable for participants with a solid understanding of one of the two fields who want to learn more about the other and the connections between them.

- Read more about Floer Homotopy 1
- 455 reads

## Spectra and Smash Products 1

A lecture titled "Spectra and Smash Products" by Cary Malkiewich, Binghamton University. This is the 1st in a series of 4.

The idea of stable homotopy refinements of Floer homology was first introduced by Cohen, Jones, and Segal in a 1994 paper, but it was only in the last decade that this idea became a key tool in low-dimensional and symplectic topology. The two crowning achievements of these techniques so far are Manolescu's use of his Pin(2)-equivariant Seiberg–Witten Floer homotopy type to resolve the Triangulation Conjecture and Abouzaid-Blumberg's use of Floer homotopy theory and Morava K-theory to prove the general Arnol'd Conjecture in finite characteristic. During this period, a range of related techniques, included under the umbrella of Floer homotopy theory, have also led to important advances, including involutive Heegaard Floer homology, Smith theory for Lagrangian intersections, homotopy coherence, and further connections between string topology and Floer theory. These in turn have sparked developments in algebraic topology, ranging from developments on Lie algebras in derived algebraic geometry to new computations of equivariant Mahowald invariants to new results on topological Hochschild homology.

## Floer Homology Fundamentals 9

A lecture titled "Floer Homology Fundamentals" by Catherine Cannizzo, SCGP. This is the 9th in a series of 9.

The idea of stable homotopy refinements of Floer homology was first introduced by Cohen, Jones, and Segal in a 1994 paper, but it was only in the last decade that this idea became a key tool in low-dimensional and symplectic topology. The two crowning achievements of these techniques so far are Manolescu's use of his Pin(2)-equivariant Seiberg–Witten Floer homotopy type to resolve the Triangulation Conjecture and Abouzaid-Blumberg's use of Floer homotopy theory and Morava K-theory to prove the general Arnol'd Conjecture in finite characteristic. During this period, a range of related techniques, included under the umbrella of Floer homotopy theory, have also led to important advances, including involutive Heegaard Floer homology, Smith theory for Lagrangian intersections, homotopy coherence, and further connections between string topology and Floer theory. These in turn have sparked developments in algebraic topology, ranging from developments on Lie algebras in derived algebraic geometry to new computations of equivariant Mahowald invariants to new results on topological Hochschild homology.

## Floer Homology Fundamentals 8

A lecture titled "Floer Homology Fundamentals" by Nate Bottman, Max Planck. This is the 8th in a series of 9.

The idea of stable homotopy refinements of Floer homology was first introduced by Cohen, Jones, and Segal in a 1994 paper, but it was only in the last decade that this idea became a key tool in low-dimensional and symplectic topology. The two crowning achievements of these techniques so far are Manolescu's use of his Pin(2)-equivariant Seiberg–Witten Floer homotopy type to resolve the Triangulation Conjecture and Abouzaid-Blumberg's use of Floer homotopy theory and Morava K-theory to prove the general Arnol'd Conjecture in finite characteristic. During this period, a range of related techniques, included under the umbrella of Floer homotopy theory, have also led to important advances, including involutive Heegaard Floer homology, Smith theory for Lagrangian intersections, homotopy coherence, and further connections between string topology and Floer theory. These in turn have sparked developments in algebraic topology, ranging from developments on Lie algebras in derived algebraic geometry to new computations of equivariant Mahowald invariants to new results on topological Hochschild homology.

## Math to Power Industry 2022 Gala

Math^Industry is an annual workshop organized by the Pacific Institute for the Mathematical Sciences to bring together graduate students, academics and industrial partners to work on real world problems. Practical problems from industry are framed by industry partners and project teams are formed to tackle them. The workshop culminates in a gala event where the results of the work on each project is presented.

The gala event took place on zoom and the project reports were presented in three breakout rooms. In the video below, the recordings from these rooms have been placed one after the other and the start time of each is give in square brackets below.

- Introduction
- Graduation Address by Dhavide Aruliah [11:15]
- Project Presentations
- Room 1 [43:32]
- Aerium Analytics (project description )
- Awesense (project description )
- Perfit (project description )

- Room 2 [1:43:40]
- Novion (project description )
- IOTO International (project description )
- Big River Analytics (project description )

- Room 3 [2:38:23]
- Cedar Academy (project description )
- Natural Resources Canada (project description )
- Environmental Instruments Canada (project description )

- Remarks by M2PI Alumnus Erik Chan [3:42:18]
- Closing remarks [4:00:53]

## Symplectomorphisms mirror to birational transformations of P^2

We construct a non-finite type four-dimensional Weinstein domain M_{univ} and describe a HMS-type correspondence between certain birational transformations of P^2 preserving a standard holomorphic volume form and symplectomorphisms of M_{univ}. The space M_{univ} is universal in the sense it admits every Liouville four-manifold mirror to a log Calabi-Yau surface as a Weinstein subdomain; our construction recovers a mirror correspondence between the automorphism group of any open log Calabi-Yau surface and the group of symplectomorphisms of its mirror by restriction to these subdomains. This is joint work in progress with Ailsa Keating.

## Floer Homology Fundamentals 7

A lecture titled "Floer Homology Fundamentals" by Nate Bottman, Max Planck. This is the 7th in a series of 9.

The idea of stable homotopy refinements of Floer homology was first introduced by Cohen, Jones, and Segal in a 1994 paper, but it was only in the last decade that this idea became a key tool in low-dimensional and symplectic topology. The two crowning achievements of these techniques so far are Manolescu's use of his Pin(2)-equivariant Seiberg–Witten Floer homotopy type to resolve the Triangulation Conjecture and Abouzaid-Blumberg's use of Floer homotopy theory and Morava K-theory to prove the general Arnol'd Conjecture in finite characteristic. During this period, a range of related techniques, included under the umbrella of Floer homotopy theory, have also led to important advances, including involutive Heegaard Floer homology, Smith theory for Lagrangian intersections, homotopy coherence, and further connections between string topology and Floer theory. These in turn have sparked developments in algebraic topology, ranging from developments on Lie algebras in derived algebraic geometry to new computations of equivariant Mahowald invariants to new results on topological Hochschild homology.