Abstract
We state the product formulae of the values of the levels of functions at critical points involved in asymptotic behaviors of hypergeometric integrals associated with symmetric arrangements of three-dimensional spheres. We show, in an explicit way, how the product of the Hessian, regarding the level functions at all critical points, is related to the behavior of its critical points. We also state two conjectures concerning the same problem associated with general hypersphere arrangements.
1. Introduction
For a given and , let be real quadratic polynomials in specified by
where and for , . Let be the point , which is the center of the hypersphere . The radius of and the distance between and are given by
respectively. In this paper we assume that the points make an n-simplex, so that without loss of generality, we may assume the following:
i.e.,
Here, we consider the dimensional hyperspheres in , i.e., we define as
For let be a multiplicative meromorphic function on specified by
We set . For , we denote by the space of rational r-forms on X whose singularities all lie in the set . For the complex
where is the covariant derivation given by
the rth twisted de Rham cohomology is defined by
See [,] for more details. For as a representative in , the hypergeometric integral associated with over an n-twisted cycle is defined as
For an arbitrary integer N, we put , where and are fixed. When is independent of N, we are interested in the asymptotic behavior of the following integral as in the direction :
where
For the real valued level function corresponding to , the singularity of the gradient flow of in X coincides with the set of its critical points given by
By definition is explicitly written as
In this paper, we assume that the direction of the asymptotic behavior is specifically fixed as
Then, the set of critical points given by (2) is rewritten as
where
The functions play an important role in describing the asymptotic behavior of for large N (see Theorems 4.9 and 4.10 in []). The Hessian of F is defined by and is expressed as the Jacobian of , i.e.,
According to the method of steepest decent (saddle-point method), if an n-twisted cycle includes the critical point (saddle point) which gives the maximal value of on , then the asymptotic behavior of is expressed as
If are located as general position in , for generic exponents the dimension of the nth cohomology as a -linear space is known to be , i.e., (see [,] for hypergeometric integrals associated with hypersphere arrangements). The basis of can generally be chosen as an NBC (non-broken circuit) basis for a commutative algebra associated with hypersphere arrangement (see []). The number also coincides with the absolute value of the Euler number of X. It also equals the number of the critical points of the function F specified by (3) provided that they are non-degenerate and different from each other. We denote by all of the critical points (real or imaginary) in X, i.e., For a rational function on X, we denote by the product of the critical values at all points in , i.e.,
which is called the norm of . Here, we state our first claim as follows.
Conjecture 1.
Suppose that are located as general position in . Then,
if and only if every critical point in is different from each other.
Remark 1.
When Conjecture 1 holds true, if the n-dimensional stable Lagrangian cycles include as their limiting points, respectively, then by (5) the pairing
where are representatives in , satisfies the following asymptotic behavior
which gives a criterion for -linear independence of the set . This is a rough explanation as to why we consider Conjecture 1.
In this paper, one of our aims is to confirm Conjecture 1 when for a special pyramid . The result is stated in Theorem 4. For this purpose, we need to compute and . In order to state the explicit expressions of and we introduce the Cayley–Menger determinants as follows.
Consider the symmetric matrix , whose entries are given by , , , , , i.e.,
The Cayley–Menger determinants are defined as the minors of the matrix of B. See [].
Definition 1.
Denote by the radius for or 0 for . The determinant
is called the Cayley–Menger determinant, where and denote two subsets of the indices in . We simply write instead of . Notice that , , and
Using the Cayley–Menger determinants, the latter assumption of (1) is rewritten as
for .
Throughout this paper, we suppose the condition
for The condition gives the moduli space of arrangement of n dimensional real hyperspheres in general position in .
Denote the n dimensional real open ball with boundary in , where One sees that
where is the cardinality of J. In general every real critical point lies in or the real simplex . If further
then every intersection is not empty, where means the complement of the closure . There exists a unique critical point of (and so of F) there.
We now state the other claim of ours for the explicit forms of and using the Cayley–Menger determinants.
Conjecture 2.
For let be the set . Under the condition , the norms and are expressed as
Remark 2.
We call φ theunit relative to the set of all critical points if does not vanish under the condition . In this sense and are all units if Conjecture 2 holds for them.
Remark 3.
If , (6) of Conjecture 2 implies
which have been confirmed under the situation . See Theorems 5.19 in []. Moreover, using these formulae, consequently is also obtained explicitly when is an arbitrary isosceles triangle under . Thus, Conjecture 1 is confirmed when , and . See also Corollary 7.16 in [] for details.
Remark 4.
This paper is organized as follows. In Section 2 we confirm that Conjecture 2 holds for the very special case, where is the regular simplex and all hyperspheres have the same radius. The result is stated as Theorem 1. From Section 3 to Section 7, we discuss three-dimensional case. In Section 3, we introduce a special coordinate system (denoted by ) attached to a tetrahedron, i.e., the fundamental three-dimensional simplex , and by means of the projective map we transfer the terms relative to to those of , where are polynomials in t of degree 3 given by (48). In particular, we call the basic parameter, and a rational curve passing through specified points in , which we call the interpolation curve of those points in , plays an important role in this paper. In Section 4, we restrict ourselves to a special symmetric case when is a pyramid with an axis of symmetry whose base triangle is regular and all spheres have the same radius. The critical points are classified into typical four parts . In Section 5, under the assumption , for each the interpolation curve is still significant, and we calculate the norms of several linear functions on solving the defining equation of , where is the characteristic function of defined by . Using these norms, we evaluate and and, thus, prove Conjecture 2 for our symmetric special case. See Corollary 2. In Section 6, we consider the other case, , i.e., the case where is the regular tetrahedron. The results in this section compensate for those in Section 5. In Section 7, under the same constraint as Section 5, we shall show the explicit formula for the norm of the Hessian of the level function F relative to the critical points . The formula is expressed in terms of the discriminant associated with (or equivalently ), see the invariants , and in Theorem 4. Consequently, we also prove Corollary 8, which is Conjecture 1 for our symmetric special case. The method of proving Theorem 4 and Corollary 8 can be regarded as a generalization of the Routh–Hurwitz scheme to a case of several variables. This scheme is stated in terms of Hankel matrices and a system of resultants related to a pair of polynomials in a single variable (see Chapter XV in [] or Chapter X in [], for example).
We note in passing that there is an analogy between the notions “differente”, “discriminant” in the theory of algebraic numbers, and the ones “Hessian”, “norm of Hessian” in our present situation, respectively (see [,,,,] for general definition of “discriminant” of algebraic numbers, algebraic functions, or more generally commutative algebra).
In [], there is an interesting argument on zero points of coquaternionic polynomials using characteristic polynomials, which enable to linearize the problem by Euclidean algorithm. Moreover, our argument goes along the similar line in a more complicated situation.
2. Configuration of Critical Points in the Case of Regular Simplex
In this section, we consider the very special case when is a regular simplex and all hyperspheres have the same radius:
In this case, all of the critical points can be explicitly described. The total number of critical points is equal to
Denote by For the set , let be the central point of each -dimensional face defined by
where denotes the size of J. In particular, we see that and we simply denote by W the center of . For we denote by the complement . For let be the straight line passing through two points and , which is parameterized by
An arbitrary line passes through the center of , so that
Symmetry argument shows that every linear p-dimensional real affine subspace spanned by the real p-simplex is preserved by the vector field . In particular the real straight line is a trajectory of .
We now consider the critical points on for .
Lemma 1.
Suppose that . Then on as a function of τ is expressed as
Proof.
By Lemma 1 F on is expressed as
so that on is written as
The critical points on correspond to the solutions of the equation , which is equivalent to
The point on for coincides with W. The other two points on differ from W and satisfy the quadratic equation
The discriminant of this quadratic equation is given by , where
which satisfies
Denote by the two solutions of (13) such that if . We denote by and the corresponding two points in to and , respectively. In addition to W all these points in give all the critical points of F in X. One can prove the following proposition.
Proposition 1.
The number of critical points is equal to . All the critical points of F lie on one of the straight lines . Suppose that r satisfies
Then, all of these, W, , are real and distinct from each other.
Proof.
For the situation where all critical points W, are real and distinct from each other, we need the condition that each solution of (12) is real and is not a double point. This condition is equivalent to: (a) The discriminants of the Equation (13) are greater than 0; and (b) The left-hand side of (13) at does not vanish. We discuss (b) first. The condition for (b) is written as
which is equivalent to
Next, we consider the condition (a). Since the discriminant of (13) is rewritten as
if n is odd, then we need
while if n is even, then we need
Therefore, (16)–(18) imply that conditions (a) and (b) are satisfied if (15) holds for r. This completes the proof. □
Before we prove Conjecture 2 under the condition (8), we show the following identities:
Lemma 2.
Suppose that J is fixed as . Then we have
If , , then , , and are expressed as
where
Moreover, if , then we have
Proof.
Using Lemma 2 we see that Conjecture 2 holds true under the condition (8).
Theorem 1.
3. Special Coordinates (Three-Dimensional Case)
In this section, for a general three-dimensional case, we define the special coordinate system (denoted by ) attached to the fundamental three-dimensional simplex .
Each plane containing the three vertices is described by the equation
where the linear functions on X are given by
for . Under our setting (1) the functions are explicitly expanded as
so that
Hence, the simplex can be defined by . Remark that
Definition 2.
Two rational functions on X are said to be congruent with respect to and is denoted by
if have definite values at every point of and
at each critical point x in ( means the annihilator of ).
Lemma 3.
Let be polynomials in x of degree 3 specified by
Then, we have
where the functions are given by
Here, is a permutation of and ± denotes its sign. Moreover, we have the congruences
Proof.
According to Lemma 3, we can characterize the set of critical points in X by the polynomials as follows.
Lemma 4.
Under the condition , the system
on X is equivalent to the system
on X.
Lemma 5.
The following identity holds as function of :
Proof.
By taking the derivatives of both sides of (40) in Lemma 3 one obtains
for the triple , which is an even permutation of , where denotes the cofactor of the -component of the matrix . Thus, we have
Hence, we obtain
where is the cofactor matrix of A given by
Since satisfies , where I is the identity matrix, (36) implies
Therefore, we see that (43) is equivalent to (42). □
We now introduce special coordinates instead of , given by
The identity (37) implies
Conversely, for given solving the system (44) with respect to , we obtain
Therefore, (45) defines the projective map , i.e.,
By definition, we notice that
Lemma 6.
Proof.
Differentiating both sides of with respect to , we have , so that
which is equivalent to (46). □
Under the condition , for the sets and , we put and , respectively.
Definition 3.
Two rational functions on are said to be congruent with respect to and written by
if their restriction to are equal, i.e., if have definite values at every point of and at each critical point t in ( means the annihilator of ).
Through the projective map we can characterize the set of critical points in as follows:
Lemma 7.
Under the condition , the system
on X is equivalent to the system
on , where are polynomials in t of degree 3 given by
Moreover we have
Proof.
By definition the equivalence between and is obvious. The identity (49) is straightforward from (48). Here, we just confirm that are polynomials in t of degree 3. By the definition (39) of , we have
In the same way, we have the expression
For , we have
which are polynomials in t of degree 2. From (50), we see that are polynomials in t of degree 3. □
Before we show the explicit forms of the polynomials , we prove two lemmas.
Lemma 8.
The following identities hold:
Proof.
Lemma 9.
Proposition 2.
The polynomials in t of degree 3 given in (48) are expressed as
Proof.
Lemma 10.
For let be functions specified by
Then, are polynomials in t of degree 3, which are explicitly written as follows:
such that is the uniquely determined permutation of
Proof.
Remark 6.
As a consequence of Lemma 10, we have
so that we immediately have
The following is a key lemma to characterize the set of critical points.
Lemma 11.
Suppose . Under the condition the system
in is equivalent to the system
in . Moreover we have
Proof.
Then the following congruence identity holds true:
Lemma 12.
Regarding as functions on through the map ι, i.e., , we have
If satisfies , then
Proof.
Lemma 13.
For an arbitrary critical point , the Hessian at is expressed as
In particular, if satisfies , then
Proof.
We denote by all the critical points in X, i.e., . For a rational function on X we denote by the product of the critical values at all points in , i.e., which is called the norm of on X. We also denote by the critical points in specified by , i.e., where is the projective map given by (45). For a rational function on we also denote by the product of the critical values at all points in , i.e.,
which is called the norm of on .
Our aim is to study the norm on X, and the following proposition gives the formula for on X to be written by norms of several functions on .
Proposition 3.
If an arbitrary satisfies , then
In order to calculate the part in the right-hand side of (64) in Proposition 3 we will use the following lemma later.
Lemma 14.
Suppose that there exists rational curve in given by
satisfies the equations
Suppose also that the curve ω interpolates some critical point in , i.e., there exists such that
Let ψ be function on specified by
The following identity as a function on the curve ω in (i.e., as a function of ) holds.
where denotes the derivative . In particular, for the point such that it follows that
Proof.
In the next section we consider a special symmetric case when and , being the same. We shall present and the norms of explicitly by taking the basic parameter .
4. A Special Symmetric Case of
In this section, we restrict ourselves to a special symmetric case when is a pyramid with axis of symmetry whose base triangle is regular and all spheres have the same radius, i.e., throughout this section we assume
We first see the fundamental invariants, i.e., the explicit forms of the Cayley–Menger determinants.
Lemma 15.
Lemma 16.
Remark 7.
, , for sufficiently large
Lemma 17.
Proof.
Notice that are independent of under the condition . For the succeeding arguments we write as polynomial in and explicitly as follows.
By definition, we have the identity
We state a property of the set as follows.
Lemma 18.
There exists no point in such that .
Proof.
Assume that satisfies . If , then from Lemma 11 we see that satisfies the system . Seeing (73) and , we have , which contradicts the assumption. If , then we have , so that again from Lemma 11 we see that satisfies the system . In the same way as above we have a contradiction again. □
As a consequence of Lemma 18, the set is partitioned into the following:
Denote , such that is the disjoint union of and that is the disjoint union of :
Remark 8.
The number of the critical points is , i.e., . As we will see below, it is confirmed that and .
For the set , we immediately have the following:
Lemma 19.
For the polynomials are evaluated as
where In other words, the following equivalence holds:
Our approach to study the structure of depends on whether we impose the condition or not. In the following section, we first consider the case , while we devote Section 6 to the case , i.e., the case where is the regular tetrahedron.
5. Critical Points under , and
Throughout this section, in addition to the imposed conditions and , we suppose further
In this setting, the special parameter s introduced in (69) is given by
and (70) is reduced to
where . Thus, will be used indirectly for calculation of later.
Lemma 20.
Under the conditions , and , there exists no point in such that if and only if , where
Moreover, if and only if .
Proof.
If then satisfies the condition (76) and the equation
Then, under the assumption , we need six possibilities for , i.e.,
Under the condition , for these points we have
so that we see
and therefore obtain
This completes the proof. □
Lemma 11 states the equivalence between the systems and under . If , then we can omit the condition for this equivalence, because Lemma 20 says that each point satisfies . Namely, coincides with if . On the other hand, if , then Lemma 20 implies that is expressed as
However we eventually realize that this distinction is unnecessary whether or not (see explanation in Remark 10 after Lemma 21). Hereafter, we analyze the set regarded as that of solutions of the system without constraint , i.e.,
The aim of succeeding four subsections is to evaluate the norms , , and for each given in (76). We denote the partial product of , i.e.,
5.1. The Set
In this subsection, we assume that for the critical points. When and , from (73) is automatically satisfied. Then, the solutions of the equation correspond to the critical points in . We define the characteristic polynomial of the set by
which gives . We denote the roots of the equation by , then the points corresponding to give the set of critical points in the straight line Let be monic polynomial in specified by
where is the coefficient of highest degree of . Then we obtain the following.
Proposition 4.
Proof.
Since , for we have and , which are evaluated as special values of , as follows:
In general, for arbitrary , we can calculate the norm of by
We can evaluate by a direct calculation from (83). Using this formula, we obtain
which coincides with the result for in Proposition 4. □
5.2. The Set
We assume that for the critical points. From (73) implies that is automatically satisfied. When , according to (73) it is necessary for that
is satisfied. Solving this equation, with respect to , we have
Hence, for the basic parameter the rational curve interpolates the set of all critical points in
Lemma 21.
Let be function specified by . Then has the factor , namely it is written as
where is a polynomial in of degree 4. Moreover the explicit form of is
Proof.
Remark 9.
From Lemma 20, we see that if . This means that the root of the equation does not correspond to any point in .
Since is evaluated at as , we have the expression
where is given by (85), and we call the characteristic polynomial of .
Remark 10.
When , i.e., , the characteristic polynomial is expressed as which has the factor , so that is the double root of . The polynomial was originally defined from the system for under . In this sense is meaningless as a solution of , which corresponds to a point in . However, the point formally corresponding to is indeed an element of when (the fact if was also confirmed in Lemma 20). This makes sense even when , and eventually the imposed condition for or can be removed.
We denote the roots of the equation by , then the points corresponding to give the set of critical points . Let be monic polynomial in specified by
where is the coefficient of highest degree of . Then we obtain the following:
Proposition 5.
Proof.
Corollary 1.
Proof.
Since parameters , , and are written as
we obtain
respectively. They are all combinations of factors evaluated in Proposition 5. We therefore obtain the results. □
5.3. The Set
The case for the admissible parameter is evaluated from that of in previous subsection by the use of the transposition of the coordinates and . In fact, one may take as in (86) and (87), i.e.,
and for the basic parameter , the rational curve interpolates the set of all critical points in , where
so that we have the expression
Then the same assertion as the preceding proposition holds true.
Proposition 6.
The points in consist of the four points corresponding to the solutions to the equation with , and we have
and
These are explicitly given in Proposition 5 and Corollary 1.
Proof.
Indeed leave invariant under the transposition . Therefore, , , and are all invariant under the transposition . The symmetry with respect to also implies (95). □
Proposition 7.
For the special parameter s, we have
5.4. The Set
We assume that for the critical points. Since and , from (73) it is necessary for that
is satisfied. Solving this equation with respect to we have
where
We may take the interpolating curve of the set satisfying
where
Furthermore
Lemma 22.
Let be function specified by . Then has the factor , namely it is written as
where is a polynomial in of degree 4. Moreover the explicit form of is
Proof.
Remark 11.
From (82), we see that . This means that the root of the equation does not correspond to any point in .
Since is evaluated at as
we have the expression
where , are given by (97), and we call the characteristic polynomial of . We denote the roots of the equation by , then the points corresponding to give the set of critical points . Let be monic polynomial in specified by
where is the coefficient of highest degree of . Due to Lemma 22 we obtain the following.
Lemma 23.
is a polynomial in of degree 4 with the leading term
and the leading coefficient is given by . Furthermore we have
and is provided as (101).
From the symmetry between and , we immediately have the following:
Proposition 8.
These are explicitly given in Proposition 5 and Corollary 1.
Since , from the symmetry between and , we also immediately have the following:
Proposition 9.
. The explicit form is given in Proposition 7.
Remark 12.
As a consequence of Lemma 23, we can explain another way to have the explicit forms of , and using special values of as follows. The basic idea is to use the following formula for arbitrary , :
which is explained in (91). Then, using Lemma 23, we obtain
For our setting , we have , so that
are simply calculated. Since is written as
we have
which is also simply calculated. Lastly, we evaluate . The parameter is written as
so that we have
To evaluate the above numerator we use another method. By Euclidean division, we have
where, for setting , there exist
and , Using (92) we finally obtain
5.5. Conclusions of This Section
In this subsection, we give a proof of Conjecture 2 under the conditions , and . As we saw in (63), for a rational function on , the norm of is defined by the product of the values over the set of all critical points , i.e.,
Summing up Propositions 4–9 and Corollary 1, we have
Theorem 2.
Corollary 2.
where denotes a permutation of .
Proof.
From (47) we have so that we have for . Using (103) and (104) in Theorem 2, we see that On the other hand, from (79) we have , which coincides with the right-hand side of (109) by using (105) and (106) in Theorem 2. We therefore obtain (109). From (47) we also have for , so that we have On the other hand, using (47) again we have , so that we obtain , which is evaluated as the right-hand side of (107) by using (104) in Theorem 2 and (109). We therefore obtain (107). Moreover, from (47) we also obtain , which is evaluated as (108) by using (103) in Theorem 2 and (107). From (76), we have for , so that we have which implies
We therefore obtain (110). From (71) we obtain , which coincides with (111) by using (105) in Theorem 2 and (108). Lastly (112) follows from the definition (44) of and (38). □
As we mentioned as Remark 2 of Conjecture 2 in the introduction, we have the following:
Theorem 3.
Under the conditions , , and ,
are all units.
Proof.
From the product expressions for , and in Corollary 2 we see that there appears no factor of their numerators which vanishes. □
6. Regular Tetrahedron Case
In this section, we impose the conditions and with , which means is a regular tetrahedron and all spheres have the same radius, i.e., and . Under this setting, we present the explicit formulae for , and using the admissible parameters , and show that Conjectures 1 and 2 stated in the introduction hold true.
The polynomials and defined in (72) and (73) are simplified as
respectively, where is a permutation of . Let be the set of critical points characterized by . By Lemma 11 if for , then the system is equivalent to
We may use the same notation for the points corresponding to these points in . As a result, the set of 15 critical points are tabulated as . One can also classify these points by the property (76). The set is partitioned into four parts, i.e., .
6.1. The Set
The point satisfies the system , and this point corresponds to the point W. Since , if , then the two solutions of the quadratic equation
correspond to the points , . We obtain .
6.2. The Set
If for , then . Thus, satisfies automatically. Since , the two solutions of the quadratic equation
correspond to . On the other hand, if for , then satisfies the system
Since , we need for . Then we also need . Thus, the two solutions of the quadratic equation
correspond to , . We obtain .
6.3. The Set
This occurs from by exchange of . The cases or correspond to or , respectively. We obtain .
6.4. The Set
If for , then . Thus, satisfies automatically. Since , the two solutions of the quadratic equation
correspond to . On the other hand, if for , then satisfies the system
Since , we need for . Then we also need . Thus, the two solutions of the quadratic equation
correspond to . We obtain .
6.5. Conclusions of This Section
We have the following two lemmas by a direct calculation:
Lemma 24.
As a consequence
Corollary 3.
Proof.
The above formulae are obtained by definition and from Lemma 24 in view of the following identities: , , , , , , . □
Lemma 25.
for a permutation of .
Proof.
We prove (119) first. By the definition (113) of we have
By definition, we also have
From Lemma 24, we obtain
Applying (122)–(124) to the formula (61), we therefore obtain (119).
Next, we show (120). Without loss of generality, we prove the case only. We denote by the solutions of (116). Then and are written as and , respectively. From (62) of Lemma 13 we have
We now calculate the right-hand side of (125) precisely. From Lemma 24 we have
From (68) in Lemma 14 we see that
where . This implies that for the solution of (116), we have
so that we obtain
Since we can calculate
we have
Moreover, by definition we have
Applying (126)–(129) to the Equation (125) we therefore obtain
which coincides with (120) by calculating and as follows:
Finally, we show (121). Without loss of generality, we prove the case only. We denote by the solutions of (115). Then and are written as and , respectively. From (62) of Lemma 13, we have
We now calculate the right-hand side of (130) precisely. From Lemma 24, we have
From (68) in Lemma 14, we see that
where . This implies that for the solution of (115), we have
so that we obtain
Since we can calculate
we have
Moreover, by definition, we have
so that
Applying (131)–(134) to the Equation (130) we therefore obtain
which coincides with (121) by calculating as follows:
This completes the proof. □
From Lemma 25, we obtain:
Proposition 10.
If then and vice versa. This case occurs when all critical points and coincides with W the center of gravity.
Remark 13.
If , then all 15 critical points are real and distinct from each other. If , then . If , then . If , then .
Let be an arbitrary permutation of . Then preserves every affine plane and the lines are trajectories of .
If , then The four points lie one by one in the inside of each . The remaining 11 points lie in the common part of the inside of the pyramid and the outside of all . The values of at satisfy the ordering
There exist the unique trajectories (separatrices) of the real vector field starting from some point of and tending to , starting from and tending to , starting from and tending to W respectively.
We assume that . Take the axis and the ordinate to be the lines and such that is the origin in the plane . The restriction of to the plane is represented by
and the vector field on is defined by the differential equation
where
Then every trajectory in tending to the infinity has an asymptotic expansion
or
where or denotes an arbitrary real constant and the remaining are uniquely determined in a successive way. The phase portrait of in is given as in the Figure 1.
Figure 1.
Phase portrait of in .
The real vector field preserves the two dimensional real plane , which contains the critical points , , , , and . The three straight lines , and are trajectories themselves. Every trajectory starts from each point of the circles and in a perpendicular manner to the circles, or from the point (unstable node). The points , and are saddle points. Every trajectory finally tends to one of the points , and W (stable nodes), or to the infinity.
7. Product of Hessians
In this section, we evaluate the norm of the Hessian of F under the same constraints as Section 5, i.e., we still impose the conditions , and . From (64) of Proposition 3 the Hessian of F satisfies that
Since we have already evaluated , and in Section 5, our aim in this section is to study the remaining part
Since the set is separated into four parts, which are specified in (76), i.e., , we have
Furthermore, from Lemma 14, it follows that
where are the characteristic functions defined by the interpolation curve associated with , respectively (see Section 5 for further detail on the functions ). In the sequel, we shall abbreviate
respectively.
Definition 4.
Let be the characteristic polynomials of defined in Section 4 (see (83), (87), (93) and (100) for explicit forms of , , and , respectively). For the polynomial of degree m, let be the set of roots of the equation .
where are the coefficients of the leading terms of . We define the discriminant of the polynomial associated with each as follows:
By definition, we can immediately confirm that
i.e., and .
7.1.
In this subsection, we consider for the set . As we saw in Section 5.1, an arbitrary critical point is characterized as a point on the interpolation curve defined by , , where
and satisfies the equation . Since and are expressed as (73), is automatically satisfied. The characteristic function relative to the parameter is defined by
where
Lemma 26.
Proof.
Since and , the point on the interpolation line satisfies
which implies (140). □
By definition, the polynomial coincides with , and they are written as
Lemma 27.
where denotes
Proof.
Lemma 28.
The explicit form of is given by
where denotes
The explicit form of is also expressed as
Proof.
Due to (145) we immediately have the following:
Corollary 4.
There exists no double point in if and only if .
We conclude the following from (136) and Lemmas 26–28.
Proposition 11.
7.2.
As we saw in Section 5.2, an arbitrary critical point is characterized as a point on the interpolation curve defined by where
and satisfies the equation . Since are expressed as (73), is automatically satisfied when . The relation in (150) is determined by solving the equation , where
In this setting,
From (75), is also expressed as
The characteristic function relative to is defined by , and from Lemma 21 is expressed as
Here, is a polynomial in of degree 4 given by
where
Lemma 29.
namely
Proof.
Since and , the point on the interpolation curve satisfies
which implies (153). □
Lemma 30.
where is given by (143).
Proof.
Corollary 5.
Proof.
See (142) in Lemma 27. □
Proposition 12.
if and only if .
Proof.
By definition, the curve , defined by (150) cross the line , when , i.e., the parameter satisfies
which is equivalent to since . This means that if and only if there exists a solution of the equation satisfying (157), also means that if and only if there exists a solution of satisfying (157). Hence, by definition, holds if and only if there exists a solution of the equation , such that , which is equivalent to . The evaluation (155) in Lemma 30 implies the following:
Due to the symmetry of , and ,
occur at the same time. Hence, we see that if and only if . Moreover, since , (158) implies that if and only if , which means . Due to the symmetry of , , and ,
occur at the same time. As a result, we therefore obtain Proposition 12. □
Lemma 31.
The explicit form of is given by
where is the polynomial in , , of degree 12 given by
The explicit form of is also expressed as
Proof.
Due to (159) we immediately have the following:
Corollary 6.
There exists no double point in if and only if .
We conclude the following from Lemmas 30 and 31:
Proposition 13.
Proof.
Applying (88), (89) in Proposition 5 and (155) in Lemma 30 to (154) we have (162). Differentiating both sides of (151) with respect to we have
so that
Using (164) and (154) in Lemma 29, (136) implies
According to Proposition 5, Lemma 30 and (161) in Lemma 31, the right-hand side of (165) coincides with (163). □
7.3.
An arbitrary critical point is characterized as a point on the interpolation curve defined by , where
and satisfies the equation . This situation is represented by the transposition of the coordinates and from that of . Thus, the characteristic function of is the same as , i.e., . Hence, our conclusion is:
Proposition 14.
, . The explicit forms are given in Proposition 13.
7.4.
As we saw in Section 5.4, an arbitrary critical point is characterized as a point on the interpolation curve defined by , , where
and satisfies the equation . The relation in (166) is determined by solving the equation , where
The characteristic function relative to is defined by , and from Lemma 22 is expressed as
Here is a polynomial in of degree 4 given by
where
Lemma 32.
namely
Proof.
Since and , the point on the interpolation curve satisfies
which implies (169). □
From the symmetry between and , we immediately have , which has already been evaluated as (155) in Lemma 30. Hence, we have the following:
Lemma 33.
Lemma 34.
The explicit form of is given by
where is the polynomial in , , of degree 12 given by (160). is also given as
Proof.
Due to (172) we immediately have the following:
Corollary 7.
There exists no double point in if and only if .
We conclude the following from Lemmas 33 and 34:
Proposition 15.
7.5. Conclusions of This Section
In this subsection, we give a proof of Conjecture 1 under the conditions and . And we try to prove Conjecture 1 without the constraint in Appendix A.
Theorem 4.
Proof.
Remark 14.
Remark 15.
The factors and do not appear in the expression (177) of , while in (178) is divisible by . Since given in Theorem 2 is also divisible by , the factor in the numerator and that in denominator of (179) are cancelled. For the right-hand side of the formula (177) as a meromorphic function of , we see that the point for is a removable singularity.
Corollary 8.
Under the conditions and
if and only if every critical point in is different from each other.
Proof.
By (177) in Theorem 4 we have if and only if . According to Proposition 12, Corollaries 4, 6 and 7, we see that if and only if every critical point in is different from each other. □
8. Conclusions
We discussed the norm of the Hessian of the level function F at critical points involved in asymptotic behaviors of hypergeometric integrals associated with a symmetric arrangement of three-dimensional spheres. We also provided two conjectures (Conjectures 1 and 2) relevant to this topic. We provide a proof in a special symmetric case where is a pyramid with the axis of symmetry, whose base triangle is regular and all spheres have the same radius.
Author Contributions
Conceptualization, K.A.; methodology, K.A. and M.I.; software, M.I.; validation, K.A. and M.I.; formal analysis, K.A. and M.I.; writing—original draft preparation, K.A.; writing—review and editing, M.I.; project administration, K.A. and M.I.; funding acquisition, M.I. All authors have read and agreed to the published version of the manuscript.
Funding
This work was supported by JSPS KAKENHI grant number JP18K03339.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Acknowledgments
The authors are grateful to the anonymous referee for informing them of recent references.
Conflicts of Interest
The authors declare no conflict of interest.
Appendix A. Further Reduction and an Associated Characteristic Function
As we saw in Section 7.5 (Theorem 4), we calculated explicitly under the conditions and , and we consequently confirmed that Conjecture 1 holds true under the conditions and . However, we want to prove Conjecture 1 without the constraint , if possible. For that purpose, we show a way to compute the part
in the expression (62) of under a more general setting.
Appendix A.1. Step 1
We fix the admissible parameter . Then given in Proposition 2 is polynomial in whose coefficients are explicitly written using the parameter as follows:
where the coefficients are polynomials in of, at most, second degree:
Moreover, and given in Lemma 10 are also polynomials in , whose coefficients are explicitly written using the parameter as follows:
where is a permutation of and the coefficients are polynomials in of at most second degree:
Appendix A.2. Step 2
We modify as
which can be represented as
where
We also modify as
where
Remark that for and . According to Lemma 11, we may conclude
Lemma A1.
Suppose that Then under the condition the system (57) holds if and only if
In this case, the identity
holds, i.e.,
Appendix A.3. Step 3
In this subsection, we want to express
explicitly in terms of the resultant of , and . We assume that the monomials in , of at most fourth degree, are arranged in the following order:
Three fundamental linear relations among over the coefficients of quadratic polynomials are given as follows:
As a result is a linear combination of
and is a linear combination of
Moreover, is also a linear combination of
One can see:
Lemma A2.
The system of (ordered) 15 polynomials (denoted by )
are linearly independent and span the linear space of polynomials at most fourth degree.
Definition A1.
The Macaulay’s diagram associated with the ordered basis with respect to the monomials in the ordering (A4) is defined by the following equation:
where is the matrix given by
The resultant of , which we denote by is related to as follows:
where
See [] and W. Gröbner: Moderne Algebraische Geometrie [] (pp. 70–71). Using (A1) and (A2), we first define
where
Then we have
where the matrix is given by
Here, the entries of the matrix can be expressed as
Define further
where can be expressed more concretely
and likewise , where denotes the transposition between the subscript . The polynomials and are linear in . Using the matrix we have
Lemma A3.
Proof.
One can also express and as linear combination of the basis :
Lemma A4.
Definition A2.
Macaulay’s diagram Y corresponding to is defined by
Let be function specified by
where the minor determinants of order l for the matrix given in (A6) are defined as
for and .
Lemma A5.
Suppose that never vanishes at any point of . Then the equations
concerning can be uniquely solved by
which defines a rational curve interpolating , where
The associated characteristic function given by
equals
Furthermore Lemma A3 shows that if is finite and at all points of then (A3) holds if and only if .
Lemma A6.
The system of (ordered) polynomials (denoted by ) is obtained from after exchanging for
where
and are connected with by the matrix :
such that
and
In other words,
and hence
The ordered system are linearly independent and span the linear space of polynomials at most fourth degree.
On the other hand
Lemma A7.
Macaulay’s diagram associated with the system
is given as follows (each sum is expressed in the ordering (A4)):
so that
Proposition A1.
The determinant identity (A11) in the proof of Lemma A3 shows
Lemma A8.
We now assume that
Then, we finally obtain the following fundamental equality:
Proposition A2.
Suppose that the conditions , and are satisfied. Then,
and
where
References
- Aomoto, K.; Kita, M. Theory of Hypergeometric Functions; With an Appendix by Toshitake Kohno. Translated from the Japanese by Kenji Iohara; Springer: Tokyo, Japan, 2011. [Google Scholar]
- Orlik, P.; Terao, H. Arrangements and Hypergeometric Integrals; MSJ Memoirs 9; Mathematical Society of Japan: Tokyo, Japan, 2001. [Google Scholar]
- Aomoto, K.; Machida, Y. Some problems of hypergeometric integrals associated with hypersphere arrangement. Proc. Japan Acad. Ser. A Math. Sci. 2015, 91, 77–81. [Google Scholar] [CrossRef]
- Aomoto, K.; Machida, Y. Hypergeometric integrals associated with hypersphere arrangements and Cayley–Menger determinants. Hokkaido Math. J. 2020, 49, 1–85. [Google Scholar] [CrossRef]
- Orlik, P.; Terao, H. Commutative algebra for arrangements. Nagoya Math. J. 1994, 134, 65–73. [Google Scholar] [CrossRef][Green Version]
- Aomoto, K.; Ito, M. Product of Hessians and Discriminant of Critical Points of Level Functions for Hypergeometric Integrals. In Proceedings of the Mathematical Amplitude 2019, Intersection Theory and Feynman Integrals, Padova, Italy, 18–20 December 2019; Available online: https://pos.sissa.it/383 (accessed on 14 January 2022).
- Gantmacher, F.R. The Theory of Matrices, Volume 2; Translated by Hirsch, K.A.; Chelsea Publishing Co.: New York, NY, USA, 1959. [Google Scholar]
- Takagi, T. Lecture on Algebra; Kyoritsu Shuppan Co., Ltd.: Tokyo, Japan, 1948. (In Japanese) [Google Scholar]
- Abhyankar, S.S. Ramification Theoretic Methods in Algebraic Geometry; Annals of Mathematics Studies, No. 43; Princeton University Press: Princeton, NJ, USA, 1959. [Google Scholar]
- Abhyankar, S.S. On the semigroup of a meromorphic curve. In Part I, Proceedings of the International Symposium on Algebraic Geometry (Kyoto University, Kyoto, 1977); Kinokuniya Book Store: Tokyo, Japan, 1978; pp. 249–414. [Google Scholar]
- Minkowski, H. Diophantische Approximationen; Eine Einführung in die Zahlentheorie; Chelsea Publishing Co.: New York, NY, USA, 1957. (In German) [Google Scholar]
- Takagi, T. Theory of Algebraic Numbers, 2nd ed.; Iwanami Shoten: Tokyo, Japan, 1971. (In Japanese) [Google Scholar]
- Zariski, O.; Samuel, P. Commutative Algebra, Volume I; With the Cooperation of Cohen, I.S.; D. Van Nostrand Co., Inc.: Princeton, NJ, USA, 1958. [Google Scholar]
- Falcão, M.I.; Miranda, F.; Severino, R.; Soares, M.J. Dynamics of the Coquaternionic Maps x2+bx. Rend. Circ. Mat. Palermo 2022. [Google Scholar] [CrossRef]
- Macaulay, F.S. Some formulae in Elimination. Proc. Lond. Math. Soc. 1903, 35, 3–27. [Google Scholar] [CrossRef]
- Gröbner, W. Moderne Algebraische Geometrie; Die idealtheoretischen Grundlagen; Springer: Innsbruck, Austria, 1949. (In German) [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).