Local Zeta Functions and Koba–Nielsen String Amplitudes

Abstract

This article is a survey of our recent work on the connections between Koba–Nielsen amplitudes and local zeta functions (in the sense of Gel’fand, Weil, Igusa, Sato, Bernstein, Denef, Loeser, etc.). Our research program is motivated by the fact that the p-adic strings seem to be related in some interesting ways with ordinary strings. p-Adic string amplitudes share desired characteristics with their Archimedean counterparts, such as crossing symmetry and invariance under Möbius transformations. A direct connection between p-adic amplitudes and the Archimedean ones is through the limit $p\to 1$. Gerasimov and Shatashvili studied the limit $p\to 1$ of the p-adic effective action introduced by Brekke, Freund, Olson and Witten. They showed that this limit gives rise to a boundary string field theory, which was previously proposed by Witten in the context of background independent string theory. Explicit computations in the cases of 4 and 5 points show that the Feynman amplitudes at the tree level of the Gerasimov–Shatashvili Lagrangian are related to the limit $p\to 1$ of the p-adic Koba–Nielsen amplitudes. At a mathematical level, this phenomenon is deeply connected with the topological zeta functions introduced by Denef and Loeser. A Koba–Nielsen amplitude is just a new type of local zeta function, which can be studied using embedded resolution of singularities. In this way, one shows the existence of a meromorphic continuations for the Koba–Nielsen amplitudes as functions of the kinematic parameters. The Koba–Nielsen local zeta functions are algebraic-geometric integrals that can be defined over arbitrary local fields (for instance $\mathbb{R}$, $\mathbb{C}$, ${\mathbb{Q}}_p$, ${\mathbb{F}}_p\left(\left(T\right)\right)$), and it is completely natural to expect connections between these objects. The limit p tends to one of the Koba–Nielsen amplitudes give rise to new amplitudes which we have called Denef–Loeser amplitudes. Throughout the article, we have emphasized the explicit calculations in the cases of 4 and 5 points.

1. Introduction

In the recent years, the connections between string amplitudes and arithmetic geometry, p-adic analysis, combinatorics, etc. have been studied extensively, see e.g., [1,2,3,4,5,6,7,8,9] and the references therein.

The string amplitudes were introduced by Veneziano in the 60s, In [10], further generalizations were obtained by Virasoro [11], Koba and Nielsen [12], among others. In the 80s, Freund, Witten and Volovich, among others, studied string amplitudes at the tree level over different number fields, and suggested the existence of connections between these amplitudes, see e.g., [4,13,14]. In this framework the connection with local zeta functions appears naturally. This article is intended as a survey of our recent work on the connections between Koba–Nielsen amplitudes and local zeta functions [6,7,8,9] in the sense of Gel’fand, Weil, Igusa, Sato, Bernstein, Denef, Loeser, etc.

The p-adic string theories have been studied over the time with some periodic fluctuations in their interest (for some reviews, see [3,4,5,15]). Recently aconsiderable amount of work has been performed on this topic in the context of the AdS/CFT correspondence [16,17,18,19]. String theory with a p-adic worldsheet was proposed and studied for the first time in [20]. Later this theory was formally known as p-adic string theory. The adelic scattering amplitudes which are related to the Archimedean ones were studied in [21]. The tree-level string amplitudes were explicitly computed in the case of p-adic string worldsheet in [14,22]. One can obtain these amplitude, in a formal way, from a suitable action using general principles [23]. In [24], it was established that the tree-level string amplitudes may be obtained starting with a discrete field theory on a Bruhat–Tits tree. Determining the convergence of the amplitudes in momentum space is a difficult task, both in the standard and p-adic case; however, for the latter, this was precisely done for the N-point tree amplitudes in [8]. In this article we show (in a rigorous mathematical way) that the p-adic open string N-point tree amplitudes are bona fide integrals that admit meromorphic continuations as rational functions, this is done by associating to them multivariate local zeta functions (also called multivariate Igusa local zeta functions) [25,26,27,28]. In [6] we establish in a rigorous mathematical way that Koba–Nielsen amplitudes defined on any local field of characteristic zero (for instance $\mathbb{R}$, $\mathbb{C}$, ${\mathbb{Q}}_p$) are bona fide integrals that admit meromorphic continuations in the kinematic parameters. In the regularization process we use techniques of local zeta functions and embedded resolution of singularities.

The p-adic strings are related to ordinary strings at least in two different ways. First, connections through the adelic relations [21] and second, through the limit when $p\to 1$ [23,29]. In [29] was showed that the limit $p\to 1$ of the effective action gives rise to a boundary string field theory, this was previously proposed by Witten in the context of background independent string theory [30,31]. The limit $p\to 1$ in the effective theory can be performed without any problem, since one can consider p as a real parameter and take formally the limit $p\to 1$. The resulting theory is related to a field theory describing an open string tachyon [32]. In the limit $p\to 1$ also there are exact noncommutative solitons, some of these solutions were found in [33]. In [34] a very interesting physical interpretation of this limit was given in terms of a lattice discretization of ordinary string worldsheet. In the worldsheet theory we cannot forget the nature of p as a prime number, thus the analysis of the limit is more subtle. The correct way of taking the limit $p\to 1$ involves the introduction of finite extensions of the p-adic field ${\mathbb{Q}}_p$. The totally ramified extensions give rise to a finer discretization of the worldsheet following the rules of the renormalization group [34].

In [35] Denef and Loeser showed that the limit p approaches to one of a local zeta function give rise a new object called a topological zeta function. By using Denef–Loeser’s theory of topological zeta functions, in [9], we show that the limit $p\to 1$ of tree-level p-adic string amplitudes give rise to new amplitudes, that we have named Denef–Loeser string amplitudes. Gerasimov and Shatashvili showed that in the limit $p\to 1$ the well-known non-local effective Lagrangian (reproducing the tree-level p-adic string amplitudes) gives rise to a simple Lagrangian with a logarithmic potential [29]. In [9], we conjecture that the Feynman amplitudes of this last Lagrangian are related to the Denef–Loser amplitudes.

In [7] we establish rigorously the regularization of the p-adic open string amplitudes, with Chan–Paton rules and a constant B-field. These amplitudes were originally introduced by Ghoshal and Kawano. To study these amplitudes, we introduce new multivariate local zeta functions depending on multiplicative characters (Chan–Paton factors) and a phase factor (the B-field) which involves an antisymmetric bilinear form. We show that these integrals admit meromorphic continuations in the kinematic parameters, this result allows us to regularize the Ghoshal–Kawano amplitudes, the regularized amplitudes do not have ultraviolet divergencies. The theory is only valid for p congruent to 3 mod 4, this is to preserve a certain symmetry. The limit $p\to 1$ is also considered for the noncommutative effective field theory and the Ghoshal–Kawano amplitudes. We show that in the case of four points, the limit $p\to 1$ of the regularized Ghoshal–Kawano amplitudes coincides with the Feynman amplitudes attached to the limit $p\to 1$ of the noncommutative Gerasimov–Shatashvili Lagrangian.

We denote by $\mathbb{K}$ a local field of characteristic zero (for instance $\mathbb{R}$, $\mathbb{C}$, ${\mathbb{Q}}_p$), and set $\mathit{f}:=\left(f_1,\dots ,f_m\right)$ and $\mathit{s}:=\left(s_1,\dots ,s_m\right)\in {\mathbb{C}}^m$, where the $f_i\left(x\right)$ are non-constant polynomials in the variables $x:=(x_1,\dots ,x_n)$ with coefficients in $\mathbb{K}$. The multivariate local zeta function attached to $(\mathit{f},\Theta )$, where $\Theta$ is a test function, is defined as

$$Z_{\Theta }\left(\mathit{f},\mathit{s}\right)=\underset{{\mathbb{K}}^n}{\int }\Theta \left(x\right)\prod _{i=1}^m{\left|f_i\left(x\right)\right|}_{\mathbb{K}}^{s_i}{\displaystyle \prod _{i=1}^n}d{x}_i,\mathrm{when}Re\left(s_i\right)>0\mathrm{for}\mathrm{all}i,$$

and where ${\prod }_{i=1}^{n}d{x}_i$ is the normalized Haar measure of $({\mathbb{K}}^n,+)$. These integrals admit meromorphic continuations to the whole ${\mathbb{C}}^m$, [25,26,36], see also [37,38]. The study of Archimedean and non-Archimedean local zeta functions was started by Weil in the 60 s, in connection to the Poisson-Siegel formula. In the 70 s, Igusa developed a uniform theory for local zeta functions in characteristic zero [25,26], see also [36,39,40]. In the p-adic setting, the local zeta functions are connected with the number of solutions of polynomial congruences mod $p^l$ and with exponential sums mod $p^l$ [28]. Recently, Denef and Loeser introduced the motivic zeta functions which constitute a vast generalization of p-adic local zeta functions [41,42].

In the 50 s, Gel’fand and Shilov studied the local zeta functions attached to real polynomials in connection with fundamental solutions, indeed, the meromorphic continuation of Archimedean local zeta functions implies the existence of fundamental solutions (i.e., Green functions) for differential operators with constant coefficients. This fact was established, independently, by Atiyah [43] and Bernstein [44]. It is relevant to mention here that in the p-adic framework, the existence of fundamental solutions for pseudodifferential operators is also a consequence of the fact that the Igusa local zeta functions admit a meromorphic continuation, see ([45], Chapter 5), ([46], Chapter 10). This analogy turns out to be very important in the rigorous construction of quantum scalar fields in the p-adic setting, see [47] and the references therein.

Take $N\ge 4$, and complex variables $s_{1j}$ and $s_{(N-1)j}$ for $2\le j\le N-2$ and $s_{ij}$ for $2\le i<j\le N-2$. Put $\mathit{s}:=\left(s_{ij}\right)\in {\mathbb{C}}^D$, where $D=\frac{N(N-3)}{2}$ denotes the total number of indices $ij$. In [6] we introduce the multivariate local zeta function

$$Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right):={\displaystyle \underset{{\mathbb{K}}^{N-3}}{\int }}{\displaystyle \prod _{i=2}^{N-2}}{\left|x_j\right|}_{\mathbb{K}}^{s_{1j}}{\left|1-x_j\right|}_{\mathbb{K}}^{s_{(N-1)j}}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}_{\mathbb{K}}^{s_{ij}}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

(1)

where ${\prod }_{i=2}^{N-2}d{x}_i$ is the normalized Haar measure on ${\mathbb{K}}^{N-3}$. We called these integrals Koba-Nielsen local zeta functions. In ([6], Theorems 4.1 and 6.1), we show that these functions are bona fide integrals, which are holomorphic in an open part of ${\mathbb{C}}^D$, containing the set given by

$$\frac{-2}{N-2}<Re\left(s_{ij}\right)<\frac{-2}{N}\mathrm{for}\mathrm{all}ij.$$

(2)

Furthermore, they admit meromorphic continuations to the whole ${\mathbb{C}}^D$.

The Koba–Nielsen open string amplitudes for N-points over $\mathbb{K}$ are formally defined as

$$A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right):={\displaystyle \underset{{\mathbb{K}}^{N-3}}{\int }}{\displaystyle \prod _{i=2}^{N-2}}{\left|x_j\right|}_{\mathbb{K}}^{{\mathit{k}}_1{\mathit{k}}_j}{\left|1-x_j\right|}_{\mathbb{K}}^{{\mathit{k}}_{N-1}{\mathit{k}}_j}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}_{\mathbb{K}}^{{\mathit{k}}_i{\mathit{k}}_j}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

where $\mathit{k}=\left({\mathit{k}}_1,\dots ,{\mathit{k}}_N\right)$, ${\mathit{k}}_i=\left(k_{0,i},\dots ,k_{l,i}\right)\in {\mathbb{R}}^{l+1}$, for $i=1,\dots ,N$ ($N\ge 4$), is the momentum vector of the i-th tachyon (with Minkowski product ${\mathit{k}}_i{\mathit{k}}_j=-k_{0,i}{k}_{0,j}+k_{1,i}{k}_{1,j}+\cdots +k_{l,i}{k}_{l,j}$), obeying

$$\sum _{i=1}^N{\mathit{k}}_i=\mathbf{0},{\mathit{k}}_i{\mathit{k}}_i=2\mathrm{for}i=1,\dots ,N.$$

The parameter l is an arbitrary positive integer. Typically, l is taken to be 25 for bosonic strings. However, we do not require using the critical dimension. We choose units such that the tachyon mass is $m^2=-2$.

In the real case, $A_{\mathbb{R}}^{\left(N\right)}\left(\mathit{k}\right)$ is (up to multiplication by a positive constant) the open Koba–Nielsen amplitude of N-points, see ([4], Section 8), ([48], Section 2). If $N=4$, $A_{\mathbb{R}}^{\left(4\right)}\left(\mathit{k}\right)$ is the Veneziano amplitude [10]. In the complex case, by using the results of ([48], Section 2), in [49], the N-point, closed string amplitude at the tree level is the product of $A_{\mathbb{C}}^{\left(N\right)}\left(\mathit{k}\right)$ times a polynomial function in the momenta $\mathit{k}$. This fact implies that the techniques and results presented in [6] are applicable to classical closed string amplitudes at the tree level.

We use the integrals $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$ as regularizations of the amplitudes $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$. More precisely, we redefine

$$A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)=Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right){\mid }_{s_{ij}={\mathit{k}}_i{\mathit{k}}_j},$$

(3)

where $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$ now denotes the meromorphic continuation of (1) to the whole ${\mathbb{C}}^D$, see ([6], Theorem 6.1). Furthermore, $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$ extends to a meromorphic function to the whole ${\mathbb{C}}^{N(l+1)}$, see ([6], Theorem 7.1).

The articles [6,8] deal with the meromorphic continuation of local zeta functions of type $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$, but their results are complementary. The main result of [8] is the existence of a meromorphic continuation for $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$ in the case in which $\mathbb{K}$ is a non-Archimedean local field of arbitrary characteristic. For instance ${\mathbb{Q}}_p$ or ${\mathbb{F}}_q\left(\left(T\right)\right)$, the field of formal Laurent series with coefficients in a finite field ${\mathbb{F}}_q$. The methods used are based on the stationary phase formula, which allows the explicit calculation of $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$. On the other hand, the results presented in [6] depend completely on Hironaka’s resolution of singularities theorem [50], which is available only for fields of characteristic zero. In this framework, the results of [6] show that for any field of characteristic zero $\mathbb{K}$, all the zeta functions $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$ converge on a common domain, see (2), and that the possible poles can be described in a geometric form. We propose the following conjecture:

Conjecture 1.

There is a meromorphic function $\Gamma \left(\mathit{s}\right)$ in ${\mathbb{C}}^D$ such that

$$Z_{\mathbb{R}}^{\left(N\right)}\left(\mathit{s}\right)=\Gamma \left(\mathit{s}\right){\displaystyle \prod _{p<\infty }}{Z}_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)forany\mathit{s}\in {\mathbb{C}}^D.$$

This conjecture and ([6], Theorem 6.1) imply that ${\prod }_{p<\infty }$$Z_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)$ admits a meromorphic continuation to the whole ${\mathbb{C}}^D$. By using (3), this conjecture implies that

$$A_{\mathbb{R}}^{\left(N\right)}\left(\mathit{s}\right)=\Gamma \left(\mathit{s}\right){\displaystyle \prod _{p<\infty }}{A}_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)$$

is meromorphic function in ${\mathbb{C}}^D$. Freund and Witten established (formally) that the ordinary Veneziano and Virasoro–Shapiro four-particle scattering amplitudes can be factored in terms of an infinite product of non-Archimedean string amplitudes [21]. More precisely, they established that the product of the p-adic string amplitudes multiplied by the crossing-symmetric Veneziano amplitude is equal to one. Later Aref’eva, Dragovich and Volovich noted that the infinite product used by Freund and Witten is divergent, and established that the product of the p-adic string amplitudes multiplied by the crossing-symmetric Veneziano amplitude is equal to an expression containing the Riemann zeta function [51].

We already mentioned that the Denef–Loeser amplitudes $A_{top}^{\left(N\right)}\left(\mathit{s}\right)$ are the limit of the Koba–Nielsen amplitudes $A_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)$ when p tends to one. This is a consequence of the fact that $Z_{top}^{\left(N\right)}\left(\mathit{s}\right)={lim}_{p\to 1}{Z}_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)$, which in turn is a consequence of the motivic integration theory, see e.g., [41,52]. Motivic integration is a generalization of the p-adic integration and the integration with respect to the Euler characteristic. By using this theory one can construct a function $Z_{\mathbb{C}\left(\right(T\left)\right)}^{\left(N\right)}\left(\mathit{L}\right)$ such that

$$Z_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)=Z_{\mathbb{C}\left(\right(T\left)\right)}^{\left(N\right)}\left(\mathit{L}\right){\mid }_{\mathit{L}=p}\mathrm{and}{Z}_{top}^{\left(N\right)}\left(\mathit{s}\right)=Z_{\mathbb{C}\left(\right(T\left)\right)}^{\left(N\right)}\left(\mathit{L}\right){\mid }_{\mathit{L}=1},$$

which in turn implies the existence of new type of ‘motivic string amplitude’ at the three level $A_{\mathbb{C}\left(\right(T\left)\right)}^{\left(N\right)}\left(\mathit{L}\right)$ which is a generalization of the p-adic Koba–Nielsen and Denef–Loeser amplitudes.

Problem 1.

Does the motivic string amplitudes $A_{\mathbb{C}\left(\right(T\left)\right)}^{\left(N\right)}\left(\mathit{L}\right)$ have a physical meaning? Is there an effective action such that the Feynman integrals at the three level are exactly the $A_{\mathbb{C}\left(\right(T\left)\right)}^{\left(N\right)}\left(\mathit{L}\right)$?

In [9], we verified that the four and five-point Feynman amplitudes of the Gerasimov-Shatashvili Lagrangian are related by ${lim}_{p\to 1}{A}_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)$. Then we propose the following conjecture:

Conjecture 2.

The Feynman amplitudes at the three level of the Gerasimov–Shatashvili Lagrangian are by related ${lim}_{p\to 1}{A}_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)$.

A precise formulation of this conjecture is given at the end of Section 6.

This survey is organized as follows. In Section 2, we review briefly basic aspects of string amplitudes. Section 3 aims to provide an introduction to p-adic analysis. Section 4 is dedicated to the p-adic Koba–Nielsen amplitudes. We compute explicitly the amplitudes for 4 and 5 points. At the end of the section we provide an outline of the proof that the p-adic Koba–Nielsen amplitudes admit meromorphic continuations as rational functions in $p^{-{\mathit{k}}_i{\mathit{k}}_j}$. The Koba–Nielsen amplitudes can be defined over any local field (i.e., $\mathbb{R}$, $\mathbb{C}$, ${\mathbb{Q}}_p$, $\mathbb{F}p\left(\right(T\left)\right)$, etc.). Section 5 is dedicated to amplitudes defined on local fields such as ${\mathbb{Q}}_p$, $\mathbb{F}p\left(\right(T\left)\right)$. A central idea is that the limit p tends to one of the p-adic Koba–Nielsen amplitudes gives a new amplitude, the Denef–Loeser amplitude. We compute the Denef–Loeser amplitudes for 4 and 5 points. Section 6 deals with the physical interpretation of the limit $p\to 1$ of p-adic string amplitudes. In this section we show, in the case of 4 and 5 particles, that the Feynman integrals at the tree level of the Gerasimov–Shatashvili Lagrangian are related Denef–Loeser amplitudes. We also give a precise formulation of Conjecture 2. Section 7 deals with the N-point p-adic string amplitudes, with Chan–Paton rules and a constant B-field. We emphasize the explicit calculations of these amplitudes in the cases $N=4$, 5. In Section 8, we briefly review some basic definitions and some central results about analytic manifolds on local fields of characteristic zero, Hironaka’s resolution of singularities theorem and multivariate Igusa zeta functions. In Section 10, we give an outline of the proof of the fact that Koba–Nielsen amplitudes defined on local fields of characteristic zero admit meromorphic continuations in ${\mathit{k}}_i{\mathit{k}}_j\in \mathbb{C}$. In the cases $N=4$, 5, we show explicitly the existence of a meromorphic continuations for amplitudes by outlining the construction of certain embedded resolution of singularities.

2. Generalities of String Amplitudes

String theory is the theory of tiny one-dimensional extended objects propagating in an underlying Riemannian or pseudo-Riemannian spacetime manifold M. The theory is defined as a theory for a dynamical embedding map $X:{\Sigma }_{g,b,N}\to M$, where ${\Sigma }_{g,b,N}$ is a compact and oriented Riemann surface with a possible nonempty boundary ($\partial \Sigma \ne 0$) characterized by the genus g, their number of boundaries b and N marked points. ${\Sigma }_{g,b,N}$ has local coordinates $\sigma =({\sigma }^0,{\sigma }^1)$ (${\sigma }^a$ with $a=0,1$). Under a Wick rotation ${\sigma }^1\to {\sigma }^1$ and ${\sigma }^2=i{\sigma }^0$, the metric written in terms of coordinates $({\sigma }^1,{\sigma }^2)$ becomes a metric with Euclidean signature. In addition to X there is a non-dynamical filed $h_{ab}$ on ${\Sigma }_{g,N}$, which is the intrinsic metric. The string may oscillate in the target space M and it has an infinite number of quantum modes of oscillation carrying a representation of the Poincaré group of the target space ( In the present review will be enough to consider M to be the flat Minkowskian spacetime) and characterized by a mass and a spin. In the bosonic string the spectrum consists of a tachyonic mode with negative square mass. There are a finite number of massless modes described by massless fields on M. These modes are the target space metric $g_{\mu \nu }$ with Lorentzian signature $(-,+,\cdots ,+)$, the antisymmetric field $B_{\mu \nu }$, and the dilaton field $\Phi$, where $\mu ,\nu =0,\cdots ,D-1$. M is the target space which is a Riemannian manifold of 26 dimensions in the case of the bosonic string and 10 dimensions for the superstring [53,54,55]. The Euclidean worldsheet action for the bosonic open string is given by

$$I=S+S^{\prime },$$

(4)

where

$$\begin{array}{cc}\hfill S=& \frac{T}{2}{\int }_{\Sigma }{d}^2\sigma \sqrt{h}\left(h^{ab}{\partial }_a{X}^{\mu }{\partial }_b{X}^{\nu }{g}_{\mu \nu }\left(X\right)-2\pi i{\alpha }^{\prime }{B}_{\mu \nu }{ϵ}^{ab}{\partial }_a{X}^{\mu }{\partial }_b{X}_{\nu }\right)\hfill \\ \hfill =& \frac{T}{2}{\int }_{\Sigma }{d}^2\sigma \sqrt{h}{h}^{ab}{\partial }_a{X}^{\mu }{\partial }_b{X}^{\nu }{g}_{\mu \nu }\left(X\right)-\frac{i}{2}{\int }_{\partial \Sigma }dl{B}_{\mu \nu }{X}^{\mu }{\partial }_t{X}^{\nu },\hfill \end{array}$$

(5)

where $T=\frac{1}{2\pi {\alpha }^{\prime }}$ is the string tension, here ${\alpha }^{\prime }={\ell }_s^2$ and ${\ell }_s$ stands for the string length. In the above action the physical degrees of freedom are $X^{\mu }$ and $h_{ab}$, ${\partial }_t$ is the tangential derivative along $\partial \Sigma$ and $B_{\mu \nu }$ is an antisymmetric field. Moreover, the action $S^{\prime }$ is given by

$$S^{\prime }={\Phi }_0\chi (\Sigma ),$$

where $\chi (\Sigma )=\frac{1}{4\pi }\int d^2\sigma \sqrt{h}R+BT$ is the Euler characteristic of $\Sigma$ and $BT$ is the Gibbons-Hawking boundary term that we encode in $\chi (\Sigma )$ with the number of boundaries b. Notice that the vacuum expectation value of the dilaton ${\Phi }_0$ can also be incorporated in the action through this topological term. It is also worth noting that this is the most general action that has worldsheet reparametrization invariance, in particular Weyl invariance ($h_{ab}\to \Lambda \left(\sigma \right)h_{ab}$), and is renormalizable by power counting (this implies that there must be two worldsheet derivatives in each term). The second term is analogous to placing an electromagnetic field in the background with which the string interacts; it is a gauge field in that sense. Mathematically it is the integration of the pullback of the B-field to the string worldsheet. If we define $A_{\mu }:=B_{\mu \nu }{X}^{\nu }$, the second term of the second line in (5) may be written as

$$\frac{i}{2}{\int }_{\partial \Sigma }{A}_{\mu }{\partial }_t{X}^{\mu },$$

(6)

which is exactly the term considered in [56] where the partition function of the action was obtained explicitly at tree level. Strings propagating in non-trivial backgrounds have been considered in other works [57].

We now consider flat space as well as a constant B-field. The open string action (5) determines the Neumann boundary conditions

$$g_{\mu \nu }{\partial }_{\sigma }{X}^{\nu }+2\pi i{\alpha }^{\prime }{B}_{\mu \nu }{\partial }_t{X}^{\nu }{|}_{\partial \Sigma }=0,$$

where ${\partial }_{\sigma }$ is the normal derivative to $\partial \Sigma$. We should note that these conditions are in general complex, because we have taken a Wick rotation to a Euclidean signature. We will be concerned about the case when the string worldsheet $\Sigma$ is a disk, which corresponds to the open string in the classical limit. It is known that the disk can be transformed into the upper half plane via a conformal transformation, whose boundary is the real line. In these variables the Neumann boundary conditions are [58]

$$g_{\mu \nu }(\partial -\overline{\partial })X^{\nu }+2\pi {\alpha }^{\prime }{B}_{\mu \nu }(\partial +\overline{\partial })X^{\nu }{|}_{z=\overline{z}}=0,$$

where $\partial =\partial /\partial z$ and $\overline{\partial }=\partial /\partial \overline{z}$, with Im $z\ge 0$.

The perturbative scattering amplitudes of N particles are defined as the correlation function of N vertex operators ${\mathcal{V}}_{{\Lambda }_i}\left({\mathit{k}}_i\right)$. Furthermore, these amplitudes admit an expansion over the genus g of $\chi (\Sigma )=2-2g-b$ as follows:

$$\mathcal{A}({\Lambda }_1,{\mathit{k}}_1,\cdots ,{\Lambda }_N,{\mathit{k}}_N)=\sum _{g=0}^{\infty }{\lambda }_s^{2g-2+b}{A}_g({\Lambda }_1,{\mathit{k}}_1,\cdots ,{\Lambda }_N,{\mathit{k}}_N),$$

where ${\lambda }_s:=e^{{\Phi }_0}$ is the coupling constant of string and $A_g$ is the Feynman functional integral

$$A_g({\Lambda }_1,{\mathit{k}}_1,\cdots ,{\Lambda }_N,{\mathit{k}}_N)=\frac{1}{\mathrm{Vol}}{\int }_{{\mathfrak{M}}_{g,b,N}}DXDhexp(-S)\prod _{i=1}^N{\mathcal{V}}_{{\Lambda }_i}\left({\mathit{k}}_i\right),$$

here $\mathrm{Vol}$ stands for the volume of the symmetry groups leaving invariant the action (4). Here the integration is carried out over ${\mathfrak{M}}_{g,b,N}$ the moduli space of Riemann surfaces of genus g, b boundaries and N marked points inserted on the boundary. The difficulty of integration increases with higher values of g, b and N. Fortunately it can be carried out in an explicit form for a few simple cases with lower values of g, b and N. Thus, for instance, the case for closed strings with genus $g=0$ and $N=4$, or open strings with $g=0$, $b=1$ and $N=4$, are explicitly performed. Vertex operators ${\mathcal{V}}_{{\Lambda }_i}\left({\mathit{k}}_i\right)$ are functionals of the embedding fields X and their derivatives. They are given by

$${\mathcal{V}}_{\Lambda }\left(\mathit{k}\right)=\int d^2\sigma \sqrt{h}{W}_{\Lambda }\left(\sigma \right)e^{i\mathit{k}X\left(\sigma \right)},$$

where $W_{\Lambda }\left(\sigma \right)$ represents a functional of X and its derivatives associated with the species of field in the string spectrum, $X\left(\sigma \right)=(X^0,\cdots ,X^{25})$, $\mathit{k}=(k^0,\cdots ,k^{25})$ are the position and momentum vectors in target space M and

$$\mathit{k}X\left(\sigma \right):=\sum _{\mu ,\nu =0}^{25}{k}^{\mu }{\eta }_{\mu \nu }{X}^{\nu }\left(\sigma \right)$$

is the Minkowskian inner product. For instance for tachyons $\Lambda =t,$ $W_t\left(\sigma \right)=1$. For gauge fields $\Lambda =A$ and $W_A\left(\sigma \right)={\epsilon }_{\mu }{\partial }_t{X}^{\mu }$, where ${\epsilon }_{\mu }$ is the polarization vector. The graviton is $W_G\left(\sigma \right)={\epsilon }_{\mu \nu }{h}^{ab}{\partial }_a{X}^{\mu }{\partial }_b{X}^{\nu }$, where ${\epsilon }_{\mu \nu }$ is the polarization tensor. For bosonic closed strings, the tachyon is the lowest state and it has a ${\mathit{k}}^2=\frac{4}{{\alpha }^{\prime }}$, where ${\mathit{k}}^2:=\mathit{k}\mathit{k}$ is the Minkowskian norm. The open string tachyon has ${\mathit{k}}^2=\frac{1}{{\alpha }^{\prime }}$. In units where the Regge slope ${\alpha }^{\prime }=\frac{1}{2}$ or where the string tension $T=\frac{1}{\pi }$ we have that for the closed string tachyon ${\mathit{k}}^2=8$ and for the open string ${\mathit{k}}^2=2$, which will be used in the following sections of the present survey. The massless open string gauge field and the closed string graviton have ${\mathit{k}}^2=0$.

For open strings one can see that in the functional integral with action (5) the expansion in Taylor’s series of exponential of the second term of (5), leads to a superposition of amplitudes with different powers of the vertex operator of the gauge field (6) inserted in the boundary $\partial \Sigma$.

From now on, we restrict ourselves to the case of bosonic closed strings with $g=0$ and bosonic open strings with $g=0$ and $b=1$, i.e., the 2-sphere and the disk. For closed strings, by worldsheet diffeomorphisms and Weyl transformations of $\Sigma$, allow us to fix the worldsheet metric $h_{ab}$ to the Euclidean flat metric ${\delta }_{ab}$. This is the called the conformal gauge. In the absence of a B-field, there is a remnant $SL(2,\mathbb{C})$ symmetry which cannot be fixed by the local Weyl symmetry. This is called the conformal Killing symmetry. This symmetry does act on the complex worldsheet coordinates $(z,\overline{z})$ of the 2-sphere separately. In the holomorphic sector (for the anti-holomorphic sector a similar argument is applied)

