Source author record

Ralf Fröberg

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.AG math.CO

Catalog footprint

Research overview

10works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Betti numbers of fat forests and their Alexander dual

Let $k$ be a field and $R=k[x_1,\ldots,x_n]/I=S/I$ a graded ring. Then $R$ has a $t$ -linear resolution if $I$ is generated by homogeneous elements of degree $t$ , and all higher syzygies are linear. Thus $R$ has a $t$ -linear resolution if ${\rm Tor}^S_{i,j}(S/I,k)=0$ if $j\ne i+t-1$ . For a simplicial complex $Δ$ on $[{\bf n}]=\{1,\ldots,n\}$ and a field $k$ , the Stanley-Reisner ring $k[Δ]$ is $k[x_1,\ldots,x_n]/I$ , where $I$ is generated by those squarefree monomials $x_{i_1}\cdots x_{i_k}$ for which $\{ i_1,\ldots,i_k\}$ does not belong to $Δ$ . In \cite{Fr} the Stanley-Reisner rings with 2-linear resolution are determined. Their associated complexes has had different names in the literature. We call them fat forests here. In this article we determine the Betti numbers of fat forests. We also consider Betti numbers of Alexander duals of fat forests.

preprint2022arXiv

Solution to a conjecture on edge rings with 2-linear resolutions

For a graph $G=(V,E)$ the edge ring $k[G]$ is $k[x_1,\ldots,x_n]/I(G)$ , where $n=|V|$ and $I(G)$ is generated by $\{ x_ix_j;\{ i,j\}\in E\}$ . The conjecture we treat is the following. If $k[G]$ has a 2-linear resolution, then the projective dimension of $K[G]$ , pd $(k[G])$ , equals the maximal degree of a vertex in $G$ . As far as we know, this conjecture is first mentioned in a paper by Gitler and Valencia, and there it is called the Eliahou-Villarreal conjecture. The conjecture is treated in a recent paper by Ahmed, Mafi, and Namiq. That there are counterexamples was noted already by Moradi and Kiani. By interpreting $k[G]$ as a Stanley-Reisner ring, we are able to characterize those graphs for which the conjecture holds.

preprint2021arXiv

Gorenstein rings generated by strongly stable sets of quadratic monomials

We characterize all Gorenstein rings generated by strongly stable sets of monomials of degree two. We compute their Hilbert series in several cases, which also provides an answer to a question by Migliore and Nagel.

preprint2021arXiv

Hilbert series of generic ideals in products of projective spaces

If $I=(f_1,\ldots,f_r)$ is an ideal in $S=k[x_1,\ldots,x_n]$ , and $f_i$ are "general" elements of given degrees, there is a conjecture on the Hilbert series of $S/I$ . We are considering the corresponding concepts in bigraded rings.

preprint2013arXiv

On free resolutions of some semigroup rings

For some numerical semigroup rings of small embedding dimension, namely those of embedding dimension 3, and symmetric or pseudosymmetric of embedding dimension 4, presentations has been determined in the literature. We extend these results by giving the whole graded minimal free resolutions explicitly. Then we use these resolutions to determine some invariants of the semigroups and certain interesting relations among them. Finally, we determine semigroups of small embedding dimensions which have strongly indispensable resolutions.

preprint2013arXiv

Vandermonde varieties and relations among Schur polynomials

Motivated by the famous Skolem-Mahler-Lech theorem we initiate in this paper the study of a natural class of determinantal varieties which we call {\em Vandermonde varieties}. They are closely related to the varieties consisting of all linear recurrence relations of a given order possessing a non-trivial solution vanishing at a given set of integers. In the regular case, i.e., when the dimension of a Vandermonde variety is the expected one, we present its free resolution, obtain its degree and the Hilbert series. Some interesting relations among Schur polynomials are derived. Many open problems and conjectures are posed.

preprint2011arXiv

On differential operators of numerical semigroup rings

If $S=<d_1,...,d_ν>$ is a numerical semigroup, we call the ring $\C[S]=\C[t^{d_1},...,t^{d_ν}]$ the semigroup ring of $S$ . We study the ring of differential operators on $\C[S]$, and its associated graded in the filtration induced by the order of the differential operators. We find that these are easy to describe in case $S$ is a so called Arf semigroup. If $I$ is an ideal in $\C[S]$ that is generated by monomials, we also give some results on $\der(I,I)$ (the set of derivations which map $I$ into $I$ ).

preprint2011arXiv

On the Waring problem for polynomial rings

In this note we discuss an analog of the classical Waring problem for C[x_0, x_1,...,x_n]. Namely, we show that a general homogeneous polynomial p \in C[x_0,x_1,...,x_n] of degree divisible by k\ge 2 can be represented as a sum of at most k^n k-th powers of homogeneous polynomials in C[x_0, x_1,...,x_n]. Noticeably, k^n coincides with the number obtained by naive dimension count.

preprint2010arXiv

Associated graded rings of one-dimensional analytically irreducible rings II

Lance Bryant noticed in his thesis that there was a flaw in our paper "Associated graded rings of one-dimensional analytically irreducible rings", J. Algebra 304 (2006), 349-358. It can be fixed by adding a condition, called the BF condition. We discuss some equivalent conditions, and show that they are fulfilled for some classes of rings, in particular for our motivating example of semigroup rings. Furthermore we discuss the connection to a similar result, stated in more generality, by Cortadella-Zarzuela. Finally we use our result to conclude when a semigroup ring in embedding dimension at most three has an associated graded which is a complete intersection.

preprint2009arXiv

Poincaré series of some hypergraph algebras

A hypergraph $H=(V,E)$ , where $V=\{x_1,...,x_n\}$ and $E\subseteq 2^V$ defines a hypergraph algebra $R_H=k[x_1,...,x_n]/(x_{i_1}... x_{i_k}; \{i_1,...,i_k\}\in E)$ . All our hypergraphs are $d$ -uniform, i.e., $|e_i|=d$ for all $e_i\in E$ . We determine the Poincaré series $P_{R_H}(t)=\sum_{i=1}^\infty\dim_k{\rm Tor}_i^{R_H}(k,k)t^i$ for some hypergraphs generalizing lines, cycles, and stars. We finish by calculating the graded Betti numbers and the Poincaré series of the graph algebra of the wheel graph.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.