Showing 1–48 of 48 results for author: Walther, U

Matroidal polynomials, their singularities, and applications to Feynman diagrams

Authors: Daniel Bath, Uli Walther

Abstract: Given a matroid or flag of matroids we introduce several broad classes of polynomials satisfying Deletion-Contraction identities, and study their singularities. There are three main families of polynomials captured by our approach: matroidal polynomials on a matroid (including matroid basis polynomials, configuration polynomials, Tutte polynomials); flag matroidal polynomials on a flag matroid;… ▽ More Given a matroid or flag of matroids we introduce several broad classes of polynomials satisfying Deletion-Contraction identities, and study their singularities. There are three main families of polynomials captured by our approach: matroidal polynomials on a matroid (including matroid basis polynomials, configuration polynomials, Tutte polynomials); flag matroidal polynomials on a flag matroid; and Feynman integrands. The last class includes under general kinematics the inhomogeneous Feynman diagram polynomials which naturally arise in the Lee--Pomeransky form of the Feynman integral attached to a Feynman diagram. Assuming that the primary underlying matroid is connected and of positive rank (and in the flag case, has rank at least two), we show: a) in positive characteristic, homogeneous matroidal polynomials are strongly $F$-regular; b) over an algebraically closed field of characteristic zero, the associated jet schemes of (flag) matroidal polynomials as well as those of Feynman integrands are irreducible. Consequently, all these polynomials have rational singularities (or are smooth). △ Less

Submitted 11 April, 2024; originally announced April 2024.

MSC Class: Primary 32S25; Secondary: 13A35; 14N20; 32S22; 32S05; 14E18; 81Q30

Hypergeometric systems from groups with torsion

Authors: Thomas Reichelt, Christian Sevenheck, Uli Walther

Abstract: We consider $A$-hypergeometric (or GKZ-)systems in the case where the grading (character) group is an arbitrary finitely generated Abelian group. Emulating the approach taken for classical GKZ-systems in arXiv:math/0406383 that allows for a coefficient module, we show that these $D$-modules are holonomic systems. For this purpose we formulate an Euler--Koszul complex in this context, built on an e… ▽ More We consider $A$-hypergeometric (or GKZ-)systems in the case where the grading (character) group is an arbitrary finitely generated Abelian group. Emulating the approach taken for classical GKZ-systems in arXiv:math/0406383 that allows for a coefficient module, we show that these $D$-modules are holonomic systems. For this purpose we formulate an Euler--Koszul complex in this context, built on an extension of the category of $A$-toric modules. We derive that these new systems are regular holonomic under circumstances that are similar to those that lead to regular holonomic classical GKZ-systems. For the appropriate coefficient module, our $D$-modules specialize to the "better behaved GKZ-systems" introduced by Borisov and Horja. We certify the corresponding $D$-modules as regular holonomic, and establish a holonomic duality on the level of $D$-modules that was suggested on the level of solutions by Borisov and Horja and later shown by Borisov and Han in a special situation (arXiv:1308.2238, arXiv:2301.01374). △ Less

Submitted 1 February, 2024; originally announced February 2024.

MSC Class: 32C38; 14F10; 32S40

On the natural nullcones of the symplectic and general linear groups

Authors: Vaibhav Pandey, Yevgeniya Tarasova, Uli Walther

Abstract: Consider a group acting on a polynomial ring $S$ over a field $K$ by degree-preserving $K$-algebra automorphisms. The invariant ring $R$ is a graded subring of $S$; let $\mathfrak{m}_R$ denote the homogeneous maximal ideal of $R$. Several key properties of the invariant ring and its embedding in $S$ can be deduced by studying the nullcone $S/\mathfrak{m}_R S$ of the group action. This includes, fo… ▽ More Consider a group acting on a polynomial ring $S$ over a field $K$ by degree-preserving $K$-algebra automorphisms. The invariant ring $R$ is a graded subring of $S$; let $\mathfrak{m}_R$ denote the homogeneous maximal ideal of $R$. Several key properties of the invariant ring and its embedding in $S$ can be deduced by studying the nullcone $S/\mathfrak{m}_R S$ of the group action. This includes, for example, the finite generation of the invariant ring and the purity of the embedding. In this article, we study the nullcones arising from the natural actions of the symplectic and general linear groups. For the natural representation of the symplectic group, the invariant ring is the ring defined by the principal Pfaffians of a fixed even size of a generic alternating matrix. We show that the nullcone of this embedding is a strongly $F$-regular ring in positive characteristic, and hence in characteristic zero, a ring of strongly $F$-regular type. Independent of characteristic, we give a complete description of the divisor class group of the nullcone and determine precisely when it is Gorenstein. We also show that the nullcone ideal has a squarefree initial ideal. For the natural representation of the general linear group, the invariant ring is a generic determinantal ring. The nullcone of this embedding is typically a non-equidimensional ring. The irreducible components of the nullcone are the varieties of complexes of length two, as introduced by Buchsbaum and Eisenbud. We show that each of these irreducible components define strongly $F$-regular rings in positive characteristic. We also show that the Frobenius splitting of the varieties of complexes can be chosen compatibly; it follows that the nullcone is an $F$-pure ring. We also show that the nullcone ideal and the ideals defining the varieties of complexes have squarefree initial ideals with respect to the same monomial order. △ Less

Submitted 17 October, 2023; v1 submitted 3 October, 2023; originally announced October 2023.

Comments: Added the result that the nullcone ideals considered have squarefree initial ideals (with respect to the monomial orders constructed). All previous results remain unaffected. 26 pages; comments welcome!

MSC Class: Primary 13A50; 13A35; Secondary 13C40; 20G05

Tautological systems, homogeneous spaces and the holonomic rank problem

Authors: Paul Görlach, Thomas Reichelt, Christian Sevenheck, Avi Steiner, Uli Walther

Abstract: 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 giving a functorial construction for them. As an application, we solve the holonomic rank problem for such tautological systems in full generality. 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 giving a functorial construction for them. As an application, we solve the holonomic rank problem for such tautological systems in full generality. △ Less

Submitted 2 February, 2024; v1 submitted 10 November, 2022; originally announced November 2022.

MSC Class: 32C38; 14F10; 32S40

On Feynman graphs, matroids, and GKZ-systems

Authors: Uli Walther