$$z\mapsto \frac{az+b}{cz+d},$$

where $ad-bc=1$ and $a,b,c,d\in \mathbb{R}$. This symmetry allows the choice of three points on the sphere which could be at 0, 1 and ∞. For open strings the remnant symmetry preserves the boundary is $SL(2,\mathbb{R})$. In the open string case the vertex operators are inserted on the boundary of the disk and this symmetry can be used to fix three points on the boundary that also may be 0, 1 and ∞. As with the case of closed strings, for open strings the presence of a B-field spoils the $SL(2,\mathbb{R})$ symmetry avoiding the possibility to fix three points of the positions of the vertex operators on the boundary $\partial \Sigma$.

The two-point function with these boundary conditions is given by

$$\begin{array}{cc}\hfill \langle X^{\mu }\left(z\right)X^{\nu }\left(z^{\prime }\right)\rangle & =-{\alpha }^{\prime }[g^{\mu \nu }log|z-z^{\prime }|-g^{\mu \nu }log|z-{\overline{z}}^{\prime }|\hfill \\ \hfill & +G^{\mu \nu }log{|z-{\overline{z}}^{\prime }|}^2+\frac{1}{2\pi {\alpha }^{\prime }}{\theta }^{\mu \nu }log\frac{z-{\overline{z}}^{\prime }}{\overline{z}-z^{\prime }}+D^{\mu \nu }]\hfill \end{array}$$

(7)

with

$$\begin{array}{cc}\hfill G^{\mu \nu }& ={\left(\frac{1}{g+2\pi {\alpha }^{\prime }B}g\frac{1}{g-2\pi {\alpha }^{\prime }B}\right)}^{\mu \nu },\hfill \\ \hfill {\theta }^{\mu \nu }& =-{\left(2\pi {\alpha }^{\prime }\right)}^2{\left(\frac{1}{g+2\pi {\alpha }^{\prime }B}B\frac{1}{g-2\pi {\alpha }^{\prime }B}\right)}^{\mu \nu },\hfill \end{array}$$

(8)

and where $D^{\mu \nu }$ are quantities independent on z. Basically, what we want are the N-tachyon scattering amplitudes at tree level for the action (5). This is done by inserting the following N tachyon vertex operators $\mathcal{V}(\mathit{k},z)=e^{i\mathit{k}X\left(z\right)}$ at different points of the boundary of the open string worldsheet $\partial \Sigma$ and obtaining the correlation functions of these operators.

To obtain it we must realize that the correlators in the path integral formalism can be computed as Gaussian integrals [54]. Consider the following integral

$$\int DXexp\left(\int d^{2}z(X\Delta X+iJX)\right)\sim exp\left(\frac{1}{2}\int d^{2}z{d}^2{z}^{\prime }J\left(z\right)\mathit{K}(z,z^{\prime })J\left(z^{\prime }\right)\right),$$

(9)

where $\Delta$ is a differential operator. The symbol ∼ has been used to indicate that there are some proportional factors not relevant to the analysis. Here $\mathit{K}$ is the inverse operator, or Green’s function, that satisfies

$$\Delta \mathit{K}(z,z^{\prime })=\delta (z-z^{\prime }).$$

We can see that we can use this result to obtain the scattering amplitudes by choosing the appropriate source $J\left(z\right)$.

$$\begin{array}{c}\langle \mathcal{V}({\mathit{k}}_1,z_1)\mathcal{V}({\mathit{k}}_2,z_2)\cdots \mathcal{V}({\mathit{k}}_N,z_N)\rangle \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hfill \\ \hfill \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\sim \int DXexp\left\{-S+i\left({\mathit{k}}_1{X}_1\left(\sigma \right)+\cdots +{\mathit{k}}_N{X}_N\left(\sigma \right)\right)\right\}.\end{array}$$

Since we are interested in the vertex operators inserted at the boundary, we should restrict the propagator to it. By taking $z=\tau$ and $z^{\prime }={\tau }^{\prime }$ for real $\tau ,{\tau }^{\prime }$ in (7) we get

$$\langle X^{\mu }\left(\tau \right)X^{\nu }\left({\tau }^{\prime }\right)\rangle =-{\alpha }^{\prime }{G}^{\mu \nu }log\left|\tau -{\tau }^{\prime }\right|+\frac{i}{2}{\theta }^{\mu \nu }\mathit{sgn}(\tau -{\tau }^{\prime }),$$

(10)

where $sgn$ is the sign function. Now we can see that it suffices to choose the current as

$$J\left(\tau \right)=\sum _l\delta (\tau -{\tau }_l){\mathit{k}}_l$$

in (9). From this we can obtain the scattering amplitudes by finally integrating the expected values of the vertex operators over the entire boundary of the worldsheet, which now is just integrating over the real variable $\tau$. The result is

$$\begin{array}{cc}\hfill \int d^N\tau \langle \mathcal{V}({\mathit{k}}_1,{\tau }_1)\mathcal{V}({\mathit{k}}_2,{\tau }_2)\cdots \mathcal{V}({\mathit{k}}_N,{\tau }_N)\rangle \sim \int d^N\tau & exp\left(\frac{-i}{2}\sum _{l>m}{\mathit{k}}^l\theta {\mathit{k}}^m\mathit{sgn}({\tau }_l-{\tau }_m)\right)\hfill \\ \hfill \times & exp\left({\alpha }^{\prime }\sum _{l,m}{\mathit{k}}^{l}G{\mathit{k}}^{m}log\left|{\tau }_l-{\tau }_m\right|\right)\hfill \\ \hfill =\int d^N\tau exp\left(\frac{-i}{2}\sum _{l>m}{\mathit{k}}^l\theta {\mathit{k}}^m\mathrm{sgn}({\tau }_l-{\tau }_m)\right)& \prod _{l,m}{|{\tau }_l-{\tau }_m|}^{{\alpha }^{\prime }{\mathit{k}}^{l}G{\mathit{k}}^m},\hfill \end{array}$$

(11)

where ${\mathit{k}}^l\theta {\mathit{k}}^m:={\mathit{k}}_{\mu }^l{\theta }^{\mu \nu }{\mathit{k}}_{\nu }^m$ and ${\mathit{k}}^{l}G{\mathit{k}}^m:={\mathit{k}}_{\mu }^l{G}^{\mu \nu }{\mathit{k}}_{\nu }^m$. These amplitudes are of the Koba–Nielsen type. The factor involving the sign function in the last line is actually more general, because it only depends on the variables through the sign functions, and any derivatives of it are 0. This allows us to write

$$\begin{array}{cc}& {〈\prod _{l=1}^N{P}_l(\partial X\left({\tau }_l\right),{\partial }^{2}X\left({\tau }_l\right)\cdots )e^{i{\mathit{k}}_{l}X\left({\tau }_l\right)}〉}_{G,\theta }\hfill \\ & =e^{\frac{i}{2}{\sum }_{l>m}{k}_{\mu }^l{\theta }^{\mu \nu }{k}_{\nu }^m\mathit{sgn}({\tau }_l-{\tau }_m)}{〈\prod _{l=1}^N{P}_l(\partial X\left({\tau }_l\right),{\partial }^{2}X\left({\tau }_l\right)\cdots )e^{i{\mathit{k}}_{l}X\left({\tau }_l\right)}〉}_{G,\theta =0}.\hfill \end{array}$$

The symbol ${\langle \cdots \rangle }_{G,\theta }=0$ means that the expectation value taken on the second line is using the propagator (10) without the second term. This is achieved by writing the polynomial as an exponential and keeping only the corresponding linear terms. For example [48]:

$$\mathcal{V}(\zeta ,k,z)=i{\zeta }^{\mu }\partial X^{\mu }{e}^{ikX\left(z\right)}={\left[exp\left(ikX+i{\zeta }^{\mu }\partial X^{\mu }\right)\right]}_{\mathrm{linear}},$$

where ${[\cdots ]}_{\mathrm{linear}}$ indicates to only keep linear terms in $\zeta$. So, we can see two direct effects of the B-field on the action (5). The first is that the effective metric on spacetime becomes $G_{\mu \nu }$ given in (8). The second is that at tree level (Remember, this came from the fact that we are in the full upper half plane with the simplest zero genus topology) the scattering amplitudes acquire a phase factor that depends on the cyclic ordering of the momenta $k^{\mu }$ and the matrix $\theta$. But the overall form of the amplitudes is the same as without the B-field.

In the case of open strings for N points with vanishing B-field and with flat metric $G_{\mu \nu }={\eta }_{\mu \nu }$ and units with ${\alpha }^{\prime }=1$ and for a fixed ordering of the external momenta ${\mathit{k}}_i$, from (11) we obtain the Koba–Nielsen amplitude, with the three fixed points in $x_1=0$, $x_{N-1}=1$ and $x_N=\infty$,

$$\begin{array}{c}{\tilde{A}}_{\mathbb{R}}^{\left(N\right)}\left(\mathit{k}\right)={\displaystyle \underset{0<x_2<x_3<\cdots <x_{N-2}<1}{\int }}d{x}_{2}d{x}_3\cdots d{x}_{N-2}\prod _{j=2}^{N-2}|x_j{|}^{{\mathit{k}}_1{\mathit{k}}_j}{|1-x_j|}^{{\mathit{k}}_{N-1}{\mathit{k}}_j}\hfill \\ \hfill \times \prod _{2\le i<j\le N-2}{|x_i-x_j|}^{{\mathit{k}}_i{\mathit{k}}_j},\end{array}$$

where we have changed the variables $\tau$ to x’s variables in (11), In [48,53,54,55].

The four-point amplitude is Veneziano’s amplitude

$${\tilde{A}}_{\mathbb{R}}^{\left(4\right)}\left(\mathit{k}\right)={\int }_0^1{dx|x|}^{{\mathit{k}}_1{\mathit{k}}_2}{|1-x|}^{{\mathit{k}}_2{\mathit{k}}_3}.$$

(12)

It is known that this definition of Veneziano’s amplitude describes only one of the three decay channels s, t and u corresponding to the different inequivalent permutations of the momenta. If we consider the sum over the three channels and performing a suitable change of variables [59] is possible to write the total amplitude as

$$A_{\mathbb{R}}^{\left(4\right)}\left(\mathit{k}\right)={\int }_{\mathbb{R}}{dx|x|}^{{\mathit{k}}_1{\mathit{k}}_2}{|1-x|}^{{\mathit{k}}_2{\mathit{k}}_3}.$$

In terms of the gamma function the above amplitude writes

$$\begin{array}{c}{A}_{\mathbb{R}}^{\left(4\right)}\left(\mathit{k}\right)=\frac{\Gamma (-1-{\alpha }^{\prime }s)\Gamma (-1-{\alpha }^{\prime }t)}{\Gamma (-2-{\alpha }^{\prime }(s+t))}+\frac{\Gamma (-1-{\alpha }^{\prime }s)\Gamma (-1-{\alpha }^{\prime }u)}{\Gamma (-2-{\alpha }^{\prime }(s+u))}\hfill \\ \hfill +\frac{\Gamma (-1-{\alpha }^{\prime }t)\Gamma (-1-{\alpha }^{\prime }u)}{\Gamma (-2-{\alpha }^{\prime }(t+u))}\end{array}$$

where s, t and u are the Mandelstam variables and they are defined as $s:=-{(p_1+p_2)}^2$, $t:=-{(p_1+p_3)}^2$ and $u:=-{(p_1+p_4)}^2$ and they satisfy $s+t+u=-{\sum }_i{\mathit{k}}_i^2={\sum }_i{M}_i^2$, and

$$\Gamma \left(u\right)={\int }_0^{\infty }dt{t}^{u-1}{e}^{-t}$$

is the gamma function. Thus, the 4-point amplitudes whose integration is $\mathbb{R}$ it already includes the three channels.

Moreover, this procedure also works for N point amplitudes [4,48] and it yields

$$\begin{array}{c}{A}_{\mathbb{R}}^{\left(N\right)}\left(\mathit{k}\right)={\int }_{{\mathbb{R}}^{N-3}}d{x}_{2}d{x}_3\cdots d{x}_{N-2}\prod _{j=2}^{N-2}|x_j{|}^{{\mathit{k}}_1{\mathit{k}}_j}{|1-x_j|}^{{\mathit{k}}_{N-1}{\mathit{k}}_j}\hfill \\ \hfill \times \prod _{2\le i<j\le N-2}{|x_i-x_j|}^{{\mathit{k}}_i{\mathit{k}}_j}.\end{array}$$

For completeness we write the form of closed strings in absence of B-field the N-point amplitude is given by

$$A_{\mathbb{C}}^{\left(N\right)}\left(\mathit{k}\right)={\int }_{{\mathbb{C}}^{N-2}}\prod d^2{z}_i\prod _{i<j}{|z_i-z_j|}^{{\mathit{k}}_i{\mathit{k}}_j/2}.$$

The four-point amplitude is the Virasoro–Shapiro amplitude

$$\begin{array}{cc}\hfill A_{\mathbb{C}}^{\left(4\right)}\left(\mathit{k}\right)& ={\int }_{{\mathbb{C}}^2}{d}^2{z|z|}^{{\mathit{k}}_1{\mathit{k}}_4/2}{|1-z|}^{{\mathit{k}}_2{\mathit{k}}_4/2}\hfill \\ \hfill & =\frac{\Gamma (-1-\frac{{\alpha }^{\prime }s}{4})\Gamma (-1-\frac{{\alpha }^{\prime }t}{4})\Gamma (-1-\frac{{\alpha }^{\prime }u}{4})}{\Gamma (2+\frac{{\alpha }^{\prime }s}{4})\Gamma (2+\frac{{\alpha }^{\prime }t}{4})\Gamma (2+\frac{{\alpha }^{\prime }u}{4})}.\hfill \end{array}$$

It is worth noting that the Veneziano four-point amplitude (12), describing only one channel, can be written also as an integral over the whole $\mathbb{R}$ if we introduce some multiplicative characters as $sgn\left(x\right)$:

$${\tilde{A}}_{\mathbb{R}}^{\left(4\right)}\left(\mathit{k}\right)=\frac{1}{2}{\int }_{\mathbb{R}}{dx|x|}^{{\mathit{k}}_1{\mathit{k}}_2}{|1-x|}^{{\mathit{k}}_2{\mathit{k}}_3}+\frac{1}{2}{\int }_{\mathbb{R}}{dx|x|}^{{\mathit{k}}_1{\mathit{k}}_2}{|1-x|}^{{\mathit{k}}_2{\mathit{k}}_3}\mathrm{sgn}\left(x\right)\mathrm{sgn}(1-x),$$

where the function sign$\left(x\right)$ is $+1$ of $x>0$ and is $-1$ if $x<0$ [14].

The generalization for N-point amplitudes is given by

$${\tilde{A}}_{\mathbb{R}}^{\left(4\right)}\left(\mathit{k}\right)={\int }_{{\mathbb{R}}^{N-3}}d{x}_{2}d{x}_3\cdots d{x}_{N-2}\prod _{j=2}^{N-2}|x_j{|}^{{\mathit{k}}_1{\mathit{k}}_j}{|1-x_j|}^{{\mathit{k}}_{N-1}{\mathit{k}}_j}\left\{\frac{1-\mathrm{sgn}\left[-x_j(1-x_j)\right]}{2}\right\}$$

$$\times \prod _{2\le i<j\le N-2}{|x_i-x_j|}^{{\mathit{k}}_i{\mathit{k}}_j}\frac{1}{2}\left\{1-\mathrm{sgn}\left[(-1)(x_i-x_j)\right]\right\},$$

In [14]. The open string amplitude (11) with a non-vanishing B-field can be carried out in this form using the multiplicative character sign$\left(x\right)$. This form is of particular interest in connection to the Ghoshal–Kawano amplitudes [60] studied later in this survey.

3. Essential Ideas of $\mathit{p}$-Adic Analysis

In this section, we review some ideas and results on p-adic analysis that we will use throughout this article. For an in-depth exposition, the reader may consult [3,61,62].

3.1. The Field of p-Adic Numbers

Throughout this article p will denote a prime number. The field of p-adic numbers ${\mathbb{Q}}_p$ is defined as the completion of the field of rational numbers $\mathbb{Q}$ with respect to the p-adic norm ${|·|}_p$, which is defined as

$${\left|x\right|}_p=\left\{\begin{array}{ccc}0\hfill & \mathrm{if}\hfill & x=0\hfill \\ & & \\ p^{-\gamma }\hfill & \mathrm{if}\hfill & x=p^{\gamma }\frac{a}{b},\hfill \end{array}\right.$$

where a and b are integers coprime with p. The integer $\gamma :=ord\left(x\right)$, with $ord\left(0\right):=+\infty$, is called the p-adic order of x. We extend the p-adic norm to ${\mathbb{Q}}_p^n$ by taking

$${||\mathit{x}||}_p:=\underset{1\le i\le n}{max}{|x_i|}_p,\mathrm{for}\mathit{x}=(x_1,\cdots ,x_n)\in {\mathbb{Q}}_p^n.$$

We define $ord\left(\mathit{x}\right)={min}_{1\le i\le n}\left\{ord\left(x_i\right)\right\}$, then ${||\mathit{x}||}_p=p^{-ord\left(\mathit{x}\right)}$. The metric space $\left({\mathbb{Q}}_p^n,||·{||}_p\right)$ is a complete ultrametric space. As a topological space ${\mathbb{Q}}_p$ is homeomorphic to a Cantor-like subset of the real line, see e.g., [3,61].

Any p-adic number $x\ne 0$ has a unique expansion of the form

$$x=p^{ord\left(x\right)}\sum _{i=0}^{\infty }{x}_i{p}^i,$$

where $x_i\in \{0,1,2,\cdots ,p-1\}$ and $x_0\ne 0$.

For $r\in \mathbb{Z}$, denote by $B_r^n\left(\mathit{a}\right)=\{\mathit{x}\in {\mathbb{Q}}_p^n;||\mathit{x}-{\mathit{a}||}_p\le p^r\}$ the ball of radius $p^r$with center at $\mathit{a}=(a_1,\cdots ,a_n)\in {\mathbb{Q}}_p^n$, and take $B_r^n\left(\mathbf{0}\right):=B_r^n$. Please note that $B_r^n\left(\mathit{a}\right)=B_r\left(a_1\right)\times \cdots \times B_r\left(a_n\right)$, where $B_r\left(a_i\right):=\{x\in {\mathbb{Q}}_p;|x_i-a_i{|}_p\le p^r\}$ is the one-dimensional ball of radius $p^r$ with center at $a_i\in {\mathbb{Q}}_p$. The ball $B_0^n$ equals the product of n copies of $B_0={\mathbb{Z}}_p$, the ring ofp-adic integers. In addition, $B_r^n\left(\mathit{a}\right)=\mathit{a}+{\left(p^{-r}{\mathbb{Z}}_p\right)}^n$. We also denote by $S_r^n\left(\mathit{a}\right)=\{\mathit{x}\in {\mathbb{Q}}_p^n;||\mathit{x}-{\mathit{a}||}_p=p^r\}$ the sphere of radius $p^r$with center at $\mathit{a}\in {\mathbb{Q}}_p^n$, and take $S_r^n\left(\mathbf{0}\right):=S_r^n$. We notice that $S_0^1={\mathbb{Z}}_p^{\times }$ (the group of units of ${\mathbb{Z}}_p$), but ${\left({\mathbb{Z}}_p^{\times }\right)}^n⊊S_0^n$. The balls and spheres are both open and closed subsets in ${\mathbb{Q}}_p^n$. In addition, two balls in ${\mathbb{Q}}_p^n$ are either disjoint or one is contained in the other.

As a topological space $\left({\mathbb{Q}}_p^n,||·{||}_p\right)$ is totally disconnected, i.e., the only connected subsets of ${\mathbb{Q}}_p^n$ are the empty set and the points. A subset of ${\mathbb{Q}}_p^n$ is compact if and only if it is closed and bounded in ${\mathbb{Q}}_p^n$, see e.g., ([3], Section 1.3), or ([61], Section 1.8). The balls and spheres are compact subsets. Thus, $\left({\mathbb{Q}}_p^n,||·{||}_p\right)$ is a locally compact topological space.

Remark 1.

There is a natural map, called the reduction $modp$ and denoted as $\overline{·}$, from ${\mathbb{Z}}_p$ onto ${\mathbb{F}}_p$, the finite field with p elements. More precisely, if $x={\sum }_{j=0}^{\infty }{x}_j{p}^j\in {\mathbb{Z}}_p$, then $\overline{x}=x_0\in {\mathbb{F}}_p=\left\{0,1,\dots ,p-1\right\}$. If $\mathit{a}=(a_1,\cdots ,a_n)\in {\mathbb{Z}}_p^n$, then $\overline{\mathit{a}}=({\overline{a}}_1,\cdots ,{\overline{a}}_n)$.

3.2. Integration on ${\mathbb{Q}}_p^n$

Since $({\mathbb{Q}}_p,+)$ is a locally compact topological group, there exists a Borel measure $dx$, called the Haar measure of $({\mathbb{Q}}_p,+)$, unique up to multiplication by a positive constant, such that ${\int }_{U}dx>0$ for every nonempty Borel open set $U\subset {\mathbb{Q}}_p$, and satisfying ${\int }_{E+z}dx={\int }_{E}dx$ for every Borel set $E\subset {\mathbb{Q}}_p$, see e.g., ([63], Chapter XI). If we normalize this measure by the condition ${\int }_{{\mathbb{Z}}_p}dx=1$, then $dx$ is unique. From now on we denote by $dx$ the normalized Haar measure of $({\mathbb{Q}}_p,+)$ and by $d^n\mathit{x}$ the product measure on $({\mathbb{Q}}_p^n,+)$.

A function $\phi :$${\mathbb{Q}}_p^n\to \mathbb{C}$ is said to be locally constant if for every $\mathit{x}\in {\mathbb{Q}}_p^n$ there exists an open compact subset U, $\mathit{x}\in U$, such that $\phi \left(\mathit{x}\right)=\phi \left(\mathit{u}\right)$ for all $\mathit{u}\in U$. Any locally constant function $\phi :$${\mathbb{Q}}_p^n\to \mathbb{C}$ can be expressed as a linear combination of characteristic functions of the form $\phi \left(\mathit{x}\right)={\sum }_{k=1}^{\infty }{c}_k{1}_{U_k}\left(\mathit{x}\right)$, where $c_k\in \mathbb{C}$ and $1_{U_k}\left(\mathit{x}\right)$ is the characteristic function of $U_k$, an open compact subset of ${\mathbb{Q}}_p^n$, for every k. If $\phi$ has compact support, then $\phi \left(\mathit{x}\right)={\sum }_{k=1}^L{c}_k{1}_{U_k}\left(\mathit{x}\right)$ and in this case

$${\displaystyle \underset{{\mathbb{Q}}_p^n}{\int }}\phi \left(\mathit{x}\right)d^n\mathit{x}=c_1{\displaystyle \underset{U_1}{\int }}{d}^n\mathit{x}+\dots +c_L{\displaystyle \underset{U_L}{\int }}{d}^n\mathit{x}.$$

A locally constant function with compact support is called a Bruhat-Schwartz function. These functions form a $\mathbb{C}$-vector space denoted as $\mathcal{D}\left({\mathbb{Q}}_p^n\right)$. By using the fact that $\mathcal{D}\left({\mathbb{Q}}_p^n\right)$ is a dense subspace of $C_c\left({\mathbb{Q}}_p^n\right)$, the $\mathbb{C}$-space of continuous functions on ${\mathbb{Q}}_p^n$ with compact support, with the topology of the uniform convergence, the functional $\phi \to {\int }_{{\mathbb{Q}}_p^n}\phi \left(\mathit{x}\right)d^n\mathit{x}$, $\phi \in \mathcal{D}\left({\mathbb{Q}}_p^n\right)$ has a unique continuous extension to $C_c\left({\mathbb{Q}}_p^n\right)$, as an unbounded linear functional. For integrating more general functions, say locally integrable functions, the following notion of improper integral will be used.

Definition 1.

A function $\phi \in L_{loc}^1$ is said to be integrable in ${\mathbb{Q}}_p^n$ if

$$\underset{m\to +\infty }{lim}{\displaystyle \underset{B_m^n}{\int }}\phi \left(\mathit{x}\right)d^n\mathit{x}=\underset{m\to +\infty }{lim}{\displaystyle \sum _{j=-\infty }^m}{\displaystyle \underset{S_j^n}{\int }}\phi \left(\mathit{x}\right)d^n\mathit{x}$$

exists. If the limit exists, it is denoted as ${\int }_{{\mathbb{Q}}_p^n}\phi \left(\mathit{x}\right)d^n\mathit{x}$, and we say that the (improper) integral exists.

3.3. Analytic Change of Variables

A function $h:U\to {\mathbb{Q}}_p$ is said to be analytic on an open subset $U\subset {\mathbb{Q}}_p^n$, if for every $\mathit{b}\in U$ there exists an open subset $\tilde{U}\subset U$, with $\mathit{b}\in \tilde{U}$, and a convergent power series ${\sum }_i{a}_i{\left(\mathit{x}-\mathit{b}\right)}^i$ for $\mathit{x}\in \tilde{U}$, such that $h\left(\mathit{x}\right)={\sum }_{i\in {\mathbb{N}}^n}{a}_i{\left(\mathit{x}-\mathit{b}\right)}^i$ for $\mathit{x}\in \tilde{U}$, with ${\mathit{x}}^i=x_1^{i_1}\cdots x_n^{i_n}$, $\mathit{i}=\left(i_1,\dots ,i_n\right)$. In this case, $\frac{\partial }{\partial x_l}h\left(\mathit{x}\right)={\sum }_{i\in {\mathbb{N}}^n}{a}_i\frac{\partial }{\partial x_l}{\left(\mathit{x}-\mathit{b}\right)}^i$ is a convergent power series. Let U, V be open subsets of ${\mathbb{Q}}_p^n$. A mapping $\mathit{h}:U\to V$, $\mathit{h}=\left(h_1,\dots ,h_n\right)$ is called analytic if each $h_i$ is analytic.

Let $\phi :V$$\to \mathbb{C}$ be a continuous function with compact support, and let $\mathit{h}:U\to V$ be an analytic mapping. Then

$$\underset{V}{\int }\phi \left(\mathit{y}\right)d^n\mathit{y}=\underset{U}{\int }\phi \left(\mathit{h}\left(\mathit{x}\right)\right){\left|Jac\left(\mathit{h}\right(\mathit{x}\left)\right)\right|}_p{d}^n\mathit{x},$$

(13)

where $Jac\left(\mathit{h}\left(\mathit{z}\right)\right):=det{\left[\frac{\partial h_i}{\partial x_j}\left(\mathit{z}\right)\right]}_{\begin{array}{c}1\le i\le n\\ 1\le j\le n\end{array}}$, see e.g., ([64], Section 10.1.2).

Example 1.

In dimension one, the change of variables Formula (13) implies that

$$\underset{aU}{\int }dx={|a|}_p\underset{U}{\int }dy,$$

for any $a\in {\mathbb{Q}}_p^{\times }$ and any Borel set $U\subseteq {\mathbb{Q}}_p$. For example,

$$\underset{B_r}{\int }dx=\underset{p^{-r}{\mathbb{Z}}_p}{\int }dx={|p^{-r}|}_p\underset{{\mathbb{Z}}_p}{\int }dy=p^r\underset{{\mathbb{Z}}_p}{\int }dy=p^r,\left(x=p^{-r}y\right)$$

(14)

and

$$\underset{S_r}{\int }dx=\underset{B_r}{\int }dx-\underset{B_{r-1}}{\int }dx=p^r-p^{r-1}=p^r(1-p^{-1}).$$

(15)

Example 2.

We now compute the following integral

$$Z\left(s\right)=\underset{{\mathbb{Z}}_p}{\int }{|x|}_p^{s}dx,s\in \mathbb{C},\mathrm{with}Re\left(s\right)>0\in \mathbb{C}.$$

We use the partition ${\mathbb{Z}}_p=p{\mathbb{Z}}_p\bigsqcup {\mathbb{Z}}_p^{\times }$, where ${\mathbb{Z}}_p^{\times }$ is the group of units of ${\mathbb{Z}}_p$:

$${\mathbb{Z}}_p^{\times }:=\{x\in {\mathbb{Z}}_p{;|x|}_p=1\}=\left\{\sum _{i=0}^{\infty }{x}_i{p}^i\in {\mathbb{Z}}_p;x_0\ne 0\right\}.$$

Using (15),

$$\begin{array}{cc}\hfill Z\left(s\right)& =\underset{p{\mathbb{Z}}_p}{\int }{|x|}_p^{s}dx+\underset{{\mathbb{Z}}_p^{\times }}{\int }{|x|}_p^{s}dx=p^{-1-s}\underset{{\mathbb{Z}}_p}{\int }{|x|}_p^{s}dx+\underset{{\mathbb{Z}}_p^{\times }}{\int }dx\hfill \\ \hfill & =p^{-1-s}\underset{{\mathbb{Z}}_p}{\int }{|x|}_p^{s}dx+(1-p^{-1})=p^{-1-s}Z\left(s\right)+(1-p^{-1}).\hfill \end{array}$$

Therefore,

$$Z\left(s\right)=\frac{1-p^{-1}}{1-p^{-1-s}}\mathrm{for}Re\left(s\right)>-1.$$

(16)

Example 3.

We now consider the integral

$$Z\left(s\right):=\underset{{\mathbb{Z}}_p^{\times }}{\int }{|1-x|}_p^{s}dx,s\in \mathbb{C},\mathrm{with}Re\left(s\right)>0\in \mathbb{C}.$$

Assuming that ${\mathbb{Z}}_p^{\times }={\bigsqcup }_{a_0\in {\mathbb{F}}_p^{\times }}\left(a_0+p{\mathbb{Z}}_p\right)$, where ${\mathbb{F}}_p^{\times }=\left\{1,2,...,p-1\right\},$ and (16) we have

$$\begin{array}{cc}\hfill Z\left(s\right)={\displaystyle \underset{1+p{\mathbb{Z}}_p}{\int }}{|1-x|}_p^{s}dx+\sum _{a_0=2}^{p-1}{\displaystyle \underset{a_0+p{\mathbb{Z}}_p}{\int }}{|1-x|}_p^{s}dx=& p^{-1-s}{\displaystyle \underset{{\mathbb{Z}}_p}{\int }}{|y|}_p^{s}dy\hfill \\ \hfill +p^{-1}\sum _{a_0=2}^{p-1}{\displaystyle \underset{{\mathbb{Z}}_p}{\int }}{|1-(a_0+py)|}_p^{s}dy& =p^{-1-s}\frac{1-p^{-1}}{1-p^{-1-s}}+p^{-1}(p-2).\hfill \end{array}$$

3.4. Some p-Adic Integrals

In this section, we compute some integrals that we will use later on.

Example 4.

We consider the following integral:

$$Z\left(s\right):={\displaystyle \underset{{\mathbb{Z}}_p\times {\mathbb{Z}}_p}{\int }}{|x-y|}_p^{s}dxdy,s\in \mathbb{C},\mathrm{with}Re\left(s\right)>0\in \mathbb{C}.$$

Using the partition ${\mathbb{Z}}_p^2={\left(p{\mathbb{Z}}_p\right)}^2\bigsqcup S_0^2$, with $S_0^2=p{\mathbb{Z}}_p\times {\mathbb{Z}}_p^{\times }\bigsqcup {\mathbb{Z}}_p^{\times }\times p{\mathbb{Z}}_p\bigsqcup {\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }$, we have

$$\begin{array}{c}Z\left(s\right)={\displaystyle \underset{{\left(p{\mathbb{Z}}_p\right)}^2}{\int }}{|x-y|}_p^{s}dxdy+{\displaystyle \underset{p{\mathbb{Z}}_p\times {\mathbb{Z}}_p^{\times }}{\int }}{|x-y|}_p^{s}dxdy+{\displaystyle \underset{{\mathbb{Z}}_p^{\times }\times p{\mathbb{Z}}_p}{\int }}{|x-y|}_p^{s}dxdy\hfill \\ +{\displaystyle \underset{{\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }}{\int }}{|x-y|}_p^{s}dxdy=p^{-2-s}Z\left(s\right)+p^{-1}{\displaystyle \underset{{\mathbb{Z}}_p\times {\mathbb{Z}}_p^{\times }}{\int }}dxdy+p^{-1}{\displaystyle \underset{{\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p}{\int }}dxdy\\ \hfill +{\displaystyle \underset{{\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }}{\int }}{|x-y|}_p^{s}dxdy.\end{array}$$

To compute the last integral, we use the partition

$${\left({\mathbb{Z}}_p^{\times }\right)}^2=\underset{a_0,a_1\in {\mathbb{F}}_p^{\times }}{⨆}\left(a_0+p{\mathbb{Z}}_p\right)\times \left(a_1+p{\mathbb{Z}}_p\right)$$

as follows:

$$\begin{array}{c}{\displaystyle \underset{{\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }}{\int }}{|x-y|}_p^{s}dxdy=\sum _{{\overline{a}}_0,{\overline{a}}_1\in {\mathbb{F}}_p^{\times }}{\displaystyle \underset{\left(a_0+p{\mathbb{Z}}_p\right)\times \left(a_1+p{\mathbb{Z}}_p\right)}{\int }}{|x-y|}_p^{s}dxdy\\ =p^{-2}\sum _{\begin{array}{c}{a}_0,a_1\in {\mathbb{F}}_p^{\times }\\ a_0\ne a_1\end{array}}{\displaystyle \underset{{\mathbb{Z}}_p\times {\mathbb{Z}}_p}{\int }}|a_0+px-a_1{-py|}_p^{s}dxdy+p^{-2-s}\sum _{\begin{array}{c}{a}_0,a_1\in {\mathbb{F}}_p^{\times }\\ a_0=a_1\end{array}}{\displaystyle \underset{{\mathbb{Z}}_p\times {\mathbb{Z}}_p}{\int }}{|x-y|}_p^{s}dxdy\\ =p^{-2}(p-1)(p-2)+p^{-2-s}\left(p-1\right)Z\left(s\right).\end{array}$$

Hence,

$$Z\left(s\right)=\frac{1-p^{-1}}{1-p^{-1-s}}.$$

(17)

Example 5.

We now show that

$$Z\left(s\right):={\displaystyle \underset{{\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }}{\int }}{|x-y|}_p^{s}dxdy=p^{-2}(p-1)(p-2)+p^{-2-s}\left(p-1\right)\frac{1-p^{-1}}{1-p^{-1-s}}.$$

(18)

Indeed, by changing variables as $x=uv,y=v$,

$$Z\left(s\right)={\displaystyle \underset{{\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }}{\int }}{|u-1|}_p^{s}dudv=\left(1-p^{-1}\right){\displaystyle \underset{{\mathbb{Z}}_p^{\times }}{\int }}{|u-1|}_p^{s}du.$$

Now the result follows from Example 3.

Example 6.

We now compute the following integral

$$Z(s_1,s_2,s_3):=\underset{{\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }}{\int }{|1-x|}_p^{s_1}{|1-y|}_p^{s_2}{|x-y|}_p^{s_3}dxdy,$$

where $s_1,s_2,s_3\in \mathbb{C}$ satisfying $Re\left(s_1\right)$, $Re\left(s_2\right)$, $Re\left(s_3\right)>0$. By using the partition

$${\left({\mathbb{Z}}_p^{\times }\right)}^2={\displaystyle \underset{a_0,a_1\in {\mathbb{F}}_p^{\times }}{⨆}}\left(a_0+p{\mathbb{Z}}_p\right)\times \left(a_1+p{\mathbb{Z}}_p\right),$$

where ${\mathbb{F}}_p^{\times }=\left\{1,2,...,p-1\right\}$,

$$\begin{array}{cc}\hfill Z(s_1,s_2,s_3)& =\sum _{a_0=1}^{p-1}\sum _{a_1=1}^{p-1}{\displaystyle \underset{\left(a_0+p{\mathbb{Z}}_p\right)\times \left(a_1+p{\mathbb{Z}}_p\right)}{\int }}{|1-x|}_p^{s_1}{|1-y|}_p^{s_2}{|x-y|}_p^{s_3}dxdy\hfill \\ \hfill & =:\sum _{a_0=1}^{p-1}\sum _{a_1=1}^{p-1}{J}_{a_0,a_1}(s_1,s_2,s_3).\hfill \end{array}$$

By changing variables as $x=a_0+pu$, $y=a_1+pv$ we have

$$J_{a_0,a_1}(s_1,s_2,s_3)=p^{-2}{\displaystyle \underset{{\mathbb{Z}}_p^2}{\int }}|1-(a_0+pu){|}_p^{s_1}|1-(a_1+pv){|}_p^{s_2}{|(a_0+pu)-(a_1+pv)|}_p^{s_3}dudv.$$

Now, we compute the integrals $J_{a_0,a_1}$. This calculation involves several cases.

Case 1. If $a_0\ne 1,a_1\ne 1$ $a_0\ne a_1$, then $|1-(a_0+pu){|}_p=1$, $|1-(a_1+pv){|}_p=1$, and $|(a_0+pu)-(a_1+pv){|}_p=1$. and

$$J_{a_0,a_1}(s_1,s_2,s_3)=p^{-2}{\displaystyle \underset{{\mathbb{Z}}_p^2}{\int }}dudv=p^{-2}.$$

There are $(p-2)(p-3)$ integrals of this type.

Case 2. If $a_0\ne 1,a_1\ne 1$$a_0=a_1,$ then, $|1-(a_0+pu){|}_p=1$, $|1-(a_1+pv){|}_p=1$. By Example (17),

$$J_{a_0,a_1}(s_1,s_2,s_3)=p^{-2-s_3}{\displaystyle \underset{{\mathbb{Z}}_p\times {\mathbb{Z}}_p}{\int }}{|u-v|}_p^{s_3}dudv=\frac{p^{-2-s_3}(1-p^{-1})}{1-p^{-1-s_3}},$$

for $Re\left(s_3\right)>-1.$ There are $p-2$ integrals of this type.

Case 3. If $a_0=1,a_1\ne 1,$ then $|1-(a_1+pv){|}_p=1$, $|(a_0+pu)-(a_1+pv){|}_p=1$. By using (16)

$$J_{a_0,a_1}(s_1,s_2,s_3)=p^{-2-s_1}{\displaystyle \underset{{\mathbb{Z}}_p^2}{\int }}{|u|}_p^{s_1}dudv=\frac{p^{-2-s_1}(1-p^{-1})}{1-p^{-1-s_1}},$$

for $Re\left(s_1\right)>-1$. There are $p-2$ integrals of this type.

Case 4. If $a_0\ne 1,a_1=1$, this case is similar to Case 3,

$$J_{a_0,a_1}(s_1,s_2,s_3)=p^{-2-s_2}{\displaystyle \underset{{\mathbb{Z}}_p}{\int }}{|x_3|}_p^{s_2}d{x}_3=\frac{p^{-2-s_2}(1-p^{-1})}{1-p^{-1-s_2}}$$

for $Re\left(s_2\right)>-1$. Therefore

$$\begin{array}{cc}\hfill Z(s_1,s_2,s_3)& =p^{-2}(p-2)(p-3)+(p-2)\frac{p^{-2-s_3}(1-p^{-1})}{1-p^{-1-s_3}}\hfill \\ \hfill & +(p-2)\frac{p^{-2-s_1}(1-p^{-1})}{1-p^{-1-s_1}}+(p-2)\frac{p^{-2-s_2}(1-p^{-1})}{1-p^{-1-s_2}}.\hfill \end{array}$$

on the region of ${\mathbb{C}}^3$ defined by $Re\left(s_1\right)>-1$, $Re\left(s_2\right)>-1$, and $Re\left(s_3\right)>-1$.

4. $\mathit{p}$-Adic Open String Amplitudes

In [14], Brekke, Freund, Olson and Witten work out the N-point amplitudes in explicit form and investigate how these can be obtained from an effective Lagrangian. The p-adic open string N-point tree amplitudes are defined as

$${\mathit{A}}^{\left(N\right)}\left(\mathit{k}\right)={\displaystyle \underset{{\mathbb{Q}}_p^{N-3}}{\int }}{\displaystyle \prod _{i=2}^{N-2}}{\left|x_i\right|}_p^{{\mathit{k}}_1{\mathit{k}}_i}{\left|1-x_i\right|}_p^{{\mathit{k}}_{N-1}{\mathit{k}}_i}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}_p^{{\mathit{k}}_i{\mathit{k}}_j}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

(19)

where ${\prod }_{i=2}^{N-2}d{x}_i$ is the normalized Haar measure of ${\mathbb{Q}}_p^{N-3}$, $\mathit{k}=\left({\mathit{k}}_1,\dots ,{\mathit{k}}_N\right)$, ${\mathit{k}}_i=\left(k_{0,i},\dots ,k_{l,i}\right)$, $i=1,\dots ,N$, $N\ge 4$, is the momentum vector of the i-th tachyon (with Minkowski product ${\mathit{k}}_i{\mathit{k}}_j=-k_{0,i}{k}_{0,j}+k_{1,i}{k}_{1,j}+\cdots +k_{l,i}{k}_{l,j}$) obeying

$$\sum _{i=1}^N{\mathit{k}}_i=\mathbf{0},{\mathit{k}}_i{\mathit{k}}_i=2\mathrm{for}i=1,\dots ,N.$$

The parameter l is an arbitrary positive integer. Typically, l is taken to be 25. However, we do not require using the critical dimension. In [8], we show that the p-adic open string amplitudes (19) are bona fide integrals and that they have meromorphic continuations as rational functions in the kinematic parameters. We attach to these amplitudes a multivariate Igusa-type zeta function. Fix an integer $N\ge 4$ and set $T:=\left\{2,\dots ,N-2\right\}$, $D=\frac{\left(N-3\right)\left(N-4\right)}{2}+2\left(N-3\right)$ and ${\mathbb{C}}^D$ as

$$\left\{\begin{array}{ccc}\left\{s_{ij}\in \mathbb{C};i\in \left\{1,N-1\right\},j\in T\right\}\hfill & \mathrm{if}\hfill & N=4\hfill \\ & & \\ \left\{s_{ij}\in \mathbb{C};i\in \left\{1,N-1\right\},j\in T\mathrm{or}i,j\in T\mathrm{with}i<j\right\}\hfill & \mathrm{if}\hfill & N\ge 5.\hfill \end{array}\right.$$

We now put $\mathit{s}=\left(s_{ij}\right)\in {\mathbb{C}}^D$ and ${\mathit{k}}_i{\mathit{k}}_j=s_{ij}\in \mathbb{C}$ satisfying $s_{ij}=s_{ji}$ for $1\le i<j\le N-1$. The p-adic open string N-point zeta function is defined as

$${\mathit{Z}}^{\left(N\right)}\left(\mathit{s}\right)={\displaystyle \underset{{\mathbb{Q}}_p^{N-3}\setminus \Lambda }{\int }}{\displaystyle \prod _{i=2}^{N-2}}{\left|x_i\right|}_p^{s_{1i}}{\left|1-x_i\right|}_p^{s_{(N-1)i}}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}_p^{s_{ij}}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

(20)

where $\mathit{s}=\left(s_{ij}\right)\in {\mathbb{C}}^D$, ${\prod }_{i=2}^{N-2}d{x}_i$ is the normalized Haar measure of ${\mathbb{Q}}_p^{N-3}$, and

$$\Lambda :=\left\{\left(x_2,\dots ,x_{N-2}\right)\in {\mathbb{Q}}_p^{N-3};{\displaystyle \prod _{i=2}^{N-2}}{x}_i\left(1-x_i\right){\displaystyle \prod _{2\le i<j\le N-2}}\left(x_i-x_j\right)=0\right\}.$$

In the definition of integral (20) we remove the set $\Lambda$ from the domain of integration to use the formula $a^s=e^{slna}$ for $a>0$ and $s\in \mathbb{C}$. The reason for using the name ‘zeta function’ is that the integral (20) is a finite sum of multivariate local zeta functions.

Take $\varphi \left(x_2,\dots ,x_{N-2}\right)$ a locally constant function with compact support, then

$$Z_{\varphi }^{\left(N\right)}\left(\mathit{s}\right)={\displaystyle \underset{{\mathbb{Q}}_p^{N-3}\setminus \Lambda }{\int }}\varphi \left(x_2,\dots ,x_{N-2}\right){\displaystyle \prod _{i=2}^{N-2}}{\left|x_i\right|}_p^{s_{1i}}{\left|1-x_i\right|}_p^{s_{\left(N-1\right)i}}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}_p^{s_i{}_j}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

