arXiv++ Combinatorics

Applications of algebraic geometry have sparked much recent work on algebraic matroids. An algebraic matroid encodes algebraic dependencies among coordinate functions on a variety. We study the behavior of algebraic matroids under joins and secants of varieties. Motivated by Terracini's lemma, we introduce the notion of a Terracini union of matroids, which captures when the algebraic matroid of a join coincides with the matroid union of the algebraic matroids of its summands. We illustrate applications of our results with a discussion of the implications for toric surfaces and threefolds.

Although algebraic matroids were discovered in the 1930s, interest in them was largely dormant until their recent use in applications of algebraic geometry. Because nonlinear algebra is computationally challenging, it is easier to work with an isomorphic linear matroid if one exists. We describe an explicit construction that produces a linear representation over an algebraically closed field of characteristic zero starting with the data used in applications. We will also discuss classical examples of algebraic matroids in the modern language of polynomial ideals, illustrating how the existence of an isomorphic linear matroid depends on properties of the field.

An embedding of the complete bipartite graph $K_{3,3}$ in $\mathbb{P}^2$ gives rise to both a line arrangement and a bar-and-joint framework. For a generic placement of the six vertices, the graded Betti numbers of the logarithmic module of derivations of the line arrangement are constant, but an example due to Ziegler shows that the graded Betti numbers are different when the points lie on a conic. Similarly, in rigidity theory a generic embedding of $K_{3,3}$ in the plane is an infinitesimally rigid bar-and-joint framework, but the framework is infinitesimally flexible when the points lie on a conic. In this paper we develop the theory of weak perspective representations of hyperplane arrangements to formalize and generalize the striking connection between hyperplane arrangements and rigidity theory that this example suggests. In particular, we seek to understand how the interplay of combinatorics and geometry influence algebraic structures associated to an arrangement, such as the saturation of the Jacobian ideal of the arrangement. We make connections between examples and constructions from rigidity theory and interesting phenomena in the study of hyperplane arrangements.

Each point $x$ in Gr$(r,n)$ corresponds to an $r \times n$ matrix $A_x$ which gives rise to a matroid $M_x$ on its columns. Gel'fand, Goresky, MacPherson, and Serganova showed that the sets $\{y \in \mathrm{Gr}(r,n) | M_y = M_x\}$ form a stratification of Gr$(r,n)$ with many beautiful properties. However, results of Mnëv and Sturmfels show that these strata can be quite complicated, and in particular may have arbitrary singularities. We study the ideals $I_x$ of matroid varieties, the Zariski closures of these strata. We construct several classes of examples based on theorems from projective geometry and describe how the Grassmann-Cayley algebra may be used to derive non-trivial elements of $I_x$ geometrically when the combinatorics of the matroid is sufficiently rich.

In recent years, various notions of algebraic independence have emerged as a central and unifying theme in a number of areas of applied mathematics, including algebraic statistics and the rigidity theory of bar-and-joint frameworks. In each of these settings the fundamental problem is to determine the extent to which certain unknowns depend algebraically on given data. This has, in turn, led to a resurgence of interest in algebraic matroids, which are the combinatorial formalism for algebraic (in)dependence. We give a self-contained introduction to algebraic matroids together with examples highlighting their potential application.

A bar-and-joint framework is a finite set of points together with specified distances between selected pairs. In rigidity theory we seek to understand when the remaining pairwise distances are also fixed. If there exists a pair of points which move relative to one another while maintaining the given distance constraints, the framework is flexible; otherwise, it is rigid. Counting conditions due to Maxwell give a necessary combinatorial criterion for generic minimal bar-and-joint rigidity in all dimensions. Laman showed that these conditions are also sufficient for frameworks in R^2. However, the flexible "double banana" shows that Maxwell's conditions are not sufficient to guarantee rigidity in R^3. We present a generalization of the double banana to a family of hyperbananas. In dimensions 3 and higher, these are (infinitesimally) flexible, providing counterexamples to the natural generalization of Laman's theorem.

Geometric constraint systems underly popular Computer Aided Design soft- ware. Automated approaches for detecting dependencies in a design are critical for developing robust solvers and providing informative user feedback, and we provide algorithms for two types of dependencies. First, we give a pebble game algorithm for detecting generic dependencies. Then, we focus on identifying the "special positions" of a design in which generically independent constraints become dependent. We present combinatorial algorithms for identifying subgraphs associated to factors of a particular polynomial, whose vanishing indicates a special position and resulting dependency. Further factoring in the Grassmann- Cayley algebra may allow a geometric interpretation giving conditions (e.g., "these two lines being parallel cause a dependency") determining the special position.

We study the rigidity of body-and-cad frameworks which capture the majority of the geometric constraints used in 3D mechanical engineering CAD software. We present a combinatorial characterization of the generic minimal rigidity of a subset of body-and-cad frameworks in which we treat 20 of the 21 body-and-cad constraints, omitting only point-point coincidences. While the handful of classical combinatorial characterizations of rigidity focus on distance constraints between points, this is the first result simultaneously addressing coincidence, angular, and distance constraints. Our result is stated in terms of the partitioning of a graph into edge-disjoint spanning trees. This combinatorial approach provides the theoretical basis for the development of deterministic algorithms (that will not depend on numerical methods) for analyzing the rigidity of body-and-cad frameworks.

We study curves consisting of unions of projective lines whose intersections are given by graphs. Under suitable hypotheses on the graph, these so-called \emph{graph curves} can be embedded in projective space as line arrangements. We discuss property $N_p$ for these embeddings and are able to produce products of linear forms that generate the ideal in certain cases. We also briefly discuss questions regarding the higher-dimensional subspace arrangements obtained by taking the secant varieties of graph curves.

We consider the vanishing ideal of an arrangement of linear subspaces in a vector space and investigate when this ideal can be generated by products of linear forms. We introduce a combinatorial construction (blocker duality) which yields such generators in cases with a lot of combinatorial structure, and we present the examples that motivated our work. We give a construction which produces all elements of this type in the vanishing ideal of the arrangement. This leads to an algorithm for deciding if the ideal is generated by products of linear forms. We also consider generic arrangements of points in ${\bf P}^2$ and lines in ${\bf P}^3.$

We give explicit generators for ideals of two classes of subspace arrangements embedded in certain reflection arrangements, generalizing results of Li-Li and Kleitman-Lovasz. We also give minimal generators for the ideals of arrangements that arise in a natural way from the p-skeleton of an n-dimensional cube and discuss conditions under which the generators that we give form a Groebner basis.

The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for modules constructed by inductive combinatorial means. We apply these methods to bound the regularity of ideals constructed as combinations of linear ideals and the module of derivations of a hyperplane arrangement as well as to give degree bounds for invariants of finite groups.

In this paper we give bounds on the Castelnuovo-Mumford regularity of products of ideals and ideal sheaves. In particular, we show that the regularity of a product of ideals is bounded by the sum of the regularities of its factors if the corresponding schemes intersect in a finite set of points. We also show how approximations of sheaves can be used to bound the regularity of an arrangement of two-planes in projective space.

We show that the ideal of an arrangement of d linear subspaces of projective space is d-regular in the sense of Castelnuovo and Mumford, answering a question of B. Sturmfels. In particular this implies that the ideal of an arrangement of d subspaces is generated in degrees less than or equal to d.