Abstract: We show in several important cases that the $A$-hypergeometric system attached to a Feynman diagram in Lee--Pomeransky form, obtained by viewing the momenta and the nonzero masses as indeterminates, has a normal underlying semigroup. This continues a quest initiated by Klausen, and studied by Helmer and Tellander. In the process we identify several relevant matroids related to the situation and ex… ▽ More We show in several important cases that the $A$-hypergeometric system attached to a Feynman diagram in Lee--Pomeransky form, obtained by viewing the momenta and the nonzero masses as indeterminates, has a normal underlying semigroup. This continues a quest initiated by Klausen, and studied by Helmer and Tellander. In the process we identify several relevant matroids related to the situation and explore their relationships. △ Less

Submitted 10 June, 2022; originally announced June 2022.

Comments: 20 pages

The shape of a Gaussian mixture is characterized by the probability density of the distance between two samples

Authors: Mireille Boutin, Kindyl King, Uli Walther

Abstract: Let $\bf{x}$ be a random variable with density $ρ(x)$ taking values in ${\mathbb R}^d$. We are interested in finding a representation for the shape of $ρ(x)$, i.e. for the orbit $\{ ρ(g\cdot x) | g\in E(d) \}$ of $ρ$ under the Euclidean group. Let $x_1$ and $x_2$ be two random samples picked, independently, following $ρ(x)$, and let $Δ$ be the squared Euclidean distance between $x_1$ and $x_2$. We… ▽ More Let $\bf{x}$ be a random variable with density $ρ(x)$ taking values in ${\mathbb R}^d$. We are interested in finding a representation for the shape of $ρ(x)$, i.e. for the orbit $\{ ρ(g\cdot x) | g\in E(d) \}$ of $ρ$ under the Euclidean group. Let $x_1$ and $x_2$ be two random samples picked, independently, following $ρ(x)$, and let $Δ$ be the squared Euclidean distance between $x_1$ and $x_2$. We show, if $ρ(x)$ is a mixture of Gaussians whose covariance matrix is the identity, and if the means of the Gaussians are in generic position, then the density $ρ(x)$ is reconstructible, up to a rigid motion in $E(d)$, from the density of $\bfΔ$. In other words, any two such Gaussian mixtures $ρ(x)$ and $\barρ (x)$ with the same distribution of distances are guaranteed to be related by a rigid motion $g\in E(d)$ as $ρ(x)=\barρ (g\cdot x)$. We also show that a similar result holds when the distance is defined by a symmetric bilinear form. △ Less

Submitted 21 November, 2021; originally announced November 2021.

Comments: 5 pages

MSC Class: 51K05

Topological calculation of local cohomological dimension

Authors: Thomas Reichelt, Morihiko Saito, Uli Walther

Abstract: We show that the sum of the local cohomological dimension and the rectified $\mathbb Q$-homological depth of a closed analytic subspace of a complex manifold coincide with the dimension of the ambient manifold. The local cohomological dimension is then calculated using the cohomology of the links of the analytic space. In the algebraic case the first assertion is equivalent to the coincidence of t… ▽ More We show that the sum of the local cohomological dimension and the rectified $\mathbb Q$-homological depth of a closed analytic subspace of a complex manifold coincide with the dimension of the ambient manifold. The local cohomological dimension is then calculated using the cohomology of the links of the analytic space. In the algebraic case the first assertion is equivalent to the coincidence of the rectified $\mathbb Q$-homological depth with the de Rham depth studied by Ogus, and follows essentially from his work. As a corollary we show that the local cohomological dimension of a quasi-projective variety is determined by that of its general hyperplane section together with the link cohomology at 0-dimensional strata of a complex analytic Whitney stratification. △ Less

Submitted 28 June, 2023; v1 submitted 29 August, 2021; originally announced August 2021.

Local cohomology -- an invitation

Authors: Uli Walther, Wenliang Zhang

Abstract: This article is part introduction and part survey to the mathematical area centered around local cohomology. This article is part introduction and part survey to the mathematical area centered around local cohomology. △ Less

Submitted 17 December, 2021; v1 submitted 17 June, 2021; originally announced June 2021.

MSC Class: 14B15 13D45 32S40 13A35 15F40

On Lyubeznik type invariants

Authors: Thomas Reichelt, Uli Walther, Wenliang Zhang

Abstract: We discuss for an affine variety $Y$ embedded in affine space $X$ two sets of integers attached to $Y\subseteq X$ via local and de Rham cohomology spectral sequences. We give topological interpretations, study them in small dimension, and investigate to what extent one can attach them to projective varieties. We discuss for an affine variety $Y$ embedded in affine space $X$ two sets of integers attached to $Y\subseteq X$ via local and de Rham cohomology spectral sequences. We give topological interpretations, study them in small dimension, and investigate to what extent one can attach them to projective varieties. △ Less

Submitted 8 June, 2021; originally announced June 2021.

Comments: 28 pages

MSC Class: 14B15 32S40 32S60 13D45 13A35

Configuration polynomials under contact equivalence

Authors: Graham Denham, Delphine Pol, Mathias Schulze, Uli Walther

Abstract: Configuration polynomials generalize the classical Kirchhoff polynomial defined by a graph. Their study sheds light on certain polynomials appearing in Feynman integrands. Contact equivalence provides a way to study the associated configuration hypersurface. In the contact equivalence class of any configuration polynomial we identify a polynomial with minimal number of variables; it is a configura… ▽ More Configuration polynomials generalize the classical Kirchhoff polynomial defined by a graph. Their study sheds light on certain polynomials appearing in Feynman integrands. Contact equivalence provides a way to study the associated configuration hypersurface. In the contact equivalence class of any configuration polynomial we identify a polynomial with minimal number of variables; it is a configuration polynomial. This minimal number is bounded by $r+1\choose 2$, where $r$ is the rank of the underlying matroid. We show that the number of equivalence classes is finite exactly up to rank $3$ and list explicit normal forms for these classes. △ Less

Submitted 10 April, 2021; v1 submitted 17 May, 2020; originally announced May 2020.

Comments: 19 pages, 1 table

MSC Class: 14N20 (Primary) 05C31; 14M12; 81Q30 (Secondary)

Graph hypersurfaces with torus action and a conjecture of Aluffi

Authors: Graham Denham, Delphine Pol, Mathias Schulze, Uli Walther