for $Re\left(s_{ij}\right)>0$ for any $ij$, is a multivariate Igusa local zeta function. In characteristic zero, a general theory for this type of local zeta functions was elaborated by Loeser in [36]. In particular, these local zeta functions admit analytic continuations as rational functions of the variables $p^{-s_{ij}}$.

We want to highlight that the convergence of the multivariate local zeta functions depends on the fact that the locally constant function $\varphi$ has compact support. For example, we consider the following integral:

$$\mathit{J}\left(s\right)={\displaystyle \underset{{\mathbb{Q}}_p}{\int }}{\left|x\right|}_p^{s}dx,s\in \mathbb{C}.$$

If the integral $\mathit{J}\left(s_0\right)$ exists for some $s_0\in \mathbb{R}$, then the integrals

$${\mathit{J}}_0\left(s_0\right)={\displaystyle \underset{{\mathbb{Z}}_p}{\int }}{\left|x\right|}_p^{s_0}dx\mathrm{and}{\mathit{J}}_1\left(s_0\right)={\displaystyle \underset{{\mathbb{Q}}_p\setminus {\mathbb{Z}}_p}{\int }}{\left|x\right|}_p^{s_0}dx$$

exist. The first integral ${\mathit{J}}_0\left(s_0\right)=\frac{1-p^{-1}}{1-p^{-1-s_0}}$ for $s_0>-1$. For the second integral, we use that ${\left|x\right|}_p^{s_0}$ is locally integrable, and thus

$${\mathit{J}}_1\left(s_0\right)=\sum _{j=1}^{\infty }{\displaystyle \underset{p^{-j}{\mathbb{Z}}_p^{\times }}{\int }}{\left|x\right|}_p^{s_0}dx=\sum _{j=1}^{\infty }{p}^{j+j{s}_0}{\displaystyle \underset{{\mathbb{Z}}_p^{\times }}{\int }}dx=\left(1-p^{-1}\right)\sum _{j=1}^{\infty }{p}^{j(1+s_0)}<\infty$$

if and only if $s_0<-1$. Then, integral $\mathit{J}\left(s\right)$ does not exist for any complex value s.

Theorem 1 in [8] establishes that the p-adic open string N-point zeta function is a holomorphic function in a certain domain of ${\mathbb{C}}^D$ and that it admits an analytic continuation to ${\mathbb{C}}^D$ (denoted as $Z^{\left(N\right)}\left(\mathit{s}\right)$) as a rational function in the variables $p^{-s_{ij}},i,j\in \left\{1,\dots ,N-1\right\}$. Hence, in the theory of local zeta functions, the convergence and the existence of a meromorphic continuation as a rational function in the variables $p^{-s_{ij}},i,j\in \left\{1,\dots ,N-1\right\}$ of integrals of type (20) is a new and remarkable result.

The p-adic open string N-point zeta functions ${\mathit{Z}}^{\left(N\right)}\left(\mathit{s}\right)$ are regularizations of the amplitudes ${\mathit{A}}^{\left(N\right)}\left(\mathit{k}\right)$. More precisely, we define

$${\mathit{A}}^{\left(N\right)}\left(\mathit{k}\right)={\mathit{Z}}^{\left(N\right)}\left(\underline{\mathit{s}}\right){\mid }_{s_{ij}={\mathit{k}}_i{\mathit{k}}_j}\mathrm{with}i\in \left\{1,\dots ,N-1\right\},j\in T\mathrm{or}i,j\in T,$$

where $T=\left\{2,\dots ,N-2\right\}$. By Theorem 1 in [8], ${\mathit{A}}^{\left(N\right)}\left(\mathit{k}\right)$ are well-defined rational functions of the variables $p^{-{\mathit{k}}_i{\mathit{k}}_j}$, i, $j\in \left\{1,\dots ,N-1\right\}$, which agree with integrals (87) when they converge.

In the following two sections, using the methods given in [8], we compute the p-adic open string amplitudes in the cases $N=4$, 5.

4.1. p-Adic Open String 4-Point Amplitude

The 4-point string amplitude is given by

$${\mathit{A}}^{\left(4\right)}\left(\mathit{k}\right)={\displaystyle \underset{{\mathbb{Q}}_p}{\int }}|x_2{|}_p^{{\mathit{k}}_1{\mathit{k}}_2}{|1-x_2|}_p^{{\mathit{k}}_3{\mathit{k}}_2}d{x}_2.$$

We attach to this amplitude the local zeta function:

$${\mathit{Z}}^{\left(4\right)}\left(\mathit{s}\right)={\displaystyle \underset{{\mathbb{Q}}_p}{\int }}|x_2{|}_p^{s_{12}}{|1-x_2|}_p^{s_{32}}d{x}_2.$$

We now divide the integration domain (${\mathbb{Q}}_p$) into sectors. Given $I⫅T=\left\{2\right\}$, the attached sector is defined as

$$Sect\left(I\right)=\left\{x_i\in {\mathbb{Q}}_p;{|x_i|}_p\le 1⟺i\in I\right\}.$$

Then, we have two sectors:

$\mathbf{I}$	$\mathbf{T}\backslash \mathbf{I}$	$\mathbf{Sect}\left(\mathbf{I}\right)$
$\left\{2\right\}$	$⌀$	${\mathbb{Z}}_p$
$⌀$	$\left\{2\right\}$	${\mathbb{Q}}_p\backslash {\mathbb{Z}}_p,$

and

$${\mathit{Z}}^{\left(4\right)}\left(\mathit{s}\right)={\mathit{Z}}^{\left(4\right)}(\mathit{s},⌀)+{\mathit{Z}}^{\left(4\right)}(\mathit{s},\left\{2\right\}),$$

where

$${\mathit{Z}}^{\left(4\right)}\left(\mathit{s};\left\{2\right\}\right):={\displaystyle \underset{{\mathbb{Z}}_p}{\int }}|x_2{|}_p^{s_{12}}{|1-x_2|}_p^{s_{32}}d{x}_2$$

and

$${\mathit{Z}}^{\left(4\right)}\left(\mathit{s};⌀\right):={\displaystyle \underset{{\mathbb{Q}}_p\setminus {\mathbb{Z}}_p}{\int }}|x_2{|}_p^{s_{12}}{|1-x_2|}_p^{s_{32}}d{x}_2.$$

We now compute ${\mathit{Z}}^{\left(4\right)}\left(\mathit{s};\left\{2\right\}\right)$. By using the Examples 2 and 3:

$$\begin{array}{cc}\hfill {\mathit{Z}}^{\left(4\right)}\left(\mathit{s};\left\{2\right\}\right)& ={\displaystyle \underset{{\mathbb{Z}}_p}{\int }}|x_2{|}_p^{s_{12}}d{x}_2+{\displaystyle \underset{{\mathbb{Z}}_p^{\times }}{\int }}{|1-x_2|}_p^{s_{42}}d{x}_2\hfill \\ \hfill & =1-2p^{-1}+\frac{\left(1-p^{-1}\right)p^{-1-s_{12}}}{1-p^{-1-s_{12}}}+\frac{\left(1-p^{-1}\right)p^{-1-s_{32}}}{1-p^{-1-s_{32}}},\hfill \end{array}$$

(21)

for $Re\left(s_{12}\right)>-1$ and $Re\left(s_{32}\right)>-1$.

We now consider integral ${\mathit{Z}}^{\left(4\right)}\left(\mathit{s};⌀\right)$. By using the ultrametric inequality $|1-x_2{|}_p={|x_2|}_p$ for $x_2\in {\mathbb{Q}}_p\setminus {\mathbb{Z}}_p$,

$${\mathit{Z}}^{\left(4\right)}\left(\mathit{s};⌀\right)={\displaystyle \underset{{\mathbb{Q}}_p\setminus {\mathbb{Z}}_p}{\int }}{|x_2|}_p^{s_{12}+s_{32}}d{x}_2.$$

To compute this last integral we proceed as follows. For $l\in \mathbb{N}\setminus \left\{0\right\}$, we set

$${\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)}_{-l}:=\left\{x_2\in \left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right);-l\le ord\left(x_2\right)\le -1\right\},$$

$${\left(p{\mathbb{Z}}_p\right)}_l:=\left\{x_2\in \left(p{\mathbb{Z}}_p\right);1\le ord\left(x_2\right)\le l\right\},$$

and

$${\mathit{I}}_{-l}\left(\mathit{s}\right):={\displaystyle \underset{{\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)}_{-l}}{\int }}{|x_2|}_p^{s_{12}+s_{32}}d{x}_2.$$

Notice that ${\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)}_{-l}$, ${\left(p{\mathbb{Z}}_p\right)}_l$ are compact sets and that

$$\begin{array}{ccc}{\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)}_{-l}& \to & {\left(p{\mathbb{Z}}_p\right)}_l\\ & & \\ x_2& \to & \frac{1}{y_2},\end{array}$$

is an analytic change of variables satisfying $d{x}_2=\frac{d{y}_2}{{\left|y_2\right|}_p^2}$, then using this change of variables, we have

$${\mathit{I}}_{-l}\left(\mathit{s}\right)=\underset{{\left(p{\mathbb{Z}}_p\right)}_l}{\int }\frac{d{y}_2}{{\left|y_2\right|}_p^{s_{12}+s_{32}+2}}.$$

Now, by using that ${\int }_{p{\mathbb{Z}}_p}\frac{1}{{\left|y\right|}_p^s}dy$ converges for $Re\left(s\right)<1$ and the dominated convergence theorem, ${lim}_{l\to \infty }{\mathit{I}}_{-l}\left(\mathit{s}\right)={\mathit{Z}}^{\left(4\right)}\left(\mathit{s};⌀\right)$, i.e.

$${\mathit{Z}}^{\left(4\right)}\left(\mathit{s};\left\{⌀\right\}\right)={\displaystyle \underset{p{\mathbb{Z}}_p}{\int }}\frac{d{y}_2}{{\left|y_2\right|}_p^{s_{12}+s_{32}+2}}=\frac{(1-p^{-1})p^{1+s_{12}+s_{32}}}{1-p^{1+s_{12}+s_{32}}},$$

on $Re\left(s_{12}\right)+Re\left(s_{32}\right)<-1$. Therefore

$${\mathit{Z}}^{\left(4\right)}\left(\mathit{s}\right)=\frac{p-2}{p}+\left(1-p^{-1}\right)\left\{\frac{p^{-1-s_{12}}}{1-p^{-1-s_{12}}}+\frac{p^{-1-s_{32}}}{1-p^{\left(-1-s_{32}\right)}}+\frac{p^{1+s_{12}+s_{32}}}{1-p^{1+s_{12}+s_{32}}}\right\},$$

this function is holomorphic in

$$Re\left(s_{12}\right)>-1,Re\left(s_{32}\right)>-1\mathrm{and}Re\left(s_{12}\right)+Re\left(s_{32}\right)<-1,$$

which is a nonempty open subset in ${\mathbb{C}}^2$ because it contains the open set defined by the conditions:

$$-\frac{2}{3}<Re\left(s_{12}\right)<-\frac{1}{2}\mathrm{and}-\frac{2}{3}<Re\left(s_{32}\right)<-\frac{1}{2}.$$

We denote the meromorphic continuation of integral ${\mathit{Z}}^{\left(4\right)}\left(\mathit{s}\right)$ also by ${\mathit{Z}}^{\left(4\right)}\left(\mathit{s}\right)$. Now, we regularize the p-adic open string 4-point amplitude using ${\mathit{Z}}^{\left(4\right)}\left(\mathit{s}\right)$:

$$\begin{array}{cc}\hfill {\mathit{A}}^{\left(4\right)}\left(\mathit{k}\right)& :={\mathit{Z}}^{\left(4\right)}\left(\mathit{s}\right){\mid }_{s_{12}={\mathit{k}}_1{\mathit{k}}_2,s_{32}={\mathit{k}}_3{\mathit{k}}_2}\hfill \\ \hfill & =\frac{p-2}{p}+\left(1-p^{-1}\right)\left\{\frac{p^{-1-{\mathit{k}}_1{\mathit{k}}_2}}{1-p^{-1-{\mathit{k}}_1{\mathit{k}}_2}}+\frac{p^{-1-{\mathit{k}}_2{\mathit{k}}_3}}{1-p^{-1-{\mathit{k}}_2{\mathit{k}}_3}}+\frac{p^{1+{\mathit{k}}_1{\mathit{k}}_2+{\mathit{k}}_2{\mathit{k}}_3}}{1-p^{1+{\mathit{k}}_1{\mathit{k}}_2+{\mathit{k}}_2{\mathit{k}}_3}}\right\}\hfill \\ \hfill & =\frac{p-2}{p}+\left(1-p^{-1}\right)\left\{\frac{p^{-1-{\mathit{k}}_1{\mathit{k}}_2}}{1-p^{-1-{\mathit{k}}_1{\mathit{k}}_2}}+\frac{p^{-1-{\mathit{k}}_2{\mathit{k}}_3}}{1-p^{-1-{\mathit{k}}_2{\mathit{k}}_3}}+\frac{p^{-1-{\mathit{k}}_2{\mathit{k}}_4}}{1-p^{-1-{\mathit{k}}_2{\mathit{k}}_4}}\right\}.\hfill \end{array}$$

(22)

This amplitude can be rewritten as

$${\mathit{A}}^{\left(4\right)}\left(\mathit{k}\right)=K_4+\frac{1}{2}{\displaystyle \sum _{i<j}}{x}_{ij},$$

with

$$x_{ij}:=\frac{p-1}{p}\frac{p^{-1-{\mathit{k}}_i{\mathit{k}}_j}}{1-p^{-1-{\mathit{k}}_i{\mathit{k}}_j}},$$

where ${\sum }_{i<j}$ means the summation over all pairs of compatible channels $ij$. Then

$${\mathit{A}}^{\left(4\right)}\left(\mathit{k}\right)=K_4+\frac{1}{2}\left\{x_{12}+x_{13}+x_{14}+x_{23}+x_{24}+x_{34}\right\}.$$

Indeed, by using that ${\sum }_{i=1}^4{\mathit{k}}_i=0$, ${\mathit{k}}_i^2=2$, we obtain

$$\begin{array}{cc}\hfill {\mathit{k}}_1{\mathit{k}}_3+{\mathit{k}}_2{\mathit{k}}_3+{\mathit{k}}_3{\mathit{k}}_4+2& =0,\hfill \end{array}$$

(23)

$$\begin{array}{cc}\hfill {\mathit{k}}_1{\mathit{k}}_2+{\mathit{k}}_1{\mathit{k}}_3+{\mathit{k}}_1{\mathit{k}}_4+2& =0,\hfill \end{array}$$

(24)

$$\begin{array}{cc}\hfill {\mathit{k}}_1{\mathit{k}}_2+{\mathit{k}}_2{\mathit{k}}_3+{\mathit{k}}_2{\mathit{k}}_4+2& =0,\hfill \end{array}$$

(25)

$$\begin{array}{cc}\hfill {\mathit{k}}_1{\mathit{k}}_4+{\mathit{k}}_2{\mathit{k}}_4+{\mathit{k}}_3{\mathit{k}}_4+2& =0.\hfill \end{array}$$

(26)

From (23)–(26), we obtain

$${\mathit{k}}_1{\mathit{k}}_2={\mathit{k}}_3{\mathit{k}}_4,{\mathit{k}}_1{\mathit{k}}_3={\mathit{k}}_2{\mathit{k}}_4,{\mathit{k}}_1{\mathit{k}}_4={\mathit{k}}_2{\mathit{k}}_3.$$

Then

$${\mathit{A}}^{\left(4\right)}\left(\mathit{k}\right)=K_4+x_{12}+x_{23}+x_{24},$$

(27)

which agrees with (22).

4.2. p-Adic Open String 5-Point Amplitude

The p-adic open string 5-point amplitude is given by

$${\mathit{A}}^{\left(5\right)}\left(\mathit{k}\right)={\displaystyle \underset{{\mathbb{Q}}_p^2}{\int }}|x_2{|}_p^{{\mathit{k}}_1{\mathit{k}}_2}|x_3{|}_p^{{\mathit{k}}_1{\mathit{k}}_3}|1-x_2{|}_p^{{\mathit{k}}_4{\mathit{k}}_2}|1-x_3{|}_p^{{\mathit{k}}_4{\mathit{k}}_3}{|x_2-x_3|}_p^{{\mathit{k}}_2{\mathit{k}}_3}d{x}_{2}dx,$$

and the 5-point local zeta function is given by

$${\mathit{Z}}^{\left(5\right)}\left(\mathit{s}\right)={\displaystyle \underset{{\mathbb{Q}}_p^2}{\int }}|x_2{|}_p^{s_{12}}|x_3{|}_p^{s_{13}}|1-x_2{|}_p^{s_{42}}|1-x_3{|}_p^{s_{43}}{|x_2-x_3|}_p^{s_{23}}d{x}_{2}d{x}_3,$$

where $s_{ij}\in \mathbb{C}$. We divide the integration domain ${\mathbb{Q}}_p^2$ in sectors. Given $I⫅T=\left\{2,3\right\}$ the attached sector is defined as

