-
Deformations of local Artin rings via Hilbert-Burch matrices
Authors:
Roser Homs,
Anna-Lena Winz
Abstract:
In the local setting, Gröbner cells are affine spaces that parametrize ideals in $\mathbf{k}[\![x,y]\!]$ that share the same leading term ideal with respect to a local term ordering. In particular, all ideals in a cell have the same Hilbert function, so they provide a cellular decomposition of the punctual Hilbert scheme compatible with its Hilbert function stratification. We exploit the parametri…
▽ More
In the local setting, Gröbner cells are affine spaces that parametrize ideals in $\mathbf{k}[\![x,y]\!]$ that share the same leading term ideal with respect to a local term ordering. In particular, all ideals in a cell have the same Hilbert function, so they provide a cellular decomposition of the punctual Hilbert scheme compatible with its Hilbert function stratification. We exploit the parametrization given in \cite{HW21} via Hilbert-Burch matrices to compute the Betti strata, with hands-on examples of deformations that preserve the Hilbert function, and revisit some classical results along the way. Moreover, we move towards an explicit parametrization of all local Gröbner cells.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Tropical compactification via Ganter's algorithm
Authors:
Lars Kastner,
Kristin Shaw,
Anna-Lena Winz
Abstract:
We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case, the procedure is analogous to the tropical compactifications of subvarieties of tori.
We give an analysis of the combinatorial structure of the compactificat…
▽ More
We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case, the procedure is analogous to the tropical compactifications of subvarieties of tori.
We give an analysis of the combinatorial structure of the compactification and show that its Hasse diagram can be computed via Ganter's algorithm. Our algorithm is implemented in and shipped with polymake.
△ Less
Submitted 22 December, 2020;
originally announced December 2020.
-
Canonical Hilbert-Burch matrices for power series
Authors:
Roser Homs,
Anna-Lena Winz
Abstract:
Sets of zero-dimensional ideals in the polynomial ring $k[x,y]$ that share the same leading term ideal with respect to a given term ordering are known to be affine spaces called Gröbner cells. Conca-Valla and Constantinescu parametrize such Gröbner cells in terms of certain canonical Hilbert-Burch matrices for the lexicographical and degree-lexicographical term orderings, respectively.
In this p…
▽ More
Sets of zero-dimensional ideals in the polynomial ring $k[x,y]$ that share the same leading term ideal with respect to a given term ordering are known to be affine spaces called Gröbner cells. Conca-Valla and Constantinescu parametrize such Gröbner cells in terms of certain canonical Hilbert-Burch matrices for the lexicographical and degree-lexicographical term orderings, respectively.
In this paper, we give a parametrization of $(x,y)$-primary ideals in Gröbner cells which is compatible with the local structure of such ideals. More precisely, we extend previous results to the local setting by defining a notion of canonical Hilbert-Burch matrices of zero-dimensional ideals in the power series ring $k[[x,y]]$ with a given leading term ideal with respect to a local term ordering.
△ Less
Submitted 4 May, 2021; v1 submitted 9 April, 2020;
originally announced April 2020.
-
Immaculate line bundles on toric varieties
Authors:
Klaus Altmann,
Jarosław Buczyński,
Lars Kastner,
Anna-Lena Winz
Abstract:
We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism.
In the present paper we focus on line bundles on toric varieties. First, we prese…
▽ More
We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism.
In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans.
The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.
△ Less
Submitted 28 August, 2018;
originally announced August 2018.
-
Cellular sheaf cohomology in Polymake
Authors:
Lars Kastner,
Kristin Shaw,
Anna-Lena Winz
Abstract:
This chapter provides a guide to our polymake extension cellularSheaves. We first define cellular sheaves on polyhedral complexes in Euclidean space, as well as cosheaves, and their (co)homologies. As motivation, we summarise some results from toric and tropical geometry linking cellular sheaf cohomologies to cohomologies of algebraic varieties. We then give an overview of the structure of the ext…
▽ More
This chapter provides a guide to our polymake extension cellularSheaves. We first define cellular sheaves on polyhedral complexes in Euclidean space, as well as cosheaves, and their (co)homologies. As motivation, we summarise some results from toric and tropical geometry linking cellular sheaf cohomologies to cohomologies of algebraic varieties. We then give an overview of the structure of the extension cellularSheaves for polymake. Finally, we illustrate the usage of the extension with examples from toric and tropical geometry.
△ Less
Submitted 30 December, 2016;
originally announced December 2016.
