the gromov–witten theory of a point and kdvthaddeus/seattle/coates.pdfhighlights • a clean...

28
The Gromov–Witten Theory of a Point and KdV Tom Coates Seattle, 28th July 2005

Upload: others

Post on 14-Apr-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

The Gromov–Witten Theory of a Point and KdV

Tom CoatesSeattle, 28th July 2005

Page 2: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

Outline

• Givental’s geometric perspective on GW theory

• (symplectic linear algebra)

• The Sato/Segal–Wilson approach to KdV

• (via the geometry of a semi-infinite Grassmannian)

• A connection between the two pictures

Page 3: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

Highlights

• A clean statement of Kontsevich–Witten

• A clean statement of Virasoro

• A more satisfactory understanding:

• Givental’s Lagrangian cone ↔ the Baker function

• the dilaton shift ↔ circle-equivariant GW theory

Page 4: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

The descendant potential for a point

where

Page 5: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

A symplectic vector spaceConsider

with the Lagrangian polarization

Darboux co-ordinates:

Page 6: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

Geometric quantization:

Quantize:

Quantized operators act on functions of

Givental’s quantization formalism

Page 7: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

The dilaton shiftQuantized operators act on functions of

The descendant potential is a function of

Set

This is called the dilaton shift

Page 8: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

The differential operators

annihilate the descendant potential

Example: Virasoro constraints

where

Page 9: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

KdV: Lax pair approachThe KdV hierarchy is an infinite family of commuting flows on the space of functions

Put

These flows commute

Page 10: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory
Page 11: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

KdV: τ-functionsSet

Witten–Kontsevich: If we set

then becomes a τ-function for the KdV hierarchy

Page 12: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

Sato/Segal–Wilson approach IIdea: commuting flows on a Grassmannian

Set

acts by multiplication on

These are the commuting flows

Page 13: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

σ is not equivariant. Define

Sato/Segal–Wilson approach II

where

Page 14: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory
Page 15: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory
Page 16: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

determines . In fact, determines too.

Intermediate object: the Baker function

Derivatives of span

Sato:

The Baker function

Page 17: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

The Abelian Lie algebra

acts on , so a central extension acts on

and give Darboux co-ordinates

(the time for the jth KdV flow)

Set

Another symplectic space

Page 18: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

A connection between the pictures

T is a symplectic embedding.

Also

Kontsevich–Witten: there is a subspace such that the pullback of via T is .

Page 19: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

T is an inverse Laplace transform

[0,∞] should be replaced by an appropriate contour C

Page 20: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

Virasoro constraints againT intertwines the Virasoro operators with the standard ones:

The Virasoro conjecture becomes

Page 21: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory
Page 22: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

What is x?

A good interpretation of z:

• -equivariant Floer homology of loop space

• W

But what is x:

• geometrically?

• in terms of moduli space?

Page 23: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

The Baker functionKontsevich–Witten says for some subspace

What is the corresponding Baker function?

Take this across the Laplace transform:

Page 24: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

Givental’s Lagrangian cone

Genus-zero Gromov–Witten invariants of a point are encoded by the Lagrangian cone

This is the image of the semi-classical limit of

Page 25: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

Circle-equivariant GW theory

Our formula for is very suggestive:

More precisely...

This gives a conceptual explanation of the dilaton shift.

-equivariant GW theory of↔

Page 26: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory
Page 27: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory
Page 28: The Gromov–Witten Theory of a Point and KdVthaddeus/seattle/coates.pdfHighlights • A clean statement of Kontsevich–Witten • A clean statement of Virasoro • A more satisfactory

Thank you for your time