$$Sect\left(I\right)=\left\{(x_1,x_2)\in {\mathbb{Q}}_p^2;{|x_i|}_p\le 1⟺i\in I\right\}.$$

Table 1. Sectors of the 5-point amplitude.

I	$\mathbf{T}\mathbf{\setminus }\mathbf{I}$	$\mathbf{Sect}\left(\mathbf{I}\right)$
⌀	$\left\{2,3\right\}$	$\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)\times \left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)$
$\left\{2\right\}$	$\left\{3\right\}$	${\mathbb{Z}}_p\times \left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)$
$\left\{3\right\}$	$\left\{2\right\}$	$\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)\times {\mathbb{Z}}_p$
$\left\{2,3\right\}$	⌀	${\mathbb{Z}}_p\times {\mathbb{Z}}_p.$

shows all the sectors for the computation of the 5-point amplitude.

Now, by using the notation

$${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};I\right)={\displaystyle \underset{Sect\left(I\right)}{\int }}|x_2{|}_p^{s_{12}}|x_3{|}_p^{s_{13}}|1-x_2{|}_p^{s_{42}}|1-x_3{|}_p^{s_{43}}{|x_2-x_3|}_p^{s_{23}}d{x}_{2}d{x}_3,$$

we have

$${\mathit{Z}}^{\left(5\right)}\left(\mathit{s}\right)={\mathit{Z}}^{\left(5\right)}\left(\mathit{s};⌀\right)+{\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2\right\}\right)+{\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{3\right\}\right)+{\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\{2,3\}\right).$$

Case 1.$Sect\left(\left\{⌀\right\}\right)=\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)\times \left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)$.

By changing of variables as $x_2\to \frac{1}{u},$$x_3\to \frac{1}{v}$ and using Lemma 7 of [8], we have

$$\begin{array}{c}{\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{⌀\right\}\right)=\underset{{({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p)}^2}{\int }|x_2{|}_p^{s_{12}+s_{42}}|x_3{|}_p^{s_{13}+s_{43}}{|x_2-x_3|}_p^{s_{23}}d{x}_{2}d{x}_3.\\ ={\int }_{{\left(p{\mathbb{Z}}_p\right)}^2}{|u|}_p^{-s_{12}-s_{42}-2}{|v|}_p^{-s_{13}-s_{43}-2}{|\frac{1}{u}-\frac{1}{v}|}_p^{s_{23}}dudv\\ =p^{-2+s_{12}+s_{42}+s_{23}+2+s_{13}+s_{43}+s_{23}+2-s_{23}}{\int }_{{\mathbb{Z}}_p^2}\frac{{|v-u|}_p^{s_{23}}}{{|u|}_p^{s_{12}+s_{42}+s_{23}+2}{|v|}_p^{s_{13}+s_{43}+s_{23}+2}}dudv\\ =\frac{p^{2+s_{12}+s_{42}+s_{23}+s_{13}+s_{43}}(1-p^{-1})}{1-p^{2+s_{12}+s_{42}+s_{23}+s_{13}+s_{43}}}\left[\frac{(1-p^{-1})p^{1+s_{12}+s_{42}+s_{23}}}{1-p^{1+s_{12}+s_{42}+s_{23}}}\right.\\ +\left.\frac{(1-p^{-1})p^{1+s_{13}+s_{43}+s_{23}}}{1-p^{1+s_{13}+s_{43}+s_{23}}}+\frac{(1-p^{-1})p^{-1-s_{23}}}{1-p^{-1-s_{23}}}+\left(p-2\right)p^{-1}\right].\end{array}$$

(28)

The integral ${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{⌀\right\}\right)$ is holomorphic in the solution set of the following conditions:

$$\begin{array}{c}Re\left(s_{12}\right)+Re\left(s_{42}\right)+Re\left(s_{23}\right)<-1,\\ Re\left(s_{13}\right)+Re\left(s_{43}\right)+Re\left(s_{23}\right)<-1,\\ Re\left(s_{23}\right)>-1,\\ Re\left(s_{12}\right)+Re\left(s_{42}\right)+Re\left(s_{13}\right)+Re\left(s_{43}\right)+Re\left(s_{23}\right)<-2.\end{array}$$

(29)

Case 2.$Sect\left(\left\{2\right\}\right)={\mathbb{Z}}_p\times \left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right).$

In this case, $|x_2{|}_p\le 1$ and $|x_3{|}_p>1$, now by ultrametric property $|1-x_3{|}_p={|x_3|}_p$ and $|x_2-x_3{|}_p={|x_3|}_p$, then

$$\begin{array}{cc}\hfill {\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2\right\}\right)& =\underset{{\mathbb{Z}}_p\times \left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)}{\int }|x_2{|}_p^{s_{12}}|x_3{|}_p^{s_{13}}|1-x_2{|}_p^{s_{42}}|1-x_3{|}_p^{s_{43}}{|x_2-x_3|}_p^{s_{23}}d{x}_{2}d{x}_3\hfill \\ \hfill & =\underset{{\mathbb{Z}}_p\times \left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)}{\int }|x_2{|}_p^{s_{12}}|x_3{|}_p^{s_{13}+s_{43}+s_{23}}{|1-x_2|}_p^{s_{42}}d{x}_{2}d{x}_3\hfill \\ \hfill & =\underset{{\mathbb{Z}}_p}{\int }|x_2{|}_p^{s_{12}}|1-x_2{|}_p^{s_{42}}d{x}_2{\int }_{\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)}{|x_3|}_p^{s_{13}+s_{43}+s_{23}}d{x}_3\hfill \\ \hfill & =:{\mathit{Z}}_0^{\left(5\right)}\left(\mathit{s};\left\{2\right\}\right){\mathit{Z}}_1^{\left(5\right)}\left(\mathit{s};\left\{2\right\}\right).\hfill \end{array}$$

The calculation of ${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2\right\},0\right)$ is similar to the case of integral (21):

$${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2\right\},0\right)=p^{-1}\left(p-2\right)+\frac{(1-p^{-1})p^{-1-s_{12}}}{1-p^{-1-s_{12}}}+\frac{(1-p^{-1})p^{-1-s_{42}}}{1-p^{-1-s_{42}}}.$$

The integral ${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2\right\},0\right)$ is holomorphic in the domain

$$Re\left(s_{12}\right)>-1\mathrm{and}Re\left(s_{42}\right)>-1.$$

(30)

The calculation of ${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2\right\},1\right)$ is similar to the calculation of ${\mathit{Z}}^{\left(4\right)}\left(\mathit{s};\left\{⌀\right\}\right)$ given in the Subsection of 4-point zeta function. By changing of variables as $x_3=\frac{1}{y_3},d{x}_3=\frac{d{y}_3}{|y_3{|}_p^2}$, we obtain

$$\begin{array}{c}{\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2\right\},1\right)={\displaystyle \underset{{\mathbb{Q}}_p\setminus {\mathbb{Z}}_p}{\int }}{|x_3|}_p^{s_{13}+s_{43}+s_{23}}d{x}_3={\displaystyle \underset{p{\mathbb{Z}}_p}{\int }}\frac{d{y}_3}{|y_3{|}_p^{2+s_{13}+s_{43}+s_{23}}}\hfill \\ \hfill =\frac{(1-p^{-1})p^{1+s_{13}+s_{43}+s_{23}}}{1-p^{1+s_{13}+s_{43}+s_{23}}}.\end{array}$$

The integral ${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2\right\},1\right)$ is holomorphic in

$$Re\left(s_{13}\right)+Re\left(s_{43}\right)+Re\left(s_{23}\right)<-1.$$

(31)

Case 3.$Sect\left(\left\{3\right\}\right)=\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)\times {\mathbb{Z}}_p.$

In this case, $|x_2{|}_p>1$, by the ultrametric inequality $|1-x_2{|}_p={|x_2|}_p$ and $|x_2-x_3{|}_p={|x_2|}_p$, then

$$\begin{array}{cc}\hfill {\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{3\right\}\right)& =\underset{\left({\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\right)\times {\mathbb{Z}}_p}{\int }|x_2{|}_p^{s_{12}}|x_3{|}_p^{s_{13}}|1-x_2{|}_p^{s_{42}}|1-x_3{|}_p^{s_{43}}{|x_2-x_3|}_p^{s_{23}}d{x}_{2}d{x}_3\hfill \\ \hfill & =\underset{{\mathbb{Q}}_p\setminus {\mathbb{Z}}_p\times {\mathbb{Z}}_p}{\int }|x_2{|}_p^{s_{12}+s_{42}+s_{23}}|x_3{|}_p^{s_{13}}{|1-x_3|}_p^{s_{43}}d{x}_{2}d{x}_3\hfill \\ \hfill & ={\displaystyle \underset{{\mathbb{Z}}_p}{\int }}|x_3{|}_p^{s_{13}}|1-x_3{|}_p^{s_{43}}d{x}_3\underset{{\mathbb{Q}}_p\setminus {\mathbb{Z}}_p}{\int }{|x_2|}_p^{s_{12}+s_{42}+s_{23}}d{x}_2\hfill \\ \hfill & =:{\mathit{Z}}_0^{\left(N\right)}\left(\mathit{s};\left\{3\right\}\right){\mathit{Z}}_1^{\left(N\right)}\left(\mathit{s};\left\{3\right\}\right).\hfill \end{array}$$

These integrals are similar to the ones obtained in the case of $Sect\left(\right\{2\left\}\right)$:

$${\mathit{Z}}^{\left(5\right)}\left(\underline{\mathit{s}};\left\{3\right\},0\right)=p^{-1}\left(p-2\right)+\frac{(1-p^{-1})p^{-1-s_{13}}}{1-p^{-1-s_{13}}}+\frac{(1-p^{-1})p^{-1-s_{43}}}{1-p^{-1-s_{43}}},$$

(32)

the integral ${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{3\right\},0\right)$ is holomorphic in

$$Re\left(s_{13}\right)>-1\mathrm{and}Re\left(s_{43}\right)>-1.$$

(33)

And

$${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{3\right\},1\right)=\frac{(1-p^{-1})p^{1+s_{12}+s_{42}+s_{23}}}{1-p^{1+s_{12}+s_{42}+s_{23}}},$$

the integral ${\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{3\right\},1\right)$ is holomorphic in

$$Re\left(s_{12}\right)+Re\left(s_{42}\right)+Re\left(s_{23}\right)<-1.$$

(34)

Case 4.$Sect\left(\left\{2,3\right\}\right)={\mathbb{Z}}_p\times {\mathbb{Z}}_p$.

Using the partition ${\mathbb{Z}}_p^2={\left(p{\mathbb{Z}}_p\right)}^2\bigsqcup S_0^2$, with $S_0^2=p{\mathbb{Z}}_p\times {\mathbb{Z}}_p^{\times }\bigsqcup {\mathbb{Z}}_p^{\times }\times p{\mathbb{Z}}_p\bigsqcup {\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }$, we have

$$\begin{array}{cc}\hfill {\mathit{Z}}^{\left(5\right)}\left(\mathit{s};\left\{2,3\right\}\right)& =\underset{{\mathbb{Z}}_p\times {\mathbb{Z}}_p}{\int }|x_2{|}_p^{s_{12}}|x_3{|}_p^{s_{13}}|1-x_2{|}_p^{s_{42}}|1-x_3{|}_p^{s_{43}}{|x_2-x_3|}_p^{s_{23}}d{x}_{2}d{x}_3\hfill \\ \hfill & =:I_{31}\left(\mathit{s}\right)+I_{32}\left(\mathit{s}\right)+I_{33}\left(\mathit{s}\right)+I_{34}\left(\mathit{s}\right),\hfill \end{array}$$

where

$$\begin{array}{c}{I}_{31}\left(\mathit{s}\right):=\underset{{\left(p{\mathbb{Z}}_p\right)}^2}{\int }|x_2{|}_p^{s_{12}}|x_3{|}_p^{s_{13}}{|x_2-x_3|}_p^{s_{23}}d{x}_{2}d{x}_3,\hfill \\ I_{32}\left(\mathit{s}\right):=\underset{p{\mathbb{Z}}_p\times {\mathbb{Z}}_p^{\times }}{\int }|x_2{|}_p^{s_{12}}{|1-x_3|}_p^{s_{43}}d{x}_{2}d{x}_3,\hfill \\ I_{33}\left(\mathit{s}\right):=\underset{{\mathbb{Z}}_p^{\times }\times p{\mathbb{Z}}_p}{\int }|x_3{|}_p^{s_{13}}{|1-x_2|}_p^{s_{42}}d{x}_{2}d{x}_3,\hfill \\ I_{34}\left(\mathit{s}\right):=\underset{{\mathbb{Z}}_p^{\times }\times {\mathbb{Z}}_p^{\times }}{\int }|1-x_2{|}_p^{s_{42}}|1-x_3{|}_p^{s_{43}}{|x_2-x_3|}_p^{s_{23}}d{x}_{2}d{x}_3.\hfill \end{array}$$

Using Lemma 4 of [8], we have

$$\begin{array}{cc}\hfill I_{31}\left(\underline{\mathit{s}}\right)& =\frac{p^{-2-s_{12}-s_{13}-s_{23}}}{1-p^{-2-s_{12}-s_{13}-s_{23}}}\left[\frac{p^{-1-s_{12}}{(1-p^{-1})}^2}{1-p^{-1-s_{12}}}+\frac{p^{-1-s_{13}}{(1-p^{-1})}^2}{1-p^{-1-s_{13}}}\right.\hfill \\ \hfill & \left.+\frac{p^{-1-s_{23}}{(1-p^{-1})}^2}{1-p^{-1-s_{23}}}+\left(p-1\right)\left(p-2\right)p^{-2}\right].\hfill \end{array}$$

The integral $I_{31}\left(\underline{\mathit{s}}\right)$ is holomorphic in

$$Re\left(s_{12}\right)>-1,Re\left(s_{13}\right)>-1,Re\left(s_{23}\right)>-1,\mathrm{and}Re\left(s_{12}\right)+Re\left(s_{13}\right)+Re\left(s_{23}\right)>-2.$$

(35)

Using Examples 2 and 3,

$$I_{32}\left(\mathit{s}\right)=\frac{(1-p^{-1})p^{-1-s_{12}}}{1-p^{-1-s_{12}}}\left[\frac{(1-p^{-1})p^{-1-s_{43}}}{1-p^{-1-s_{43}}}+p^{-1}\left(p-2\right)\right],$$

and

$$I_{33}\left(\mathit{s}\right)=\frac{(1-p^{-1})p^{-1-s_{13}}}{1-p^{-1-s_{13}}}\left[\frac{(1-p^{-1})p^{-1-s_{42}}}{1-p^{-1-s_{42}}}+p^{-1}\left(p-2\right)\right].$$

These integrals are holomorphic in

$$Re\left(s_{12}\right)>-1,Re\left(s_{13}\right)>-1,Re\left(s_{42}\right)>-1,\mathrm{and}Re\left(s_{43}\right)>-1.$$

(36)

Finally, by Example 6,

$$\begin{array}{cc}\hfill I_{34}\left(\mathit{s}\right)& =p^{-2}(p-2)(p-3)+(p-2)\frac{p^{-2-s_{23}}(1-p^{-1})}{1-p^{-1-s_{23}}}\hfill \\ \hfill & +(p-2)\frac{p^{-2-s_{42}}(1-p^{-1})}{1-p^{-1-s_{42}}}+(p-2)\frac{p^{-2-s_{43}}(1-p^{-1})}{1-p^{-1-s_{43}}}.\hfill \end{array}$$

(37)

This integral is holomorphic in

$$Re\left(s_{42}\right)>-1,Re\left(s_{43}\right)>-1,\mathrm{and}Re\left(s_{23}\right)>-1.$$

(38)

In conclusion, the 5-point local zeta functions is holomorphic on the region of ${\mathbb{C}}^5$ defined by

$$\begin{array}{c}Re\left(s_{12}\right)>-1,Re\left(s_{13}\right)>-1,Re\left(s_{42}\right)>-1,\mathrm{and}Re\left(s_{43}\right)>-1,\\ Re\left(s_{12}\right)+Re\left(s_{42}\right)+Re\left(s_{23}\right)<-1,\\ Re\left(s_{13}\right)+Re\left(s_{43}\right)+Re\left(s_{23}\right)<-1,\\ Re\left(s_{12}\right)+Re\left(s_{13}\right)+Re\left(s_{23}\right)>-2.\\ Re\left(s_{12}\right)+Re\left(s_{42}\right)+Re\left(s_{13}\right)+Re\left(s_{43}\right)+Re\left(s_{23}\right)<-2.\end{array}$$

which is a nonempty subset, since it contains the open set

$$\begin{array}{c}-\frac{2}{3}<Re\left(s_{ij}\right)<0,\\ -\frac{2}{3}<Re\left(s_{1i}\right)<-\frac{1}{2},\\ -\frac{2}{3}<Re\left(s_{\left(N-1\right)i}\right)<-\frac{1}{2}.\end{array}$$

We regularize the p-adic open string 5-point amplitude using the meromorphic continuation of ${\mathit{Z}}^{\left(5\right)}\left(\mathit{s}\right)$ by setting

$${\mathit{A}}^{\left(5\right)}\left(\mathit{k}\right):={\mathit{Z}}^{\left(5\right)}\left(\mathit{s}\right){\mid }_{s_{12}={\mathit{k}}_1{\mathit{k}}_2,s_{13}={\mathit{k}}_1{\mathit{k}}_3,s_{42}={\mathit{k}}_4{\mathit{k}}_2,s_{43}={\mathit{k}}_4{\mathit{k}}_3,s_{23}={\mathit{k}}_2{\mathit{k}}_3}.$$

The amplitude ${\mathit{A}}^{\left(5\right)}\left(\mathit{k}\right)$ agrees with the one computed in [14] using the Feynman rules of the effective Lagrangian:

$${\mathit{A}}^{\left(5\right)}\left(\mathit{k}\right)=K_5+K_4{\displaystyle \sum _{i<j}}{x}_{ij}+{\displaystyle \sum _{{}_{\begin{array}{c}\left\{i,j,k,l\right\}\subset \left\{1,2,3,4,5\right\}\\ i<j,k<l\end{array}}}}{x}_{ij}{x}_{kl},$$

(39)

where $K_5=\frac{\left(p-2\right)\left(p-3\right)}{p^2}$, $K_4=\frac{p-2}{p}$, and $ij$ and $kl$ are summed over all pairs of compatible channels. By a pair of compatible channels $ij$, $kl$ we mean that i, j, k and l are different, and that $i<j$, k < l.

4.3. p-Adic Open String N-Point Amplitudes

We fix an integer $N\ge 4$ and consider the general N-point zeta function:

$${\mathit{Z}}^{\left(N\right)}\left(\mathit{s}\right)={\displaystyle \underset{{\mathbb{Q}}_p^{N-3}}{\int }}{\displaystyle \prod _{i=2}^{N-2}}{\left|x_i\right|}_p^{s_{1i}}{\left|1-x_i\right|}_p^{s_{(N-1)i}}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}_p^{s_{ij}}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i.$$

(40)

We divide the domain of integration ${\mathbb{Q}}_p^{N-3}$ into sectors. Given $I\subseteq T=\{2,3,\dots ,N-2\}$ the attached sector is defined as

$$Sect\left(I\right)=\left\{\left(x_2,\dots ,x_{N-2}\right)\in {\mathbb{Q}}_p^{N-3};{\left|x_i\right|}_p\le 1\iff i\in I\right\}.$$

Hence, the N-point zeta function (40) can be written as

$${\mathit{Z}}^{\left(N\right)}\left(\mathit{s}\right)=\sum _{I\subseteq T}{\mathit{Z}}^{\left(N\right)}\left(\mathit{s};I\right),$$

where

$${\mathit{Z}}^{\left(N\right)}\left(\mathit{s};I\right):={\displaystyle \underset{Sect\left(I\right)}{\int }}F\left(\mathit{s},\mathit{x};N\right){\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

with

$$F\left(\mathit{s},\mathit{x};N\right):={\displaystyle \prod _{i=2}^{N-2}}{\left|x_i\right|}_p^{s_{1i}}{\left|1-x_i\right|}_p^{s_{(N-1)i}}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}_p^{s_{ij}}$$

and $\mathit{x}=\left(x_2,\dots ,x_{N-2}\right)\in {\mathbb{Q}}_p^{N-3}$.

By Lemma 2 in [8],

$$\begin{array}{c}{Z}^{\left(N\right)}\left(\mathit{s};I\right)=p^{M\left(\mathit{s}\right)}\left\{{\displaystyle \underset{{\mathbb{Z}}_p^{\left|I\right|}}{\int }}{\displaystyle \prod _{i\in I}}{\left|x_i\right|}_p^{s_{1i}}{\left|1-x_i\right|}_p^{s_{(N-1)i}}{\displaystyle \prod _{\begin{array}{c}2\le i<j\le N-2\\ i,j\in I\end{array}}}{\left|x_i-x_j\right|}_p^{s_i{}_j}{\displaystyle \prod _{i\in I}}d{x}_i\right\}\\ \times \left\{{\displaystyle \underset{{\mathbb{Z}}_p^{\left|T\setminus I\right|}}{\int }}\frac{{\displaystyle \prod _{\begin{array}{c}2\le i<j\le N-2\\ i,j\in T\setminus I\end{array}}}{\left|x_i-x_j\right|}_p^{s_{ij}}}{{\displaystyle \prod _{i\in T\setminus I}}{\left|x_i\right|}_p^{2+s_{1i}+s_{\left(N-1\right)i}+{\sum }_{2\le j\le N-2,j\ne i}{s}_{ij}}}{\displaystyle \prod _{i\in T\setminus I}}d{x}_i\right\}\\ =:p^{M\left(\mathit{s}\right)}{Z}_0^{\left(N\right)}\left(\mathit{s};I\right)Z_1^{\left(N\right)}\left(\mathit{s};T\setminus I\right),\end{array}$$

where

$$M\left(\mathit{s}\right):=\left|T\setminus I\right|+\sum _{i\in T\setminus I}(s_{1i}+s_{\left(N-1\right)i})+\sum _{\begin{array}{c}2\le i<j\le N-2\\ i\in T\setminus I,j\in T\end{array}}{s}_{ij}+\sum _{\begin{array}{c}2\le i<j\le N-2\\ i\in I,j\in T\setminus I\end{array}}{s}_{ij}.$$

In addition $Z_0^{\left(N\right)}\left(\mathit{s};I\right)$, $Z_1^{\left(N\right)}\left(\mathit{s};T\setminus I\right)$ are multivariate local zeta functions and

$$Z^{\left(N\right)}\left(\mathit{s}\right)=\sum _{I\subseteq T}{p}^{M\left(\mathit{s}\right)}{Z}_0^{\left(N\right)}\left(\mathit{s};I\right)Z_1^{\left(N\right)}\left(\mathit{s};T\setminus I\right),$$

(41)

with the convention that $Z_i^{\left(N\right)}\left(\mathit{s};⌀\right)=1$ for $i=0$, 1.

In [8] we show that $Z^{\left(N\right)}\left(\mathit{s}\right)$ has an analytic continuation to the whole ${\mathbb{C}}^D$ as a rational function in the variables $p^{-s_{ij}}$ by showing that all functions that appear on the right-hand side of (41) are holomorphic in a region $H\left(\mathbb{C}\right)$ in ${\mathbb{C}}^D$ (Definition 3 and Remarks 9 and 10 in [8]) defined by

$$\begin{array}{c}\left|J\right|+\sum _{i\in J}(Re\left(s_1{}_i\right)+Re\left(s_{\left(N-1\right)i}\right))+\sum _{\begin{array}{c}2\le i<j\le N-2\\ i\in J\end{array}}Re\left(s_{ij}\right)\\ +\sum _{\begin{array}{c}2\le i<j\le N-2\\ i\in T\setminus J,j\in J\end{array}}Re\left(s_{ij}\right)<0\mathrm{for}J\in {\mathfrak{F}}_1;\end{array}$$

(42)

$$\left|K\right|-1+\sum _{\begin{array}{c}2\le i<j\le N-2\\ i,j\in K\end{array}}Re\left(s_{ij}\right)>0\mathrm{for}K\in {\mathfrak{F}}_2;$$

(43)

$$1+Re\left(s_{ij}\right)>0\mathrm{for}ij\in \mathcal{G}\subseteq \left\{ij;2\le i<j\le N-2\right\},$$

(44)

where ${\mathfrak{F}}_1$, ${\mathfrak{F}}_2$ are families of nonempty subsets of T, and $\mathcal{G}$ is a nonempty subset of $\left\{ij;2\le i<j\le N-2,i,j\in T\right\}$.

$$\left|J\right|+\sum _{i\in S}Re\left(s_{ti}\right)+{\sum }_{2\le i<j\le N-2,i,j\in J}Re\left(s_{ij}\right)>0\mathrm{for}J\times S\in {\mathfrak{F}}_3,$$

(45)

with $S\subseteq J$, $t\in \left\{1,N-1\right\}$,and ${\mathfrak{F}}_3$ a family of nonempty subsets of $I\times I$;

$$\left|K\right|-1+\sum _{\begin{array}{c}2\le i<j\le N-2\\ i,j\in K\end{array}}Re\left(s_{ij}\right)>0\mathrm{for}K\in {\mathfrak{F}}_4,$$

(46)

where ${\mathfrak{F}}_4$’s a family of nonempty subsets of I;

$$1+Re\left(s_{ij}\right)>0\mathrm{for}ij\in G_T,$$

(47)

where $G_T$ is a nonempty subset of $\left\{2\le i<j\le N-2,i,j\in J\right\}$ with $(N-1)i$, $1i\in G_T$.

In Lemma 9 of [8], we show that region $H\left(\mathbb{C}\right)$ contains and open and connected subset of ${\mathbb{C}}^D$ defined by the conditions

$$\begin{array}{c}-\frac{2}{3N_1}<Re\left(s_{ij}\right)<0,\end{array}$$

(48)

$$\begin{array}{c}-\frac{2}{3}<Re\left(s_{1i}\right)<-\frac{1}{2},\end{array}$$

(49)

$$\begin{array}{c}-\frac{2}{3}<Re\left(s_{\left(N-1\right)i}\right)<-\frac{1}{2},\end{array}$$

(50)

for $N⩾5$, $N_1=\frac{(N-4)(N-3)}{2}$, $i,j\in \left\{2,...,N-2\right\}$. For the case $N=4$ we only consider conditions (49) and (50). Like in the cases $N=4$ and $N=5$, the key point is to reduce the integrals $Z_0^{\left(N\right)}\left(\mathit{s};I\right)$, $Z_1^{\left(N\right)}\left(\mathit{s};T\setminus I\right)$ to certain simple integrals, for which admit meromorphic continuations to the whole ${\mathbb{C}}^D$ as rational functions in the variables $p^{-s_{ij}}$.

We now state the meromorphic continuation of the open string N-point zeta function.

Theorem 1

(Theorem 1 in [8]). (1) The p-adic open string N-point zeta function, $Z^{\left(N\right)}\left(\mathit{s}\right)$, gives rise to a holomorphic function on $H\left(\mathbb{C}\right)$, which contains an open and connected subset of ${\mathbb{C}}^D$. Furthermore, $Z^{\left(N\right)}\left(\mathit{s}\right)$ admits an analytic continuation to ${\mathbb{C}}^D$, denoted also as $Z^{\left(N\right)}\left(\mathit{s}\right)$, as a rational function in the variables $p^{-s_{ij}},i,j\in \left\{1,\dots ,N-1\right\}$. The real parts of the poles of $Z^{\left(N\right)}\left(\mathit{s}\right)$ belong to a finite union of hyperplanes, the equations of these hyperplanes have the form (42)–(47) with the symbols ‘<’, ‘>’ replaced by ‘=’. (2) If $\mathit{s}=\left(s_{ij}\right)\in {\mathbb{C}}^D$, with $Re\left(s_{ij}\right)\ge 0$ for $i,j\in \left\{1,\dots ,N-1\right\}$, then the integral $Z^{\left(N\right)}\left(\mathit{s}\right)$ diverges to $+\infty$.

5. String Amplitudes over Non-Archimedean Local Fields

5.1. Non-Archimedean Local Fields

A non-Archimedean local field $\mathbb{K}$ is a locally compact topological field with respect to a non-discrete topology, which comes from a norm ${\left|·\right|}_{\mathbb{K}}$ satisfying

$${\left|x+y\right|}_{\mathbb{K}}\le max\left\{{\left|x\right|}_{\mathbb{K}},{\left|y\right|}_{\mathbb{K}}\right\},$$

for $x,y\in \mathbb{K}$. A such norm is called an ultranorm or non-Archimedean. Any non-Archimedean local field $\mathbb{K}$ of characteristic zero is isomorphic (as a topological field) to a finite extension of ${\mathbb{Q}}_p$. The field ${\mathbb{Q}}_p$ is the basic example of non-Archimedean local field of characteristic zero. In the case of positive characteristic, $\mathbb{K}$ is isomorphic to a finite extension of the field of formal Laurent series ${\mathbb{F}}_q\left(\left(T\right)\right)$ over a finite field ${\mathbb{F}}_q$, where q is a power of a prime number p.

The ring of integers of $\mathbb{K}$ is defined as

$$R_{\mathbb{K}}=\left\{x\in \mathbb{K};{\left|x\right|}_{\mathbb{K}}\le 1\right\}.$$

Geometrically $R_{\mathbb{K}}$ is the unit ball of the normed space $\left(\mathbb{K},{\left|·\right|}_{\mathbb{K}}\right)$. This ring is a domain of principal ideals with a unique maximal ideal, which is given by

$$P_{\mathbb{K}}=\left\{x\in \mathbb{K};{\left|x\right|}_{\mathbb{K}}<1\right\}.$$

We fix a generator $\pi$ of $P_{\mathbb{K}}$ i.e., $P_{\mathbb{K}}=\pi R_{\mathbb{K}}$. A such generator is also called a local uniformizing parameter of $\mathbb{K}$, and it plays the same role as p in ${\mathbb{Q}}_p.$

The group of units of $R_{\mathbb{K}}$ is defined as

$$R_{\mathbb{K}}^{\times }=\left\{x\in R_{\mathbb{K}};{\left|x\right|}_{\mathbb{K}}=1\right\}.$$

The natural map $R_{\mathbb{K}}\to R_{\mathbb{K}}/P_{\mathbb{K}}\cong {\mathbb{F}}_q$ is called the reduction mod $P_{\mathbb{K}}$. The quotient $R_{\mathbb{K}}/P_{\mathbb{K}}\cong {\mathbb{F}}_q$, $q=p^f$, is called the residue field of $\mathbb{K}$. Every nonzero element x of $\mathbb{K}$ can be written uniquely as $x={\pi }^{ord\left(x\right)}u$, $u\in R_{\mathbb{K}}^{\times }$. We set $ord\left(0\right)=\infty$. The normalized valuation of $\mathbb{K}$ is the mapping

