ScalingStacks

Conjecture 3.2 . [03NP]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Conjecture 3.2.

Let (M,J,g,Ω)(M,J,g,\Omega) be a Calabi–Yau mm-fold, either compact or suitably convex at infinity, and Dbℱ(M)D^{b}{\mathbin{\mathscr{F}}}(M) the derived Fukaya category of MM in the sense of [18, 20]. Then there exists a natural Bridgeland stability condition (Z,𝒫)(Z,{\mathbin{\cal P}}) on Dbℱ(M)D^{b}{\mathbin{\mathscr{F}}}(M) such that:

  • (a)

    The central charge ZZ is the composition of the natural maps

    K0​(Dbℱ(M))\textstyle{K_{0}(D^{b}{\mathbin{\mathscr{F}}}(M))\ignorespaces\ignorespaces\ignorespaces\ignorespaces}(L,E,b)↦[L]\scriptstyle{(L,E,b)\mapsto[L]}Hm​(M,ℤ)\textstyle{H_{m}(M;{\mathbin{\mathbb{Z}}})\ignorespaces\ignorespaces\ignorespaces\ignorespaces}[L]↦[Ω]⋅[L]=∫LΩ\scriptstyle{[L]\mapsto[\Omega]\cdot[L]=\int_{L}\Omega}ℂ.\textstyle{{\mathbin{\mathbb{C}}}.} (3.1)
  • (b)

    If (L,E,b)∈Dbℱ(M)(L,E,b)\in D^{b}{\mathbin{\mathscr{F}}}(M) with LL special Lagrangian of phase ei​π​ϕ,e^{i\pi\phi}, so that LL has constant phase function θL=π​ϕ,\theta_{L}=\pi\phi, then (L,E,b)∈𝒫(ϕ)(L,E,b)\in{\mathbin{\cal P}}(\phi).

  • (c)

    (Dubious, probably false as stated.) Suppose we enlarge the definition of Dbℱ(M)D^{b}{\mathbin{\mathscr{F}}}(M) so that it contains ‘as many Lagrangians LL as possible for which H​F∗HF^{*} can be defined’, including immersed Lagrangians as in §2.6, and some classes of singular Lagrangians. Then every isomorphism class of objects in 𝒫(ϕ){\mathbin{\cal P}}(\phi) for any ϕ∈ℝ\phi\in{\mathbin{\mathbb{R}}} contains a unique representative (L,E,b)(L,E,b) with LL a (possibly immersed or singular) special Lagrangian of phase ei​π​ϕe^{i\pi\phi}.

Part (c) requires the inclusion of badly singular Lagrangians in Dbℱ(M),D^{b}{\mathbin{\mathscr{F}}}(M), which may not be feasible. Here is an alternative which may work with Dbℱ(M)D^{b}{\mathbin{\mathscr{F}}}(M) containing only more mildly singular Lagrangians:

  • (c)′\boldsymbol{)}{}^{\prime}

    (Still dubious.) Suppose we enlarge Dbℱ(M)D^{b}{\mathbin{\mathscr{F}}}(M) so that it contains ‘sufficiently many Lagrangians LL for which H​F∗HF^{*} can be defined’, including immersed and some singular Lagrangians. Then for any ϵ>0\epsilon>0 and ϕ∈ℝ,\phi\in{\mathbin{\mathbb{R}}}, every isomorphism class of objects in 𝒫(ϕ){\mathbin{\cal P}}(\phi) contains a representative (L,E,b)(L,E,b) whose phase function θL\theta_{L} maps θL:L→(π​ϕ−ϵ,π​ϕ+ϵ)\theta_{L}:L\rightarrow(\pi\phi-\epsilon,\pi\phi+\epsilon).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.