Suppose I have a meromorphic function in several variables $f(x_1,\ldots,x_k,y_1,\ldots,y_m)$ and I want to integrate along the torus $T^m$ given by $|y_1|=\cdots=|y_m|=1$. It is not true in general that the result is a meromorphic function in $x_i$, for a counterexample take $$ \int \frac{1}{1-x_1(y_1+y_1^{-1})} \frac{d y_1}{y_1}. $$ It is true however in the following case
Assumption. Suppose $f$ is a meromorphic function on $(\mathbb{C}^*)^{k+m}$ whose poles all lie in subtori, i.e. sets of the form $$ \{x_1,\ldots,x_k,y_1,\ldots,y_m: \prod x_i^{a_i} \prod y_j^{b_j} = 1\} $$ for integer vectors $a\in\mathbb{Z}^k$, $b\in\mathbb{Z}^m$ such that $a\neq 0$.
Then by iterated integration one can prove that the integral along $T^m$ $$ I(f)(x_1,\ldots,x_k)=\int f(x_1,\ldots,x_k,y_1,\ldots,y_m) \frac{d y_1}{y_1} \cdots \frac{d y_m}{y_m} $$ has a meromorphic continuation, again with poles in subtori. It is not true that the integral above is itself a meromorphic function. What is true however, that you can take the integral for $x_1,\ldots,x_k$ in the neighborhood of some point $x_1^0,\ldots,x_k^0$, and then meromorphically extend it to the whole of $(\mathbb{C}^*)^k$. So you get different meromorphic functions for different choices of the initial point $x_1^0,\ldots,x_k^0$. In fact, dependence on the initial point is discrete in the following sense: Vectors $a_i$ define hyperplanes in $\mathbb{R}^k$ thereby splitting it into regions. The points $x_1^0,\ldots,x_k^0$ are sent to $\mathbb{R}^k$ by taking $\log|\cdot|$, and points from the same region produce the same meromorphic function.
Question. Describe the maximal possible set of poles of this meromorphic function in terms of the poles of $f$ and the choice of the initial point $x_1^0,\ldots,x_k^0$, i.e. a region of $\mathbb{R}^k$?
Did anyone study this?
While typing this question I thought of a conjectural answer. Note that each pair $(a,b)$ specifying a pole of $f$ as above can be replaced by $(-a,-b)$. The choice of a region corresponds to a choice of sign, i.e. we can assume that $\sum_i a_i \log |x_i^0|> 0$. Now consider $r+1$-tuples of pairs $(r\leq m)$ $(a^{(1)},b^{(1)}),\ldots,(a^{(r+1)},b^{(r+1)})$ such that $0$ is in the interior of the $r$-simplex with vertices $b^{(1)},\ldots,b^{(r+1)}$. Call such tuples critical. For each critical tuple we can uniquely write $$ 0 = \sum_i c_i b^{(i)} $$ for some positive integers $c_i$ normalized by the condition $\gcd(c_1,\ldots,c_{r+1})=1$. Take $$ \sum_i c_i a^{(i)}. $$ This is a vector in $\mathbb{Z}^k$ which gives us a subtorus in $(\mathbb{C}^*)^k$. I think this collection of subtori, where we go over all critical tuples is precisely where the poles of $I(f)$ are.
If this is true, how to describe the "wall-crossing" when we move from one region to a different region?
Can we do the same for functions with infinitely many poles, for instance products of ratios of $q$-exponentials?
