Related papers: On the Holonomic Rank Problem
A tautological system, introduced in [16][17], arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold $X$, equipped with a suitable…
We verify a formula on the solution rank of the tautological system arising from ample complete intersections in a projective homogeneous space of a semisimple group conjectured by Huang--Lian--Yau--Yu arXiv:1801.01194. As an application,…
Many hypergeometric differential systems that arise from a geometric setting can be endowed with the structure of mixed Hodge modules. We generalize this fundamental result to the tautological systems associated to homogeneous spaces by…
We study period integrals of CY hypersurfaces in a partial flag variety. We construct a holonomic system of differential equations which govern the period integrals. By means of representation theory, a set of generators of the system can…
If X is the complement of a hypersurface in P^n, then Kohno showed that the nilpotent completion of the fundamental group is isomorphic to the nilpotent completion of the holonomy Lie algebra of X. When X is the complement of a hyperplane…
We give a new geometrical interpretation of the local analytic solutions to a differential system, which we call a tautological system $\tau$, arising from the universal family of Calabi-Yau hypersurfaces $Y_a$ in a $G$-variety $X$ of…
We will start from the beginning and define a matroid and its Orlik-Solomon algebra and holonomy Lie algebra, but first we give some background from topology and cohomology. A (central) hyperplane arrangement is a finite number of subspaces…
We investigate the space of solutions to certain $A$-hypergeometric $\mathscr{D}$-modules, which were defined and studied by Gelfand, Kapranov, and Zelevinsky. We show that the solution space can be identified with certain relative…
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…
We undertake the study of bivariate Horn systems for generic parameters. We prove that these hypergeometric systems are holonomic, and we provide an explicit formula for their holonomic rank as well as bases of their spaces of complex…
Let $A$ be a semisimple Banach algebra with non-trivial, and possibly infinite-dimensional socle. Addressing a problem raised by Harte and Hernandez, we first define a characteristic polynomial for elements belonging to the socle, and we…
Period mappings were introduced in the sixties [G] to study variation of complex structures of families of algebraic varieties. The theory of tautological systems was introduced recently [LSY,LY] to understand period integrals of algebraic…
The Gamma-series of Gel'fand-Kapranov-Zelevinsky are adapted so that they give solutions for certain resonant systems of GKZ hypergeometric differential equations. For this some complex parameters in the Gamma-series are replaced by…
Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the…
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.
Tautological systems developed in [6],[7] are Picard-Fuchs type systems to study period integrals of complete intersections in Fano varieties. We generalize tautological systems to local complete intersections, which are zero loci of global…
Motivated by Kohno's result on the holonomy Lie algebra of a hyperplane arrangement, we define the holonomy Lie algebra of a finite geometric lattice in a combinatorial way. For a solvable pair of lattices, we show that the holonomy Lie…
Let $X$ be a locally symmetric space $\Gamma\backslash G/K$ where $G$ is a connected non-compact semisimple real Lie group with trivial centre, $K$ is a maximal compact subgroup of $G$, and $\Gamma\subset G$ is a torsion-free irreducible…
The rank of a finite algebraic structure with a single binary operation is the minimum number of elements needed to express every other element under the closure of the operation. In the case of groups, the previous best algorithm for…
Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie…