Laura Felicia Matusevich

Homological methods for hypergeometric families

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 hypergeometric systems H_A(\beta) arising from a d x n integer matrix A and a parameter \beta \in \CC^d. To do so we introduce an Euler-Koszul functor for hypergeometric families over \CC^d, whose homology generalizes the notion of a hypergeometric system, and we prove a homology isomorphism with our general homological construction above. We show that a parameter \beta is rank-jumping for H_A(\beta) if and only if \beta lies in the Zariski closure of the set of \ZZ^d-graded degrees \alpha where the local cohomology \bigoplus_{i<d}H^i_\frakm(\CC[\NN A])_\alpha of the semigroup ring \CC[\NN A] supported at its maximal graded ideal \frakm is nonzero. Consequently, H_A(\beta) has no rank-jumps over \CC^d if and only if \CC[\NN A] is Cohen-Macaulay of dimension d.

Exceptional parameters for generic A-hypergeometric systems

The holonomic rank of an A-hypergeometric system

Rank Jumps in Codimension 2A-hypergeometric Systems

H_A(\beta)

Combinatorics of rank jumps in simplicial hypergeometric systems

is conjectured to be independent of the parameter vector

Weyl closure of hypergeometric systems

\beta

Lopsided approximation of amoebas

if and only if the toric ideal

Explicit inversion formulas for a model in diffuse tomography

I_A

Decompositions of cellular binomial ideals

is Cohen Macaulay. We prove this conjecture in the case that

Transform methods for the hypergeometric distribution

I_A

A nonlinear inverse problem inspired by three‐dimensional diffuse tomography: Explicit formulas

is generic by explicitly constructing more than