Browsing by Subject "Commutative Algebra"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Cones of Hyperplane Arrangements
    (2021-07) Dorpalen-Barry, Galen
    Hyperplane arrangements dissect $\R^n$ into connected components called chambers, and a well-known theorem of Zaslavsky counts chambers as a sum of nonnegative integers calledWhitney numbers of the first kind. His theorem generalizes to count chambers within any cone defined as the intersection of a collection of halfspaces from the arrangement, leading to a notion of Whitney numbers for each cone. This thesis concerns cones of hyperplane arrangement in two ways. First we consider cones within the braid arrangement, consisting of the reflecting hyperplanes $x_i=x_j$ inside $\R^n$ for the symmetric group, thought of as the type $A_{n-1}$ reflection group. Here,\begin{itemize} \item cones correspond to posets, \item chambers within the cone correspond to linear extensions of the poset, \item the Whitney numbers of the cone interestingly refine the number of linear extensions of the poset. \end{itemize} We interpret this refinement explicitly for two families of posets: width two posets, and disjoint unions of chains. In the latter case, this gives a geometric re-interpretation to Foata's theory of cycle decomposition for multiset permutations, and leads to a simple generating function compiling these Whitney numbers. Secondly, we give an interpretation of the coefficients the Poincaré polynomial of a cone of an arbitrary arrangement via the Varchenko-Gel'fand ring, which is the ring of functions from the chambers of the arrangement to the integers with pointwise addition and multiplication. Varchenko and Gel'fand gave a simple presentation for this ring for an arbitrary arrangement, along with a filtration and associated graded ring whose Hilbert series is the Poincaré polynomial.We generalize these results to cones defined by intersections of halfspaces of some of the hyperplanes and prove a novel result for the Varchenko-Gel'fand ring of an arrangement: when the arrangement is supersolvable the associated graded ring of the arrangement is Koszul.
  • Thumbnail Image
    Item
    Functoriality of the Hodge-de Rham spectral sequence of affine algebraic varieties
    (2023-10) Sikkink Johnson, Matthew
    R. Hartshorne has defined algebraic de Rham homology groups of algebraic varieties over a field k of characteristic 0. N. Bridgland proved that for every affine variety Y over k there is a Hodge-de Rham spectral sequence that starts at E2, is finite-dimensional over k, and converges to the algebraic de Rham homology of Y . Since R. Hartshorne proved that algebraic de Rham homology groups are functorial with respect to some morphisms, including open embeddings, there arises a natural question whether the Hodge-de Rham spectral sequence also is functorial with respect to the same classes of morphisms. While this question in general is very much open, it is proven in this thesis that the answer is positive for open embeddings that are localizations at a single element.