$$\begin{array}{ccc}\mathbb{K}& \to & \mathbb{Z}\cup \left\{\infty \right\}\\ x& \to & ord\left(x\right).\end{array}$$

Then ${\left|x\right|}_{\mathbb{K}}=q^{-ord\left(x\right)}$ and ${\left|\pi \right|}_{\mathbb{K}}=q^{-1}$.

We fix $\mathfrak{S}\subset R_{\mathbb{K}}$ a set of representatives of ${\mathbb{F}}_q$ in $R_{\mathbb{K}}$, i.e., $\mathfrak{S}$ is a set which is mapped bijectively onto ${\mathbb{F}}_q$ by the reduction mod $P_{\mathbb{K}}$. We assume that $0\in \mathfrak{S}$. Any nonzero element x of $\mathbb{K}$ can be written as

$$x={\pi }^{ord\left(x\right)}\sum _{i=0}^{\infty }{x}_i{\pi }^i,$$

where $x_i\in \mathfrak{S}$ and $x_0\ne 0.$ This series converges in the norm ${\left|·\right|}_{\mathbb{K}}$.

We extend the norm ${\left|·\right|}_{\mathbb{K}}$ to ${\mathbb{K}}^n$ by taking

$${||\mathit{x}||}_{\mathbb{K}}:=\underset{1\le i\le n}{max}{|x_i|}_{\mathbb{K}},$$

for $\mathit{x}=(x_1,\cdots ,x_n)\in {\mathbb{K}}^n.$ We define $ord\left(\mathit{x}\right)={min}_{1\le i\le n}\left\{ord\left(x_i\right)\right\}$, then ${||\mathit{x}||}_{\mathbb{K}}=q^{-ord\left(\mathit{x}\right)}$. The metric space $\left({\mathbb{K}}^n,||·{||}_{\mathbb{K}}\right)$ is a complete ultrametric space.

As we mentioned before, any finite extension $\mathbb{K}$ of ${\mathbb{Q}}_p$ is a non-Archimedean local field. Then

$$p{R}_{\mathbb{K}}={\pi }^m{R}_{\mathbb{K}},m\in \mathbb{N}.$$

If $m=1$ we say that $\mathbb{K}$ is a unramified extension of ${\mathbb{Q}}_p.$ In other case, we say that $\mathbb{K}$ is a ramified extension. It is well known that for every positive integer e there exists a unique unramified extension ${\mathbb{K}}_e$ of ${\mathbb{Q}}_p$ of degree e, which means that ${\mathbb{K}}_e$ is a ${\mathbb{Q}}_p$-vector space of dimension e. From now on, $\pi$ denotes a local uniformizing parameter of ${\mathbb{K}}_e$, thus $p{R}_{{\mathbb{K}}_e}=\pi R_{{\mathbb{K}}_e}$, $R_{{\mathbb{K}}_e}/P_{{\mathbb{K}}_e}\cong {\mathbb{F}}_{p^e}$ and ${|\pi |}_{{\mathbb{K}}_e}=p^{-e}$. For an in-depth exposition of non-Archimedean local fields, the reader may consult [62,65], see also [3,61].

5.2. Open String Amplitudes over Non-Archimedean Local Fields

The open string amplitudes can be defined over any local field. In this section, we consider Koba–Nielsen string amplitudes on ${\mathbb{K}}_e$, the unique unramified extension of ${\mathbb{Q}}_p$ of degree e for all $e\in \mathbb{N}\setminus \left\{0\right\}$. We recall that if ${\mathbb{K}}_e$ is the unramified extension of degree e of ${\mathbb{Q}}_p$, then $p{R}_{{\mathbb{K}}_e}=\pi R_{{\mathbb{K}}_e}$, $R_{{\mathbb{K}}_e}/P_{{\mathbb{K}}_e}\cong {\mathbb{F}}_{p^e}$ and ${|\pi |}_{{\mathbb{K}}_e}=p^{-e}$. Thus, $\pi$ in ${\mathbb{K}}_e$ plays the role of p in ${\mathbb{Q}}_p$.

The Koba–Nielsen amplitudes on ${\mathbb{K}}_e$ are defined as

$${\mathit{A}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{k}\right)=\underset{{\mathbb{K}}_e^{N-3}}{\int }\prod _{i=2}^{N-2}{\left|x_i\right|}_{{\mathbb{K}}_e}^{{\mathit{k}}_1{\mathit{k}}_i}{\left|1-x_i\right|}_{{\mathbb{K}}_e}^{{\mathit{k}}_{N-1}{\mathit{k}}_i}\prod _{2\le i<j\le N-2}{\left|x_i-x_j\right|}_{{\mathbb{K}}_e}^{{\mathit{k}}_i{\mathit{k}}_j}\prod _{i=2}^{N-2}d{x}_i,$$

(51)

where ${\prod }_{i=2}^{N-2}d{x}_i$ is the Haar measure of $\left({\mathbb{K}}_e^{N-3},+\right)$ normalized so that the measure of $R_{{\mathbb{K}}_e}^{N-3}$ is 1.

The procedure used to regularize the p-adic amplitudes extends to amplitudes of the form (51). In this case, the open string N-point zeta function is defined as

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s}\right):=\underset{{\mathbb{K}}_e^{N-3}}{\int }F\left(\mathit{s},\mathit{x};N,{\mathbb{K}}_e\right)\prod _{i=2}^{N-2}d{x}_i,$$

(52)

where

$$F\left(\mathit{s},\mathit{x};N,{\mathbb{K}}_e\right)=\prod _{i=2}^{N-2}{\left|x_i\right|}_{{\mathbb{K}}_e}^{s_{1i}}{\left|1-x_i\right|}_{{\mathbb{K}}_e}^{s_{(N-1)i}}\prod _{2\le i<j\le N-2}{\left|x_i-x_j\right|}_{{\mathbb{K}}_e}^{s_{ij}}.$$

where $\underline{\mathit{s}}=\left(s_{ij}\right)\in {\mathbb{C}}^D$, with $D=\frac{\left(N-3\right)\left(N-4\right)}{2}+2\left(N-3\right)$. Let $T=\{2,3,\dots ,N-2\}$, then

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s}\right)=\sum _{I\subseteq T}{p}^{eM\left(\underline{\mathit{s}}\right)}{\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};I,0\right){\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};T\setminus I,1\right),$$

(53)

where

$$M\left(\mathit{s}\right):=\left|T\setminus I\right|+\sum _{i\in T\setminus I}(s_{1i}+s_{\left(N-1\right)i})+\sum _{\begin{array}{c}2\le i<j\le N-2\\ i\in T\setminus I,j\in T\end{array}}{s}_{ij}+\sum _{\begin{array}{c}2\le i<j\le N-2\\ i\in I,j\in T\setminus I\end{array}}{s}_{ij}$$

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};I,0\right)=\underset{R_{{\mathbb{K}}_e}^{\left|I\right|}}{\int }\prod _{i\in I}{\left|x_i\right|}_{{\mathbb{K}}_e}^{s_{1i}}{\left|1-x_i\right|}_{{\mathbb{K}}_e}^{s_{(N-1)i}}\prod _{\begin{array}{c}2\le i<j\le N-2\\ i,j\in I\end{array}}{\left|x_i-x_j\right|}_{{\mathbb{K}}_e}^{s_i{}_j}\prod _{i\in I}d{x}_i,$$

and

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};T\setminus I,1,\right)=\underset{R_{{\mathbb{K}}_e}^{\left|T\setminus I\right|}}{\int }{F}_1\left(\mathit{s},\mathit{x};N,{\mathbb{K}}_e\right)\prod _{i\in T\setminus I}d{x}_i,$$

where

$$F_1\left(\mathit{s},\mathit{x};N,{\mathbb{K}}_e\right):=\frac{\prod _{\begin{array}{c}2\le i<j\le N-2\\ i,j\in T\setminus I\end{array}}{\left|x_i-x_j\right|}_{{\mathbb{K}}_e}^{s_{ij}}}{\prod _{i\in T\setminus I}{\left|x_i\right|}_{{\mathbb{K}}_e}^{2+s_{1i}+s_{\left(N-1\right)i}+{\sum }_{2\le j\le N-2,j\ne i}{s}_{ij}}}.$$

By convention ${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};⌀,0\right)=1$, ${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};⌀,1\right)=1$.

All the zeta functions appearing in the right-hand side of Formula (53) admit analytic continuations to the whole ${\mathbb{C}}^D$ as rational functions in the variables $p^{-e{s}_{ij}}$ and they are holomorphic on a common domain in ${\mathbb{C}}^D$. Therefore ${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s}\right)$ is a holomorphic function in a certain domain of ${\mathbb{C}}^D$ admitting a meromorphic continuation to the whole ${\mathbb{C}}^D$ as a rational function in the variables $p^{-e{s}_{ij}}$, see Theorem 1 of [8].

We use ${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s}\right)$ as regularizations of Koba–Nielsen amplitudes ${\mathit{A}}^{\left(N\right)}\left(\mathit{k},{\mathbb{K}}_e\right)$, more precisely, we define

$${\mathit{A}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{k}\right)={\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s}\right){\mid }_{s_{ij}={\mathit{k}}_i·{\mathit{k}}_j}.$$

Then ${\mathit{A}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{k}\right)$ is a well-defined rational function in the variables $p^{-e{\mathit{k}}_i·{\mathit{k}}_j}$, which agree with the integral (51) when it converges.

5.3. The Limit p Tends to One

The functions

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};I,0\right),{\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};T\setminus I,1\right)$$

are multivariate local zeta functions. Thus, to make mathematical sense of the limit of ${\mathit{Z}}_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)$ as $p\to 1$ we use the work of Denef and Loeser, see [35,66], and compute the limit of ${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s}\right)$ as $e\to 0$ instead of the limit of ${\mathit{Z}}_{{\mathbb{Q}}_p}^{\left(N\right)}\left(\mathit{s}\right)$ as $p\to 1$. In order to compute the limit $e\to 0$ is necessary to have an explicit formula for ${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s}\right)$, so in [9] we determined the explicit formula by finding explicit formulae for integrals ${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};I,0\right)$ and ${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};T\setminus I,1\right)$, see Theorem B in [9]. After that, we define

$${\mathit{Z}}_{top}^{\left(N\right)}\left(\mathit{s};I,0\right)=\underset{e\to 0}{lim}{\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};I,0\right)$$

and

$${\mathit{Z}}_{top}^{\left(N\right)}\left(\mathit{s};T\setminus I,1\right)=\underset{e\to 0}{lim}{\mathit{Z}}_{{\mathbb{K}}_e}^{\left(N\right)}\left(\mathit{s};T\setminus I,1\right),$$

which are elements of $\mathbb{Q}\left(s_{ij},i,j\in \left\{1,\dots ,N-1\right\}\right)$, the field of rational functions in the variables $s_{ij}$, $i,j\in \{1,\cdots ,N-1\}$ with coefficients in $\mathbb{Q}$. Then, by using (53), we defined the open string N-point topological zeta function as

$${\mathit{Z}}_{top}^{\left(N\right)}\left(\mathit{s}\right)=\sum _{I\subseteq T}{\mathit{Z}}_{top}^{\left(N\right)}\left(\mathit{s};I,0\right){\mathit{Z}}_{top}^{\left(N\right)}\left(\mathit{s};T\setminus I,1\right).$$

The open string N-point topological zeta function ${\mathit{Z}}_{top}^{\left(N\right)}\left(\mathit{s}\right)$ is a rational function of $\mathbb{Q}\left(s_{ij},i,j\in \left\{1,\dots ,N-1\right\}\right)$. We now define the Denef–Loeser open string N-point amplitudes at the tree level as

$${\mathit{A}}_{top}^{\left(N\right)}\left(\mathit{k}\right)={\mathit{Z}}_{top}^{\left(N\right)}\left(\mathit{s}\right){\mid }_{s_{ij}={\mathit{k}}_i·{\mathit{k}}_j},$$

with $i\in \left\{1,\dots ,N-1\right\}$, $j\in T$ or $i,j\in T$, where $T=\left\{2,\dots ,N-2\right\}$. Thus, the Denef–Loeser amplitudes are rational functions of the variables ${\mathit{k}}_i·{\mathit{k}}_j$, $i,j\in \left\{1,\dots ,N\right\}$.

5.4. Feynman Rules, Explicit Formulae and Denef–Loeser Amplitudes

Using the Feynman rules of the effective Lagrangian, an ‘explicit formula’ of the type

$${\mathit{A}}^{\left(N\right)}\left(\mathit{k}\right)=K_N+{\displaystyle \sum _{l=2}^{N-3}}{K}_{i_1...i_l}{\displaystyle \sum _{1\le a<b\le l}}\left(\frac{p-1}{p}\frac{p^{-k_{i_a}{k}_{i_b}-1}}{1-p^{-k_{i_a}{k}_{i_b}-1}}\right)$$

was given in ([14]), where the constants $K_N$, $K_{i_1...i_l}\in \mathbb{Q}\left(p\right)$. Of course, a rigorous demonstration of a such formula is an open problem. Taking formally the limit p tends to one, we get

$${\mathit{A}}_{top}^{\left(N\right)}\left(\mathit{k}\right)=K_N^{top}+{\displaystyle \sum _{l=2}^{N-3}}{K}_{i_1...i_l}^{top}{\displaystyle \sum _{1\le a<b\le l}}\frac{1}{k_{i_a}{k}_{i_b}+1}.$$

5.5. Denef–Loeser Open String 4-Point Amplitudes

The open string 4-point zeta function on ${\mathbb{K}}_e$ is defined as

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(4\right)}\left(s\right)={\displaystyle \underset{{\mathbb{K}}_e}{\int }}|x_2{|}_{{\mathbb{K}}_e}^{s_{12}}{|1-x_2|}_{{\mathbb{K}}_e}^{s_{32}}d{x}_2.$$

We divide the integration domain in sectors

$$Sect\left(I\right)=\left\{x_i\in \mathbb{Q}:{|x_i|}_{{\mathbb{K}}_e}\le 1⟺i\in I\right\},I⫅T=\left\{2,3\right\},$$

$\mathbf{I}$	$\mathbf{T}\setminus \mathbf{I}$	$\mathbf{Sect}\left(\mathbf{I}\right)$
$\left\{2\right\}$	$⌀$	$R_{{\mathbb{K}}_e}$
$⌀$	$\left\{2\right\}$	$K_e\setminus R_{{\mathbb{K}}_e}.$

In this way, we obtain that

$$\begin{array}{cc}\hfill {\mathit{Z}}_{{\mathbb{K}}_e}^{\left(4\right)}\left(s\right)& ={\mathit{Z}}_{{\mathbb{K}}_e}^{\left(4\right)}(s;\left\{2\right\},0)+p^{e(1+s_{12}+s_{32})}{\mathit{Z}}_{{\mathbb{K}}_e}^{\left(4\right)}(\underline{s}\left\{2\right\},1)\hfill \\ \hfill & ={\int }_{R_{{\mathbb{K}}_e}}|x_2{|}_{{\mathbb{K}}_e}^{s_{12}}|1-x_2{|}_{{\mathbb{K}}_e}^{s_{32}}d{x}_2+p^{e(1+s_{12}+s_{32})}{\int }_{R_{{\mathbb{K}}_e}}{|x_2|}_{{\mathbb{K}}_e}^{-2-s_{12}-s_{32}}d{x}_2,\hfill \end{array}$$

with

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(4\right)}(s;\left\{2\right\},0)=1-2p^{-e}+\frac{\left(1-p^{-e}\right)p^{e\left(-1-s_{12}\right)}}{1-p^{e\left(-1-s_{12}\right)}}+\frac{\left(1-p^{-e}\right)p^{e\left(-1-s_{32}\right)}}{1-p^{e\left(-1-s_{32}\right)}},$$

and

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(4\right)}(s;\left\{2\right\},1)=\frac{\left(1-p^{-e}\right)p^{e\left(1+s_{12}+s_{32}\right)}}{1-p^{e\left(1+s_{12}+s_{32}\right)}}.$$

Taking the limit e approaches to zero,

$${\mathit{Z}}_{top}^{\left(4\right)}(s;\left\{2\right\},0)=-1+\frac{1}{s_{12}+1}+\frac{1}{s_{32}+1}$$

and

$${\mathit{Z}}_{top}^{\left(4\right)}(s;\left\{2\right\},1)=-\frac{1}{s_{12}+s_{32}+1}.$$

Consequently

$${\mathit{Z}}_{top}^{\left(4\right)}\left(\mathit{s}\right)=-1+\frac{1}{s_{12}+1}+\frac{1}{s_{32}+1}-\frac{1}{s_{12}+s_{32}+1}.$$

Using the kinematic relations ${\mathit{k}}_1+{\mathit{k}}_2+{\mathit{k}}_3+{\mathit{k}}_4=0$ and ${\mathit{k}}_i^2=2$ we obtain ${\mathit{k}}_1{\mathit{k}}_2+{\mathit{k}}_3{\mathit{k}}_2+1=-1-{\mathit{k}}_2{\mathit{k}}_4,$ then the Denef–Loeser string 4-point amplitude is given by

$${\mathit{A}}_{top}^{\left(4\right)}\left(\mathit{k}\right)=-1+\frac{1}{{\mathit{k}}_1{\mathit{k}}_2+1}+\frac{1}{{\mathit{k}}_3{\mathit{k}}_2+1}+\frac{1}{{\mathit{k}}_2{\mathit{k}}_4+1}.$$

(54)

5.6. Denef–Loeser Open String 5-Point Amplitudes

The open string 5-point zeta function on ${\mathbb{K}}_e$ is given by

$${\mathit{Z}}_{{\mathbb{K}}_e}^{\left(5\right)}\left(\mathit{s}\right)={\displaystyle \underset{{\mathbb{K}}_e^2}{\int }}|x_2{|}_{{\mathbb{K}}_e}^{s_{12}}|x_3{|}_{{\mathbb{K}}_e}^{s_{13}}|1-x_2{|}_{{\mathbb{K}}_e}^{s_{42}}|1-x_3{|}_{{\mathbb{K}}_e}^{s_{43}}{|x_2-x_3|}_{{\mathbb{K}}_e}^{s_{23}}d{x}_{2}d{x}_3.$$

By dividing the integration domain in sectors as in Section 4.2, we obtain the results presented in

Table 2. Sectors of the 5-point Denef-Loeser amplitude.

I	${\mathbf{I}}^{\mathbf{c}}$	$\mathbf{Sect}\left(\mathbf{I}\right)$
$\left\{2\right\}$	$\left\{3\right\}$	$R_{{\mathbb{K}}_e}\times {\mathbb{K}}_e\setminus R_{{\mathbb{K}}_e}$
$\left\{3\right\}$	$\left\{2\right\}$	${\mathbb{K}}_e\setminus R_{{\mathbb{K}}_e}\times R_{{\mathbb{K}}_e}$
$\left\{2,3\right\}$	⌀	$R_{{\mathbb{K}}_e}\times R_{{\mathbb{K}}_e}$
⌀	$\left\{2,3\right\}$	${\mathbb{K}}_e\setminus R_{{\mathbb{K}}_e}\times {\mathbb{K}}_e\setminus R_{{\mathbb{K}}_e}.$

.

The open string 5-point topological zeta function is defined as

$${\mathit{Z}}_{top}^{\left(5\right)}\left(\mathit{s}\right)=\sum _{I\subseteq T}{\mathit{Z}}_{top}^{\left(5\right)}\left(\mathit{s};I,0\right){\mathit{Z}}_{top}^{\left(5\right)}\left(\mathit{s};T\setminus I,1\right).$$

Table 3. Explicit calculation of ${\mathit{Z}}_{top}^{\left(5\right)}\left(\mathit{s};I,0\right)$, ${\mathit{Z}}_{top}^{\left(5\right)}\left(\mathit{s};T\setminus I,1\right)$.

I	${\mathit{Z}}_{\mathit{t}\mathit{o}\mathit{p}}^{\left(5\right)}\left(\mathit{s};\mathit{I},0\right)$	${\mathit{Z}}_{\mathit{t}\mathit{o}\mathit{p}}^{\left(5\right)}\left(\underline{\mathit{s}};\mathit{T}\setminus \mathit{I},1\right)$
$\left\{2\right\}$	$-1+\frac{1}{1+s_{12}}+\frac{1}{1+s_{42}}$	$-\frac{1}{1+s_{13}+s_{43}+s_{23}}$
$\left\{3\right\}$	$-1+\frac{1}{1+s_{13}}+\frac{1}{1+s_{43}}$	$-\frac{1}{1+s_{12}+s_{42}+s_{23}}$
$\left\{2,3\right\}$	$\begin{array}{c}\left[\frac{1}{1+s_{12}}+\frac{1}{1+s_{13}}+\frac{1}{1+s_{23}}-1\right]\frac{1}{2+s_{12}+s_{13}+s_{23}}\\ +\frac{1}{1+s_{12}}\left[\frac{1}{1+s_{43}}-1\right]+\frac{1}{1+s_{13}}\left[\frac{1}{1+s_{42}}-1\right]\\ +2-\frac{1}{1+s_{23}}-\frac{1}{1+s_{42}}-\frac{1}{1+s_{43}}+\\ \frac{1}{2+s_{42}+s_{43}+s_{23}}\left[\frac{1}{1+s_{42}}+\frac{1}{1+s_{43}}+\frac{1}{1+s_{23}}-1\right]\end{array}$	1
$\left\{⌀\right\}$	1	$\begin{array}{c}-\frac{1}{2+s_{52}+s_{53}+s_{23}}\\ \times \left[\begin{array}{c}\frac{1}{1+s_{12}+s_{42}+s_{23}}+\frac{1}{1+s_{13}+s_{43}+s_{23}}\\ +\frac{1}{1+s_{23}}-1\end{array}\right]\end{array}$

contains explicit formulae for all the integrals ${\mathit{Z}}_{top}^{\left(5\right)}\left(\mathit{s};I,0\right)$ and ${\mathit{Z}}_{top}^{\left(5\right)}\left(\mathit{s};T\setminus I,1\right)$.

Therefore, the Denef–Loeser open string 5-point amplitude is given by

$${\mathit{A}}_{top}^{\left(5\right)}\left(\mathit{k}\right)=2-{\displaystyle \sum _{i<j}}\frac{1}{1+{\mathit{k}}_i{\mathit{k}}_j}+{\displaystyle \sum _{{}_{\begin{array}{c}\left\{i,j,k,l\right\}\subset \left\{1,2,3,4,5\right\}\\ i<j,k<l\end{array}}}}\frac{1}{1+{\mathit{k}}_i{\mathit{k}}_j}\frac{1}{1+{\mathit{k}}_k{\mathit{k}}_l},$$

where

$$\begin{array}{c}{\displaystyle \sum _{{}_{\begin{array}{c}\left\{i,j,k,l\right\}\subset \left\{1,2,3,4,5\right\}\\ i<j,k<l\end{array}}}}\frac{1}{1+{\mathit{k}}_i{\mathit{k}}_j}\frac{1}{1+{\mathit{k}}_k{\mathit{k}}_l}\\ =\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_2}\frac{1}{1+{\mathit{k}}_3{\mathit{k}}_4}+\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_2}\frac{1}{1+{\mathit{k}}_3{\mathit{k}}_5}+\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_2}\frac{1}{1+{\mathit{k}}_4{\mathit{k}}_5}\\ +\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_3}\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_4}+\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_3}\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_5}+\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_3}\frac{1}{1+{\mathit{k}}_4{\mathit{k}}_5}\\ +\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_4}\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_3}+\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_4}\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_5}+\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_4}\frac{1}{1+{\mathit{k}}_3{\mathit{k}}_5}\\ +\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_5}\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_3}+\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_5}\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_4}+\frac{1}{1+{\mathit{k}}_1{\mathit{k}}_5}\frac{1}{1+{\mathit{k}}_3{\mathit{k}}_4}\\ +\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_3}\frac{1}{1+{\mathit{k}}_4{\mathit{k}}_5}+\frac{1}{1+{\mathit{k}}_3{\mathit{k}}_5}\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_4}+\frac{1}{1+{\mathit{k}}_2{\mathit{k}}_5}\frac{1}{1+{\mathit{k}}_3{\mathit{k}}_4}\end{array}$$

This amplitude agrees with the calculation

$$\begin{array}{cc}\hfill {\mathit{A}}_{top}^{\left(5\right)}\left(\mathit{k}\right)& =\underset{p\to 1}{lim}{\mathit{A}}^{\left(5\right)}\left(\mathit{k}\right)\hfill \\ \hfill =& K_5^{top}+K_4^{top}{\displaystyle \sum _{i<j}}\frac{1}{{\mathit{k}}_i{\mathit{k}}_j+1}+{\sum }_{\begin{array}{c}\left\{i,j,k,l\right\}\subset \left\{1,2,3,4,5\right\}\\ i<j,k<l\end{array}}\frac{1}{{\mathit{k}}_i{\mathit{k}}_j+1}\frac{1}{{\mathit{k}}_k{\mathit{k}}_l+1}\hfill \end{array}$$

(55)

done using the explicit formula for given by the Feynman rules given in [14]. Here $K_5^{top}=-2$, $K_4^{top}=-1$.

5.7. Non-Archimedean Closed Strings

In Archimedean string theory, it is known that closed strings can be produced from the scattering of open strings [55]. Therefore, for p-adic string theory, it is desirable to construct a p-adic closed string theory. This was first studied in [20], see also [4,67].

The usual Archimedean closed string is described by two coordinates $(\tau ,\sigma )$ with the periodical condition ${\sigma }^{\prime }=\sigma +2\pi$. That is, the string worldsheet is a cylinder, which can be conformally mapped to the whole complex plane $\mathbb{C}$. In order to obtain tree-level scattering amplitudes we need to insert vertex operators on $\mathbb{C}$. Using the $\mathrm{SL}(2,\mathbb{C})$ symmetry, we can fix three insertions points. As with the open string, it is conventional to fix three points to $0,1$ and ∞. The simplest non-trivial example is the 4-point tachyon scattering amplitude for closed strings, also known as the Virasoro–Shapiro amplitude, is

$$A_{\mathbb{C}}^{\left(4\right)}\left(\mathit{k}\right)={\displaystyle \underset{\mathbb{C}}{\int }}{|z|}_{\mathbb{C}}^{{\mathit{k}}_1{\mathit{k}}_2/4}{|1-z|}_{\mathbb{C}}^{{\mathit{k}}_1{\mathit{k}}_3/4}dz=\frac{{\Gamma }_{\mathbb{C}}(-\alpha \left(s\right)/2){\Gamma }_{\mathbb{C}}(-\alpha \left(t\right)/2)}{{\Gamma }_{\mathbb{C}}(-\alpha \left(s\right)/2-\alpha \left(t\right)/2)},$$

where ${\mathit{k}}_i\in {\mathbb{C}}^D$ and ${\mathit{k}}_i{\mathit{k}}_j=-k_{0,i}{k}_{0,j}+\cdots k_{l,i}{k}_{l,j}$ is the Minkowski product; ${|z|}_{\mathbb{C}}:=z\overline{z}$ is the square complex norm, $\alpha \left(x\right)=x/4+2$, and

$${\Gamma }_{\mathbb{C}}\left(s\right):={\displaystyle \underset{\mathbb{C}}{\int }}exp\left[2\pi i(z+\overline{z})\right]{|z|}_{\mathbb{C}}^{s-1}dz$$

is the Gelfand–Graev gamma function over $\mathbb{C}$ [4]. For the closed strings case, the momenta vectors satisfy

$${\mathit{k}}_i^2=8,\sum _{i=1}^N{\mathit{k}}_i=0.$$

(56)

This explains the factor of $1/4$ in the exponents relative to the open strings case. The generalization of these amplitudes to N-points is given by

$$A_{\mathbb{C}}^{\left(N\right)}\left(\mathit{k}\right)={\displaystyle \underset{{\mathbb{C}}^{N-3}}{\int }}\prod _{i=2}^{N-2}|z_i{|}_{\mathbb{C}}^{{\mathit{k}}_1{\mathit{k}}_i/4}|1-z_i{|}_{\mathbb{C}}^{{\mathit{k}}_{N-1}{\mathit{k}}_i/4}\prod _{2\le i<j\le N-2}{|z_i-z_j|}_{\mathbb{C}}^{{\mathit{k}}_i{\mathit{k}}_j/4}\prod _{i=2}^{N-2}d{z}_i,$$

(57)

where $\mathit{k}=({\mathit{k}}_{\mathbf{1}},\cdots ,{\mathit{k}}_N)$. As we can see, these amplitudes are very similar to the Koba–Nielsen amplitudes, except for the fact that they are being integrated over complex variables and the replacement ${\mathit{k}}_i\to \frac{1}{2}{\mathit{k}}_i$.

To construct p-adic versions of Virasoro–Shapiro amplitudes, one can consider ${\mathbb{Q}}_p$ as the analog of $\mathbb{R}$, and a quadratic extension of ${\mathbb{Q}}_p$ as the analog of $\mathbb{C}$. However, this quadratic extension is not unique, and is not an algebraically closed field. This naive approach is followed in [4,20]. This approach is not very useful here, because we work with open string amplitudes over any finite extension of ${\mathbb{Q}}_p$.

Definition 2.

Given an open string N-point amplitude $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$ defined over a non-Archimedean local field $\mathbb{K}$, we attach to it a Virasoro–Shapiro amplitude defined as ${\mathcal{A}}_{{\mathbb{K}}_2}^{\left(N\right)}\left(\mathit{k}\right)=A_{{\mathbb{K}}_2}^{\left(N\right)}\left(\frac{1}{2}\mathit{k}\right)$, where ${\mathbb{K}}_2$ is the unique unramified extension of $\mathbb{K}$ of degree 2.

Then, by the results of [6], ${\mathcal{A}}_{{\mathbb{K}}_2}^{\left(N\right)}\left(\mathit{k}\right)$ admits a meromorphic continuation as a rational function in the variables $q^{-2s_{ij}}$.

6. A Physical View of the Limit $\mathit{p}\to \mathbf{1}$ on $\mathit{p}$-Adic String Amplitudes

The problem of finding a relation between the physical string amplitudes and the p-adic one has been present since the initial proposal. One of the first attempts is that of the Adelic amplitudes which can be written as an infinite product of physical non-Archimedean amplitudes [14,21].

