-
Finding Bounded Simplicial Sets with Finite Homology
Authors:
Preston Cranford,
Peter Rowley
Abstract:
The central problem in computational algebraic topology is the computation of the homotopy groups of a given space, represented as a simplicial set. Algorithms have been found which achieve this, but the running times depend on the size of the input simplicial set. In order to reduce this dependence on the simplicial set chosen, we describe in this paper a procedure which, given a prime $p$ and a…
▽ More
The central problem in computational algebraic topology is the computation of the homotopy groups of a given space, represented as a simplicial set. Algorithms have been found which achieve this, but the running times depend on the size of the input simplicial set. In order to reduce this dependence on the simplicial set chosen, we describe in this paper a procedure which, given a prime $p$ and a finite, simply-connected simplicial set with finite integral homology, finds a $p$-locally equivalent simplicial set with size upper bounded by a function of dimension and homology. Using this in conjunction with the above algorithm, the $p$-local homology can be calculated such that the running time dependence on the size of the initial simplicial set is contained in a separate preprocessing step.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
Projective toric varieties of codimension 2 with maximal Castelnuovo--Mumford regularity
Authors:
Preston Cranford,
Alan Peng,
Vijay Srinivasan
Abstract:
The Eisenbud--Goto conjecture states that $\operatorname{reg} X\le\operatorname{deg} X -\operatorname{codim} X+1$ for a nondegenerate irreducible projective variety $X$ over an algebraically closed field. While this conjecture is known to be false in general, it has been proven in several special cases, including when $X$ is a projective toric variety of codimension $2$. We classify the projective…
▽ More
The Eisenbud--Goto conjecture states that $\operatorname{reg} X\le\operatorname{deg} X -\operatorname{codim} X+1$ for a nondegenerate irreducible projective variety $X$ over an algebraically closed field. While this conjecture is known to be false in general, it has been proven in several special cases, including when $X$ is a projective toric variety of codimension $2$. We classify the projective toric varieties of codimension $2$ having maximal regularity, that is, for which equality holds in the Eisenbud--Goto bound. We also give combinatorial characterizations of the arithmetically Cohen--Macaulay toric varieties of maximal regularity in characteristic $0$.
△ Less
Submitted 3 June, 2022; v1 submitted 23 June, 2021;
originally announced June 2021.
-
Biconed graphs, weighted forests, and h-vectors of matroid complexes
Authors:
Preston Cranford,
Anton Dochtermann,
Evan Haithcock,
Joshua Marsh,
Suho Oh,
Anna Truman
Abstract:
A well-known conjecture of Richard Stanley posits that the $h$-vector of the independence complex of a matroid is a pure ${\mathcal O}$-sequence. The conjecture has been established for various classes but is open for graphic matroids. A biconed graph is a graph with two specified `coning vertices', such that every vertex of the graph is connected to at least one coning vertex. The class of bicone…
▽ More
A well-known conjecture of Richard Stanley posits that the $h$-vector of the independence complex of a matroid is a pure ${\mathcal O}$-sequence. The conjecture has been established for various classes but is open for graphic matroids. A biconed graph is a graph with two specified `coning vertices', such that every vertex of the graph is connected to at least one coning vertex. The class of biconed graphs includes coned graphs, Ferrers graphs, and complete multipartite graphs. We study the $h$-vectors of graphic matroids arising from biconed graphs, providing a combinatorial interpretation of their entries in terms of `$2$-weighted forests' of the underlying graph. This generalizes constructions of Kook and Lee who studied the Möbius coinvariant (the last nonzero entry of the $h$-vector) of graphic matroids of complete bipartite graphs. We show that allowing for partially $2$-weighted forests gives rise to a pure multicomplex whose face count recovers the $h$-vector, establishing Stanley's conjecture for this class of matroids. We also discuss how our constructions relate to a combinatorial strengthening of Stanley's Conjecture (due to Klee and Samper) for this class of matroids.
△ Less
Submitted 9 August, 2023; v1 submitted 18 May, 2020;
originally announced May 2020.