The goal of this paper is to prove that if certain ‘standard’ conjectures on motives over algebraically closed fields hold, then over any ‘reasonable’ scheme $S$ there exists a motivic$t$-structure for the category $\text{DM}_{c}(S)$ of relative Voevodsky’s motives (to be more precise, for the Beilinson motives described by Cisinski and Deglise). If $S$ is of finite type over a field, then the heart of this $t$-structure (the category of mixed motivic sheaves over $S$) is endowed with a weight filtration with semisimple factors. We also prove a certain ‘motivic decomposition theorem’ (assuming the conjectures mentioned) and characterize semisimple motivic sheaves over $S$ in terms of those over its residue fields. Our main tool is the theory of weight structures. We actually prove somewhat more than the existence of a weight filtration for mixed motivic sheaves: we prove that the motivic $t$-structure is transversal to the Chow weight structure for $\text{DM}_{c}(S)$ (that was introduced previously by Hébert and the author). We also deduce several properties of mixed motivic sheaves from this fact. Our reasoning relies on the degeneration of Chow weight spectral sequences for ‘perverse étale homology’ (which we prove unconditionally); this statement also yields the existence of the Chow weight filtration for such (co)homology that is strictly restricted by (‘motivic’) morphisms.

Let R be a complete intersection ring, and let M and N be R-modules. It is shown that the vanishing of ExtiR(M, N) for a certain number of consecutive values of i starting at n forces the complete intersection dimension of M to be at most n–1. We also estimate the complete intersection dimension of M*, the dual of M, in terms of vanishing of cohomology modules, ExtiR(M,N).

In this paper, we prove that cyclic homology, topological cyclic homology, and algebraic $K$-theory satisfy a pro Mayer–Vietoris property with respect to abstract blow-up squares of varieties, in both zero and finite characteristic. This may be interpreted as the well-definedness of $K$-theory with compact support.

Grothendieck duality theory assigns to essentially finite-type maps $f$ of noetherian schemes a pseudofunctor $f^{\times }$ right-adjoint to $\mathsf{R}f_{\ast }$, and a pseudofunctor $f^{!}$ agreeing with $f^{\times }$ when $f$ is proper, but equal to the usual inverse image $f^{\ast }$ when $f$ is étale. We define and study a canonical map from the first pseudofunctor to the second. This map behaves well with respect to flat base change, and is taken to an isomorphism by ‘compactly supported’ versions of standard derived functors. Concrete realizations are described, for instance for maps of affine schemes. Applications include proofs of reduction theorems for Hochschild homology and cohomology, and of a remarkable formula for the fundamental class of a flat map of affine schemes.

In order to develop the foundations of derived logarithmic geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log-étale maps, and use them to define derived log stacks.

We study the interplay between the cohomology of the Koszul complex of the partial derivatives of a homogeneous polynomial f and the pole order filtration P on the cohomology of the open set U = ℙn \ D, with D the hypersurface defined by f = 0. The relation is expressed by some spectral sequences. These sequences may, on the one hand, in many cases be used to determine the filtration P for curves and surfaces and, on the other hand, to obtain information about the syzygies involving the partial derivatives of the polynomial f. The case of a nodal hypersurface D is treated in terms of the defects of linear systems of hypersurfaces of various degrees passing through the nodes of D. When D is a nodal surface in ℙ3, we show that F2H3(U) ≠ P2H3(U) as soon as the degree of D is at least 4.

We develop some basic homological theory of hopfological algebra as defined by Khovanov [Hopfological algebra and categorification at a root of unity: the first steps, Preprint (2006), arXiv:math/0509083v2]. Several properties in hopfological algebra analogous to those of usual homological theory of DG algebras are obtained.

In this paper, we further study Tate cohomology of modules over a commutative ring with respect to semidualizing modules using the ideals of Sather-Wagstaff et al. [‘Tate cohomology with respect to semidualizing modules’, J. Algebra 324 (2010), 2336–2368]. In particular, we prove a balance result for the Tate cohomology ${\widehat{\mathrm{Ext} }}^{n} $ for any $n\in \mathbb{Z} $. This result complements the work of Sather-Wagstaff et al., who proved that the result holds for any $n\geq 1$. We also discuss some vanishing properties of Tate cohomology.

Let $\mathfrak{a}$ be a homogeneous ideal of a polynomial ring $R$ in $n$ variables over a field $\mathbb{k}$. Assume that $\mathrm{depth} (R/ \mathfrak{a})\geq t$, where $t$ is some number in $\{ 0, \ldots , n\} $. A result of Peskine and Szpiro says that if $\mathrm{char} (\mathbb{k})\gt 0$, then the local cohomology modules ${ H}_{\mathfrak{a}}^{i} (M)$ vanish for all $i\gt n- t$ and all $R$-modules $M$. In characteristic $0$, there are counterexamples to this for all $t\geq 4$. On the other hand, when $t\leq 2$, by exploiting classical results of Grothendieck, Lichtenbaum, Hartshorne and Ogus it is not difficult to extend the result to any characteristic. In this paper we settle the remaining case; specifically, we show that if $\mathrm{depth} (R/ \mathfrak{a})\geq 3$, then the local cohomology modules ${ H}_{\mathfrak{a}}^{i} (M)$ vanish for all $i\gt n- 3$ and all $R$-modules $M$, whatever the characteristic of $\mathbb{k}$ is.

Let $R$ be a commutative Noetherian ring, $M$ be a finitely generated $R$-module and $\mathfrak{a}$ be an ideal of $R$ such that $\mathfrak{a}M\not = M$. We show among the other things that, if $c$ is a nonnegative integer such that ${ H}_{\mathfrak{a}}^{i} (M)= 0$ for all $i\lt c$, then there is an isomorphism $\mathrm{End} ({ H}_{\mathfrak{a}}^{c} (M))\cong { \mathrm{Ext} }_{R}^{c} ({ H}_{\mathfrak{a}}^{c} (M), M)$; and if $c$ is a nonnegative integer such that ${ H}_{\mathfrak{a}}^{i} (M)= 0$ for all $i\not = c$, there are the following isomorphisms:

(i) $~\quad{ H}_{\mathfrak{b}}^{i} ({ H}_{\mathfrak{a}}^{c} (M))\cong { H}_{\mathfrak{b}}^{i+ c} (M)$ and

(ii) $\quad{ \mathrm{Ext} }_{R}^{i} (R/ \mathfrak{b}, { H}_{\mathfrak{a}}^{c} (M))\cong { \mathrm{Ext} }_{R}^{i+ c} (R/ \mathfrak{b}, M)$

for all $i\in { \mathbb{N} }_{0} $ and all ideals $\mathfrak{b}$ of $R$ with $\mathfrak{b}\supseteq \mathfrak{a}$. We also prove that if $\mathfrak{a}$ and $\mathfrak{b}$ are ideals of $R$ with $\mathfrak{b}\supseteq \mathfrak{a}$ and $c: = \mathrm{grade} (\mathfrak{a}, M)$, then there exists a natural homomorphism from $\mathrm{End} ({ H}_{\mathfrak{a}}^{c} (M))$ to $\mathrm{End} ({ H}_{\mathfrak{b}}^{c} (M))$, where $\mathrm{grade} (\mathfrak{a}, M)$ is the maximum length of $M$-sequences in $\mathfrak{a}$.

A recent result of Eisenbud–Schreyer and Boij–Söderberg 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 actual filtration of the minimal free resolution? Our main result gives a sufficient condition for this to happen. We apply it to show the non-existence of free resolutions with some plausible-looking Betti diagrams and to study the semigroup of quiver representations of the simplest ‘wild’ quiver.

Let $S$ be a polynomial ring over a field $K$ and let $I$ be a monomial ideal of $S$. We say that $I$ is MHC (that is, $I$ satisfies the maximal height condition for the associated primes of $I$) if there exists a prime ideal $\mathfrak{p}\in {\mathrm{Ass} }_{S} \hspace{0.167em} S/ I$ for which $\mathrm{ht} (\mathfrak{p})$ equals the number of indeterminates that appear in the minimal set of monomials generating $I$. Let $I= { \mathop{\bigcap }\nolimits}_{i= 1}^{k} {Q}_{i} $ be the irreducible decomposition of $I$ and let $m(I)= \max \{ \vert Q_{i}\vert - \mathrm{ht} ({Q}_{i} ): 1\leq i\leq k\} $, where $\vert {Q}_{i} \vert $ denotes the total degree of ${Q}_{i} $. Then it can be seen that when $I$ is primary, $\mathrm{reg} (S/ I)= m(I)$. In this paper we improve this result and show that whenever $I$ is MHC, then $\mathrm{reg} (S/ I)= m(I)$ provided $\vert {\mathrm{Ass} }_{S} \hspace{0.167em} S/ I\vert \leq 2$. We also prove that $m({I}^{n} )\leq n\max \{ \vert Q_{i}\vert : 1\leq i\leq ~k\} - \mathrm{ht} (I)$, for all $n\geq 1$. In addition we show that if $I$ is MHC and $w$ is an indeterminate which is not in the monomials generating $I$, then $\mathrm{reg} (S/ \mathop{(I+ {w}^{d} S)}\nolimits ^{n} )\leq \mathrm{reg} (S/ I)+ nd- 1$ for all $n\geq 1$ and $d$ large enough. Finally, we implement an algorithm for the computation of $m(I)$.

