Related papers: Abstract 3-Rigidity and Bivariate $C_2^1$-Splines …
Let $\mathcal{A}$ be a completely rational local M\"obius covariant net on $S^1$, which describes a set of chiral observables. We show that local M\"obius covariant nets $\mathcal{B}_2$ on 2D Minkowski space which contains $\mathcal{A}$ as…
We study varieties associated to hypergraphs from the point of view of projective geometry and matroid theory. We describe their decompositions into matroid varieties, which may be reducible and can have arbitrary singularities by the…
We introduce a combinatorial characterization of simpliciality for arrangements of hyperplanes. We then give a sharp upper bound for the number of hyperplanes of such an arrangement in the projective plane over a finite field, and present…
A framework is a graph and a map from its vertices to E^d (for some d). A framework is universally rigid if any framework in any dimension with the same graph and edge lengths is a Euclidean image of it. We show that a generic universally…
This paper investigates stable cohomotopy groups in codimensions two and three from complementary algebraic and geometric viewpoints. For general CW complexes, we give a complete characterization of stable cohomotopy in codimension two and…
The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary…
A notion of rigidity with respect to an arbitrary semidualizing complex C over a commutative noetherian ring R is introduced and studied. One of the main result characterizes C-rigid complexes. Specialized to the case when C is the relative…
We give a combinatorial characterization of minimally rigid planar frameworks with orientation-preserving crystallographic symmetry, under the constraint of forced symmetry. The main theorems are proved by extending the methods of the first…
We prove a general extrinsic rigidity theorem for homogeneous varieties in $\mathbb{CP}^N$. The theorem is used to show that the adjoint variety of a complex simple Lie algebra $\mathfrak{g}$ (the unique minimal G orbit in…
We characterize the combinatorial types of symmetric frameworks in the plane that are minimally generically symmetry-forced infinitesimally rigid when the symmetry group consists of rotations and translations. Along the way, we use tropical…
We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that…
Motivated by Gr\"obner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant…
We describe free rigid commutative algebras in $2$-presentably symmetric monoidal $(\infty,2)$-categories as oplax colimits over the $1$-dimensional framed cobordism category. The special case of the $(\infty,2)$-category…
We provide a constructive characterisation of circuits in the simple (2,2)-sparsity matroid. A circuit is a simple graph G=(V,E) with |E|=2|V|-1 and the number of edges induced by any $X \subsetneq V$ is at most 2|X|-2. Insisting on…
We give simple homological conditions for a rational homology 3-sphere Y to have infinite order in the rational homology cobordism group, and for a collection of rational homology spheres to be linearly independent. These translate…
We provide a combinatorial interpretation of the Kazhdan--Lusztig polynomial of the matroid arising from the braid arrangement of type $\mathrm{A}_{n-1}$, which gives an interpretation of the intersection cohomology Betti numbers of the…
A paper of the first author and Zilke proposed seven combinatorial problems around formulas for the characteristic polynomial and the exponents of an isolated quasihomogeneous singularity. The most important of them was a conjecture on the…
Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…
In a recent article, we gave a full characterization of matrices that can be decomposed as a linear combination of two idempotents with prescribed coefficients. In this one, we use those results to improve on a recent theorem of V.…
Given a domain of characteristic zero $R$, we functorially construct a rigid symmetric monoidal stable $\infty$-category whose $K_0$ is $R$, solving a problem of Khovanov. We also functorially construct for any reduced commutative ring $R$…