Related papers: Linear syzygies, hyperbolic Coxeter groups and reg…

We show that the Eisenbud-Goto conjecture holds for (homogeneous) seminormal simplicial affine semigroup rings. Moreover, we prove an upper bound for the Castelnuovo-Mumford regularity in terms of the dimension, which is similar as in the…

For each squarefree monomial ideal $I\subset S = k[x_{1},\ldots, x_{n}] $, we associate a simple graph $G_I$ by using the first linear syzygies of $I$. In cases, where $G_I$ is a cycle or a tree, we show the following are equivalent: (a) $…

We study stable commutator length on free $\mathbb{Q}$-groups. We prove that every non-identity element has positive stable commutator length, and that the corresponding free group embeds isometrically. We deduce that a non-abelian free…

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

Let $R$ be a Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the…

We construct explicitly regular sequences in the semigroup ring $R=\CC[K]$ of lattice points of the graded cone $K$. We conjecture that the quotients of $R$ by these sequences describe locally string-theoretic cohomology of a toroidal…

We investigate the structure and properties of symmetric ideals generated by general forms in the polynomial ring under the natural action of the symmetric group. This work significantly broadens the framework established in our earlier…

We give explicit necessary and sufficient conditions for the abstract commensurability of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by generalized theta-graphs and cycles of generalized…

Given a Coxeter system $(W,S)$ and a multiparameter $\mathbf{q}$ of real numbers indexed by $S$, one can define the weighted $L^2$-cohomology groups and associate to them a nonnegative real number called the weighted $L^2$-Betti number. We…

We consider two families of commuting Hamiltonians on the cotangent bundle of the group GL(n,C), and show that upon an appropriate single symplectic reduction they descend to the spectral invariants of the hyperbolic Sutherland and of the…

Considering finite extensions K[A] \subseteq K[B] of positive affine semigroup rings over a field K we have developed in [1] an algorithm to decompose K[B] as a direct sum of monomial ideals in K[A]. By computing the regularity of…

We show that for many right-angled Artin and Coxeter groups, all cocompact cubulations coarsely look the same: they induce the same coarse median structure on the group. These are the first examples of non-hyperbolic groups with this…

We prove the dichotomy that every Coxeter group either has a strongly solid group von Neumann algebra or contains the product of an infinite cyclic group and a free group of rank 2. This generalizes the same dichotomy for right-angled…

We compute the coherent cohomology of the structure sheaf of complex periplectic Grassmannians. In particular, we show that it can be decomposed as a tensor product of the singular cohomology ring of a Grassmannian for either the symplectic…

Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple simply-connected algebraic group over $k$ that is defined and split over the prime field $\mathbb{F}_p$. In this paper we investigate situations…

After classifying 3-dimensional hyperbolic Coxeter pyramids by means of elementary plane geometry, we calculate growth functions of corresponding Coxeter groups by using Steinberg formula and conclude that growth rates of them are always…

In this paper, we study Cstelnuovo-Mumford regularity of square-free monomial ideals generated in degree 3. We define some operations on the clutters associated to such ideals and prove that the regularity is conserved under these…

We study the Castelnuovo-Mumford regularity of tangent cones of Schubert varieties. Conjectures about this statistic are presented; these are proved for the covexillary case. This builds on work of L. Li and the author on these tangent…

We study the exactness of certain combinatorially defined complexes which generalize the Orlik-Solomon algebra of a geometric lattice. The main results pertain to complex reflection arrangements and their restrictions. In particular, we…

Inspired by a question raised by Eisenbud-Musta\c{t}\u{a}-Stillman regarding the injectivity of maps from ${\rm Ext}$ modules to local cohomology modules and the work by the third author with Pham, we introduce a class of rings which we…