Related papers: Lower central series and free resolutions of hyper…

We prove a complexity lower bound on deciding membership in a semialgebraic set for arithmetic networks in terms of the sum of Betti numbers with respect to "ordinary" (singular) homology. This result complements a similar lower bound by…

We give an explicit expression for the contact loci of hyperplane arrangements and show that their cohomology rings are combinatorial invariants. We also give an expression for the restricted contact loci in terms of Milnor fibers of…

Let $R:= \Bbbk[x_1,\ldots,x_{n}]$ be a polynomial ring over a field $\Bbbk$, $I \subset R$ be a homogeneous ideal with respect to a weight vector $\omega = (\omega_1,\ldots,\omega_n) \in (\mathbb{Z}^+)^n$, and denote by $d$ the Krull…

Star configurations of points are configurations with known (and conjectured) extremal behaviors among all configurations of points in $\mathbb P_k^n$; additional interest come from their rich structure, which allows them to be studied…

In this paper, we study minimal free resolutions for modules over rings of linear differential operators. The resolutions we are interested in are adapted to a given filtration, in particular to the so-called V-filtrations. We are…

We begin with proving a formula relating the Hilbert series of a graded algebra $A$ and the Poincar\'{e} series for $A$ in two variables. This gives the Fr\"oberg formula in the case where the bigraded $Tor^A(k,k)$ is concentrated on the…

We study Stanley-Reisner ideals of broken circuits complexes and characterize those ones admitting a linear resolution or being complete intersections. These results will then be used to characterize arrangements whose Orlik-Terao ideal has…

Let S be a polynomial ring and R=S/I where I is a graded ideal of S. The Multiplicity Conjecture of Herzog, Huneke, and Srinivasan which was recently proved using the Boij-Soederberg theory states that the multiplicity of R is bounded above…

Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*,…

We continue the study of the lower central series L_i(A) and its successive quotients B_i(A) of a noncommutative associative algebra A, defined by L_1(A)=A, L_{i+1}(A)=[A,L_i(A)], and B_i(A)=L_i(A)/L_{i+1}(A). We describe B_{2}(A) for A a…

We provide a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace K inside the second exterior product of a vector space, as well as a sharp upper bound for its Hilbert function.…

Let $K$ be a field, $V$ a finite dimensional $K$-vector space and $E$ the exterior algebra of $V$. We analyze iterated mapping cone over $E$. If $I$ is a monomial ideal of $E$ with linear quotients, we show that the mapping cone…

This paper concerns the associative lower central series ideals $M_i$ of the free algebra $A_n$ on $n$ generators. Namely, we study the successive quotients $N_i=M_i/M_{i+1}$, which admit an action of the Lie algebra $W_n$ of vector fields…

In this thesis we investigate certain types of monomial ideals of polynomial rings over fields. We are interested in minimal free resolutions of these ideals (or equivalently the quotients of the polynomial ring by the ideals) considered as…

The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families…

A hyperplane arrangement in $\mathbb{R}^n$ is a finite collection of affine hyperplanes. Counting regions of hyperplane arrangements is an active research direction in enumerative combinatorics. In this paper, we consider the arrangement…

A celebrated theorem of Fr\"oberg gives a complete combinatorial classification of quadratic square-free monomial ideals with a linear resolution. A generalization of this theorem to higher degree square-free monomial ideals is an active…

A root ideal arrangement $A_I$ is the set of reflecting hyperplanes corresponding to the roots in an order ideal $I$ of the root poset on the positive roots of a finite crystallographic root system. A characterisation of supersolvable root…

We prove that the height of any algebraic computation tree for deciding membership in a semialgebraic set is bounded from below (up to a multiplicative constant) by the logarithm of m-th Betti number (with respect to singular homology) of…

Hochster established the existence of a commutative noetherian ring $\Cal R$ and a universal resolution $\Bbb U$ of the form $0\to \Cal R^{e}\to \Cal R^{f}\to \Cal R^{g}\to 0$ such that for any commutative noetherian ring $S$ and any…