Related papers: From total positivity to pure free resolutions

We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a…

In this paper, we prove that any perfect complex of $D^{\infty}$-modules may be reconstructed from its holomorphic solution complex provided that we keep track of the natural topology of this last complex. This is to be compared with the…

The following article is an application of commutative algebra to the study of multiparameter persistent homology in topological data analysis. In particular, the theory of finite free resolutions of modules over polynomial rings is applied…

A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a…

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation…

Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove…

We prove analogs of results of Cox/Schenck on the structure of certain ideals in the bigraded polynomial ring k[s,u;t,v].

Simple proofs of the Hermite-Biehler and Routh-Hurwitz theorems are presented. The total nonnegativity of the Hurwitz matrix of a stable real polynomial follows as an immediate corollary.

For four elements of a Noetherian ring we construct complexes of free modules of length three (resp. five) by an explicit description of the homomorphisms of the free modules. We provide exactness criteria for them. As an application we use…

In this paper we study symmetric Leibniz and related algebras, namely symmetric dialgebras and symmetric Perm-algebras. We also calculate their Koszul duals, if not known. This will give us Lie-admissible algebras and new types of algebras,…

We study various properties of quasimodular forms by using their connections with Jacobi-like forms and pseudodifferential operators. Such connections are made by identifying quasimodular forms for a discrete subgroup $\G$ of $SL(2, \bR)$…

We consider a conjectured topological inequality for the number of equisingular moduli of a rational surface singularity, and prove it in some natural special cases. When the resolution dual graph is "sufficiently negative" (in a precise…

In this article we prove various results about transferring or lifting $\mathrm{A}_\infty$-algebra structures along quasi-isomorphisms over a commutative ring.

A recent result of Eisenbud-Schreyer and Boij-S\"oderberg proves that the Betti diagram of any graded module decomposes as a positive rational linear combination of pure diagrams. When does this numerical decomposition correspond to an…

For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a…

Hazewinkel proved the Ditters conjecture that the algebra of quasisymmetric functions over the integers is free commutative by constructing a nice polynomial basis. In this paper we prove a structure theorem for the algebra of peak…

Let $R$ be any noetherian local ring with residue field $k$, and $A$ the homology of the Koszul complex on a minimal set of generators of the maximal ideal of $R$. In this paper, we show that a minimal free resolution of $k$ over $R$ can be…

We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…

We introduce a moduli space of ``complete quasimaps'' to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$. The construction, following previous work for curves on projective spaces, essentially proceeds by blowing up Ciocan-Fontanine--Kim's space…

We study almost symmetric numerical semigroups and semigroup rings. We describe a characteristic property of the minimal free resolution of the semigroup ring of an almost symmetric numerical semigroup. For almost symmetric semigroups…