Abstract: Generalizing the star graphs of Müller-Stach and Westrich, we describe a class of graphs whose associated graph hypersurface is equipped with a non-trivial torus action. For such graphs, we show that the Euler characteristic of the corresponding projective graph hypersurface complement is zero. In contrast, we also show that the Euler characteristic in question can take any integer value for a sui… ▽ More Generalizing the star graphs of Müller-Stach and Westrich, we describe a class of graphs whose associated graph hypersurface is equipped with a non-trivial torus action. For such graphs, we show that the Euler characteristic of the corresponding projective graph hypersurface complement is zero. In contrast, we also show that the Euler characteristic in question can take any integer value for a suitable graph. This disproves a conjecture of Aluffi in a strong sense. △ Less

Submitted 27 July, 2021; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: 34 pages, 6 figures, 2 tables

MSC Class: 05C31 (Primary) 13D15; 14M12; 14N20; 14R20; 81Q30 (Secondary)

Journal ref: Commun. Number Theory Phys. 15,3 (2021), 455-488

Algebraic aspects of hypergeometric differential equations

Authors: Thomas Reichelt, Mathias Schulze, Christian Sevenheck, Uli Walther

Abstract: We review some classical and modern aspects of hypergeometric differential equations, including $A$-hypergeometric systems of Gel'fand, Graev, Kapranov and Zelevinsky. Some recent advances in this theory, such as Euler-Koszul homology, rank jump phenomena, irregularity questions and Hodge theoretic aspects are discussed with more details. We also give some applications of the theory of hypergeomet… ▽ More We review some classical and modern aspects of hypergeometric differential equations, including $A$-hypergeometric systems of Gel'fand, Graev, Kapranov and Zelevinsky. Some recent advances in this theory, such as Euler-Koszul homology, rank jump phenomena, irregularity questions and Hodge theoretic aspects are discussed with more details. We also give some applications of the theory of hypergeometric systems to toric mirror symmetry. △ Less

Submitted 5 February, 2021; v1 submitted 15 April, 2020; originally announced April 2020.

Koszul and local cohomology, and a question of Dutta

Authors: Linquan Ma, Anurag K. Singh, Uli Walther

Abstract: For a local ring $(A,\mathfrak{m})$ of dimension $n$, we study the natural map from the Koszul cohomology module $H^n(\mathfrak{m}; A)$ to the local cohomology module $H^n_\mathfrak{m}(A)$. We prove that the injectivity of this map characterizes the Cohen-Macaulay property of the ring $A$. We also answer a question of Dutta by constructing normal rings $A$ for which this map is zero. For a local ring $(A,\mathfrak{m})$ of dimension $n$, we study the natural map from the Koszul cohomology module $H^n(\mathfrak{m}; A)$ to the local cohomology module $H^n_\mathfrak{m}(A)$. We prove that the injectivity of this map characterizes the Cohen-Macaulay property of the ring $A$. We also answer a question of Dutta by constructing normal rings $A$ for which this map is zero. △ Less

Submitted 23 August, 2020; v1 submitted 30 January, 2020; originally announced January 2020.

On a conjecture of Lynch

Authors: Anurag K. Singh, Uli Walther

Abstract: This concerns a conjecture of Lynch on annihilators of local cohomology modules; we present a counterexample that has dimension three. This concerns a conjecture of Lynch on annihilators of local cohomology modules; we present a counterexample that has dimension three. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Matroid connectivity and singularities of configuration hypersurfaces

Authors: Graham Denham, Mathias Schulze, Uli Walther

Abstract: Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid c… ▽ More Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen-Macaulay of codimension 3. If the matroid is 3-connected, then also the second degeneracy scheme is integral. In the process, we describe the behavior of configuration polynomials, forms and schemes with respect to various matroid constructions. △ Less

Submitted 28 January, 2021; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 64 pages, 4 figures

MSC Class: 14N20 (Primary) 05C31; 14B05; 14M12; 81Q30 (Secondary)

Journal ref: Lett. Math. Phys. 111,1 (2021)

Weight filtrations on GKZ-systems

Authors: Thomas Reichelt, Uli Walther

Abstract: If $β\in\CC^d$ is integral but not a strongly resonant parameter for the homogeneous matrix $A\in\ZZ^{d\times n}$ with $\ZZ A=\ZZ^d$, then the associated GKZ-system carries a naturally defined mixed Hodge module structure. We study here in the normal case the corresponding weight filtration by computing the intersection complexes with respective multiplicities on the associated graded parts. We do… ▽ More If $β\in\CC^d$ is integral but not a strongly resonant parameter for the homogeneous matrix $A\in\ZZ^{d\times n}$ with $\ZZ A=\ZZ^d$, then the associated GKZ-system carries a naturally defined mixed Hodge module structure. We study here in the normal case the corresponding weight filtration by computing the intersection complexes with respective multiplicities on the associated graded parts. We do this by computing the weight filtration of a Gauss-Manin system with respect to a locally closed embedding of a torus inside an affine space. We then produce a result, based on a Fourier-Sato transforms, that allows to port an MHS structure on a monodromic module through a Fourier-Laplace transform, from the Gauss-Manin system to the GKZ-system. Our results show that these data, which we express in terms of intersection cohomology groups on induced toric varieties, are purely combinatorial, and not arithmetic, in the sense that they only depend on the polytopal structure of the cone of $A$ but not on the semigroup itself. As a corollary we get a purely combinatorial formula for the length of the underlying (regular) holonomic GKZ-system, irrespective of homogeneity. In dimension up to three, and for simplicial semigroups, we give explicit generators of the weight filtration. △ Less

Submitted 6 June, 2022; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: 33 pages, to appear in AJM

MSC Class: 13N10; 14M25; 32C38; 32S40; 33C70

On normalized Horn systems

Authors: Christine Berkesch, Laura Felicia Matusevich, Uli Walther

Abstract: We characterize the (regular) holonomicity of Horn systems of differential equations under a hypothesis that captures the most widely studied classical hypergeometric systems. We characterize the (regular) holonomicity of Horn systems of differential equations under a hypothesis that captures the most widely studied classical hypergeometric systems. △ Less

Submitted 8 June, 2018; originally announced June 2018.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:1308.5901

MSC Class: Primary: 14L30; 33C70; Secondary: 13N10; 14M25; 32C38

On categories of equivariant D-modules

Authors: András C. Lőrincz, Uli Walther

