Related papers: Complete intersections and mod p cochains

In previous works, we studied intersection homotopy groups associated to a Goresky and MacPherson perversity and a filtered space. They are defined as the homotopy groups of simplicial sets introduced by P. Gajer. We particularized to…

It is well-known that for a large class of local rings of positive characteristic, including complete intersection rings, the Frobenius endomorphism can be used as a test for finite projective dimension. In this paper, we exploit this…

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our…

We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…

It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important…

We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The…

Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…

The total homology of the loop space of the configuration space of ordered distinct n points in R^m has a structure of a Hopf algebra defined by the 4-term relations if m>2. We describe a relation of between the cohomology of this loop…

In this paper we develop a general theory of modules which are invariant under automorphisms of their covers and envelopes. When applied to specific cases like injective envelopes, pure-injective envelopes, cotorsion envelopes, projective…

We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and…

We prove a version of the BKK theorem for the ring of conditions of a spherical homogeneous space $G/H$. We also introduce the notion of ring of complete intersections, firstly for a spherical homogeneous space and secondly for an arbitrary…

We prove a necessary condition for the existence of the $A_p$-structure on ${\rm mod}~p$ spaces, and also derive a simple proof for the finiteness of the number of ${\rm mod}~p$ $A_p$-spaces of given rank. As a direct application, we…

The study of rings and modules with homological criteria is a cornerstone of commutative algebra. Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. In this paper, a relative…

In a series of papers the authors associated to an $L^2$-acyclic group $\Gamma$ an invariant $\mathcal{P}(\Gamma)$ that is a formal difference of polytopes in the vector space $H_1(\Gamma;\Bbb{R})$. This invariant is in particular defined…

We prove that for any prime $p$ the finite $p$-groups of fixed coclass have only finitely many different mod-$p$ cohomology rings between them. This was conjectured by Carlson; we prove it by first proving a stronger version for groups of…

The positive cohomology groups of a finite group acting on a ring vanish when the ring has a norm-one element. In this note we give explicit homotopies on the level of cochains when the group is cyclic, which allows us to express any…

We define and study the notion of a crossed module over an inverse semigroup and the corresponding $4$-term exact sequences, called crossed module extensions. For a crossed module $A$ over an $F$-inverse monoid $T$, we show that equivalence…

In this paper, we provide constructions to enumerate large numbers of CI-liaison classes. To this end, we introduce a liaison invariant and prove several results concerning it, notably that it commutes with hypersurface sections. This…

Suppose V is a finite dimensional, complex vector space, A is a finite set of codimension one subspaces of V, and G is a finite subgroup of the general linear group GL(V) that permutes the hyperplanes in A. In this paper we study invariants…

Throughout $A$ will denote commutative noetherian ring, with $\dim A=d\geq 2$, and $P$ denote a projective $A$-module with $rank(P)=n$. In \cite{MM1} we considered the Homotopy obstruction sets $\pi_0\left({\mathcal LO}(P)\right)$, which…