Multiple Bernoulli series, an Euler-MacLaurin formula, and wall crossings

Arzu Boysal,Michele Vergne
DOI: https://doi.org/10.48550/arXiv.1008.0263
2010-12-21
Abstract:Using multiple Bernoulli series, we give a formula in the spirit of Euler MacLaurin formula. We also give a wall crossing formula and a decomposition formula. The study of these series is motivated by formulae of <a class="link-external link-http" href="http://E.Witten" rel="external noopener nofollow">this http URL</a> for volumes of moduli spaces of flat bundles over a surface.
Commutative Algebra
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around the properties and applications of multiple Bernoulli series. Specifically, the main objectives of the paper include: 1. **Introducing multiple Bernoulli series**: The author defines the multiple Bernoulli series \(B(\Phi, \Lambda)\), which is a distribution related to the vector sequence \(\Phi\) and the lattice \(\Lambda\). These series are a natural generalization of the classical Bernoulli polynomials. 2. **Proposing the Euler - Maclaurin formula**: The author uses the multiple Bernoulli series to give an expression similar to the Euler - Maclaurin formula. This formula describes the relationship between discrete sums and integrals and involves derivatives of the multiple Bernoulli series. 3. **Studying the wall - crossing formula**: The author explores the behavioral changes of the multiple Bernoulli series when crossing hyperplanes generated by certain vectors. These changes can be described by lower - dimensional multiple Bernoulli series and multilinear functions. 4. **Decomposition formula**: The author gives a decomposition formula for the multiple Bernoulli series, expressing it as a superposition of convolutions of lower - dimensional Bernoulli series and multilinear functions. This formula helps to understand the behavior of the multiple Bernoulli series in different regions. 5. **Motivation and applications**: The motivation for studying multiple Bernoulli series partly comes from the work of E. Witten, who used these series to calculate the symplectic volumes of moduli spaces in specific cases. These moduli spaces describe the moduli spaces of the gauge group \(G\) with flat connections on a given surface. ### Specific problem description - **Definition of multiple Bernoulli series**: - A distribution \(B(\Phi, \Lambda)\) is defined through its Fourier coefficients: \[ \int_Z B(\Phi, \Lambda)(v) e^{-2i\pi \langle v, \gamma \rangle} dv=\begin{cases} \frac{1}{\prod_{\phi \in \Phi} 2i\pi \langle \phi, \gamma \rangle} & \text{if } \gamma \in \Gamma_{\text{reg}}(\Phi), \\ 0 & \text{otherwise}. \end{cases} \] - Where \(\Gamma_{\text{reg}}(\Phi)=\{\gamma \in \Gamma \mid \langle \phi, \gamma \rangle \neq 0 \text{ for all } \phi \in \Phi\}\) is the set of regular elements. - **Euler - Maclaurin formula**: - An expression similar to the Euler - Maclaurin formula is given, which describes the relationship between discrete sums and integrals: \[ \sum_{\lambda \in \Lambda} f(\lambda)=\int_V f(v) dv+\sum_{\text{long subsets } Y \subset \Phi} (\prod_{\phi \in Y} \partial_\phi) f(v) \text{ over } V. \] - **Wall - crossing formula**: - The change of the multiple Bernoulli series when crossing hyperplanes generated by certain vectors is described: \[ (Ber(\Phi, \Lambda, \tau_1)-Ber(\Phi, \Lambda, \tau_2)) dv = Ber_{\tau_{12}} * T(\Phi \backslash W, E)-Ber_{\tau_{12}} * T(\Phi \backslash W, -E). \]