Abstract: Let $X$ be a variety with an action by an algebraic group $G$. In this paper we discuss various properties of $G$-equivariant $D$-modules on $X$, such as the decompositions of their global sections as representations of $G$ (when $G$ is reductive), and descriptions of the categories that they form. When $G$ acts on $X$ with finitely many orbits, the category of equivariant $D$-modules is isomorphi… ▽ More Let $X$ be a variety with an action by an algebraic group $G$. In this paper we discuss various properties of $G$-equivariant $D$-modules on $X$, such as the decompositions of their global sections as representations of $G$ (when $G$ is reductive), and descriptions of the categories that they form. When $G$ acts on $X$ with finitely many orbits, the category of equivariant $D$-modules is isomorphic to the category of finite-dimensional representations of a finite quiver with relations. We describe explicitly these categories for irreducible $G$-modules $X$ that are spherical varieties, and show that in such cases the quivers are almost always representation-finite (i.e. with finitely many indecomposable representations). △ Less

Submitted 10 April, 2019; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: 39 pages

MSC Class: 14F10; 14M27; 16G20

Dependence of Lyubeznik numbers of cones of projective schemes on projective embeddings

Authors: Thomas Reichelt, Morihiko Saito, Uli Walther

Abstract: We construct complex projective schemes with Lyubeznik numbers of their cones depending on the choices of projective embeddings. This answers a question of G. Lyubeznik in the characteristic 0 case. It contrasts with a theorem of W. Zhang in the positive characteristic case where the Frobenius endomorphism is used. Reducibility of schemes is essential in our argument. B. Wang recently constructed… ▽ More We construct complex projective schemes with Lyubeznik numbers of their cones depending on the choices of projective embeddings. This answers a question of G. Lyubeznik in the characteristic 0 case. It contrasts with a theorem of W. Zhang in the positive characteristic case where the Frobenius endomorphism is used. Reducibility of schemes is essential in our argument. B. Wang recently constructed examples of irreducible projective schemes (which are not normal) from our examples of reducible ones. So the question is still open in the normal singular case. △ Less

Submitted 22 June, 2020; v1 submitted 20 March, 2018; originally announced March 2018.

Comments: 15 pages

Gauss-Manin systems of families of Laurent polynomials and A-hypergeometric systems

Authors: Thomas Reichelt, Uli Walther

Abstract: In this note we study families of Gauss-Manin systems arising from Laurent polynomials with parametric coefficients under projection to the parameter space. For suitable matrices of exponent vectors, we exhibit a natural four-term exact sequence for which we then give an interpretation via generalized A-hypergeometric systems. We determine the extension groups from the parameter sheaf to the middl… ▽ More In this note we study families of Gauss-Manin systems arising from Laurent polynomials with parametric coefficients under projection to the parameter space. For suitable matrices of exponent vectors, we exhibit a natural four-term exact sequence for which we then give an interpretation via generalized A-hypergeometric systems. We determine the extension groups from the parameter sheaf to the middle term of this sequence and show that the four-term sequence does not split. Auxiliary results include the computation of Ext and Tor groups of A-hypergeometric systems against the parameter sheaf. △ Less

Submitted 6 April, 2018; v1 submitted 8 March, 2017; originally announced March 2017.

Comments: 24 pages

MSC Class: 13N10; 14M25; 32C38; 32S40; 33C70

Bernstein-Sato polynomials for maximal minors and sub-maximal Pfaffians

Authors: András C. Lőrincz, Claudiu Raicu, Uli Walther, Jerzy Weyman

Abstract: We determine the Bernstein-Sato polynomials for the ideal of maximal minors of a generic m x n matrix, as well as for that of sub-maximal Pfaffians of a generic skew-symmetric matrix of odd size. As a corollary, we obtain that the Strong Monodromy Conjecture holds in these two cases. We determine the Bernstein-Sato polynomials for the ideal of maximal minors of a generic m x n matrix, as well as for that of sub-maximal Pfaffians of a generic skew-symmetric matrix of odd size. As a corollary, we obtain that the Strong Monodromy Conjecture holds in these two cases. △ Less

Submitted 25 January, 2016; originally announced January 2016.

MSC Class: 13D45; 14F10; 14M12; 32C38; 32S40

Journal ref: Adv. Math. 307 (2017), 224-252

On the $b$-functions of hypergeometric systems

Authors: Thomas Reichelt, Christian Sevenheck, Uli Walther

Abstract: For any integer $d\times (n+1)$ matrix $A$ and parameter $β\in\CC^d$ let $M_A(β)$ 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 both $M_A(β)$ and its Fourier transform along the hyperplanes $(x_j=0)$. We also give an estimate for the $b$-function for restricting $M_A(β)$ to a generic point. For any integer $d\times (n+1)$ matrix $A$ and parameter $β\in\CC^d$ let $M_A(β)$ 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 both $M_A(β)$ and its Fourier transform along the hyperplanes $(x_j=0)$. We also give an estimate for the $b$-function for restricting $M_A(β)$ to a generic point. △ Less

Submitted 10 February, 2017; v1 submitted 10 November, 2015; originally announced November 2015.

Comments: 14 pages, several figures. Typos corrected

MSC Class: 13N10; 14M25; 32S40; 33C70

Survey on the $D$-module $f^s$

Authors: Anton Leykin, Uli Walther

Abstract: In this survey we discuss various aspects of the singularity invariants with differential origin derived from the $D$-module generated by $f^s$. In this survey we discuss various aspects of the singularity invariants with differential origin derived from the $D$-module generated by $f^s$. △ Less

Submitted 9 November, 2015; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: 30 pages

MSC Class: 14F10; 14N20; 13D45; 32S22; 58A10; 14F40; 14J17; 32C38

The Jacobian module, the Milnor fiber, and the $D$-module generated by $f^s$

Authors: Uli Walther

Abstract: For a germ $f$ on a complex manifold $X$, we introduce a complex derived from the Liouville form acting on logarithmic differential forms, and give an exactness criterion. We use this Liouville complex to connect properties of the $D$-module generated by $f^s$ to homological data of the Jacobian ideal; specifically we show that for a large class of germs the annihilator of $f^s$ is generated by de… ▽ More For a germ $f$ on a complex manifold $X$, we introduce a complex derived from the Liouville form acting on logarithmic differential forms, and give an exactness criterion. We use this Liouville complex to connect properties of the $D$-module generated by $f^s$ to homological data of the Jacobian ideal; specifically we show that for a large class of germs the annihilator of $f^s$ is generated by derivations. Through local cohomology, we connect the cohomology of the Milnor fiber to the Jacobian module via logarithmic differentials. In particular, we consider (not necessarily reduced) hyperplane arrangements: we prove a conjecture of Terao on the annihilator of $1/f$; we confirm in many cases a corresponding conjecture on the annihilator of $f^s$ but we disprove it in general; we show that the Bernstein--Sato polynomial of an arrangement is not determined by its intersection lattice; we prove that arrangements for which the annihilator of $f^s$ is generated by derivations fulfill the Strong Monodromy Conjecture, and that this includes as very special cases all arrangements of Coxeter and of crystallographic type, and all multi-arrangements in dimension 3. △ Less

