arXiv subjects
Publications and source records attributed to María-Cruz Fernández-Fernández.
We provide a sharp upper bound on the quotient of the rank of an A-hypergeometric system with a three-dimensional torus action by the normalized volume of A; in this case, the upper bound is two.
The rank of an $A$-hypergeometric $D$-module $M_A(β)$, associated with a full rank $(d\times n)$-matrix $A$ and a vector of parameters $β\in \mathbb{C}^d$, is known to be the normalized volume of $A$, denoted $\mathrm{vol}(A)$, when $β$ lies outside the exceptional arrangement $\mathcal{E}(A)$, an affine subspace arrangement of codimension at least two. If $β\in \mathcal{E}(A)$ is simple, we prove that $d-1$ is a tight upper bound for the ratio $\mathrm{rank}(M_A(β))/\mathrm{vol}(A)$ for any $d\geq 3$. We also prove that the set of parameters $β$ such that this ratio is at least $2$ is an affine subspace arrangement of codimension at least $3$.
We prove that the space of Gevrey solutions of an $A$--hypergeometric system along a coordinate subspace is contained in a space of formal Nilsson solutions. Moreover, under some additional conditions, both spaces are equal. In the process we prove some other results about formal Nilsson solutions.
We study integral representations of the Gevrey series solutions of irregular hypergeometric systems under certain assumptions. We prove that, for such systems, any Gevrey series solution, along a coordinate hyperplane of its singular support, is the asymptotic expansion of a holomorphic solution given by a carefully chosen integral representation.
We compute the $L$-characteristic cycle of an $A$-hypergeometric system and higher Euler-Koszul homology modules of the toric ring. We also prove upper semicontinuity results about the multiplicities in these cycles and apply our results to analyze the behavior of Gevrey solution spaces of the system.
We obtain an explicit formula for the characteristic polynomial of the local monodromy of $A$-hypergeometric functions with respect to small loops around a coordinate hyperplane $x_i =0$. This formula is similar to the one obtained by Ando, Esterov and Takeuchi for the local monodromy at infinity. Our proof is combinatorial and can be adapted to provide an alternative proof for the latter formula as well. On the other hand, we also prove that the solution space at a nonsingular point of certain irregular and irreducible $A$--hypergeometric $D$--modules has a nontrivial global monodromy invariant subspace.
The dimension of the space of holomorphic solutions at nonsingular points (also called the holonomic rank) of a $A$--hypergeometric system $M_A (β)$ is known to be bounded above by $ 2^{2d}\operatorname{vol}(A)$, where $d$ is the rank of the matrix $A$ and $\vol (A)$ is its normalized volume. This bound was thought to be very vast because it is exponential on $d$. Indeed, all the examples we have found in the literature verify that $\operatorname{rank}(M_A (β))<2 \vol (A)$. We construct here, in a very elementary way, some families of matrices $A_{(d)}\in \ZZ^{d \times n}$ and parameter vectors $β_{(d)} \in \C^d$, $d\geq 2$, such that $\rank (M_{A_{(d)}} (β_{(d)}))\geq a^d \vol(A_{(d)})$ for certain $a>1$.
We prove that a holonomic binomial $D$--module $M_A (I,β)$ is regular if and only if certain associated primes of $I$ determined by the parameter vector $β\in \CC^d$ are homogeneous. We further describe the slopes of $M_A(I,β)$ along a coordinate subspace in terms of the known slopes of some related hypergeometric $D$--modules that also depend on $β$. When the parameter $β$ is generic, we also compute the dimension of the generic stalk of the irregularity of $M_A(I,β)$ along a coordinate hyperplane and provide some remarks about the construction of its Gevrey solutions.
We study the irregularity of hypergeometric D-modules $\mathcal{M}_A (β)$ via the explicit construction of Gevrey series solutions along coordinate subspaces in $X =\mathbb{C}^n$. As a consequence, we prove that along coordinate hyperplanes the combinatorial characterization of the slopes of $\mathcal{M}_A (β)$ given by M. Schulze and U. Walther in [21] still holds without any assumption on the matrix A. We also provide a lower bound for the dimensions of the spaces of Gevrey solutions along coordinate subspaces in terms of volumes of polytopes and prove the equality for very generic parameters. Holomorphic solutions outside the singular locus of $\mathcal{M}_A (β)$ can be understood as Gevrey solutions of order one along X at generic points and so they are included as a particular case.