There are other possibilities to look for a link between Archimedean and Non-Archimedean amplitudes. One of them is to consider the limit $p\to 1$. This limit is very intriguing and there are different interpretations of it [23,29,34]. For instance, in [23] it was argued that the analytic continuation of p to the complex numbers can be reflected in the Lagrangian and equations of motion by turning the non-local equations of motion into a local and linear dynamical description with a logarithmic potential. This is an ordinary theory with real physical amplitudes. In [29] it was argued that as similarly found in [23], the expansion of the effective action around $p\to 1$ leads to a linear theory with logarithmic potential. Besides that, this theory is deeply related to the boundary string field theory proposed by Witten [30] in the context of the developing of a background independence string theory. The limit $p\to 1$ also can be interpreted in terms of some scaling transformations of the renormalization group for the Bruhat–Tits tree [34].

As we have seen in this survey, the non-Archimedean nature is encoded in the worldsheet theory. In this context we must recall that p as a prime number, thus the analysis necessarily needs to be carry out in a rigorous way. The right way of taking the limit $p\to 1$ involves the introduction of unramified finite extensions of the p-adic field ${\mathbb{Q}}_p$. In [9] the limit $p\to 1$ was discussed for tree-level string amplitudes, by using the topological zeta functions introduced by Denef and Loeser [35,66]. We found that the limit $p\to 1$ of p-adic string amplitudes leads to certain string amplitudes (which are rational functions) that we termed the Denef–Loeser open string amplitudes. These Denef–Loeser amplitudes for $N=4$, 5 points were computed in Section 5.5 and Section 5.6, for more details see [9]. On the other hand for $N=4$, 5, in [9], we computed the limit $p\to 1$ of the effective field theory of p-adic amplitudes, i.e., the Gerasimov and Shatashvili Lagrangian (61) involving a logarithmic potential. By computing the interacting generating functional at the tree level, we verified that the corresponding amplitudes coincide exactly with the Denef–Loeser amplitudes. Based on this fact we have formulated a conjecture, which was already stated in the introduction of this survey.

In what follows we review the evidence of the mentioned conjecture in the cases $N=4$, 5 following [9]. First, we review some basic results from [29] starting with the effective action which is a field theory whose perturbative analysis leads to the p-adic scattering amplitudes [14], it can be written as

$$S\left(\varphi \right)=\frac{1}{g^2}\frac{p^2}{p-1}\int d^{D}x\left(-\frac{1}{2}\varphi p^{-\frac{1}{2}\Delta }\varphi +\frac{1}{p+1}{\varphi }^{p+1}\right),$$

(58)

where $\Delta$ is the Laplacian on M and g is the coupling constant. The corresponding Euler-Lagrange equation is

$$p^{-\frac{1}{2}\Delta }\varphi ={\varphi }^p.$$

(59)

In the source space (and consequently in the amplitudes) p is a prime number; however, in the target space (and consequently in the Lagrangian and in the equation of motion) p is a real parameter. Thus, one can formally proceed to approach p to one and perform a Taylor expansion at $(p-1)$ of the expression $exp(-\frac{1}{2}\Delta logp)$ and $exp(plog\varphi )$. Then the resulting equation of motion is given by

$$\Delta \varphi =-2\varphi log\varphi .$$

(60)

This is the motion equation of the Gerasimov–Shatashvili action

$$S\left(\varphi \right)=\int d^{D}x\left({(\partial \varphi )}^2-V\left(\varphi \right)\right),$$

(61)

where ${(\partial \varphi )}^2={\eta }^{\mu \nu }{\partial }_{\mu }\varphi ·{\partial }_{\nu }\varphi$ and $V\left(\varphi \right)$ is the potential

$$V\left(\varphi \right)={\varphi }^{2}log\frac{{\varphi }^2}{e}.$$

We consider that action (61) is the limit p tends to one of the effective action (58).

The action corresponding to the free theory with a source is written as

$$S_0\left(\varphi \right)=\int d^{D}x\left[{(\partial \varphi )}^2+{\varphi }^2\left(x\right)+J\left(x\right)\varphi \left(x\right)\right].$$

Now, the action (61) can be conveniently rewritten as

$$S\left(\varphi \right)=\int d^{D}x\left[{(\partial \varphi )}^2+m^2-U\left(\varphi \right)\right],$$

(62)

where $U\left(\varphi \right)=2{\varphi }^{2}log\varphi$. Then the potential $U\left(\varphi \right)$ can be expanded in Taylor series around the origin in the form

$$U\left(\varphi \right)=A{\varphi }^2+B{\varphi }^3+C{\varphi }^4+D{\varphi }^5+\cdots ,$$

(63)

where $A,B,C$ and D are constants and they are real numbers.

Now, we briefly review the form of obtaining the four-point and five-point amplitudes from the Lagrangian (61) [29]. In quantum field theory N-point correlation functions of N local operators $\widehat{\varphi }$ in N different points $x_1,x_2,\cdots ,x_N$ of M, can be written as

$$\langle T(\widehat{\varphi }\left(x_1\right)\widehat{\varphi }\left(x_2\right)\cdots \widehat{\varphi }\left(x_N\right))\rangle =\frac{{(-i\hslash )}^N}{\mathcal{Z}\left[J\right]}\frac{{\delta }^n\mathcal{Z}\left[J\right]}{\delta J\left(x_1\right)\delta J\left(x_2\right)\cdots \delta J\left(x_N\right)}{|}_{J=0},$$

where $\mathcal{Z}\left[J\right]$ is the generating functional constructed using interacting Lagrangian (62). The functional can be computed as

$$\begin{array}{c}\mathcal{Z}\left[J\right]=exp\{-\frac{iB}{\hslash }\int d^{D}x{\left(-i\hslash \frac{\delta }{\delta J\left(x\right)}\right)}^3\hfill \\ \hfill -\frac{iC}{\hslash }\int d^{D}x{\left(-i\hslash \frac{\delta }{\delta J\left(x\right)}\right)}^4-\frac{iD}{\hslash }\int d^{D}x{\left(-i\hslash \frac{\delta }{\delta J\left(x\right)}\right)}^5+\cdots \}{\mathcal{Z}}_0\left[J\right],\end{array}$$

where the generating functional of the correlation function for the free theory with sources is given by

$${\mathcal{Z}}_0\left[J\right]=\mathcal{N}{[det(\Delta -1)]}^{-1/2}exp\left\{-\frac{i}{4\hslash }\int d^{D}x\int d^D{x}^{\prime }J\left(x\right)G_F(x-x^{\prime })J\left(x^{\prime }\right)\right\}.$$

Moreover, $G_F(x-x^{\prime })$ is the Green-Feynman function of the differential operator $(\Delta -1)$.

For the computation of the interacting 4-point amplitudes can be obtained through the generating functional

$$\mathcal{Z}\left[J\right]=\cdots -iC{\hslash }^3\int d^{D}x{\left(\frac{\delta }{\delta J\left(x\right)}\right)}^4{\mathcal{Z}}_0\left[J\right]+\cdots .$$

In terms of $\mathcal{Z}\left[J\right]$, 4-point amplitudes implies the computation of

$$\begin{array}{c}\frac{{\delta }^4\mathcal{Z}\left[J\right]}{\delta J\left(x_1\right)\delta J\left(x_2\right)\delta J\left(x_3\right)\delta J\left(x_4\right)}{|}_{J=0}\\ =-4!iC{\hslash }^3\int d^{D}x\left[-\frac{i}{2\hslash }{G}_F(x-x_1)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_2)\right]\\ \times \left[-\frac{i}{2\hslash }{G}_F(x-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_4)\right]\\ =-\frac{3iC}{2\hslash }\int d^{D}x{G}_F(x-x_1)G_F(x-x_2)G_F(x-x_3)G_F(x-x_4).\end{array}$$

(64)

Here $G_F(x-y)$ is the Green-Feynman propagator. This amplitude corresponds to the Feynman diagram with only one vertex and four external legs. following the notation of [14], we write for it the symbol ${\overline{K}}_4$.

The contribution to the 4-point amplitudes of $B{\varphi }^3$ in (63) has a contribution at the second order of the expansion. The corresponding Feynman diagrams have two vertices at points x and y with two external legs, which are connected by a propagator $G_F(x-y)$. Thus, we have

$$\mathcal{Z}\left[J\right]=\cdots +\frac{B^2{\hslash }^4}{2}\int d^{D}x\int d^{D}y{\left(\frac{\delta }{\delta J\left(x\right)}\right)}^3{\left(\frac{\delta }{\delta J\left(y\right)}\right)}^3{\mathcal{Z}}_0\left[J\right]+\cdots .$$

(65)

Moreover, the contribution to the 4-point amplitudes from the term $C{\varphi }^3$ arises to second order. Thus, it yields

$$\frac{{\delta }^4\mathcal{Z}\left[J\right]}{\delta J\left(x_1\right)\delta J\left(x_2\right)\delta J\left(x_3\right)\delta J\left(x_4\right)}{|}_{J=0}=18B^2{\hslash }^4\int d^{D}x\int d^{D}y\left[-\frac{i}{2\hslash }{G}_F(x-y)\right]$$

$$\times \{\left[-\frac{i}{2\hslash }{G}_F(x-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_1)\right]$$

$$+\left[-\frac{i}{2\hslash }{G}_F(x-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_1)\right]$$

$$+\left[-\frac{i}{2\hslash }{G}_F(x-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_1)\right]$$

$$+\left[-\frac{i}{2\hslash }{G}_F(y-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_1)\right]$$

$$+\left[-\frac{i}{2\hslash }{G}_F(y-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_1)\right]$$

$$+\left[-\frac{i}{2\hslash }{G}_F(y-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_1)\right]\}.$$

(66)

The sum of expressions (64) and (66) constitutes the total amplitude which contains the sum of the three channels s, t and u. They are expected to be the p-adic 4-point amplitudes arising in the limit $p\to 1$. Thus, in the Fourier space it is expected to be written schematically as

$$A_{GS}^{\left(4\right)}=K_4^{GS}+\sum _{i<j}{x}_{ij}^{GS},$$

where $x_{ij}^{GS}$ is the propagator $x_{ij}^{GS}=\frac{1}{{\mathit{k}}_i{\mathit{k}}_j+1}$ in momentum space. Then $A_{GS}^{\left(4\right)}$ agrees with ${\mathit{A}}_{top}^{\left(4\right)}\left(\mathit{k}\right)=-1+{\sum }_{i<j}{x}_{ij}^{GS}$ up to the constant $K_4^{GS}$, see (54).

In the case of amplitudes of 5-points, the contribution of the term $D{\varphi }^5$ in the Lagrangian is written as

$$\mathcal{Z}\left[J\right]=\cdots -D{\hslash }^4\int d^{D}x{\left(\frac{\delta }{\delta J\left(x\right)}\right)}^5{\mathcal{Z}}_0\left[J\right]+\cdots .$$

Thus, the corresponding 5-point amplitude is

$$\frac{{\delta }^5\mathcal{Z}\left[J\right]}{\delta J\left(x_1\right)\delta J\left(x_2\right)\delta J\left(x_3\right)\delta J\left(x_4\right)\delta J\left(x_5\right)}{|}_{J=0}=-5!D{\hslash }^4\int d^{D}x\left[-\frac{i}{2\hslash }{G}_F(x-x_1)\right]$$

$$\times \left[-\frac{i}{2\hslash }{G}_F(x-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_5)\right].$$

(67)

The contribution will be encoded in the symbol $K_5^{GS}$.

Another contribution come from the term $B{\varphi }^3\times C{\varphi }^4$. In the Fourier space the corresponding diagrams have precisely 2-vertices, 5 external legs attached to these vertices and one internal leg between the two vertices (see, Section 3 of [14]).

This latter contribution to generating functional is written as

$$\mathcal{Z}\left[J\right]=\cdots -iBC{\hslash }^5\int d^{D}x\int d^{D}y{\left(\frac{\delta }{\delta J\left(x\right)}\right)}^3{\left(\frac{\delta }{\delta J\left(y\right)}\right)}^4{\mathcal{Z}}_0\left[J\right]+\cdots .$$

(68)

The 5-point amplitude yields

$$\frac{{\delta }^5\mathcal{Z}\left[J\right]}{\delta J\left(x_1\right)\delta J\left(x_2\right)\delta J\left(x_3\right)\delta J\left(x_4\right)\delta J\left(x_5\right)}{|}_{J=0}$$

$$=-iBC{\left(12\right)}^2{\hslash }^5\int d^{D}x\int d^{D}y\left[-\frac{i}{2\hslash }{G}_F(x-y)\right]\{\left[-\frac{i}{2\hslash }{G}_F(x-x_5)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_4)\right]$$

$$\times \left[-\frac{i}{2\hslash }{G}_F(y-x_3)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_1)\right]+\cdots$$

$$+\left[-\frac{i}{2\hslash }{G}_F(y-x_5)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_3)\right]$$

$$\times \left[-\frac{i}{2\hslash }{G}_F(y-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(y-x_1)\right]+\cdots \}.$$

(69)

Moreover, in the computation of the 5-point amplitudes, the last contribution comes from the term

$$\mathcal{Z}\left[J\right]=\cdots +\frac{B^3{\hslash }^6}{3!}\int d^{D}x\int d^{D}y\int d^{D}z{\left(\frac{\delta }{\delta J\left(x\right)}\right)}^3·{\left(\frac{\delta }{\delta J\left(y\right)}\right)}^3·{\left(\frac{\delta }{\delta J\left(z\right)}\right)}^3{\mathcal{Z}}_0\left[J\right]+\cdots .$$

(70)

The diagrams associated with this expansion are diagrams with three vertices. Two of them have two external legs and the other leg is internal. The remaining leg has one external line and two internal lines attached.

Then the total contribution is

$$\frac{{\delta }^5\mathcal{Z}\left[J\right]}{\delta J\left(x_1\right)\delta J\left(x_2\right)\delta J\left(x_3\right)\delta J\left(x_4\right)\delta J\left(x_5\right)}{|}_{J=0}=\frac{B^3{\hslash }^{6}a}{3!}\int d^{D}x\int d^{D}y\int d^{D}z\left[-\frac{i}{2\hslash }{G}_F(x-y)\right]$$

$$\times \left[-\frac{i}{2\hslash }{G}_F(y-z)\right]\{\left[-\frac{i}{2\hslash }{G}_F(y-x_5)\right]\left[-\frac{i}{2\hslash }{G}_F(z-x_4)\right]\left[-\frac{i}{2\hslash }{G}_F(z-x_3)\right]$$

$$\times \left[-\frac{i}{2\hslash }{G}_F(x-x_2)\right]\left[-\frac{i}{2\hslash }{G}_F(x-x_1)\right]+\cdots \},$$

(71)

where a is a constant.

Summarizing, the 5-point amplitudes $A_5$ obtained from Lagrangian (61) can be written schematically (in notation from [14]) by

$$A_{GS}^{\left(5\right)}=K_5^{GS}+\sum _{K_4^{GS}i<j}{x}_{ij}^{GS}+\sum _{\begin{array}{c}\left\{i,j,k,l\right\}\subset \left\{1,2,3,4,5\right\}\\ i<j,k<l\end{array}}{x}_{ij}^{GS}{x}_{kl}^{GS},$$

where the three terms in the sum corresponds to the contributions of Equations (67), (69) and (71) respectively. Notice that $A_{GS}^{\left(5\right)}$ agrees with

$${\mathit{A}}_{top}^{\left(5\right)}\left(\mathit{k}\right)=2-{\displaystyle \sum _{i<j}}{x}_{ij}^{GS}+{\displaystyle \sum _{{}_{\begin{array}{c}\left\{i,j,k,l\right\}\subset \left\{1,2,3,4,5\right\}\\ i<j,k<l\end{array}}}}{x}_{ij}^{GS}{x}_{kl}^{GS}$$

up to the constants $K_5^{GS}$, $K_4^{GS}$, see (55).

We now give a precise formulation of Conjecture 2 announced in the Introduction. By using the Feynman rules for the effective Lagrangian given in [14],

$$A_{{\mathbb{Q}}_p}^{\left(N\right)}=K+{\sum }_{l=2}^{N-3}{K}_{i_1...i_l}{\displaystyle \sum _{1\le a<b\le l}}\left(\frac{p-1}{p}\frac{p^{-k_{i_a}{k}_{i_b}-1}}{1-p^{-k_{i_a}{k}_{i_b}-1}}\right),$$

where the constants K, $K_{i_1...i_l}$ are rational functions in p with rational coefficients. Furthermore, if $N\le p+1$, the constant term K is not zero. Formally, we have

$$A_{top}^{\left(N\right)}=\underset{p\to 1}{lim}{A}_{{\mathbb{Q}}_p}^{\left(N\right)}=K^{top}+{\sum }_{l=2}^{N-3}{K}_{i_1...i_l}^{top}{\displaystyle \sum _{1\le a<b\le l}}\left(\frac{1}{k_{i_a}{k}_{i_b}+1}\right).$$

We denote by $A_{GS}^{\left(N\right)}$ the Feynman amplitude of Lagrangian (61). We conjecture that

$$A_{GS}^{\left(N\right)}=K^{GS}+{\sum }_{l=2}^{N-3}{K}_{i_1...i_l}^{GS}\sum _{1\le a<b\le l}{x}_{{}_{i_a{i}_b}}^{GS},$$

where $x_{{}_{i_a{i}_b}}^{GS}=\frac{1}{k_{i_a}{k}_{i_b}+1}=\widehat{G_F}\left(k_{i_a}-k_{i_b}\right)$. Notice that we are not asserting the existence of any relation between the constants $K^{top}$, $K_{i_1...i_l}^{top}$ and the constants $K^{GS}$, $K_{i_1...i_l}^{GS}$.

7. $\mathit{p}$-Adic Open String Amplitudes Coupled to a B-Field with Chan–Paton Factors

Strings propagating in a background with gauge fields was discussed many years ago [57]. In particular, incorporating a Neveu–Schwarz B field in the target space leads to a noncommutative effective gauge theory on the world-volume of D-branes [58]. In [7], the N-point p-adic string amplitudes, with Chan–Paton rules and a constant B-field (the Ghoshal–Kawano amplitudes) were studied, these amplitudes were introduced in [60]. The study was done by attaching twisted local multivariate zeta functions to the Ghoshal–Kawano amplitudes. In this section we discuss the meromorphic continuation of the Ghoshal–Kawano amplitudes, we also compute the 4 and 5 points amplitudes. Due to the need for a particular symmetry, in this section, we take $p\equiv 3\mathrm{mod}4$.

7.1. The p-Adic Sign Function

A p-adic sign function is a multiplicative character of ${\mathbb{Q}}_p^{\times }$ that takes values in $\left\{\pm 1\right\}$. We set ${\left[{\mathbb{Q}}_p^{\times }\right]}^2$ as the multiplicative subgroup of squares in ${\mathbb{Q}}_p^{\times }$, i.e.

$${\left[{\mathbb{Q}}_p^{\times }\right]}^2=\{a\in {\mathbb{Q}}_p;a=b^2\mathrm{for}\mathrm{some}b\in {\mathbb{Q}}_p^{\times }\}.$$

Let $\epsilon \in \{1,\dots ,p-1\}$ such that $\left(\frac{\epsilon }{p}\right)=-1$, where $\left(\frac{·}{·}\right)$ is the Legendre symbol (see for instance the Appendix of [7]). For $p\ne 2$ we have

$${\mathbb{Q}}_p^{\times }/{\left[{\mathbb{Q}}_p^{\times }\right]}^2=\{1,\epsilon ,p,\epsilon p\},$$

this means that any nonzero p-adic number can be written uniquely as

$$x=\tau a^2,\mathrm{with}a\in {\mathbb{Q}}_p^{\times }\mathrm{and}\tau \in {\mathbb{Q}}_p^{\times }/{\left[{\mathbb{Q}}_p^{\times }\right]}^2.$$

For a fixed $\tau \in \{\epsilon ,p,\epsilon p\}$, and $x\in {\mathbb{Q}}_p^{\times }$, we define the p-adic sign function