Submitted 2 September, 2016; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: 38 pages, 1 figure; typos fixed; references updated

MSC Class: 14F10; 14N20; 13D45; 32S22; 58A10; 14F40; 14J17; 32C38

Torus equivariant D-modules and hypergeometric systems

Authors: Christine Berkesch, Laura Felicia Matusevich, Uli Walther

Abstract: We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant D-modules and show that it preserves key properties, such as holonomicity, regularity, and reducibility of monodromy representation. We also examine its effect on so… ▽ More We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant D-modules and show that it preserves key properties, such as holonomicity, regularity, and reducibility of monodromy representation. We also examine its effect on solutions, characteristic varieties, and singular loci. When applied to certain binomial D-modules, our functor produces saturations of the classical hypergeometric differential equations, a fact that sheds new light on the D-module theoretic properties of these classical systems. △ Less

Submitted 12 June, 2018; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: 32 pages, The discussion of normalized Horn systems in v1 now appears in arXiv:1806.03355

Report number: Mittag-Leffler-2011spring MSC Class: 14L30; 33C70; 13N10; 14M25; 32C38

Singularities and holonomicity of binomial D-modules

Authors: Christine Berkesch Zamaere, Laura Felicia Matusevich, Uli Walther

Abstract: We study binomial D-modules, which generalize A-hypergeometric systems. We determine explicitly their singular loci and provide three characterizations of their holonomicity. The first of these states that a binomial D-module is holonomic if and only if its corresponding singular locus is proper. The second characterization is an equivalence of holonomicity and L-holonomicity for these systems. Th… ▽ More We study binomial D-modules, which generalize A-hypergeometric systems. We determine explicitly their singular loci and provide three characterizations of their holonomicity. The first of these states that a binomial D-module is holonomic if and only if its corresponding singular locus is proper. The second characterization is an equivalence of holonomicity and L-holonomicity for these systems. The third refines the second by giving more detailed information about the L-characteristic variety of a non-holonomic binomial D-module. △ Less

Submitted 5 March, 2014; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: 12 pages. A gap in the previous version is closed through new arguments

Report number: Mittag-Leffler-2011spring MSC Class: 32C38; 14B05; 33C70; 14M25

Local cohomology modules supported at determinantal ideals

Authors: Gennady Lyubeznik, Anurag K. Singh, Uli Walther

Abstract: We provide new results on the vanishing of local cohomology modules supported at ideals of minors of matrices over arbitrary commutative Noetherian rings. In the process, we compute the local cohomology of rings of polynomials with integer coefficients---supported at generic determinantal ideals---and also obtain results on F-modules and D-modules that are likely to be of independent interest. We provide new results on the vanishing of local cohomology modules supported at ideals of minors of matrices over arbitrary commutative Noetherian rings. In the process, we compute the local cohomology of rings of polynomials with integer coefficients---supported at generic determinantal ideals---and also obtain results on F-modules and D-modules that are likely to be of independent interest. △ Less

Submitted 12 March, 2017; v1 submitted 19 August, 2013; originally announced August 2013.

MSC Class: Primary 13D45; Secondary 13A35; 13A50; 13C40; 13F20; 14B15

Journal ref: Journal of the European Mathematical Society 18 (2016), 2545-2578

Local cohomology of logarithmic forms

Authors: Graham Denham, Hal Schenck, Mathias Schulze, Uli Walther, Max Wakefield

Abstract: Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local co… ▽ More Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor. We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local cohomology of logarithmic forms of generic hyperplane arrangements. △ Less

Submitted 20 November, 2012; v1 submitted 12 March, 2011; originally announced March 2011.

Comments: 21 pages, minor corrections and updated bibliography

MSC Class: 32S22; 52C35; 16W25

Journal ref: Ann. Inst. Fourier (Grenoble) 63 (2013), no. 3, 1177-1203

Étale cohomological dimension, a conjecture of Lyubeznik and bounds for arithmetic rank

Authors: Manoj Kummini, Uli Walther

Abstract: We produce a criterion for open sets in projective $n$-space over a separably closed field to have étale cohomological dimension bounded by $2n-3$. We use the criterion to exhibit a scheme for which étale cohomological dimension is smaller than what a conjecture of G.~Lyubeznik predicts; the discrepancy is of arithmetic nature. For a monomial ideal, we relate extremal graded Betti numbers and ét… ▽ More We produce a criterion for open sets in projective $n$-space over a separably closed field to have étale cohomological dimension bounded by $2n-3$. We use the criterion to exhibit a scheme for which étale cohomological dimension is smaller than what a conjecture of G.~Lyubeznik predicts; the discrepancy is of arithmetic nature. For a monomial ideal, we relate extremal graded Betti numbers and étale cohomological dimension of the complement of the corresponding subspace arrangement. Moreover, we derive upper bounds for its arithmetic rank in terms of invariants distilled from the lcm-lattice. △ Less

Submitted 30 November, 2010; originally announced November 2010.

Comments: 12pp

MSC Class: Primary 14F20; 13E15; Secondary 13D02

Resonance equals reducibility for A-hypergeometric systems

Authors: Mathias Schulze, Uli Walther

Abstract: Classical theorems of Gel'fand et al., and recent results of Beukers, show that non-confluent Cohen-Macaulay A-hypergeometric systems have reducible monodromy representation if and only if the continuous parameter is A-resonant. We remove both the confluence and Cohen-Macaulayness conditions while simplifying the proof. Classical theorems of Gel'fand et al., and recent results of Beukers, show that non-confluent Cohen-Macaulay A-hypergeometric systems have reducible monodromy representation if and only if the continuous parameter is A-resonant. We remove both the confluence and Cohen-Macaulayness conditions while simplifying the proof. △ Less

Submitted 12 July, 2012; v1 submitted 18 September, 2010; originally announced September 2010.

Comments: 9 pages, final version

MSC Class: 13N10; 14M25; 32S40

