Bivariate hypergeometric D-modules

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 holomorphic solutions. We also obtain analogous results for the generalized hypergeometric systems arising from lattices of any rank.     

Computing Gauss-Manin systems for complete intersection singularitiesS μ

The Gauss-Manin systems with coefficients having logarithmic poles along the discriminant sets of the principal deformations of complete intersection quasihomogeneous singularitiesS are calculated. Their solutions in the form of generalized hypergeometric functions are presented.     

On a notion of toric special linear systems

In this note, we study linear systems on complete toric varieties X with an invariant point whose orbit under the action of $\mathrm{Aut}(X)$ contains the dense torus T of X. We give a characterization of such varieties in terms of its defining fan and introduce a new definition of expected dimension of linear systems which consider the contribution given by certain toric subvarieties. Finally, we study degenerations of linear systems on these toric varieties induced by toric degenerations.     

Invariant of the hypergeometric group associated to the quantum cohomology of the projective space

We present a simple method to calculate the Stokes matrix for the quantum cohomology of the projective spaces CP^k−1 in terms of certain hypergeometric group. We present also an algebraic variety whose fibre integrals are solutions to the given hypergeometric equation.     

Differential operators on toric varieties and Fourier transform

We show that Fourier transforms on the Weyl algebras have a geometric counterpart in the framework of toric varieties, namely they induce isomorphisms between twisted rings of differential operators on regular toric varieties, whose fans are related to each other by reflections of one-dimensional cones. The simplest class of examples is provided by the toric varieties related by such reflections to projective spaces. It includes the blow-up at a point of the affine space and resolution of singularities of varieties appearing in the study of the minimal orbit of .     

Hirzebruch–Milnor classes of complete intersections

We prove a new formula for the Hirzebruch–Milnor classes of global complete intersections with arbitrary singularities describing the difference between the Hirzebruch classes and the virtual ones. This generalizes a formula for the Chern–Milnor classes in the hypersurface case that was conjectured by S. Yokura and was proved by A. Parusiński and P. Pragacz. It also generalizes a formula of J. Seade and T. Suwa for the Chern–Milnor classes of complete intersections with isolated singularities.     

Non vanishing loci of Hodge numbers of local systems

We show that closures of families of unitary local systems on quasiprojective varieties for which the dimension of a graded component of Hodge filtration has a constant value can be identified with a finite union of polytopes. We also present a local version of this theorem. This yields the “Hodge decomposition” of the set of unitary local systems with a non-vanishing cohomology extending Hodge decomposition of characteristic varieties of links of plane curves studied by the author earlier. We consider a twisted version of the characteristic varieties generalizing the twisted Alexander polynomials. Several explicit calculations for complements to arrangements are made. A. Libgober was supported by National Science Foundation grant.     

Stable base loci, movable curves, and small modifications, for toric varieties

We show that the dual of the cone of divisors on a complete -factorial toric variety X whose stable base loci have dimension less than k is generated by curves on small modifications of X that move in families sweeping out the birational transforms of k-dimensional subvarieties of X. We give an example showing that it does not suffice to consider curves on X itself. Supported by a Graduate Research Fellowship from the NSF     

Bernstein-Sato ideals and hyperplane arrangements

We study the relation between zero loci of Bernstein-Sato ideals and roots of b-functions and obtain a criterion to guarantee that roots of b-functions of a reducible polynomial are determined by the zero locus of the associated Bernstein-Sato ideal. Applying the criterion together with a result of Maisonobe we prove that the set of roots of the b-function of a free hyperplane arrangement is determined by its intersection lattice.We also study the zero loci of Bernstein-Sato ideals and the associated relative characteristic cycles for arbitrary central hyperplane arrangements. We prove the multivariable $n/d$ conjecture of Budur for complete factorizations of arbitrary hyperplane arrangements, which in turn proves the strong monodromy conjecture for the associated multivariable topological zeta functions.     

Fundamental groups of open K3 surfaces, Enriques surfaces and Fano 3-folds

We investigate when the fundamental group of the smooth part of a K3 surface or Enriques surface with Du Val singularities, is finite. As a corollary we give an effective upper bound for the order of the fundamental group of the smooth part of a certain Fano 3-fold. This result supports Conjecture A below, while Conjecture A (or alternatively the rational-connectedness conjecture in Kollar et al. (J. Algebra Geom. 1 (1992) 429) which is still open when the dimension is at least 4) would imply that every log terminal Fano variety has a finite fundamental group.     

Monodromy of boussinesq elliptic operators

Verdier's program for classifying elliptic operators with a nontrivial centralizer is outlined. Examples of Boussinesq operators are developed.To J.-L. Verdier, in memoriam     

Monodromies at infinity of confluent A-hypergeometric functions

We study the monodromies at infinity of confluent A-hypergeometric functions introduced by Adolphson [2]. In particular, we extend the result of [38] for non-confluent A-hypergeometric functions to the confluent case. The integral representation by rapid decay homology cycles proved in [9] will play a central role in the proof.     

On the Geometry of Holomorphic Flows and Foliations Having Transverse Sections

One of the main tools in the study of real foliations of codimension one is the use of transverse sections. Given a codimension one real foliation on a compact manifold there is always a transverse circle and the topology of its embedding into the ambient manifold often has important consequences on the global behavior of the foliation; as in Haefliger’s Theorem and Novikov’s c7ompact leaf theorem for instance.     

Clifford’s theorem for coherent systems

Let C be an algebraic curve of genus g ≥ 2. We prove an analogue of Clifford’s theorem for coherent systems on C and some refinements using results of Re and Mercat. Received: 27 July 2007     

Independence, measure and pseudofinite fields

We give a measure-theoretic refinement of the Independence Theorem in pseudofinite fields.     

Global residues for sparse polynomial systems

We consider families of sparse Laurent polynomials f₁,…,f_n with a finite set of common zeros Z_f in the torus Tⁿ=(C−{0})ⁿ. The global residue assigns to every Laurent polynomial g the sum of its Grothendieck residues over Z_f. We present a new symbolic algorithm for computing the global residue as a rational function of the coefficients of the f_i when the Newton polytopes of the f_i are full-dimensional. Our results have consequences in sparse polynomial interpolation and lattice point enumeration in Minkowski sums of polytopes.     

Dualizing complexes and perverse sheaves on noncommutative ringed schemes

A quasi-coherent ringed scheme is a pair (X, $$ \mathcal{A} $$), where X is a scheme, and $$ \mathcal{A} $$ is a noncomutative quasi-coherent $$ \mathcal{O}_X $$ -ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex.