Toric arc schemes and quantum cohomology of toric varieties (Q2498483)

Let \(X\) be a complex projective variety. Heuristically, the quantum cohomology ring \(\text{QH}(X)\) is a version of the Floer cohomology of the universal cover of the free loop space \(\mathcal L X=\text{Map} (S^1, X)\). D. Peterson proved the version of this for \(G/B\), where \(G\) is a reductive group (unpublished). The aim of this paper is to prove the version of this in the case of toric Fano varieties. Let the toric variety \(X\) be a quotient of \(Y-D\) by torus action \(S\), where \(Y\simeq \mathbb C^N\) and \(D\) is a particular union of hyperplanes in \(Y\). Consider the scheme \(L^0 Y\) of formal arcs (see the beginning of section 3). The toric arc scheme \(\Lambda^0 X\) is defined to be the categorical quotient \(\Lambda^0 X=(L^0 Y-L^0 D)/S\). Let \(A=\Hom (\mathbb C^*,S)\simeq H_2(X, \mathbb Z)\) and \(A_+\subset A\) be ``the positive cocharacters''. Then the main theorem (Theorem 4.7) says that the localized algebra \(H^*(\Lambda^0 X,\mathbb C)\otimes_{\mathbb C[A_+]}\mathbb C[A]\) is isomorphic (as \(\mathbb C[A]\)-algebra) to \(\text{QH}(X)\). In the toric case the localized algebra is isomorphic to the Floer cohomology of the ind-scheme \(\Lambda X\), the toric algebro-geometric model of the universal cover of the loop space \(\mathcal L X\) (see 6.1). The authors do not expect that this is true in the general case.