Related papers: Squarefree P-modules and the cd-index

Buchweitz related the singularity category of a (strongly) Gorenstein ring and the stable category of maximal Cohen-Macaulay modules by a triangle equivalence. We phrase his result in a relative categorical setting based on N-complexes…

We introduce the notion of a \emph{resolution supported on a poset}. When the poset is a CW-poset, i.e. the face poset of a regular CW-complex, we recover the notion of cellular resolution as introduced by Bayer and Sturmfels. Work of…

The authors construct the global Macaulay inverse system for a zero-dimensional subscheme Z of projective n-space P^n, from the local inverse systems of the irreducible components of Z. They show that when Z is locally Gorenstein a generic…

We determine the squarefree part of the scalar factor that arises when the quartic invariant of the generic binary form $F$ of odd degree $2n+1$ is expressed as the discriminant of the unique quadratic covariant $(F,F)_{2n}$. This…

Let $J$ be a quadratically presented grade three Gorenstein ideal in the standard graded polynomial ring $R= k[x,y,z]$, where $k$ is a field. Assume that $R/J$ satisfies the weak Lefschetz property. We give the presentation matrix for $J$…

In this paper we obtain a new fully explicit constant for the P\'olya-Vinogradov inequality for squarefree modulus. Given a primitive character $\chi$ to squarefree modulus $q$, we prove the following upper bound \begin{align*} \left|…

The paper constructs an `exotic' algebraic 2-complex over the generalized quaternion group of order 28, with the boundary maps given by explicit matrices over the group ring. This result depends on showing that a certain ideal of the group…

Duchamp--Hivert--Thibon introduced the construction of a right $H_n(0)$-module, denoted as $M_P$, for any partial order $P$ on the set $[n]$. This module is defined by specifying a suitable action of $H_n(0)$ on the set of linear extensions…

Let (R,m,k) be a one-dimensional analytically unramified local ring with minimal prime ideals P_1,...,P_s. Our ultimate goal is to study the direct-sum behavior of maximal Cohen-Macaulay modules over R. Such behavior is encoded by the…

Given a monomial ideal $I$ with minimal free resolution $\mathcal{F}$ supported in characteristic $p>0$ on a CW-complex $X$ with regular $2$-skeleton, we construct a CW-complex $Y$ that also supports~$\mathcal{F}$ and such that the face…

We show that, under certain constraints, the Stanley-Reisner ring of an infinite simplicial complex is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. We apply this result to prove the wanted claim -- that initial complexes…

Let $F$ (over $\mathbb{Q}$) be a totally real number field of narrow class number $1$. We generalize a result of Kohnen on the determination of half integral weight modular forms by their Fourier coefficients supported on squarefree…

We determine the density of integral binary forms of given degree that have squarefree discriminant, proving for the first time that the lower density is positive. Furthermore, we determine the density of integral binary forms that cut out…

We prove the existence of a Quillen Flat Model Structure in the category of unbounded complexes of h-unitary modules over a nonunital ring (or a $k$-algebra, with $k$ a field). This model structure provides a natural framework where a…

Let $R$ be a commutative, local, Noetherian ring. In a past article, the first author developed a theory of $R$-algebras, termed seeds, that can be mapped to balanced big Cohen-Macaulay $R$-algebras. In prime characteristic $p$, seeds can…

We study Gorenstein dimension and grade of a module $M$ over a filtered ring whose assosiated graded ring is a commutative Noetherian ring. An equality or an inequality between these invariants of a filtered module and its associated graded…

We show that the Dirichlet series associated to the Fourier coefficients of a half-integral weight Hecke eigenform at squarefree integers extends analytically to a holomorphic function in the half-plane $\re s\textgreater{}\tfrac{1}{2}$.…

For a $(3+1)$-free poset $P$, we define a hybrid of $P$-tableaux and cylindric tableaux called cylindric $P$-tableaux. We introduce $P$-analogs of cylindric Schur functions, defined by a determinantal formula, and prove that they are the…

We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…

A well-known conjecture of McMullen, proved by Billera, Lee and Stanley, describes the face numbers of simple polytopes. The necessary and sufficient condition is that the toric g-vector of the polytope is an M-vector, that is, the vector…