Journal ref: Algebra & Number Theory 6-3 (2012), 527-537

Bockstein homomorphisms in local cohomology

Authors: Anurag K. Singh, Uli Walther

Abstract: Let $R$ be a polynomial ring in finitely many variables over the integers, and fix an ideal $I$ of $R$. We prove that for all but finitely prime integers $p$, the Bockstein homomorphisms on local cohomology, $H^k_I(R/pR)\to H^{k+1}_I(R/pR)$, are zero. This provides strong evidence for Lyubeznik's conjecture which states that the modules $H^k_I(R)$ have a finite number of associated prime ideals. Let $R$ be a polynomial ring in finitely many variables over the integers, and fix an ideal $I$ of $R$. We prove that for all but finitely prime integers $p$, the Bockstein homomorphisms on local cohomology, $H^k_I(R/pR)\to H^{k+1}_I(R/pR)$, are zero. This provides strong evidence for Lyubeznik's conjecture which states that the modules $H^k_I(R)$ have a finite number of associated prime ideals. △ Less

Submitted 8 January, 2009; v1 submitted 6 January, 2009; originally announced January 2009.

MSC Class: 13D45; 13F20; 13F55.

Hypergeometric D-modules and twisted Gauss-Manin systems

Authors: Mathias Schulze, Uli Walther

Abstract: The Euler-Koszul complex is the fundamental tool in the homological study of A-hypergeometric differential systems and functions. We compare Euler-Koszul homology with D-module direct images from the torus to the base space through orbits in the corresponding toric variety. Our approach generalizes a result by Gel'fand et al. and yields a simpler, more algebraic proof. In the process we extend… ▽ More The Euler-Koszul complex is the fundamental tool in the homological study of A-hypergeometric differential systems and functions. We compare Euler-Koszul homology with D-module direct images from the torus to the base space through orbits in the corresponding toric variety. Our approach generalizes a result by Gel'fand et al. and yields a simpler, more algebraic proof. In the process we extend the Euler-Koszul functor a category of infinite toric modules and describe multigraded localizations of Euler-Koszul homology. △ Less

Submitted 7 September, 2008; v1 submitted 12 December, 2007; originally announced December 2007.

Comments: 15 pages, 1 figure

MSC Class: 13N10; 14M25

Journal ref: J. Algebra 322,9 (2009), 3392-3409

Cohen-Macaulayness and computation of Newton graded toric rings

Authors: Mathias Schulze, Uli Walther

Abstract: Let $H$ be a positive semigroup in $\mathbb{Z}^d$ generated by $A$, and let $K[H]$ be the associated semigroup ring over a field $K$. We investigate heredity of the Cohen-Macaulay property from $K[H]$ to both its $A$-Newton graded ring and to its face rings. We show by example that neither one inherits in general the Cohen-Macaulay property. On the positive side we show that for every $H$ there… ▽ More Let $H$ be a positive semigroup in $\mathbb{Z}^d$ generated by $A$, and let $K[H]$ be the associated semigroup ring over a field $K$. We investigate heredity of the Cohen-Macaulay property from $K[H]$ to both its $A$-Newton graded ring and to its face rings. We show by example that neither one inherits in general the Cohen-Macaulay property. On the positive side we show that for every $H$ there exist generating sets $A$ for which the Newton graduation preserves Cohen-Macaulayness. This gives an elementary proof for an important vanishing result on $A$-hypergeometric Euler-Koszul homology. As a tool for our investigations we develop an algorithm to compute algorithmically the Newton filtration on a toric ring. △ Less

Submitted 24 June, 2007; originally announced June 2007.

Comments: 20 pages, 4 figures

MSC Class: 14M25; 16W70

Journal ref: J. Pure Appl. Alg. 213,8 (2009), 1522-1535.

Local cohomology and pure morphisms

Authors: Anurag K. Singh, Uli Walther

Abstract: We study a question raised by Eisenbud, Mustata, and Stillman regarding the injectivity of natural maps from Ext modules to local cohomology modules. We obtain some positive answers to this question which extend earlier results of Lyubeznik. In the process, we also prove a vanishing theorem for local cohomology modules which connects theorems previously known in the case of positive characterist… ▽ More We study a question raised by Eisenbud, Mustata, and Stillman regarding the injectivity of natural maps from Ext modules to local cohomology modules. We obtain some positive answers to this question which extend earlier results of Lyubeznik. In the process, we also prove a vanishing theorem for local cohomology modules which connects theorems previously known in the case of positive characteristic and in the case of monomial ideals. △ Less

Submitted 27 August, 2007; v1 submitted 18 January, 2007; originally announced January 2007.

MSC Class: 13D45; 13A35; 13H05

Irregularity of hypergeometric systems via slopes along coordinate subspaces

Authors: Mathias Schulze, Uli Walther

Abstract: We study the irregularity sheaves attached to the $A$-hypergeometric $D$-module $M_A(β)$ introduced by Gel'fand et al., where $A\in\mathbb{Z}^{d\times n}$ is pointed of full rank and $β\in\mathbb{C}^d$. More precisely, we investigate the slopes of this module along coordinate subspaces. In the process we describe the associated graded ring to a positive semigroup ring for a filtration defined… ▽ More We study the irregularity sheaves attached to the $A$-hypergeometric $D$-module $M_A(β)$ introduced by Gel'fand et al., where $A\in\mathbb{Z}^{d\times n}$ is pointed of full rank and $β\in\mathbb{C}^d$. More precisely, we investigate the slopes of this module along coordinate subspaces. In the process we describe the associated graded ring to a positive semigroup ring for a filtration defined by an arbitrary weight vector $L$ on torus equivariant generators. To this end we introduce the $(A,L)$-umbrella, a simplicial complex determined by $A$ and $L$, and identify its facets with the components of the associated graded ring. We then establish a correspondence between the full $(A,L)$-umbrella and the components of the $L$-characteristic variety of $M_A(β)$. We compute in combinatorial terms the multiplicities of these components in the $L$-characteristic cycle of the associated Euler-Koszul complex, identifying them with certain intersection multiplicities. We deduce from this that slopes of $M_A(β)$ are combinatorial, independent of $β$, and in one-to-one correspondence with jumps of the $(A,L)$-umbrella. This confirms a conjecture of Sturmfels and gives a converse of a theorem of Hotta: $M_A(β)$ is regular if and only if $A$ defines a projective variety. △ Less