$${\mathrm{sgn}}_{\tau }\left(x\right):=\left\{\begin{array}{cc}1\hfill & \mathrm{if}x=a^2-\tau b^2\mathrm{for}a,b\in {\mathbb{Q}}_p\hfill \\ -1\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$$

(72)

The following is the list of all the possible p-adic sign functions:

$$\begin{array}{cc}& \\ \mathbf{p}\equiv \mathbf{1}mod\mathbf{4}& \mathbf{p}\equiv \mathbf{3}mod\mathbf{4}\\ \hfill {\mathrm{sgn}}_{\epsilon }\left(x\right)={\left(-1\right)}^{ord\left(x\right)}& {\mathrm{sgn}}_{\epsilon }\left(x\right)={\left(-1\right)}^{ord\left(x\right)}\\ \hfill {\mathrm{sgn}}_p\left(x\right)=\left(\frac{x_0}{p}\right)& {\mathrm{sgn}}_p\left(x\right)={\left(-1\right)}^{ord\left(x\right)}\left(\frac{x_0}{p}\right)\\ \hfill {\mathrm{sgn}}_{\epsilon p}\left(x\right)={\left(-1\right)}^{ord\left(x\right)}\left(\frac{x_0}{p}\right)& {\mathrm{sgn}}_{\epsilon p}\left(x\right)=\left(\frac{x_0}{p}\right),\\ \hfill \end{array}$$

(73)

see [68]. The function ${\mathrm{sgn}}_{\tau }$ is a multiplicative character, which means that

$${\mathrm{sgn}}_{\tau }\left(xy\right)={\mathrm{sgn}}_{\tau }\left(x\right){\mathrm{sgn}}_{\tau }\left(y\right).$$

Additionally ${\mathrm{sgn}}_{\tau }$ is a locally constant function in ${\mathbb{Q}}_p^{\times }$, which means that ${\mathrm{sgn}}_{\tau }(x-y)={\mathrm{sgn}}_{\tau }\left(x\right)$ if ${|y|}_p<{|x|}_p$.

We need the symmetry ${\mathrm{sgn}}_{\tau }(-y)=-{\mathrm{sgn}}_{\tau }\left(y\right)$ (i.e. ${\mathrm{sgn}}_{\tau }(-1)=-1$), this requires $p\equiv 3$ mod 4 and $\tau \in \left\{p,\epsilon p\right\}$. Finally, for any $x\in {\mathbb{Q}}_p^{\times }$, we define the p-adic Heaviside step function as

$$H_{\tau }\left(x\right)=\frac{1}{2}(1+{\mathrm{sgn}}_{\tau }\left(x\right))=\left\{\begin{array}{cc}1\hfill & \mathrm{if}\mathrm{sgn}{}_{\tau }\left(x\right)=1\hfill \\ & \\ 0\hfill & \mathrm{if}\mathrm{sgn}{}_{\tau }\left(x\right)=-1.\hfill \end{array}\right.$$

7.2. A Class of Twisted Multivariate Local Zeta Functions

Let

$$\mathit{f}:=\left(f_1,\dots ,f_m\right),\chi :=\left({\chi }_1,\dots ,{\chi }_m\right)$$

be vectors of non-constant polynomials and multiplicative characters, respectively. And $\mathit{s}:=\left(s_1,\dots ,s_m\right)\in {\mathbb{C}}^m.$ The twisted multivariate local zeta functions have the form:

$$Z_{\Theta }\left(\mathit{s},\chi ,\mathit{f}\right)=\underset{{\mathbb{Q}}_p^n\setminus {\cup }_{i=1}^m{f}^{-1}\left(0\right)}{\int }\Theta \left(x\right)\prod _{i=1}^m{\chi }_i\left(ac\left(f_i\left(x\right)\right)\right){\left|f_i\left(x\right)\right|}_p^{s_i}\prod _{i=1}^{n}d{x}_i,$$

(74)

with $Re\left(s_i\right)>0$ for all $i$, $ac$ stands for the angular component and $\Theta \left(x\right)$ is a test function. Integrals of type (74) are holomorphic functions in $\mathit{s}$, which admit meromorphic continuations as rational functions in the variables $p^{-s_1},\dots ,p^{-s_m}$ to the whole ${\mathbb{C}}^m$, Théorème 1.1.4. of [36], see also [26]. The case when ${\chi }_i$ is the trivial character has been studied previously, see e.g., Lemma 8.2.1 of [26]. The case when ${\chi }_i={\mathrm{sgn}}_{\tau }$ is new.

Using Hironaka’s resolution of singularities theorem [50], in [7] we show that $Z_{\Theta }\left(\mathit{s},\chi ,\mathit{f}\right)$ admits a meromorphic continuation as a rational function in the variables $p^{-s_1},\dots ,p^{-s_m}$. More precisely,

$$Z_{\Theta }\left(\mathit{s},\chi ,\mathit{f}\right)=\frac{L_{\Theta ,\chi }\left(\mathit{s}\right)}{{\displaystyle \prod _{j\in \mathcal{T}}}\left(1-p^{-{\sum }_{i=1}^m{N}_{i,j}{s}_j-v_j}\right)},$$

(75)

where $L_{\Theta ,\chi }\left(\mathit{s}\right)$ is a polynomial in the variables $p^{-s_1},\dots ,p^{-s_m}$, and the real parts of its poles belong to the finite union of hyperplanes

$$\sum _{i=1}^m{N}_{i,j}Re\left(s_i\right)+v_j=0,\mathrm{for}j\in \mathcal{T}.$$

This result is a variation of Théorème 1.1.4. in [36].

7.3. The Ghoshal–Kawano Local Zeta Function

In [60] Ghoshal and Kawano proposed the following amplitude (for the N-point tree-level, p-adic open string amplitude, with Chan–Paton rules in a constant B-field):

$$\begin{array}{cc}\hfill A^{\left(N\right)}& \left(\mathit{k},\theta ,\tau ;x_1,x_{N-1}\right):=\underset{{\mathbb{Q}}_p^{N-3}\setminus \Lambda }{\int }\prod _{i=2}^{N-2}{\left|x_i\right|}_p^{{\mathit{k}}_1{\mathit{k}}_i}{\left|1-x_i\right|}_p^{{\mathit{k}}_{N-1}{\mathit{k}}_i}{H}_{\tau }\left(x_i\right)H_{\tau }\left(1-x_i\right)\hfill \\ \hfill & \times \prod _{2\le i<j\le N-2}{\left|x_i-x_j\right|}_p^{{\mathit{k}}_i{\mathit{k}}_j}{H}_{\tau }\left(x_i-x_j\right)\hfill \\ \hfill & \times exp\left\{-\frac{\sqrt{-1}}{2}\left(\sum _{1\le i<j\le N-1}\left({\mathit{k}}_i\theta {\mathit{k}}_j\right){\mathrm{sgn}}_{\tau }(x_i-x_j)\right)\right\}\prod _{i=2}^{N-2}d{x}_i,\hfill \end{array}$$

(76)

where $N\ge 4$, $\mathit{k}=\left({\mathit{k}}_1,\dots ,{\mathit{k}}_N\right)$, ${\mathit{k}}_i=\left(k_{0,i},\dots ,k_{l,i}\right)$, $i=1,\dots ,N$, is the momentum vector of the i-th tachyon (with Minkowski product ${\mathit{k}}_i{\mathit{k}}_j=-k_{0,i}{k}_{0,j}+k_{1,i}{k}_{1,j}+\cdots +k_{l,i}{k}_{l,j}$), $\theta$ is a fixed antisymmetric bilinear form that is built with the inverse of the B-field; ${\prod }_{i=2}^{N-2}d{x}_i$ is the normalized Haar measure of ${\mathbb{Q}}_p^{N-3}$,

$$\Lambda :=\left\{\left(x_2,\dots ,x_{N-2}\right)\in {\mathbb{Q}}_p^{N-3};\prod _{i=2}^{N-2}{x}_i\left(1-x_i\right)\prod _{2\le i<j\le N-2}\left(x_i-x_j\right)=0\right\},$$

and the momentum vectors obey

$$\sum _{i=1}^N{\mathit{k}}_i=\mathbf{0},{\mathit{k}}_i{\mathit{k}}_i=2\mathrm{for}i=1,\dots ,N.$$

(77)

To preserve the symmetry under the exchange of external momentum vectors, we require that ${\mathrm{sgn}}_{\tau }(x_i-x_j)=-{\mathrm{sgn}}_{\tau }(x_j-x_i)$, or equivalently ${\mathrm{sgn}}_{\tau }(-1)=-1$. Then for the rest of this section we assume that $\tau \in \left\{p,\epsilon p\right\}$.

To simplify the notation, we introduce the variables $s_{ij}\in \mathbb{C}$, and ${\tilde{s}}_{ij}\in \mathbb{R}$ for $1\le i<j\le N-1$. We also set

$$\begin{array}{c}F(\mathit{x},\mathit{s},\tau ):=\prod _{i=2}^{N-2}|x_i{|}_p^{s_{1i}}{|1-x_i|}_p^{s_{(N-1)i}}{H}_{\tau }\left(x_i\right)H_{\tau }(1-x_i)\hfill \\ \hfill \times \prod _{2\le i<j\le N-2}{|x_i-x_j|}_p^{s_{ij}}{H}_{\tau }(x_i-x_j),\end{array}$$

and

$$E(\mathit{x},\tilde{\mathit{s}},\tau ;x_1,x_{N-1}):=exp\left\{\frac{-\sqrt{-1}}{2}\left(\sum _{1\le i<j\le N-1}{\tilde{s}}_{ij}{\mathrm{sgn}}_{\tau }(x_1-x_j)\right)\right\}.$$

(78)

Now, we define the Ghoshal–Kawano local zeta function as

$$Z^{\left(N\right)}(\mathit{s},\tilde{\mathit{s}},\tau ;x_1,x_{N-1})=\underset{{\mathbb{Q}}_p^{N-3}\setminus \Lambda }{\int }F(\mathit{x},\mathit{s},\tau )E(\mathit{x},\tilde{\mathit{s}},\tau ;x_1,x_{N-1})\prod _{i=2}^{N-2}d{x}_i.$$

(79)

For the sake of simplicity, we use ${\mathbb{Q}}_p^{N-3}$ as domain of integration in (79) from now on. We now consider the convergence of the amplitudes (76). By using that $\left|E(\mathit{x},\tilde{\mathit{s}},\tau ;x_1,x_{N-1})\right|=1$, $\left|H_{\tau }\left(x_i\right)\right|\le 1$, $\left|H_{\tau }(1-x_i)\right|\le 1$, for any i, and that $\left|H_{\tau }(x_i-x_j)\right|\le 1$, for any i, j, we have

$$\begin{array}{c}\left|Z^{\left(N\right)}(\mathit{s},\tilde{\mathit{s}},\tau ;x_1,x_{N-1})\right|\hfill \\ \le \underset{{\mathbb{Q}}_p^{N-3}}{\int }\prod _{i=2}^{N-2}{\left|x_i\right|}_p^{Re\left(s_{1i}\right)}{\left|1-x_i\right|}_p^{Re\left(s_{(N-1)i}\right)}\prod _{2\le i<j\le N-2}{\left|x_i-x_j\right|}_p^{Re\left(s_{ij}\right)}\prod _{i=2}^{N-2}d{x}_i\\ \hfill =Z^{\left(N\right)}\left(Re\left(\mathit{s}\right)\right),\end{array}$$

where $Z^{\left(N\right)}\left(\mathit{s}\right)$ is the Koba–Nielsen string amplitude studied in [6,8]. By applying the results of [6,8], integral $Z^{\left(N\right)}\left(Re\left(\mathit{s}\right)\right)$ is holomorphic in an open set $\mathcal{K}\subset$${\mathbb{C}}^D$, therefore

$$Z^{\left(N\right)}(\mathit{s},\tilde{\mathit{s}},\tau )\mathrm{is}\mathrm{holomorphic}\mathrm{in}\mathit{s}\in \mathcal{K}\mathrm{for}\mathrm{any}\tilde{\mathit{s}},\tau ,x_1,x_{N-1}.$$

It is important to notice that if any of the integration variables is in ${\mathbb{Q}}_p\setminus {\mathbb{Z}}_p$, then due to the local constancy of ${\mathrm{sgn}}_{\tau }$, the factor $H_{\tau }\left(x\right)H_{\tau }(-x)$ appears in $F(\mathit{x},\mathit{s},\tau )$, and $H_{\tau }\left(x\right)H_{\tau }(-x)=0$. For this reason, we redefine the Ghoshal–Kawano local zeta function as

$$Z^{\left(N\right)}(\mathit{s},\tilde{\mathit{s}},\tau ;x_1,x_{N-1}):=\underset{{\mathbb{Z}}_p^{N-3}}{\int }F(\mathit{x},\mathit{s},\tau )E(\mathit{x},\tilde{\mathit{s}},\tau ;x_1,x_{N-1})\prod _{i=2}^{N-2}d{x}_i.$$

(80)

7.4. Ghoshal–Kawano Amplitude as a Local Zeta Function

For $\tilde{s}\in \mathbb{R}$ we have

$$exp\left\{\frac{-\sqrt{-1}\tilde{s}}{2}{\mathrm{sgn}}_{\tau }\left(x\right)\right\}=cos\left(\frac{\tilde{s}}{2}\right)-\sqrt{-1}{\mathrm{sgn}}_{\tau }\left(x\right)sin\left(\frac{\tilde{s}}{2}\right).$$

(81)

Using this identity and the convention $x_1=0$, $x_{N-1}=1$, we have

$$E(\mathit{x},\tilde{\mathit{s}},\tau )=\sum _{I,J,K}{E}_{I,J,K}\left(\tilde{\mathit{s}}\right)\prod _{j\in I}{\mathrm{sgn}}_{\tau }\left(x_j\right)\prod _{j\in J}{\mathrm{sgn}}_{\tau }(1-x_j)\prod _{i,j\in K}{\mathrm{sgn}}_{\tau }(x_i-x_j).$$

(82)

In a similar way, we obtain that

$$\begin{array}{cc}\hfill & \prod _{i=2}^{N-2}{H}_{\tau }\left(x_i\right)H_{\tau }(1-x_i)\prod _{2\le i<j\le N-2}{H}_{\tau }(x_i-x_j)\hfill \\ \hfill & =\sum _{I,J,K}{e}_{I,J,K}\prod _{j\in I}{\mathrm{sgn}}_{\tau }\left(x_j\right)\prod _{j\in J}{\mathrm{sgn}}_{\tau }(1-x_j)\prod _{i,j\in K}{\mathrm{sgn}}_{\tau }(x_i-x_j),\hfill \end{array}$$

(83)

Using Formulae (82) and (83), and assuming $x_1=0$, $x_{N-1}=1$, $x_N=\infty$, we can write the Ghoshal–Kawano zeta function as a finite sum of integrals of type

$$\begin{array}{c}C\left(\tilde{\mathit{s}}\right)\underset{{\mathbb{Z}}_p^{N-3}}{\int }\prod _{i=2}^{N-2}|x_i{|}_p^{s_{1i}}|1-x_i{|}_p^{s_{(N-1)i}}\prod _{2\le i<j\le N-2}{|x_i-x_j|}_p^{s_{ij}}{\displaystyle \prod _{j\in I}}{\chi }_{\tau }\left(x_j\right){\displaystyle \prod _{j\in J}}{\chi }_{\tau }(1-x_j)\hfill \\ \hfill \times {\displaystyle \prod _{i,j\in K}}{\chi }_{\tau }(x_i-x_j){\displaystyle \prod _{i=2}^{N-2}}d{x}_i,\end{array}$$

where $C\left(\tilde{\mathit{s}}\right)$ is an $\mathbb{R}$-analytic function and ${\chi }_{\tau }$ is a trivial character or ${\mathrm{sgn}}_{\tau }$. This expression is a local zeta functions of the type (74), which implies that amplitudes (76) are equal to a finite sum of local zeta functions and consequently they admit a meromorphic continuation in the kinematic parameters. Finally, we point out that the meromorphic continuation of the Ghoshal–Kawano local zeta function (80) is also valid without taking the normalization $x_1=0$, $x_{N-1}=1$, $x_N=\infty$, see Section V-C of [7].

7.5. Explicit Computation of $Z^{\left(4\right)}(\mathit{s},\tilde{\mathit{s}},\tau )$

We first notice that the exponential factor $E^{\left(4\right)}(\tilde{s},\tau )$ can be taken outside the integral, i.e., the four-point Ghoshal–Kawano zeta function is

$$\begin{array}{c}{Z}^{\left(4\right)}(\mathit{s},\tilde{\mathit{s}},\tau )=exp\left\{\frac{i}{2}\left({\tilde{s}}_{13}+{\tilde{s}}_{12}+{\tilde{s}}_{23}\right)\right\}\hfill \\ \hfill \times \underset{{\mathbb{Z}}_p}{\int }{\left|x_2\right|}_p^{s_{12}}{\left|1-x_2\right|}_p^{s_{32}}{H}_{\tau }\left(x_2\right)H_{\tau }\left(1-x_2\right)d{x}_2.\end{array}$$

The computation of this integral is based on the calculation of the following integrals: assume that $S\subset {\mathbb{Z}}_p\setminus \left\{0\right\}$ satisfies $-S=S$, then

$$\underset{S}{\int }{\left|x_2\right|}_p^{s_{12}}{\mathrm{sgn}}_{\tau }\left(x_2\right)d{x}_2=0,\mathrm{for}\tau \in \left\{p,\epsilon p\right\},$$

and

$$\begin{array}{cc}\hfill I(\mathit{s},\tau )& =\underset{{\mathbb{Z}}_p}{\int }{\left|x_2\right|}_p^{s_{12}}{\left|1-x_2\right|}_p^{s_{32}}{H}_{\tau }\left(x_2\right)H_{\tau }\left(1-x_2\right)d{x}_2\hfill \\ \hfill & =\frac{p-3}{4p}+\frac{p^{-1-s_{12}}\left(1-p^{-1}\right)}{2\left(1-p^{-1-s_{12}}\right)}+\frac{p^{-1-s_{32}}\left(1-p^{-1}\right)}{2\left(1-p^{-1-s_{32}}\right)}.\hfill \end{array}$$

For further details, the reader may consult [7]. The explicit expression for the 4-point amplitude, also reported in [60], is

$$\begin{array}{c}{Z}^{\left(4\right)}(\mathit{s},\tilde{\mathit{s}},\tau )=exp\left\{\frac{i}{2}\left({\tilde{s}}_{13}+{\tilde{s}}_{12}+{\tilde{s}}_{23}\right)\right\}\hfill \\ \hfill \times \left(\frac{p-3}{4p}+\frac{p^{-1-s_{12}}\left(1-p^{-1}\right)}{2\left(1-p^{-1-s_{12}}\right)}+\frac{p^{-1-s_{32}}\left(1-p^{-1}\right)}{2\left(1-p^{-1-s_{32}}\right)}\right)\end{array}$$

which is holomorphic in

$$Re\left(s_{12}\right)>-1\mathrm{and}Re\left(s_{32}\right)>-1.$$

7.6. Explicit Computation of $Z^{\left(5\right)}(\mathit{s},\tilde{\mathit{s}},\tau )$

After some simple considerations involving sign functions,

$$Z^{\left(5\right)}(\mathit{s},\tilde{\mathit{s}},\tau )=E^{\left(5\right)}\left(\tilde{\mathit{s}}\right)L(\mathit{s},\tau ):=E^{\left(5\right)}\left(\tilde{\mathit{s}}\right){\int }_{{\mathbb{Z}}_p^2}{F}^{\left(5\right)}(x_2,x_3,\mathit{s},\tau )d{x}_{2}d{x}_3.$$

where

$$\begin{array}{cc}\hfill F^{\left(5\right)}(x_2,x_3,\mathit{s},\tau )& =|x_2{|}_p^{s_{12}}|x_3{|}_p^{s_{13}}|1-x_2{|}_p^{s_{42}}|1-x_3{|}_p^{s_{43}}{|x_2-x_3|}_p^{s_{23}}\hfill \\ \hfill & \times H_{\tau }\left(x_2\right)H_{\tau }\left(x_3\right)H_{\tau }(1-x_2)H_{\tau }(1-x_3)H_{\tau }(x_2-x_3).\hfill \end{array}$$

and

$$E^{\left(5\right)}\left(\tilde{\mathit{s}}\right)=exp\left\{\frac{\sqrt{-1}}{2}\left({\tilde{s}}_{14}+{\tilde{s}}_{12}+{\tilde{s}}_{13}+{\tilde{s}}_{24}+{\tilde{s}}_{34}+{\tilde{s}}_{32}\right)\right\},$$

see [7] for further details. To compute the integral $L(\mathit{s},\tau )$, we subdivide the domain of integration as

$${\mathbb{Z}}_p^2=\underset{i,j=0}{\overset{p-1}{⨆}}\left(i+p{\mathbb{Z}}_p\right)\times \left(j+p{\mathbb{Z}}_p\right),$$

then $L(\mathit{s},\tau )$ becomes

$$L(\mathit{s},\tau )=\sum _{i,j=0}^{p-1}{L}_{ij}(\mathit{s},\tau )=:\sum _{i,j=0}^{p-1}{\int }_{i+p{\mathbb{Z}}_p\times j+p{\mathbb{Z}}_p}{F}^{\left(5\right)}(x_2,x_3,\mathit{s},\tau )d{x}_{2}d{x}_3.$$

The computation of the integrals $L_{ij}(\mathit{s},\tau )$ is a simple but technical calculation, see [7] for further details. The explicit expression for the 5-point Ghoshal–Kawano zeta function is

$$\begin{array}{c}{Z}^{\left(5\right)}(\mathit{s},\tilde{\mathit{s}})=E^{\left(5\right)}\left(\tilde{\mathit{s}}\right)\left\{\frac{(p-3)(p-7)}{32p^2}+\left(\frac{p-3}{8p}\right)\left[\frac{p^{-1-s_{23}}(1-p^{-1})}{(1-p^{-1-s_{23}})}\right.\right.\\ \left.+\frac{p^{-1-s_{13}}(1-p^{-1})}{(1-p^{-1-s_{13}})}+\frac{p^{-1-s_{42}}(1-p^{-1})}{(1-p^{-1-s_{42}})}\right]+\frac{{\left(1-p^{-1}\right)}^2}{4}\frac{p^{-2-s_{13}-s_{42}}}{\left(1-p^{-1-s_{13}}\right)\left(1-p^{-1-s_{42}}\right)}\\ +\frac{1}{4}\frac{p^{-s_{12}-s_{13}-s_{23}-2}\left(1-p^{-1}\right)}{1-p^{-s_{12}-s_{13}-s_{23}-2}}\left[\frac{1}{2}-\frac{3}{2p}+\frac{p^{-1-s_{23}}\left(1-p^{-1}\right)}{1-p^{-1-s_{23}}}+\frac{p^{-1-s_{13}}\left(1-p^{-1}\right)}{1-p^{-1-s_{13}}}\right]\\ \left.+\frac{1}{4}\frac{p^{-s_{42}-s_{43}-s_{23}-2}\left(1-p^{-1}\right)}{1-p^{-s_{42}-s_{43}-s_{23}-2}}\left[\frac{1}{2}-\frac{3}{2p}+\frac{p^{-1-s_{23}}\left(1-p^{-1}\right)}{1-p^{-1-s_{23}}}+\frac{p^{-1-s_{42}}\left(1-p^{-1}\right)}{1-p^{-1-s_{42}}}\right]\right\}.\end{array}$$

This function is holomorphic in

$$\begin{array}{cc}\hfill & \mathrm{Re}\left(s_{13}\right)>-1;\mathrm{Re}\left(s_{23}\right)>-1;\mathrm{Re}\left(s_{42}\right)>-1;\hfill \\ \hfill & \mathrm{Re}(s_{12}+s_{13}+s_{23})>-2;\mathrm{Re}(s_{42}+s_{43}+s_{23})>-2.\hfill \end{array}$$

8. Resolution of Singularities and Multivariate Igusa Zeta Functions

8.1. Local Fields

We take $\mathbb{K}$ to be a non-discrete locally compact field of characteristic zero. Then $\mathbb{K}$ is $\mathbb{R}$, $\mathbb{C}$, or a finite extension of ${\mathbb{Q}}_p$, the field of p-adic numbers. If $\mathbb{K}$ is $\mathbb{R}$ or $\mathbb{C}$, we say that $\mathbb{K}$ is an $\mathbb{R}$-field, otherwise we say that $\mathbb{K}$ is a p-field.

For $a\in \mathbb{K}$, we define the modulus${\left|a\right|}_{\mathbb{K}}$ of a by

$${\left|a\right|}_{\mathbb{K}}=\left\{\begin{array}{c}\mathrm{the}\mathrm{rate}\mathrm{of}\mathrm{change}\mathrm{of}\mathrm{the}\mathrm{Haar}\mathrm{measure}\mathrm{in}(\mathbb{K},+)\mathrm{under}x\to ax\hfill \\ \mathrm{for}a\ne 0,\hfill \\ \\ 0\mathrm{for}a=0.\hfill \end{array}\right.$$

is well-known that if $\mathbb{K}$ is an $\mathbb{R}$-field, then ${\left|a\right|}_{\mathbb{R}}=\left|a\right|$ and ${\left|a\right|}_{\mathbb{C}}={\left|a\right|}^2$, where $\left|·\right|$ denotes the usual absolute value in $\mathbb{R}$ or $\mathbb{C}$, and, if $\mathbb{K}$ is a p-field, then ${\left|·\right|}_{\mathbb{K}}$ is the normalized absolute value in $\mathbb{K}$.

8.2. $\mathbb{K}$-Analytic Manifolds and Resolution of Singularities

We review the basic definitions of $\mathbb{K}$-analytic manifolds following Igusa’s book [26].

Let $\mathbb{K}$ be a local field of characteristic zero, and let V be a nonempty open subset of ${\mathbb{K}}^n$ and let $f:V\to \mathbb{K}$ be a function. We say that f is a $\mathbb{K}$-analytic function on V, if for every point $a=(a_1,\dots ,a_n)\in V$, there exists an element $f_a\left(x\right)$ of $\mathbb{K}\langle \langle x-a\rangle \rangle =\mathbb{K}\langle \langle x_1-a_1,\dots ,x_n-a_n\rangle \rangle$ (the ring of convergent power series around a) such that $f\left(x\right)=f_a\left(x\right)$ for any point x near a. A map $g=(g_1,\dots ,g_m):V\to {\mathbb{K}}^m$ is called $\mathbb{K}$- analytic mapping on V if each $g_i$ is an analytic function on V. Let X Hausdorff space and let n be a fixed non-negative. Let U be a nonempty open subset of X, if ${\varphi }_U:U\to {\varphi }_U\left(U\right)$ is a homeomorphism, where ${\varphi }_U\left(U\right)$ is a nonempty open subset of ${\mathbb{K}}^n$, then we say that the pair $(U,{\varphi }_U\left(U\right))$ is a chart. For a variable point $x\in U$, $\varphi \left(x\right)=(x_1,\dots ,x_n)$ are called the local coordinates of x. A collection of charts $\{U,{\varphi }_U\}$ is called an atlas of X if the union of all open sets V is X and for every U, $U^{\prime }$ such that $U\cap U^{\prime }\ne ⌀$ the map

$${\varphi }_{U^{\prime }}\circ {\varphi }_U^{-1}:{\varphi }_U(U\cap U^{\prime })\to {\varphi }_{U^{\prime }}(U\cap U^{\prime })$$

is $\mathbb{K}$- analytic. There is an equivalence relation over the set of atlases on X. Two atlases are equivalent if their union is also an atlas. Thus, any equivalence class is called an n-dimensionalK-analytic structure on X. Hence, we say that X is a $\mathbb{K}$-analytic manifold and we write $dim\left(X\right)=n$.

Suppose that X and Y are two $\mathbb{K}$- analytical manifolds defined by the atlases $\left\{(U,{\varphi }_U\left(U\right))\right\}$ and $\left\{(V,{\psi }_V\left(V\right))\right\}$, respectively, and $f:X\to Y$ a map. If for every U, V such that $U\cap f^{-1}\left(V\right)\ne ⌀$, the map

$${\psi }_V\circ f\circ {\varphi }_U^{-1}:{\varphi }_U(U\cap f^{-1}\left(V\right))\to {\mathbb{K}}^{dim\left(Y\right)}$$

is $\mathbb{K}$- analytic, then f is called a K-analytic map. If $Y=\mathbb{K}$ we say that f is a $\mathbb{K}$-analytic function on X. This definition does not depend on the choice of atlases into the equivalence class.

Let X be a $\mathbb{K}$-analytic manifold defined by an atlas $\left\{(U,{\varphi }_U)\right\}$ and let Y be a nonempty open set of X. If $U^{\prime }=U\cap Y\ne ⌀$ we put ${\varphi }_{U^{\prime }}={\varphi }_{U^{\prime }}={\varphi }_U{|}_{U^{\prime }}$. Then $\left\{(U^{\prime },{\varphi }_{U^{\prime }})\right\}$ is an atlas for Y. Hence, Y is an open $\mathbb{K}$- analytic submanifold of X. Furthermore, $dim\left(Y\right)=dim\left(X\right)$.

Now let Y be a nonempty closed subset of a $\mathbb{K}$-analytic manifold X of dimension n. Suppose that X is defined by an atlas $\left\{(U,{\varphi }_U)\right\}$ with the following property: If ${\varphi }_U\left(x\right)=(x_1,\dots ,x_n)$ and $U^{\prime }=Y\cap U\ne ⌀$, there exist $F_1,\dots ,F_m$ $\mathbb{K}$-analytic functions on U with $0<m\le n$ such that $U^{\prime }$ becomes the set of all x in U such that $F_1\left(x\right)=\dots =F_m\left(x\right)=0$ and

$$det{\left[\frac{\partial F_i}{\partial x_j}\right]}_{\begin{array}{c}1\le i\le m\\ 1\le j\le m\end{array}}\left(a\right)\ne 0,$$

for every $a\in U^{\prime }$. By the implicit function theorem, the mapping

$$x\mapsto (F_1\left(x\right),\dots ,F_m\left(x\right),x_{m+1},\dots ,x_n)$$

gives a $\mathbb{K}$-bianalytic map from a neighborhood of a in U to its image in $K^n$. If we denote by V the intersection of such neighborhood and Y, and put ${\psi }_V\left(x\right)=(x_{m+1},\dots ,x_n)$ for every $x\in V$. Then $(V,{\psi }_V)$ for all V and for each U as above, gives an atlas on Y. Thus, Y becomes a $\mathbb{K}$-analytic closed submanifold of X of dimension $n-m$.

Assume that U and V are nonempty open sets that contain a point a of X, and let f, g be two $\mathbb{K}$- analytic functions respectively on U, V such that ${f|}_W{=g|}_W$ for some nonempty open set W such that $a\in W\subseteq U\cap V$. Then we say that f and g are equivalent. An equivalence class is called a germ of analytic function at a. The set of such equivalence classes becomes a local ring ${\mathcal{O}}_{X,a}$ with maximal ideal $m_{X,a}=\{f\in {\mathcal{O}}_{X,a}:f\left(a\right)=0\}$. In addition, $\mathbb{K}\subseteq {\mathcal{O}}_{X,a}$.

9. Multivariate Igusa Zeta Functions

Let $\mathbb{K}$ be a local field. If $\mathbb{K}$ is a p-field, resp. an $\mathbb{R}$-field, we denote by $\mathcal{D}\left({\mathbb{K}}^n\right)$ the $\mathbb{C}$-vector space consisting of all $\mathbb{C}$-valued locally constant functions, resp. all smooth functions, on ${\mathbb{K}}^n$, with compact support. An element of $\mathcal{D}\left({\mathbb{K}}^n\right)$ is called a test function.

Let $f_i\left(\mathit{x}\right)\in \mathbb{K}\left[x_1,\dots ,x_n\right]$ be a non-constant polynomial for $i=1,\dots ,m$. We set $\mathit{f}=\left(f_1,\dots ,f_m\right)$ and $\mathit{s}=\left(s_1,\dots ,s_m\right)\in {\mathbb{C}}^m$. Let $\Phi$ be a test function. The multivariate local zeta function attached to $\left(\mathit{f},\Phi \right)$ is defined as

$$Z_{\Phi }\left(\mathit{f},\mathit{s}\right)=\underset{{\mathbb{K}}^n\setminus D_{\mathbb{K}}}{\int }\Phi \left(x\right)\prod _{i=1}^m{\left|f_i\left(x\right)\right|}_{\mathbb{K}}^{s_i}{\displaystyle \prod _{i=1}^n}d{x}_i,\mathrm{when}Re\left(s_i\right)>0\mathrm{for}\mathrm{all}i.$$

(84)

where $D_{\mathbb{K}}:={\cup }_{i=1}^m{f}_i^{-1}\left(0\right)$ is the divisor attached to $f_i\left(\mathit{x}\right)$, $i=1,\dots ,m$. In the multivariate case i.e., for $m\ge 1$, the local zeta functions over local fields of zero characteristic were studied by Loeser [36]. In the case of zero characteristic, the main tool to show the existence of a meromorphic continuation of the multivariate local function is the Hironaka’s resolution of singularities theorem. By applying this theorem to the divisor $D_{\mathbb{K}}$, the mutivariate local zeta function is reduced to the case of monomial integrals [25,26,36]. Currently, the methods used by Igusa are not available in positive characteristic, so the problem of the meromorphic continuations in this setting it is still an open problem.

Theorem 2

(Hironaka, [50]). Let $\mathbb{K}$ be a local field of characteristic zero. There exists an embedded resolution $\sigma :X\to {\mathbb{K}}^n$ of $D_{\mathbb{K}}$, i.e.,

(i) X is an n-dimensional $\mathbb{K}$-analytic manifold, σ is a proper $\mathbb{K}$-analytic map which is a composition of a finite number of blow-ups at closed submanifolds, and which is an isomorphism outside of ${\sigma }^{-1}\left(D_{\mathbb{K}}\right)$;

(ii) ${\sigma }^{-1}\left(D_{\mathbb{K}}\right)$ is a normal crossings divisor, meaning that ${\sigma }^{-1}\left(D_{\mathbb{K}}\right)={\cup }_{i\in T}{E}_i$, where the $E_i$ are closed submanifolds of X of codimension one, each equipped with an m-tuple of non-negative integers $\left(N_{f_1,i},\dots ,N_{f_m,i}\right)$ and a positive integer $v_i$, satisfying the following. At every point b of X there exist local coordinates $\left(y_1,\dots ,y_n\right)$ on X around b such that if $E_1,\dots ,E_r$ are the $E_i$ containing b, we have on some open neighborhood V of b that $E_i$ is given by $y_i=0$ for $i\in \{1,\dots ,r\}$,

$${\sigma }^{*}\left(d{x}_1\wedge \dots \wedge d{x}_n\right)=\eta \left(y\right)\left(\prod _{i=1}^r{y}_i^{v_i-1}\right)d{y}_1\wedge \dots \wedge d{y}_n,$$

(85)

and

$$f_j^{*}\left(y\right):=\left(f_j\circ \sigma \right)\left(y\right)={\epsilon }_{f_j}\left(y\right)\prod _{i=1}^r{y}_i^{N_{f_j,i}},\mathrm{for}j=1,\dots ,m,$$

(86)

where $\eta \left(y\right)$ and the ${\epsilon }_{f_j}\left(y\right)$ belong to ${\mathcal{O}}_{X,b}^{\times }$, the group of units of the local ring of X at b.

The Hironaka resolution theorem allows expressing a multivariate local zeta function as a linear combination of monomial integrals, through a finite sequence of changes of variables. We have the following theorem on multivariate local zeta functions over local fields of zero characteristic.

Theorem 3.

(Lemma 6.4, Remark 2 of [6]) Let $f_1\left(x\right),\dots ,f_m\left(x\right)\in \mathbb{K}\left[x_1,\dots ,x_n\right]$ be non-constant polynomials and $\Phi :{\mathbb{K}}^n\to \mathbb{C}$ a smooth function with compact support, to which we associate the multivariate local zeta function $Z_{\Phi }\left(\mathit{f},\mathit{s}\right)$. Fix an embedded resolution $\sigma :X\to \mathbb{K}$ of $D_{\mathbb{K}}={\cup }_{i=1}^m{f}_i^{-1}\left(0\right)$ as in Theorem 2. Then

(i) $Z_{\Phi }\left(\mathit{f},\mathit{s}\right)$ is convergent and defines a holomorphic function in the region

$$\sum _{j=1}^m{N}_{f_j,i}Re\left(s_j\right)+v_i>0,\mathrm{for}i\in T;$$

(ii) $Z_{\Phi }\left(\mathit{f},\mathit{s}\right)$ admits a meromorphic continuation to the whole ${\mathbb{C}}^m$, with poles belonging to

$$\bigcup _{i\in T}\bigcup _{t\in \mathbb{N}}\left\{\sum _{j=1}^m{N}_{f_j,i}{s}_j+v_i+t=0\right\}$$

with $t\in \mathbb{N}$ if $\mathbb{K}=\mathbb{R}$ and $t=\frac{1}{2}\mathbb{N}$ if $\mathbb{K}=\mathbb{C}$, and with poles belonging to

$$\bigcup _{1\le i\le r}\left\{\sum _{j=1}^m{a}_{j,i}{s}_j+b_i=0\right\},$$

in the p-field case. In addition, in the p-adic case the multivariate local zeta function has a meromorphic continuation as a rational function

$$Z_{\Phi }\left(\mathit{f},\mathit{s}\right)=\frac{P_{\Phi }\left(\mathit{s}\right)}{{\displaystyle \prod _{i\in T}}\left(1-q^{-\left({\displaystyle \sum _{j=1}^m}{N}_{f_j,i}{s}_j+v_i\right)}\right)}$$

in $q^{-s_1},\dots ,q^{-s_m}$, where $P_{\Phi }\left(\mathit{s}\right)$ is a polynomial in the variables $q^{-s_i}$.

10. Meromorphic Continuation of Koba–Nielsen Amplitudes Defined on Local Fields of Characteristic Zero

The Koba–Nielsen open string amplitudes for N-points over a local field $\mathbb{K}$ of characteristic zero are defined as

$$A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right):=\underset{{\mathbb{K}}^{N-3}}{\int }\prod _{i=2}^{N-2}{\left|x_j\right|}_{\mathbb{K}}^{{\mathit{k}}_1{\mathit{k}}_j}{\left|1-x_j\right|}_{\mathbb{K}}^{{\mathit{k}}_{N-1}{\mathit{k}}_j}\prod _{2\le i<j\le N-2}{\left|x_i-x_j\right|}_{\mathbb{K}}^{{\mathit{k}}_i{\mathit{k}}_j}\prod _{i=2}^{N-2}d{x}_i,$$

(87)

where $\mathit{k}=\left({\mathit{k}}_1,\dots ,{\mathit{k}}_N\right)$, ${\mathit{k}}_i=\left(k_{0,i},\dots ,k_{l,i}\right)\in {\mathbb{C}}^{l+1}$, for $i=1,\dots ,N$, is the momentum vector of the i-th tachyon (with Minkowski product ${\mathit{k}}_i{\mathit{k}}_j=-k_{0,i}{k}_{0,j}+k_{1,i}{k}_{1,j}+\cdots +k_{l,i}{k}_{l,j}$), obeying

$$\sum _{i=1}^N{\mathit{k}}_i=\mathbf{0},{\mathit{k}}_i{\mathit{k}}_i=2\mathrm{for}i=1,\dots ,N.$$

(88)

The parameter l is typically taken to be 25. However, we do not require using the critical dimension, thus l can be any positive number. These amplitudes were introduced by Brekke, Freund, Olson and Witten, among others in their works about string amplitudes, see e.g., Section 8 of [4]. In the case $N=4$ and $\mathbb{K}=\mathbb{R}$, the amplitude (87) is the Veneziano amplitude, see [10]. In Section 2 of [48] and [49], it was established that the N-point closed string amplitude at the tree level is the product of $A_{\mathbb{C}}^{\left(N\right)}\left(\mathit{k}\right)$ times a polynomial function in the momenta $\mathit{k}$. Hence, the results established in [6] are still valid for closed string amplitudes at tree level.

If we take the Minkowski products of the kinematic parameters as follows ${\mathit{k}}_i{\mathit{k}}_j=s_{ij}\in \mathbb{C}$, the string amplitude (87) becomes to the following integral which is a type of multivariate local zeta function

$$Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right):={\displaystyle \underset{{\mathbb{K}}^{N-3}\setminus D_N}{\int }}{\displaystyle \prod _{i=2}^{N-2}}{\left|x_j\right|}_{\mathbb{K}}^{s_{1j}}{\left|1-x_j\right|}_{\mathbb{K}}^{s_{(N-1)j}}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}_{\mathbb{K}}^{s_{ij}}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

(89)

where ${\prod }_{i=2}^{N-2}d{x}_i$ is the normalized Haar measure on ${\mathbb{K}}^{N-3}$, $\mathit{s}:=\left(s_{ij}\right)\in {\mathbb{C}}^D$, with $D=\frac{N(N-3)}{2}$ denotes the total number of indices $ij$, and

$$D_N:=\left\{x\in {\mathbb{K}}^{N-3};{\displaystyle \prod _{i=2}^{N-2}}{x}_i{\displaystyle \prod _{i=2}^{N-2}}\left(1-x_i\right){\displaystyle \prod _{2\le i<j\le N-2}}\left(x_i-x_j\right)=0\right\}.$$

We have called integrals of type (89) Koba–Nielsen local zeta functions. For simplicity of notation, we put ${\mathbb{K}}^{N-3}$ instead of ${\mathbb{K}}^{N-3}\setminus D_N$ in (89).

