Related papers: On the Geramita-Harbourne-Migliore conjecture
Given $\Sigma\subset\mathbb K[x_1,\ldots,x_k]$, any finite collection of linear forms, some possibly proportional, and any $1\leq a\leq |\Sigma|$, it has been conjectured that $I_a(\Sigma)$, the ideal generated by all $a$-fold products of…
Given $\Sigma\subset R:=\mathbb K[x_1,\ldots,x_k]$, where $\mathbb K$ is a field of characteristic 0, any finite collection of linear forms, some possibly proportional, and any $1\leq a\leq |\Sigma|$, we prove that $I_a(\Sigma)$, the ideal…
Let $\mathbb K$ be a field of characteristic 0. Given $n$ linear forms in $R=\mathbb K[x_1,\ldots,x_k]$, with no two proportional, in one of our main results we show that the ideal $I\subset R$ generated by all $(n-2)$-fold products of…
Let $\Gamma$ be a finite rank subgroup of $\overline{\mathbb{Q}}^*$. We prove that the multiplicative group of the field generated by all elements in the divisible hull of $\Gamma$, is free abelian modulo this divisible hull. This proves…
Using recent work by Erman-Sam-Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gr\"obner bases relative to the graded reverse…
Given a collection of $t$ subspaces in an $n$-dimensional $\mathbb{K} $-vector space $W$ we can associate to them $t$ vanishing ideals in the symmetric algebra $\mathcal{S}(W^*) = \mathbb{K}[x_1,x_2,\dots,x_n]$. As a subspace is defined by…
Based on the structure theory of pairs of skew-symmetric matrices, we give a conjecture for the Hilbert series of the exterior algebra modulo the ideal generated by two generic quadratic forms. We show that the conjectured series is an…
Let $I\subset S$ be a graded ideal of a standard graded polynomial ring $S$ with coefficients in a field $K$, and let $\text{v}(I)$ be the $\text{v}$-number of $I$. In previous work, we showed that for any graded ideal $I\subset S$…
Each (equigenerated) squarefree monomial ideal in the polynomial ring $S=\mathbb{K}[x_1, \ldots, x_n]$ represents a family of subsets of $[n]$, called a (uniform) clutter. In this paper, we introduce a class of uniform clutters, called…
Let $p$ be a prime number, $\Bbbk$ a field of characteristic $p$ and $G$ a finite $p$-group. Let $V$ be a finite-dimensional linear representation of $G$ over $\Bbbk$. Write $S = \mathrm{Sym} V^*$. For a class of $p$-groups which we call…
Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…
Let $X_n$ be the projective plane blown up at $n \geq 10$ general points. In this paper we give several consequences of the Segre-Harbourne-Gimigliano-Hirschowitz Conjecture, that pertain to complete linear systems on $X_n$. We begin by…
Metric independent $\sigma$ models are constructed. These are field theories which generalise the membrane idea to situations where the target space has fewer dimensions than the base manifold. Instead of reparametrisation invariance of the…
We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_\Sigma),\mathcal{O})_{\mathfrak{m}_\Sigma}$ of arithmetic manifolds are free over certain deformation rings $R_\Sigma$, when there are…
There is a longstanding conjecture by Fr\"oberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a…
Let R be any ring (with 1), \Gamma a group and R\Gamma the corresponding group ring. Let H be a subgroup of \Gamma of finite index. Let M be an R\Gamma -module, whose restriction to RH is projective. Moore's conjecture: Assume for every…
We give a short proof of the anticyclotomic analogue of the "strong" main conjecture of Kurihara on Fitting ideals of Selmer groups for elliptic curves with good ordinary reduction under mild hypotheses. More precisely, we completely…
Let $ X $ be an $ m \times n $ matrix of distinct indeterminates over a field $ K $, where $ m \le n $. Set the polynomial ring $ K[X] := K[X_{ij} : 1 \le i \le m, 1 \le j \le n] $. Let $ 1 \le k < l \le n $ be such that $ l - k + 1 \ge m…
As a generalization of the ideals of star configurations of hypersurfaces, we consider the $a$-fold product ideal $I_a(f_1^{m_1}\cdots f_s^{m_s})$ when ${f_1,\dots,f_s}$ is a sequence of generic forms and $1\le a\le m_1+\cdots+m_s$.…
Given a finite alphabet X and an ordering on the letters, the map \sigma sends each monomial on X to the word that is the ordered product of the letter powers in the monomial. Motivated by a question on Groebner bases, we characterize…