The homological independence conjecture for toric cycles

Let V=P1(0)(C×)nV=P^{-1}(0)\cap(\mathbb{C}^{\times})^n be an algebraic hypersurface in the complex torus (C×)n(\mathbb{C}^{\times})^n, and let AV\mathscr{A}_V be its amoeba under the logarithmic map

Log(z)=(logz1,,logzn).\mathop{\mathrm{Log}}\nolimits(z)=(\log|z_1|,\ldots,\log|z_n|).

For each connected component EνE_\nu of RnAV\mathbb{R}^n\setminus\mathscr{A}_V corresponding to an integer point ν\nu of the Newton polytope ΔP\Delta_P, choose xEνx\in E_\nu and define the toric cycle

Γν=Log1(x)(C×)nV.\Gamma_\nu=\mathop{\mathrm{Log}}\nolimits^{-1}(x)\subset(\mathbb{C}^{\times})^n\setminus V.

Homological independence conjecture. The toric cycles Γν\Gamma_\nu constitute a homologically independent family in the homology group Hn((C×)nV)H_n((\mathbb{C}^{\times})^n\setminus V).

This conjecture concerns the homology of complements of algebraic hypersurfaces and is motivated by the role of toric cycles in amoeba theory and multidimensional residue theory. The source notes that independence was previously proved for cycles associated with vertices of the Newton polytope, while the asserted independence for all toric cycles remains unresolved here.

Sources & referencesView supporting material

Primary source

Alexey Lushin and Dmitry Pochekutov, “Toric Cycles in the Complement of a Complex Curve in (C^)^2”, arXiv:1707.05704 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.