BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
María-Cruz Fernández-Fernández appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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 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.
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.