Table of Contents
Fetching ...

Explicit correspondences between gradient trees in $\mathbb{R}$ and holomorphic disks in $T^{*}\mathbb{R}$

Hidemasa Suzuki

TL;DR

The paper investigates an explicit FO-type correspondence between gradient trees on $\mathbb{R}$ and holomorphic disks in $T^{*}\mathbb{R}$ bounded by affine Lagrangian sections. By constructing explicit Schwarz–Christoffel disks $w_{\epsilon}$ and analyzing their $\epsilon\to0$ limits for $k=3,4$ using Schwarz–Christoffel theory, hypergeometric function expansions, and conformal moduli, it establishes convergence to the corresponding gradient trees, including edge-by-edge behavior and interior-edge lengths. The approach combines analytic and geometric techniques to realize the Fukaya–Oh correspondence in dimension one, providing concrete degeneration control and a detailed description of boundary phenomena via boundary collisions and moduli space degenerations. This clarifies the interplay between polygonal holomorphic disks and gradient-flow combinatorics, with potential implications for explicit computations in Fukaya categories and Floer-theoretic invariants in one-dimensional base cases.

Abstract

Fukaya and Oh studied the correspondence between pseudoholomorphic disks in $T^{*}M$ which are bounded by Lagrangian sections $\{L_{i}^ε\}$ and gradient trees in $M$ which consist of gradient curves of $\{f_{i}-f_{j}\}$. Here, $L_{i}^ε$ is defined by $L_{i}^ε=$\,graph$(εdf_{i})$. They constructed approximate pseudoholomorphic disks in the case $ε>0$ is sufficiently small. When $M=\mathbb{R}$ and Lagrangian sections are affine, pseudoholomorphic disks $w_ε$ can be constructed explicitly. In this paper, we show that pseudoholomorphic disks $w_ε$ converges to the gradient tree in the limit $ε\to+0$ when the number of Lagrangian sections is three and four.

Explicit correspondences between gradient trees in $\mathbb{R}$ and holomorphic disks in $T^{*}\mathbb{R}$

TL;DR

The paper investigates an explicit FO-type correspondence between gradient trees on and holomorphic disks in bounded by affine Lagrangian sections. By constructing explicit Schwarz–Christoffel disks and analyzing their limits for using Schwarz–Christoffel theory, hypergeometric function expansions, and conformal moduli, it establishes convergence to the corresponding gradient trees, including edge-by-edge behavior and interior-edge lengths. The approach combines analytic and geometric techniques to realize the Fukaya–Oh correspondence in dimension one, providing concrete degeneration control and a detailed description of boundary phenomena via boundary collisions and moduli space degenerations. This clarifies the interplay between polygonal holomorphic disks and gradient-flow combinatorics, with potential implications for explicit computations in Fukaya categories and Floer-theoretic invariants in one-dimensional base cases.

Abstract

Fukaya and Oh studied the correspondence between pseudoholomorphic disks in which are bounded by Lagrangian sections and gradient trees in which consist of gradient curves of . Here, is defined by \,graph. They constructed approximate pseudoholomorphic disks in the case is sufficiently small. When and Lagrangian sections are affine, pseudoholomorphic disks can be constructed explicitly. In this paper, we show that pseudoholomorphic disks converges to the gradient tree in the limit when the number of Lagrangian sections is three and four.

Paper Structure

This paper contains 17 sections, 22 theorems, 153 equations, 11 figures, 2 tables.

Key Result

Theorem 2.1

Let $\pi$ be the cotangent bundle $\pi:T^{*}M\rightarrow M$. We set $p_{i}=\pi(x_{i}^{\epsilon})$. Let $J=J_{g}$ be the canonical almost complex structure on $T^{*}M$ associated to the metric $g$ on $M$. For each generic $\vec{f}=(f_{i})$ and for sufficiently small $\epsilon$, we have an oriented di

Figures (11)

  • Figure 1: The ribbon tree ($k=6$).
  • Figure 2: quadrilateral
  • Figure 3: The figure of the upper half plane in the case $k=3$.
  • Figure 4: The transformation $\phi_{0,\delta}$.
  • Figure 5: The tree $T$ of the ribbon tree $(T,i)\in Gr_{3}$.
  • ...and 6 more figures

Theorems & Definitions (38)

  • Definition 2.1: FO97
  • Definition 2.2: FO97
  • Definition 2.3: FO97
  • Definition 2.4: FO97
  • Theorem 2.1: FO97
  • Theorem 2.2: DT02,Ahl-ca,Neh75
  • Definition 2.5: AAR99
  • Proposition 2.1: AAR99
  • Definition 2.6: Mim22,Erd50
  • Proposition 2.2: Mim22,Erd50
  • ...and 28 more