We study the top left derived functors of the generalised $I$-adic completion and obtain equivalent properties concerning the vanishing or nonvanishing of the modules ${L}_{i} {\Lambda }_{I} (M, N)$. We also obtain some results for the sets $\text{Coass} ({L}_{i} {\Lambda }_{I} (M; N))$ and ${\text{Cosupp} }_{R} ({ H}_{i}^{I} (M; N))$.

Let $\mathcal S$ be a Serre subcategory of the category of $R$-modules, where $R$ is a commutative Noetherian ring. Let $\mathfrak a$ and $\mathfrak b$ be ideals of $R$ and let $M$ and $N$ be finite $R$-modules. We prove that if $N$ and $H^i_{\mathfrak a}(M,N)$ belong to $\mathcal S$ for all $i\lt n$ and if $n\leq \mathrm {f}$-$\mathrm {grad}({\mathfrak a},{\mathfrak b},N )$, then $\mathrm {Hom}_{R}(R/{\mathfrak b},H^n_{{\mathfrak a}}(M,N))\in \mathcal S$. We deduce that if either $H^i_{\mathfrak a}(M,N)$ is finite or $\mathrm {Supp}\,H^i_{\mathfrak a}(M,N)$ is finite for all $i\lt n$, then $\mathrm {Ass}\,H^n_{\mathfrak a}(M,N)$ is finite. Next we give an affirmative answer, in certain cases, to the following question. If, for each prime ideal ${\mathfrak {p}}$ of $R$, there exists an integer $n_{\mathfrak {p}}$ such that $\mathfrak b^{n_{\mathfrak {p}}} H^i_{\mathfrak a R_{\mathfrak {p}}}({M_{\mathfrak {p}}},{N_{\mathfrak {p}}})=0$ for every $i$ less than a fixed integer $t$, then does there exist an integer $n$ such that $\mathfrak b^nH^i_{\mathfrak a}(M,N)=0$ for all $i\lt t$? A formulation of this question is referred to as the local-global principle for the annihilation of generalised local cohomology modules. Finally, we prove that there are local-global principles for the finiteness and Artinianness of generalised local cohomology modules.

We show that the Hilbert scheme, that parameterizes all ideals with the same Hilbert function over a Clements–Lindström ring W, is connected. More precisely, we prove that every graded ideal is connected by a sequence of deformations to the lex-plus-powers ideal with the same Hilbert function. This is an analogue of Hartshorne’s theorem that Grothendieck’s Hilbert scheme is connected. We also prove a conjecture by Gasharov, Hibi, and Peeva that the lex ideal attains maximal Betti numbers among all graded ideals in W with a fixed Hilbert function.

Generalizing a result of Yoshinaga in dimension three, we show that a central hyperplane arrangement in 4-space is free exactly if its restriction with multiplicities to a fixed hyperplane of the arrangement is free and its reduced characteristic polynomial equals the characteristic polynomial of this restriction. We show that the same statement holds true in any dimension when imposing certain tameness hypotheses.

Let (R,m) be a Noetherian local ring and UR=Spec(R)−{m} be the punctured spectrum of R. Gabber conjectured that if R is a complete intersection of dimension three, then the abelian group Pic(UR) is torsion-free. In this note we prove Gabber’s statement for the hypersurface case. We also point out certain connections between Gabber’s conjecture, Van den Bergh’s notion of non-commutative crepant resolutions and some well-studied questions in homological algebra over local rings.

We show that if the given cotorsion pair in the category of modules is complete and hereditary, then both of the induced cotorsion pairs in the category of complexes are complete. We also give a cofibrantly generated model structure that can be regarded as a generalization of the projective model structure.

The Möbius inversion formula for a locally finite partially ordered set is realized as a Lagrange inversion formula. Schauder bases are introduced to interpret Möbius inversion.