Submitted 5 February, 2008; v1 submitted 27 August, 2006; originally announced August 2006.

Comments: 44 pages, 3 figures, choose PS or PDF to see figures, new Lemma 2.8 fills gap in previous version of Lemma 2.12, error in previous version of Theorem 3.2 repaired by considering L-holonomic modules in Sections 3.2 and 4.2

MSC Class: 13N10; 14M25; 16W70

Journal ref: Duke Math. J. 142,3 (2008), 465-509

A connectedness result in positive characteristic

Authors: Anurag K. Singh, Uli Walther

Abstract: Let $(R,m)$ be a complete local ring of positive dimension, which contains a separably closed coefficient field of prime characteristic. Using a vanishing theorem of Peskine-Szpiro, Lyubeznik proved that every element of the local cohomology module $H^1_m(R)$ is killed by an iteration of the Frobenius map if and only if $R$ has dimension at least two and its punctured spectrum is connected in th… ▽ More Let $(R,m)$ be a complete local ring of positive dimension, which contains a separably closed coefficient field of prime characteristic. Using a vanishing theorem of Peskine-Szpiro, Lyubeznik proved that every element of the local cohomology module $H^1_m(R)$ is killed by an iteration of the Frobenius map if and only if $R$ has dimension at least two and its punctured spectrum is connected in the Zariski topology. We give a simple proof of this theorem and of a variation which, more generally, yields the number of connected components. △ Less

Submitted 9 March, 2006; originally announced March 2006.

Duality and monodromy reducibility of $A$-hypergeometric systems

Authors: Uli Walther

