2. Topological problems
-
Homological independence
Suppose f is a Laurent polynomial and V_f \subseteq (\mathbb C^\times)^d is the subvariety of the torus. Let M_f = (\mathbb C^\times)^d \setminus V_f and let A_f denote the amoeba of f. Let (C_\omega)_\omega denote the components of \mathbb R^d \setminus A_f. For each point \overline \rho \in C_\omega, let \mathbb T_{\overline \rho} be the torus in M_f that maps to \overline \rho under \text{Log}, and let [\mathbb T_{\omega}] denote its homology class in H_d(M_f).Problem 2.1.
[Yuliy Baryshnikov] Are these homology classes ([\mathbb T_\omega])_\omega linearly independent? -
Dual homology basis
Suppose we have a d-dimensional variety V, a cycle T in V, and a basis \sigma_i for H_{2d-1}(V), where \sigma_i are cycles “draped over the saddles". We wish to find the coefficients n_i in T=\sum_{i}n_i \sigma_i. If \sigma_i^{*} is the dual basis, then n_i=\sigma^{*}(T).Problem 2.2.
[Robin Pemantle] If d=2, then we can find explicit \sigma^*_i. Can we do that if d>2?
Cite this as: AimPL: Analytic combinatorics in several variables, available at http://aimpl.org/combinseveral.