[Paper Review] Confluent A-hypergeometric functions and rapid decay homology cycles

Alexander Esterov, Kiyoshi Takeuchi|arXiv (Cornell University)|Jul 2, 2011

Polynomial and algebraic computation39 references4 citations

TL;DR

This paper provides a rigorous integral representation of Adolphson's confluent $A$-hypergeometric functions using rapid decay homology cycles, establishing a geometric foundation for their convergence and asymptotic behavior. By employing toric compactifications and twisted Morse theory, the authors construct a natural basis of rapid decay homology groups indexed by critical points of the Laurent polynomial, enabling explicit asymptotic expansions at infinity that generalize classical Bessel function behavior.

ABSTRACT

We study confluent A-hypergeometric functions introduced by Adolphson. In particular, we give their integral representations by using rapid decay homology cycles of Hien and obtain a formula for the asymptotic expansions at infinity of confluent A-hypergeometric functions.

Motivation & Objective

• To provide a geometric and topological justification for Adolphson's integral formula for confluent $A$-hypergeometric functions, which previously lacked convergence conditions and cycle specifications.
• To extend the theory of $A$-hypergeometric functions beyond the non-confluent case by constructing integral representations for the irregular (confluent) system.
• To establish a basis for the rapid decay homology group in the confluent setting, generalizing results from non-confluent $A$-hypergeometric theory.
• To derive precise asymptotic expansions at infinity for confluent $A$-hypergeometric functions using critical point indexing and twisted Morse theory.
• To extend the validity of the results to resonant parameters, particularly $c = (1,\dots,1)$, under mild geometric conditions on the Newton polytope.

Proposed method

• Utilizes Hien's theory of rapid decay homology groups to define cycles $\gamma^z$ on the algebraic torus $(\mathbb{C}^*)^n$ where the integrand $\exp(\sum z_j x^{a(j)}) \prod x_i^{c_i-1}$ decays rapidly at infinity.
• Applies the method of toric compactifications to analyze the topology of the complement of the singular locus of the Laurent polynomial $h_z(x) = \sum z_j x^{a(j)}$, enabling explicit computation of homology groups.
• Employs twisted Morse theory to construct a basis of the rapid decay homology group indexed by critical points of $h_z$, assuming $0 \in \mathrm{Int}(\Delta)$ where $\Delta$ is the convex hull of $A \cup \{0\}$.
• Uses the Künneth formula and Mayer-Vietoris sequences to relate relative twisted homology groups to rapid decay homology, allowing explicit computation of $H_n^{\mathrm{rd}}(T^{\mathrm{an}})$.
• Lifts local bases from stable manifolds of critical points to global rapid decay cycles via short exact sequences in homology, constructing a global basis $\gamma_{ijk}$ of $H_n^{\mathrm{rd}}(T^{\mathrm{an}})$.
• Proves that the natural morphism $\Theta: \bigoplus_i H_n^{\mathrm{rd}}(W_i^\circ) \to H_n^{\mathrm{rd}}(T^{\mathrm{an}})$ is an isomorphism for generic nonresonant $c$, ensuring completeness of the basis.

Experimental results

Research questions

• RQ1 How can Adolphson's confluent $A$-hypergeometric functions be given a rigorous integral representation with geometrically defined cycles?
• RQ2 What is the structure of the rapid decay homology group for the confluent $A$-hypergeometric system, and how can it be computed explicitly?
• RQ3 Can a basis of the rapid decay homology group be constructed using critical points of the Laurent polynomial $h_z$?
• RQ4 What is the asymptotic behavior at infinity of confluent $A$-hypergeometric functions, and how does it generalize classical results for Bessel and Airy functions?
• RQ5 To what extent do the results extend to resonant parameters, particularly $c = (1,\dots,1)$, under natural geometric assumptions?

Key findings

• The paper provides a rigorous justification of Adolphson's integral formula (1.1) by showing that the cycles $\gamma^z$ are elements of Hien's rapid decay homology group, ensuring convergence and geometric consistency.
• A natural basis of the rapid decay homology group $H_n^{\mathrm{rd}}(T^{\mathrm{an}})$ is constructed, indexed by the critical points of $h_z$, under the assumption $0 \in \mathrm{Int}(\Delta)$, generalizing classical results.
• The asymptotic expansion at infinity of confluent $A$-hypergeometric functions is given by a formula (Theorem 5.6) that closely resembles the asymptotic expansion of classical Bessel functions.
• For generic nonresonant $c$, the map $\Theta: \bigoplus_i H_n^{\mathrm{rd}}(W_i^\circ) \to H_n^{\mathrm{rd}}(T^{\mathrm{an}})$ is an isomorphism, proving that the constructed cycles form a complete basis of the homology group.
• The results extend to resonant parameters $c = (1,\dots,1)$ when $A$ is saturated and $0 \in \mathrm{Int}(\Delta)$, which holds if the Newton polytope $\Delta_A$ contains the origin in its interior.
• The construction of the basis via stable manifolds and lifting through short exact sequences provides a systematic and explicit method for computing rapid decay homology in many cases.