Commutative Algebra (math.AC)

  • PDF
    We say that an element of an additive commutative cancellative monoid is a molecule if it has a unique factorization, i.e., if it can be expressed in a unique way as a sum of irreducibles. In this paper, we study the sets of molecules of Puiseux monoids (additive submonoids of $\mathbb{Q}_{\ge 0}$). In particular, we present results on the possible cardinalities of the sets of molecules and the sets of those molecules failing to be irreducibles for numerical semigroups and general Puiseux monoids. We also construct infinitely many non-isomorphic Puiseux monoids all whose molecules are irreducible. Finally, we target Puiseux monoids generated by rationals with single-prime denominators, and provide a characterization for their sets of molecules.
  • PDF
    We propose an analogue of the bounded derived category for an augmented ring spectrum, defined in terms of a generalized Noether normalization. Under various assumptions we give intrinsic characterizations of the category we obtain, proving that, under Gorenstein hypotheses (applying for example to C^*(BG) for a compact Lie group G), it is independent of the chosen normalization. Based on this we introduce singularity and cosingularity categories measuring the failure of regularity and coregularity as well as proving a Koszul duality statement relating them. A special case is the BGG equivalence D_sg(Exterior (t_0, ..., t_n))=D^b(P^n). Numerous examples from algebra, modular representation theory and homotopy theory illustrate the various phenomena considered.
  • PDF
    Let $(R,m)$ be a Noetherian local ring of dimension $d$ and $K,Q$ be $m$-primary ideals in $R.$ In this paper we study the finiteness properties of the sets $\Lambda_i^K(R):=\{g_i^K(Q): Q$ is a parameter ideal of $R\},$ where $g_i^K(Q)$ denotes the Hilbert coefficients of $Q$ with respect to $K,$ for $1 \leq i \leq d.$ We prove that $\Lambda_i^K(R)$ is finite for all $1\leq i \leq d$ if and only if $R$ is generalized Cohen-Macaulay. Moreover, we show that if $R$ is unmixed then finiteness of the set $\Lambda_1^K(R)$ suffices to conclude that $R$ is generalized Cohen-Macaulay. We obtain partial results for $R$ to be Buchsbaum in terms of $|\Lambda_i^K(R)|=1.$ We also obtain a criterion for the set $\Delta^K(R):=\{g_1^K(I): I$ is an m-primary ideal of $R\}$ to be finite, generalizing preceding results.
  • PDF
    Let $S = k[x_1, \dotsc, x_n]$ be a polynomial ring over a field $k$ and let $M$ be a graded $S$-module with minimal free resolution $\mathbb{F}_\bullet$. Its linear part $lin(\mathbb{F}_\bullet)$ is obtained by deleting all non-linear entries from the differential of $\mathbb{F}_\bullet$. Our first result is an elementary description of $lin(\mathbb{F}_\bullet)$ in the case that $M$ is the Stanley-Reisner ring of a simplicial complex $\Delta$. Indeed, the differential of $lin(\mathbb{F}_\bullet)$ is simply a compilation of restriction maps in the simplicial cohomology of induced subcomplexes of $\Delta$. Our second result concerns the linearity defect of $M$, which is the largest $i$ such that $H_i(lin(\mathbb{F}_\bullet)) \neq 0$. We show that the linearity defect of $M$ is also the largest $i$, such that there exists a $g \in \mathbb{F}_{i}$ with $g\notin\mathfrak{m}\mathbb{F}_{i}$ and $\mathrm{d} g\in\mathfrak{m}^2\mathbb{F}_{i-1}$. Combining these two results, we obtain a description of the linearity defect of (the Stanley-Reisner ideal of) a simplicial complex, as well as a characterization of its componentwise linearity. Along the way, we also show that if a monomial ideal has at least one generator of degree $2$, then the linear strand of its resolution can be written using only $\pm 1$ coefficients.