Abstract: We study $A$-hypergeometric systems $H_A(β)$ 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-jum** parameters always correspond to reducible systems, and we show that the property of being reducible is ``invariant modulo the lattice''. In the second part we st… ▽ More We study $A$-hypergeometric systems $H_A(β)$ 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-jum** parameters always correspond to reducible systems, and we show that the property of being reducible is ``invariant modulo the lattice''. In the second part we study a conjecture of Nobuki Takayama which states that the holonomic dual of $H_A(β)$ is of the form $H_A(β')$ for suitable $β'$. We prove the conjecture for all matrices $A$ and generic parameter $β$, exhibit an example that shows that in general the conjecture cannot hold, and present a refined version of the conjecture. Questions on both duality and reducibility have been impossible to answer with classical methods. This paper may be seen as an example of the usefulness, and scope of applications, of the homological tools for $A$-hypergeometric systems developed in \cite{MMW}. △ Less

Submitted 30 August, 2005; originally announced August 2005.

MSC Class: 13N10; 13D45; 14D99; 13F99; 16E99

On the arithmetic rank of certain Segre products

Authors: Anurag K. Singh, Uli Walther

Abstract: We compute the arithmetic ranks of the defining ideals of homogeneous coordinate rings of certain Segre products arising from elliptic curves. The cohomological dimension of these ideals varies with the characteristic of the field, though the arithmetic rank does not. We also study the related set-theoretic Cohen-Macaulay property for these ideals. We compute the arithmetic ranks of the defining ideals of homogeneous coordinate rings of certain Segre products arising from elliptic curves. The cohomological dimension of these ideals varies with the characteristic of the field, though the arithmetic rank does not. We also study the related set-theoretic Cohen-Macaulay property for these ideals. △ Less

Submitted 25 October, 2004; originally announced October 2004.

MSC Class: 13C40; 14M10; 13D45; 14B15

Homological Methods for Hypergeometric Families

Authors: Laura Felicia Matusevich, Ezra Miller, Uli Walther

Abstract: 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(β) arising from a d x n integer matrix A and a parameter β\in \CC^d. To do so we introduce an Euler-Koszul functor for hypergeometric families… ▽ More 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(β) arising from a d x n integer matrix A and a parameter β\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 βis rank-jum** for H_A(β) if and only if βlies in the Zariski closure of the set of \ZZ^d-graded degrees αwhere the local cohomology \bigoplus_{i<d}H^i_\frakm(\CC[\NN A])_αof the semigroup ring \CC[\NN A] supported at its maximal graded ideal \frakm is nonzero. Consequently, H_A(β) has no rank-jumps over \CC^d if and only if \CC[\NN A] is Cohen-Macaulay of dimension d. △ Less

Submitted 22 June, 2004; v1 submitted 18 June, 2004; originally announced June 2004.

Arbitrary rank jumps for $A$-hypergeometric systems through Laurent polynomials

Authors: Laura Felicia Matusevich, Uli Walther

Abstract: 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 vector $β_d$ such that the holonomic rank of the $A$-hypergeometric system $H_{A_d}(β_d)$ exceeds the simplicial volume $\vol(A_d)$ by at least $d-1$. The largest… ▽ More 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 vector $β_d$ such that the holonomic rank of the $A$-hypergeometric system $H_{A_d}(β_d)$ exceeds the simplicial volume $\vol(A_d)$ by at least $d-1$. The largest previously known gap between rank and volume was two. Our argument is elementary in that it uses only linear algebra, and our construction gives evidence to the general observation that rank-jumps seem to go hand in hand with the existence of multiple Laurent (or Puiseux) polynomial solutions. △ Less

Submitted 8 April, 2004; originally announced April 2004.

Bernstein-Sato polynomial versus cohomology of the Milnor fiber for generic arrangements

Authors: Uli Walther

Abstract: In this note we determine the Bernstein-Sato polynomial $b_Q(s)$ of a generic central arrangement $Q=\prod_{i=1}^kH_i$ of hyperplanes. We establish a connection between the roots of $b_Q(s)$ and the degrees of the generators for the top cohomology of the corresponding Milnor fiber. This connection holds for all homogeneous polynomials. We also introduce certain subschemes of the arrangement dete… ▽ More In this note we determine the Bernstein-Sato polynomial $b_Q(s)$ of a generic central arrangement $Q=\prod_{i=1}^kH_i$ of hyperplanes. We establish a connection between the roots of $b_Q(s)$ and the degrees of the generators for the top cohomology of the corresponding Milnor fiber. This connection holds for all homogeneous polynomials. We also introduce certain subschemes of the arrangement determined by the roots of $b_Q(s)$. △ Less

Submitted 2 December, 2003; v1 submitted 7 April, 2002; originally announced April 2002.

Comments: 27 pages, AMS latex, improved form, to appear in Compositio Math

Algorithmic Determination of the Rational Cohomology of Complex Varieties via Differential Forms

Authors: Uli Walther

Abstract: We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gröbner basis computations in rings of differential operators, can also be used to compute the cohomology of intersections of smooth closed and open subsets, and in certain situations the cup-… ▽ More We give algorithms for the computation of the algebraic de Rham cohomology of open and closed algebraic sets inside projective space or other smooth complex toric varieties. The methods, which are based on Gröbner basis computations in rings of differential operators, can also be used to compute the cohomology of intersections of smooth closed and open subsets, and in certain situations the cup-product structure. We give some examples which were carried out with the help of \Mtwo. △ Less

Submitted 2 March, 2001; originally announced March 2001.

Comments: amslatex, 22 pages. Uses diagrams.sty

MSC Class: 14Q15; 14F40

Computing homomorphisms between holonomic D-modules

Authors: Harrison Tsai, Uli Walther

Abstract: Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite dimensional vector space hom_D(M,N). This enables us to answer algorithmically whether two given holonomic modules are isomorphic. More generally, our algori… ▽ More Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite dimensional vector space hom_D(M,N). This enables us to answer algorithmically whether two given holonomic modules are isomorphic. More generally, our algorithm can be used to get explicit generators for ext^i_D(M,N) for any i. △ Less

Submitted 24 July, 2000; originally announced July 2000.

Comments: 30 pages, AMS-LaTex, uses verbatim,amsmath,latexsym,amssymb,amsbsy,diagrams

MSC Class: 16Z05; 16E30; 35N10

D-modules on Smooth Toric Varieties

Authors: Mircea Mustata, Gregory G. Smith, Harrison Tsai, Uli Walther

Abstract: Let X be a smooth toric variety. David Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal B. Extending well-known results on projective space, Cox established the following: (1) the category of quasi-coherent sheaves on X is equivalent to the category of graded S-modules modulo B-torsion, (2) the variety X is a geometric quotient of Spec(S) V(B) by a suitable torus ac… ▽ More Let X be a smooth toric variety. David Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal B. Extending well-known results on projective space, Cox established the following: (1) the category of quasi-coherent sheaves on X is equivalent to the category of graded S-modules modulo B-torsion, (2) the variety X is a geometric quotient of Spec(S) V(B) by a suitable torus action. We provide the D-module version of these results. More specifically, let A denote the ring of differential operators on Spec(S). We show that the category of D-modules on X is equivalent to a subcategory of graded A-modules modulo B-torsion. Additionally, we prove that the characteristic variety of a D-module is a geometric quotient of an open subset of the characteristic variety of the associated A-module and that holonomic D-modules correspond to holonomic A-modules. △ Less

Submitted 15 July, 2000; originally announced July 2000.

Comments: AMS-LaTeX, 28 pages

MSC Class: 14M25; 16S32

Journal ref: Journal of Algebra 240 (2001) 744-770

A Localization Algorithm for $D$-modules

Authors: Toshinori Oaku, Nobuki Takayama, Uli Walther

Abstract: We present a method to compute the holonomic extension of a $D$-module from a Zariski open set in affine space to the whole space. A particular application is the localization of coherent $D$-modules which are holonomic on the complement of an affine variety. We present a method to compute the holonomic extension of a $D$-module from a Zariski open set in affine space to the whole space. A particular application is the localization of coherent $D$-modules which are holonomic on the complement of an affine variety. △ Less

Submitted 15 July, 1999; v1 submitted 6 November, 1998; originally announced November 1998.

Comments: 9 pages, amslatex

Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties

Authors: Uli Walther

Abstract: Let $X=\C^n$. In this paper we present an algorithm that computes the de Rham cohomology groups $H^i_{dR}(U,\C)$ where $U$ is the complement of an arbitrary Zariski-closed set $Y$ in $X$. Our algorithm is a merger of the algorithm given by T.~Oaku and N.~Takayama (\cite{O-T2}), who considered the case where $Y$ is a hypersurface, and our methods from \cite{W-1} for the computation of local cohom… ▽ More Let $X=\C^n$. In this paper we present an algorithm that computes the de Rham cohomology groups $H^i_{dR}(U,\C)$ where $U$ is the complement of an arbitrary Zariski-closed set $Y$ in $X$. Our algorithm is a merger of the algorithm given by T.~Oaku and N.~Takayama (\cite{O-T2}), who considered the case where $Y$ is a hypersurface, and our methods from \cite{W-1} for the computation of local cohomology. We further extend the algorithm to compute de Rham cohomology groups with support $H^i_{dR,Z}(U,\C)$ where again $U$ is an arbitrary Zariski-open subset of $X$ and $Z$ is an arbitrary Zariski-closed subset of $U$. Our main tool is the generalization of the restriction process from \cite{O-T1} to complexes of modules over the Weyl algebra. All presented algorithms are based on Gröbner basis computations in the Weyl algebra. △ Less

Submitted 19 October, 1998; v1 submitted 31 July, 1998; originally announced July 1998.

Comments: 25 pages, amsart, uses verbatim, amsmath, latexsym, amssymb, xypic, fixed typos

Power counting degree versus singular order in the Schwinger model

Authors: Andreas Aste, G"unter Scharf, Urs Walther

Abstract: The importance of a rigorous definition of the singular degree of a distribution is demonstrated on the case of two-dimensional QED (Schwinger model). Correct mathematical treatment of second order vacuum polarization in the perturbative approach is crucial in order to obtain the Schwinger mass of the photon by resummation. The importance of a rigorous definition of the singular degree of a distribution is demonstrated on the case of two-dimensional QED (Schwinger model). Correct mathematical treatment of second order vacuum polarization in the perturbative approach is crucial in order to obtain the Schwinger mass of the photon by resummation. △ Less

Submitted 5 May, 1998; originally announced May 1998.

Comments: 5 pages, LaTeX, no figures. To appear in Lett. Math. Phys

Report number: ZU-TH-11/98

Journal ref: Nuovo Cim. A111 (1998) 323-327

Algorithmic Computation of Local Cohomology Modules and the Cohomological Dimension of Algebraic Varieties

Authors: Uli Walther

Abstract: In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic varieties in characteristic zero. Our approach is based on the theory of D-modules. In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic varieties in characteristic zero. Our approach is based on the theory of D-modules. △ Less

Submitted 9 December, 1997; v1 submitted 3 October, 1997; originally announced October 1997.

Comments: 20 pages, amsart, uses amstex, amssymb, xypic.tex, corrected some typos