In [6], we establish, in a rigorous mathematical way that the Koba–Nielsen string amplitudes defined on any local field of characteristic zero are bona fide integrals and that they can be extended to meromorphic functions in the kinematic parameters. In order to prove the meromorphic continuation of (89), we express it as linear combinations of local zeta functions. These computations were first made in the case of $\mathbb{K}=\mathbb{R}$, but they can be easily extended to other local fields of characteristic zero. Thus, we only review the real case. We consider ${\mathbb{R}}^{N-3}$ as an $\mathbb{R}$-analytic manifold, with $N\ge 4$, and use $\left\{x_2,\dots ,x_{N-2}\right\}$ as a coordinate system. In order to regularize the integral (89), we use a partition of ${\mathbb{R}}^{N-3}$ constructed using a smooth function $\chi :\mathbb{R}\to \mathbb{R}$ satisfying

$$\chi \left(x\right)=\left\{\begin{array}{ccc}1& \mathrm{if}& x\in \left[-2,2\right]\\ & & \\ 0& \mathrm{if}& x\in \left(-\infty ,-2-ϵ\right]\cup \left[2+ϵ,+\infty \right),\end{array}\right.$$

for some fixed positive $ϵ$ sufficiently small. This function is well-known, see e.g., Section 1.4 of [69], Section 5.2 of [26]. The number 2 was chosen in an arbitrary form, the key point is that the interval $\left[0,1\right]$ is included in the locus where $\chi \equiv 1$.

Now, we can write

$$Z^{\left(N\right)}\left(\mathit{s}\right)=\sum _I{Z}_I^{\left(N\right)}\left(\mathit{s}\right)$$

(90)

with

$$Z_I^{\left(N\right)}\left(\mathit{s}\right):={\displaystyle \underset{{\mathbb{R}}^{N-3}}{\int }}{\phi }_I\left(x\right){\displaystyle \prod _{j=2}^{N-2}}{\left|x_j\right|}^{s_{1j}}{\displaystyle \prod _{j=2}^{N-2}}{\left|1-x_j\right|}^{s_{\left(N-1\right)j}}{\displaystyle \prod _{2\le i<j\le N-2}}{\left|x_i-x_j\right|}^{s_{ij}}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

(91)

where the functions $\left\{{\phi }_I\right\}$ are defined as

$${\phi }_I:{\mathbb{R}}^{N-3}\to \mathbb{R};x\mapsto {\displaystyle \prod _{i\in I}}\chi \left(x_i\right){\displaystyle \prod _{i\notin I}}\left(1-\chi \left(x_i\right)\right),$$

(92)

for $I\subseteq \left\{2,\dots ,N-2\right\}$, including the empty set, with the convention that ${\prod }_{i\in \varnothing }·\equiv 1$. Notice that ${\phi }_I\in C^{\infty }\left({\mathbb{R}}^{N-3}\right)$ and ${\sum }_I{\phi }_I\left(x\right)\equiv 1$, for $x\in {\mathbb{R}}^{N-3}$, i.e., the functions $\left\{{\phi }_I\right\}$ form a partition of the unity.

In the case $I=\left\{2,\dots ,N-2\right\}$, $Z_I^{\left(N\right)}\left(\mathit{s}\right)$ is a classical multivariate Igusa local zeta function (since ${\phi }_I\left(x\right)$ has compact support). It is well known that these integrals are holomorphic functions in a region including $Re\left(s_{ij}\right)>0$ for all $ij$, and they admit meromorphic continuations to the whole ${\mathbb{C}}^D$, see ([6], Theorem 3.2).

In the case $I\ne \left\{2,\dots ,N-2\right\}$, by changing variables in (91) as $x_i\to \frac{1}{x_i}$ for $i\notin I$, and $x_i\to x_i$ for $i\in I$, we have ${\prod }_{i=2}^{N-2}d{x}_i\to {\prod }_{i\notin I}\frac{1}{{\left|x_i\right|}^2}$${\prod }_{i=2}^{N-2}d{x}_i$, and by setting $\tilde{\chi }\left(x_i\right):=1-\chi \left(\frac{1}{x_i}\right)$ for $i\notin I$, i.e.,

$$\tilde{\chi }\left(x_i\right)=\left\{\begin{array}{ccc}1& \mathrm{if}& \left|x_i\right|\le \frac{1}{2+ϵ}\\ & & \\ 0& \mathrm{if}& \left|x_i\right|\ge \frac{1}{2},\end{array}\right.$$

we have that supp $\tilde{\chi }\subseteq \left[-\frac{1}{2},\frac{1}{2}\right]$ and $\tilde{\chi }\in C^{\infty }\left(\mathbb{R}\right)$. Now setting ${\tilde{\phi }}_I\left(x\right):={\prod }_{i\notin I}\tilde{\chi }\left(x_i\right)$${\prod }_{i\in I}\chi \left(x_i\right)$, and

$$\begin{array}{cc}\hfill F_I\left(x,\mathit{s}\right)& :=\prod _{j\in I}{\left|x_j\right|}^{s_{1j}}\prod _{j=2}^{N-2}{\left|1-x_j\right|}^{s_{\left(N-1\right)j}}\prod _{\begin{array}{c}2\le i<j\le N-2\\ i,j\in I\end{array}}{\left|x_i-x_j\right|}^{s_{ij}}\hfill \\ \hfill \times & \prod _{\begin{array}{c}2\le i<j\le N-2\\ i,j\notin I\end{array}}{\left|x_i-x_j\right|}^{s_{ij}}\prod _{\begin{array}{c}2\le i<j\le N-2\\ i\notin I,j\in I\end{array}}{\left|1-x_i{x}_j\right|}^{s_{ij}}\prod _{\begin{array}{c}2\le i<j\le N-2\\ i\in I,j\notin I\end{array}}{\left|1-x_i{x}_j\right|}^{s_{ij}},\hfill \end{array}$$

we have

$$Z_I^{\left(N\right)}\left(\mathit{s}\right)={\displaystyle \underset{{\mathbb{R}}^{N-3}\setminus D_I}{\int }}\frac{{\tilde{\phi }}_I\left(x\right)F_I\left(x,\mathit{s}\right)}{\prod _{i\notin I}{\left|x_i\right|}^{s_{1i}+s_{\left(N-1\right)i}+{\sum }_{\begin{array}{c}2\le j\le N-2\\ j\ne i\end{array}}{s}_{ij}+2}}{\displaystyle \prod _{i=2}^{N-2}}d{x}_i,$$

(93)

where $D_I$ is the divisor defined by the polynomial

$$\begin{array}{c}\prod _{i=2}^{N-2}{x}_i\prod _{i=2}^{N-2}\left(1-x_i\right)\prod _{\begin{array}{c}2\le i<j\le N-2\\ i,j\in I\end{array}}\left(x_i-x_j\right)\prod _{\begin{array}{c}2\le i<j\le N-2\\ i,j\notin I\end{array}}\left(x_i-x_j\right)\hfill \\ \hfill \times \prod _{\begin{array}{c}2\le i<j\le N-2\\ i\notin I,j\in I\end{array}}\left(1-x_i{x}_j\right)\prod _{\begin{array}{c}2\le i<j\le N-2\\ i\in I,j\notin I\end{array}}\left(1-x_i{x}_j\right).\end{array}$$

The integrals $Z_I^{\left(N\right)}\left(\mathit{s}\right)$, with $I\ne \left\{2,\dots ,N-2\right\}$, are not classical multivariate local zeta functions thus we do not apply the theory of local zeta functions. Thus, in [6] we show that they define holomorphic functions on some nonempty open in ${\mathbb{C}}^D$, and admit meromorphic continuations to the whole ${\mathbb{C}}^D$.

Lemma 1.

(Lemma 4.1 of [6]) For any $I\subseteq \left\{2,\dots ,N-2\right\}$, the function $Z_I^{\left(N\right)}\left(\mathit{s}\right)$ is holomorphic in $\mathit{s}$ on the solution set $\mathcal{H}\left(I\right)$ of a system of inequalities of the form

$$\mathcal{H}\left(I\right):=\left\{s_{ij}\in {\mathbb{C}}^D;\sum _{ij\in M\left(I\right)}{N}_{ij,k}\left(I\right)Re\left(s_{ij}\right)+{\gamma }_k\left(I\right)>0,\mathrm{for}k\in T\left(I\right)\right\}\ne \varnothing ,$$

(94)

where $N_{ij,k}\left(I\right),{\gamma }_k\left(I\right)\in \mathbb{Z}$, and $M\left(I\right)$, $T\left(I\right)$ are finite sets. More precisely, for each k, either all numbers $N_{ij,k}\left(I\right)$ are equal to 0 or 1 and ${\gamma }_k\left(I\right)>0$, or all numbers $N_{ij,k}\left(I\right)$ are equal to 0 or $-1$ and ${\gamma }_k\left(I\right)<0$.

In addition, $Z_I^{\left(N\right)}\left(\mathit{s}\right)$ admits an analytic continuation to the whole ${\mathbb{C}}^D$, as a meromorphic function with poles belonging to

$$\mathcal{P}\left(I\right):=\bigcup _{t\in \mathbb{N}}\bigcup _{k\in T\left(I\right)}\left\{s_{ij}\in {\mathbb{C}}^D;\sum _{ij\in M\left(I\right)}{N}_{ij,k}\left(I\right)s_{ij}+{\gamma }_k\left(I\right)+t=0\right\}.$$

(95)

To show the existence of the meromorphic continuation of $Z^{\left(N\right)}\left(\mathit{s}\right)$ it is necessary that all the integrals $Z_I^{\left(N\right)}\left(\mathit{s}\right)$ be holomorphic in a common domain, and then Formula (90) allows us to construct a meromorphic continuation of $Z^{\left(N\right)}\left(\mathit{s}\right)$. We show that ${\cap }_I\mathcal{H}\left(I\right)$ contains a nonempty open subset of ${\mathbb{C}}^D$ by studying the possible poles of integrals

$$Z_I^{\left(N\right)}\left(s\right):=Z_I^{\left(N\right)}\left(\mathit{s}\right){\mid }_{s_{ij}=s}$$

for any I, and proving that $Z^{\left(N\right)}\left(s\right):=Z^{\left(N\right)}\left(\mathit{s}\right){\mid }_{s_{ij}=s}$ is a holomorphic function in the region

$$-\frac{2}{N-2}<Re\left(s\right)<-\frac{2}{N},$$

This fact was proved in Theorem 4.1 in [6].

Furthermore, the Koba–Nielsen local zeta function $Z^{\left(N\right)}\left(\mathit{s}\right)$ is convergent and holomorphic in the region determined by the following inequalities:

$$Re\left(s_{ij}\right)>-1$$

for all $\frac{N(N-3)}{2}$ variables $s_{ij}$,

$$\sum _{j\in J}Re\left(s_{1j}\right)+\sum _{\begin{array}{c}i,j\in J\\ i<j\end{array}}Re\left(s_{ij}\right)>-\#J$$

for all subsets $J\subset \{2,\cdots ,N-2\}$ with $\#J\ge 2$,

$$\sum _{j\in J}Re\left(s_{(N-1)j}\right)+\sum _{\begin{array}{c}i,j\in J\\ i<j\end{array}}Re\left(s_{ij}\right)>-\#J$$

for all subsets $J\subset \{2,\cdots ,N-2\}$ with $\#J\ge 2$,

$$\sum _{\begin{array}{c}i,j\in J\\ i<j\end{array}}Re\left(s_{ij}\right)>-\#J+1$$

for all subsets $J\subset \{2,\cdots ,N-2\}$ with $\#J\ge 3$,

$$\sum _{j\in J}Re\left(s_{1j}\right)+\sum _{j\in J}Re\left(s_{\left(N-1\right)j}\right)+\sum _{\begin{array}{c}i\in \{2,\cdots ,N-2\}\setminus J\\ j\in J\end{array}}Re\left(s_{ij}\right)+\sum _{\begin{array}{c}i,j\in J\\ i<j\end{array}}Re\left(s_{ij}\right)<-\#J$$

for all subsets $J\subset \{2,\cdots ,N-2\}$ with $♯J\ge 1$. This region contains the open subset defined by

$$-\frac{2}{N-2}<Re\left(s_{ij}\right)<-\frac{2}{N},$$

for all indices $ij$.

As in the p-adic case, we use the meromorphic continuation of (89) to the whole ${\mathbb{C}}^D$, which is denoted by $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$, as regularizations of the amplitudes $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$ by redefining

$$A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)=Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right){\mid }_{s_{ij}={\mathit{k}}_i{\mathit{k}}_j},$$

see Theorem 6.1 of [6]. It is important to mention here that in the regularization of $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$, we do not use the kinematic restrictions (88).

Furthermore, in [6] we show that $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$ converges on some open subset of ${\mathbb{C}}^{(N-1)(l+1)}$ by showing that this open is mapped into the domain of convergency of $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$ by $\mathit{k}\to s_{ij}={\mathit{k}}_i{\mathit{k}}_j$. In addition, we prove that $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$ extends to a meromorphic function to the whole ${\mathbb{C}}^{(N-1)(l+1)}$, and that its polar set is contained in the inverse image of the polar set of $Z_{\mathbb{K}}^{\left(N\right)}\left(\mathit{s}\right)$ under that mapping, where the possible poles are described in terms of numerical data of suitable resolutions of singularities:

Theorem 4.

(Theorem 7.1 of [6]) Let $\mathbb{K}$ be a local field of characteristic zero. The integral $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$ converges and is holomorphic in the open set $\mathcal{U}\subset {\mathbb{C}}^{\left(N-1\right)(l+1)}$. It extends to a meromorphic function in $\mathit{k}$ on the whole ${\mathbb{C}}^{\left(N-1\right)(l+1)}$.

If $\mathbb{K}$ is an $\mathbb{R}$-field, then the possible poles of $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$ belong to

$${\displaystyle \bigcup _{I\subseteq \left\{2,\dots ,N-2\right\}}}\bigcup _{t\in \mathbb{N}}\bigcup _{r\in T\left(I\right)}\left\{\mathit{k}\in {\mathbb{C}}^{\left(N-1\right)(l+1)};\sum _{ij\in M\left(I\right)}{N}_{ij,r}\left(I\right){\mathit{k}}_i{\mathit{k}}_j+{\gamma }_r\left(I\right)+\frac{t}{\left[\mathbb{K}:\mathbb{R}\right]}=0\right\},$$

(96)

where $N_{ij,r}\left(I\right),{\gamma }_r\left(I\right)\in \mathbb{Z}$, and $M\left(I\right)$, $T\left(I\right)$ are finite sets, and $\left[\mathbb{K}:\mathbb{R}\right]=1$ if $\mathbb{K}=\mathbb{R}$, and $\left[\mathbb{K}:\mathbb{R}\right]=2$ if $\mathbb{K}=\mathbb{C}$. If $\mathbb{K}$ is a p-adic field, then $A_{\mathbb{K}}^{\left(N\right)}\left(\mathit{k}\right)$ is a rational function in the variables $q^{-{\mathit{k}}_i{\mathit{k}}_j}$, and its possible poles belong to

$${\displaystyle \bigcup _{I\subseteq \left\{2,\dots ,N-2\right\}}}\bigcup _{r\in T\left(I\right)}\left\{\mathit{k}\in {\mathbb{C}}^{\left(N-1\right)(l+1)};\sum _{ij\in M\left(I\right)}{N}_{ij,r}\left(I\right)Re\left({\mathit{k}}_i{\mathit{k}}_j\right)+{\gamma }_r\left(I\right)=0\right\}.$$

More precisely, for each r, either all numbers $N_{ij,r}\left(I\right)$ are equal to 0 or 1 and ${\gamma }_r\left(I\right)>0$, or all numbers $N_{ij,r}\left(I\right)$ are equal to 0 or $-1$ and ${\gamma }_r\left(I\right)<0$.

We now show explicitly the existence of a meromorphic continuation for $Z_{\mathbb{R}}^{\left(N\right)}\left(\mathit{s}\right)$ in the cases $N=4$, 5, by using Hironaka’s resolution of singularities theorem.

10.1. Example: 4-Point Koba–Nielsen String Amplitude

The 4-point Koba–Nielsen open string amplitude is defined as

$$Z^{\left(4\right)}\left(s\right)={\displaystyle \underset{\mathbb{R}}{\int }}|x_2{|}^{s_{12}}{|1-x_2|}^{s_{32}}d{x}_2.$$

Using the function

$$\chi \left(x_2\right)=\left\{\begin{array}{ccc}1& \mathrm{if}& x_2\in \left[-2,2\right]\\ & & \\ 0& \mathrm{if}& x_2\in \left(-\infty ,-2-ϵ\right]\cup \left[2+ϵ,+\infty \right),\end{array}\right.$$

(97)

where $ϵ>0$ is sufficiently small, we construct the following partition of the unity:

$$\begin{array}{ccccc}{\phi }_{\left\{2\right\}}:& \mathbb{R}& \to & \mathbb{R};& x_2\mapsto \chi \left(x_2\right)\hfill \\ {\phi }_{⌀}:& \mathbb{R}& \to & \mathbb{R};& x_2\mapsto 1-\chi \left(x_2\right)\hfill \end{array}.$$

Notice that ${\phi }_{⌀},{\phi }_{\left\{2\right\}}\in C^{\infty }\left(\mathbb{R}\right)$ and ${\phi }_{\left\{2\right\}}\left(x\right)+{\phi }_{⌀}\left(x\right)\equiv 1$, for $x\in \mathbb{R}$. Hence,

$$Z^{\left(4\right)}\left(\mathit{s}\right)=Z_{\left\{2\right\}}^{\left(4\right)}\left(\mathit{s}\right)+Z_{⌀}^{\left(4\right)}\left(\mathit{s}\right),$$

with

$$Z_{\left\{2\right\}}^{\left(4\right)}\left(\mathit{s}\right)={\displaystyle \underset{\mathbb{R}}{\int }}\chi \left(x_2\right)|x_2{|}^{s_{12}}{|1-x_2|}^{s_{32}}d{x}_2$$

(98)

and

$$Z_{⌀}^{\left(4\right)}\left(\mathit{s}\right)={\displaystyle \underset{\mathbb{R}}{\int }}(1-\chi \left(x_2\right))|x_2{|}^{s_{12}}{|1-x_2|}^{s_{32}}d{x}_2.$$

(99)

The integral (98) is a multivariate local zeta function since $\chi \left(x_2\right)$ has compact support. By a classical result of local zeta functions $Z_{\left\{2\right\}}^{\left(4\right)}\left(\mathit{s}\right)$ converges when $Re\left(s_{12}\right)>-1$ and $Re\left(s_{32}\right)>-1.$ Furthermore, it admits a meromorphic continuation to the whole ${\mathbb{C}}^2$, see Theorem 3.2 of [6].

The second integral (99) is not a multivariate local zeta function but it can be transformed in one by changing of variables as $x_2\to \frac{1}{x_2}$, then $d{x}_2\to \frac{1}{{\left|x_2\right|}^2}$$d{x}_2$, and by setting $\tilde{\chi }\left(x_2\right):=1-\chi \left(\frac{1}{x_2}\right)$, we have that

$$\tilde{\chi }\left(x_2\right)=\left\{\begin{array}{ccc}1& \mathrm{if}& \left|x_2\right|\le \frac{1}{2+ϵ}\\ & & \\ 0& \mathrm{if}& \left|x_2\right|\ge \frac{1}{2},\end{array}\right..$$

Notice that the support of $\tilde{\chi }$ is contained in $\left[-\frac{1}{2},\frac{1}{2}\right]$ and $\tilde{\chi }\in C^{\infty }\left(\mathbb{R}\right)$. Thus, integral (99) becomes

$$Z_{\varnothing }^{\left(4\right)}\left(\mathit{s}\right)={\int }_{\mathbb{R}}\tilde{\chi }\left(x_2\right)|x_2{|}^{-s_{12}-s_{32}-2}{|1-x_2|}^{s_{32}}d{x}_2,$$

which is analytic when $-Re\left(s_{12}\right)-Re\left(s_{32}\right)-1>0$ and $Re\left(s_{32}\right)+1>0$. We concluded that $Z^{\left(4\right)}\left(s\right)$ is analytic in the region

$$Re\left(s_{12}\right)>-1,Re\left(s_{32}\right)>-1,Re\left(s_{12}\right)+Re\left(s_{32}\right)<-1.$$

Which contains the open set $-1<Re\left(s_{12}\right)<-\frac{1}{2}$ and $-1<Re\left(s_{32}\right)<-\frac{1}{2}$.

10.2. Example: 5-Point Koba–Nielsen String Amplitude

Fix $N=5$. By using the function $\chi \left(x\right)$, see (97), we define the following partition of the unity:

$$\begin{array}{ccccc}{\phi }_{\{2,3\}}:& {\mathbb{R}}^2& \to & \mathbb{R};& (x_2,x_3)\mapsto \chi \left(x_2\right)\chi \left(x_3\right),\hfill \\ {\phi }_{\left\{2\right\}}:& {\mathbb{R}}^2& \to & \mathbb{R};& (x_2,x_3)\mapsto \chi \left(x_2\right)(1-\chi \left(x_3\right)),\hfill \\ {\phi }_{\left\{3\right\}}:& {\mathbb{R}}^2& \to & \mathbb{R};& (x_2,x_3)\mapsto \chi \left(x_3\right)(1-\chi \left(x_2\right)),\hfill \\ {\phi }_{⌀}:& {\mathbb{R}}^2& \to & \mathbb{R};& (x_2,x3)\mapsto (1-\chi \left(x_2\right))(1-\chi \left(x_3\right)).\hfill \end{array}$$

Then $Z^{\left(5\right)}\left(\mathit{s}\right)=Z_{\{2,3\}}^{\left(5\right)}\left(\mathit{s}\right)+Z_{\left\{3\right\}}^{\left(5\right)}\left(\mathit{s}\right)+Z_{\left\{2\right\}}^{\left(5\right)}\left(\mathit{s}\right)+Z_{\varnothing }^{\left(5\right)}\left(\mathit{s}\right)$. We consider the first integral

$$Z_{\{2,3\}}^{\left(5\right)}\left(\mathit{s}\right)={\displaystyle \underset{{\mathbb{R}}^2}{\int }}\chi \left(x_2\right)\chi \left(x_3\right)|x_2{|}^{s_{12}}|x_3{|}^{s_{13}}|1-x_2{|}^{s_{42}}|1-x_3{|}^{s_{43}}{|x_2-x_3|}^{s_{23}}d{x}_{2}d{x}_3.$$

(100)

Since ${\phi }_{\{2,3\}}$ has compact support, then integral (100) is a local zeta function. Thus, we use resolution of singularities of the divisor $D_5$ defined by $x_2{x}_3(1-x_2)(1-x_3)(x_2-x_3)=0$. This arrangement is not locally monomial only at the points $(0,0)$ and $(1,1)$. Hence, we pick a partition of the unity, ${\sum }_{i=0}^2$${\Omega }_i(x_2,x_3)=1$, and we write

$$Z_{\{2,3\}}^{\left(5\right)}\left(s\right)=\sum _{j=0}^2{Z}_{{\Omega }_j}^{\left(5\right)}\left(s\right),$$

where

$$Z_{{\Omega }_j}^{\left(5\right)}\left(s\right)={\int }_{{\mathbb{R}}^2}{\Omega }_j(x_2,x_3)|x_2{|}^{s_{12}}|x_3{|}^{s_{13}}|1-x_2{|}^{s_{42}}|1-x_3{|}^{s_{43}}{|x_2-x_3|}^{s_{23}}d{x}_{2}d{x}_3.$$

We assume that ${\Omega }_0$ and ${\Omega }_1$ are smooth functions with support in a small neighborhood of $(0,0)$ and $(1,1)$, respectively. So, we only compute the integrals $Z_{{\Omega }_0}^{\left(5\right)}\left(s\right)$ and $Z_{{\Omega }_1}^{\left(5\right)}\left(s\right)$.

In terms of convergence and holomorphy, around $(0,0)$, the factor $|1-x_2{|}^{s_{42}}{|1-x_3|}^{s_{43}}$ can be neglected, hence we only need an embedded resolution of $x_2{x}_3(x_2-x_3)=0$, which is obtained by a blow-up at the origin. It means to make the changes of variables

$$\begin{array}{cc}\hfill {\sigma }_0:{\mathbb{R}}^2\to {\mathbb{R}}^2;& u_2\mapsto x_2=u_2\hfill \\ \hfill & u_3\mapsto x_3=u_2{u}_3.\hfill \end{array}$$

Hence integral $Z_{{\Omega }_0}^{\left(5\right)}\left(s\right)$ becomes

$$\underset{{\mathbb{R}}^2}{\int }\left({\Omega }_0\circ {\sigma }_0\right)\left(u_2,u_3\right){\left|u_2\right|}^{s_{12}+s_{13}+s_{23}+1}|u_3{|}^{s_{13}}{|1-u_3|}^{s_{23}}g(u,\mathit{s})d{u}_{2}d{u}_3,$$

where $g(u,s)$ is invertible on the support of ${\Omega }_0\circ {\sigma }_0$ and can thus be neglected from the point of view of convergence and holomorphy. Hence, by ([6], Lemma 3.1), we obtain the convergence conditions:

$$Re\left(s_{12}\right)+Re\left(s_{13}\right)+Re\left(s_{23}\right)+2>0,Re\left(s_{23}\right)+1>0,Re\left(s_{13}\right)+1>0.$$

(101)

We can take other chart of the blow-up, i.e., the change of variables

$$\begin{array}{cc}\hfill {\sigma }_0^{\prime }:{\mathbb{R}}^2\to {\mathbb{R}}^2;& u_2\mapsto x_2=u_2{u}_3\hfill \\ \hfill & u_3\mapsto x_3=u_3,\hfill \end{array}$$

with this change yields the same first and second condition and

$$Re\left(s_{12}\right)+1>0.$$

(102)

By symmetry we can consider any of these changes of variables. Completely similarly, for the convergence of $Z_{{\Omega }_1}^{\left(5\right)}\left(s\right)$, we need also the new conditions

$$Re\left(s_{42}\right)+Re\left(s_{43}\right)+Re\left(s_{23}\right)+2>0,Re\left(s_{42}\right)+1>0,Re\left(s_{43}\right)+1>0.$$

(103)

The conditions coming from the locally monomial integral $Z_{{\Omega }_2}^{\left(5\right)}\left(s\right)$ are already included.

The integral $Z_{\left\{3\right\}}^{\left(5\right)}\left(\mathit{s}\right)$ is not a multivariate local zeta function, so we take the following change of variables $x_2\to \frac{1}{x_2}$, then we have $d{x}_2\to \frac{1}{{\left|x_2\right|}^2}$$d{x}_2$, and by setting $\tilde{\chi }\left(x_2\right):=1-\chi \left(\frac{1}{x_2}\right)$, we have that

$$\tilde{\chi }\left(x_2\right)=\left\{\begin{array}{ccc}1& \mathrm{if}& \left|x_2\right|\le \frac{1}{2+ϵ}\\ & & \\ 0& \mathrm{if}& \left|x_2\right|\ge \frac{1}{2},\end{array}\right..$$

Then

$$\begin{array}{c}{Z}_{\left\{3\right\}}^{\left(5\right)}\left(\mathit{s}\right)={\int }_{{\mathbb{R}}^2}\tilde{\chi }\left(x_2\right)\chi \left(x_3\right)|x_2{|}^{-s_{12}-s_{42}-s_{23}-2}|x_3{|}^{s_{13}}|1-x_2{|}^{s_{42}}{|1-x_3|}^{s_{43}}\hfill \\ \hfill \times |1-x_2{x}_3{|}^{s_{23}}d{x}_{2}d{x}_3.\end{array}$$

Since $x_2{x}_3(1-x_2)(1-x_3)(1-x_2{x}_3)$ is locally monomial in the support of $\tilde{\chi }\left(x_2\right)\chi \left(x_3\right)$, the only new condition is

$$-Re\left(s_{12}\right)-Re\left(s_{42}\right)-Re\left(s_{23}\right)-1>0.$$

(104)

Completely analogously, $Z_{\left\{2\right\}}^{\left(5\right)}\left(\mathit{s}\right)$ induces the extra condition

$$-Re\left(s_{13}\right)-Re\left(s_{43}\right)-Re\left(s_{23}\right)-1>0.$$

(105)

For the last integral, we are setting $\tilde{\chi }\left(x_2\right):=1-\chi \left(\frac{1}{x_2}\right)$ and $\tilde{\chi }\left(x_3\right):=1-\chi \left(\frac{1}{x_3}\right)$. Thus,

$$\begin{array}{c}{Z}_{\varnothing }^{\left(5\right)}\left(\mathit{s}\right)={\int }_{{\mathbb{R}}^2}\tilde{\chi }\left(x_2\right)\tilde{\chi }\left(x_3\right)|x_2{|}^{-s_{12}-s_{42}-s_{23}-2}|x_3{|}^{-s_{13}-s_{43}-s_{23}-2}|1-x_2{|}^{s_{42}}{|1-x_3|}^{s_{43}}\hfill \\ \hfill \times |x_2-x_3{|}^{s_{23}}d{x}_{2}d{x}_3.\end{array}$$

In this case, we have the same divisor as for $Z_{\left\{2,3\right\}}^{\left(5\right)}\left(\mathit{s}\right)$; the differences are the powers of $|x_2|$ and $|x_3|$ and the function $\tilde{\chi }\left(x_2\right)\tilde{\chi }\left(x_3\right)$ that does not contain $(1,1)$ in its support. Hence, the only new condition will arise from the blow-up at the origin, namely

$$-Re\left(s_{12}\right)-Re\left(s_{42}\right)-Re\left(s_{23}\right)-Re\left(s_{13}\right)-Re\left(s_{43}\right)-2>0.$$

(106)

Hence $Z^{\left(5\right)}\left(\mathit{s}\right)$ is analytic in the region defined by conditions (101)–(106), i.e.,

$$\begin{array}{cc}& Re\left(s_{ij}\right)>-1,\mathrm{for}\mathrm{all}\mathrm{ij}\hfill \\ & Re\left(s_{12}\right)+Re\left(s_{13}\right)+Re\left(s_{23}\right)>-2,Re\left(s_{42}\right)+Re\left(s_{43}\right)+Re\left(s_{23}\right)>-2,\hfill \\ & Re\left(s_{12}\right)+Re\left(s_{42}\right)+Re\left(s_{23}\right)<-1,Re\left(s_{13}\right)+Re\left(s_{43}\right)+Re\left(s_{23}\right)<-1,\hfill \\ & \sum _{ij}Re\left(s_{ij}\right)<-2.\hfill \end{array}$$

This region of convergence contains the open subset defined by

$$-\frac{2}{3}<Re\left(s_{ij}\right)<-\frac{2}{5}\mathrm{for}\mathrm{all}ij.$$

Then, in particular, $Z^{\left(5\right)}\left(s\right)$ is analytic in the interval $-\frac{2}{3}<Re\left(s\right)<-\frac{2}{5}$.