Related papers: R\'esolutions libres finies. M\'ethodes constructi…

Let $(Q,\mathfrak n,k)$ be a commutative local Noetherian ring, $f_1,\dots, f_c$ a $Q$-regular sequence in $\mathfrak n$, and $R=Q/(f_1,\dots,f_c)$. Given a complex of finitely generated free $R$-modules, we give a construction of a complex…

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We say $M$ has maximal depth if there is an associated prime $\mathfrak{p}$ of $M$ such that depth $M=\dim R/\mathfrak{p}$. In this paper, we study…

Let $R$ be a commutative ring. We show that pure injective resolutions and pure projective resolutions can be constructed for unbounded complexes of $R$-modules. We use these to obtain a closed symmetric monoidal structure on the unbounded…

This is a rough write-up of my lecture at Kinosaki and two lectures at RIMS workshops in Dec 1996, on work in progress that has not yet reached any really worthwhile conclusion, but contains lots of fun calculations. History of Vafa's…

We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our…

This paper is concerned with the relationships between two concepts, vanishing of cohomology groups and the structure of free resolutions. In particular, we study the connection between vanishing theorems for the local cohomology of…

Let $(R, \frak m)$ be a Noetherian local ring and $M$ a finitely generated $R$-module of dimension $d$. A famous result of Northcott says that if $M$ is Cohen-Macaulay, then the index of reducibility of parameter ideals on $M$ is an…

We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring…

We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past.…

Let R be an n-dimensional Cohen-Macaulay local ring and Q a parameter ideal of R. Suppose that an acyclic complex (F_{\bullet}, \varphi_{\bullet}) of length n of finitely generated free R-modules is given. We put M = Im \varphi_{1}, which…

This survey paper was primarily written as as the support for a course pesented at the JNCF2025: it aims to present some material that illustrates the kind of estimates one can obtain in effective algebraic geometry, for affine polynomial…

Let X be an affine variety and L be a solvable Lie subalgebra of Lie(Aut(X)) generated by a finite collection of locally finite Lie subalgebras. The authors of [arXiv:2507.09679] wondered whether L is itself locally finite. Here we present…

We present a version of arithmetic in all finite types which allows for a definition of equality at higher types for which all congruence are derivable, for which the soundness of the Dialectica interpretation is provable inside the system…

We give multiple descriptions of a topological universe of finitary sets, which can be seen as a natural limit completion of the hereditarily finite sets. This universe is characterized as a metric completion of the hereditarily finite…

We generalize J.-L. Colliot-Thelene's construction of flasque resolutions of reductive group schemes over a field to a broad class of base schemes.

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories with finite limits and colimits. As an…

We study the problem of reconstructing a positive discrete measure on a compact set $K \subseteq \mathbb{R}^n$ from a finite set of moments (possibly known only approximately) via convex optimization. We give new uniqueness results, new…

The aim of this note is to outline the structure of the category of the Gorenstein projective modules for a Nakayama algebra. We are going to introduce the resolution quiver of such an algebra. It provides a fast algorithm in order to…

We extend a series of results due to Makienko, Dominguez and Sienra on the rigidity of some holomorphic dynamical systems with summable critical values to the setting of finite type maps. We also recover a shorter proof of a transversality…

Syzygies capture intricate geometric properties of a subvariety in projective space. However, when the ambient space is a product of projective spaces or a more general smooth projective toric variety, minimal free resolutions over the Cox…