相关论文: On the rank of an $A$-hypergeometric $D$-module ve…

The dimension of the space of holomorphic solutions at nonsingular points (also called the holonomic rank) of a $A$--hypergeometric system $M_A (\beta)$ is known to be bounded above by $ 2^{2d}\operatorname{vol}(A)$, where $d$ is the rank…

The holonomic rank of the A-hypergeometric system M_A(\beta) is the degree of the toric ideal I_A for generic parameters; in general, this is only a lower bound. To the semigroup ring of A we attach the ranking arrangement and use this…

Let A be an integer (d x n) matrix, and assume that the convex hull conv(A) of its columns is a simplex of dimension d-1. Write \NA for the semigroup generated by the columns of A. It was proved by M. Saito [math.AG/0012257] that the…

We prove that a holonomic binomial $D$--module $M_A (I,\beta)$ is regular if and only if certain associated primes of $I$ determined by the parameter vector $\beta\in \CC^d$ are homogeneous. We further describe the slopes of $M_A(I,\beta)$…

The holonomic rank of the A-hypergeometric system H_A(\beta) is shown to depend on the parameter vector \beta when the underlying toric ideal I_A is a non Cohen Macaulay codimension 2 toric ideal. The set of exceptional parameters is…

We investigate the solution space of hypergeometric systems of differential equations in the sense of Gelfand, Graev, Kapranov and Zelevinsky. For any integer $d \geq 2$ we construct a matrix $A_d \in \N^{d \times 2d}$ and a parameter…

We study the irregularity sheaves attached to the $A$-hypergeometric $D$-module $M_A(\beta)$ introduced by Gel'fand et al., where $A\in\mathbb{Z}^{d\times n}$ is pointed of full rank and $\beta\in\mathbb{C}^d$. More precisely, we…

We study $A$-hypergeometric systems $H_A(\beta)$ in the sense of Gelfand, Kapranov and Zelevinsky under two aspects: the structure of their holonomically dual system, and reducibility of their rank module. We prove first that rank-jumping…

The holonomic rank of an A-hypergeometric system $H_A(\beta)$ is conjectured to be independent of the parameter vector $\beta$ if and only if the toric ideal $I_A$ is Cohen Macaulay. We prove this conjecture in the case that $I_A$ is…

Let $P$ be a polytope defined by the system $A x \leq b$, where $A \in R^{m \times n}$, $b \in R^m$, and $\text{rank}(A) = n$. We give a short geometric proof of the following tight upper bound on the number of vertices of $P$: $$ n! \cdot…

We show that for every finite-volume hyperbolic $3$-manifold $M$ and every prime $p$ we have $\text{dim}\ H_1(M;\mathbf{F}_p)< 168.602\cdot\text{vol}\ M$. There are slightly stronger estimates if $p = 2$ or if $M$ is non-compact. This…

We introduce a novel concept of rank for subsets of finite metric spaces E^n_q (the set of all n-dimensional vectors over an alphabet of size q) equipped with the Hamming distance, where the rank R(A) of a subset A is defined as the number…

We study the irregularity of hypergeometric D-modules $\mathcal{M}_A (\beta )$ via the explicit construction of Gevrey series solutions along coordinate subspaces in $X =\mathbb{C}^n$. As a consequence, we prove that along coordinate…

We introduce A-hypergeometric differential-difference equation and prove that its holonomic rank is equal to the normalized volume of A with giving a set of convergent series solutions.

For any integer $d\times (n+1)$ matrix $A$ and parameter $\beta\in\CC^d$ let $M_A(\beta)$ be the associated $A$-hypergeometric (or GKZ) system in the variables $x_0,\ldots,x_n$. We describe bounds for the (roots of the) $b$-functions of…

By a codimension-one system we mean a system whose lattice of relations has rank one. We consider codimension-one $A$-hypergeometric systems and explicitly construct some of the logarithmic series solutions at the origin. When the parameter…

We analyze the behavior of the holonomic rank in families of holonomic systems over complex algebraic varieties by providing homological criteria for rank-jumps in this general setting. Then we investigate rank-jump behavior for…

We study the statistics of the number of connected components and the volume of a random real algebraic hypersurface in RP^n defined by a Real Bombieri-Weyl distributed homogeneous polynomial of degree d. We prove that the expectation of…

Let $A$ be an associative algebra over an algebraically closed field $K$ of characteristic 0. A decomposition $A=A_1\oplus\cdots \oplus A_r$ of $A$ into a direct sum of $r$ vector subspaces is called a \textsl{regular decomposition} if, for…

Let A be an introverted algebra with mean value. We prove that its spectrum \Delta (A) is a compact topological semigroup, and that the kernel K(\Delta (A)) of \Delta (A) is a compact topological group over which the mean value on A can be…