Related papers: R\'esolutions libres finies. M\'ethodes constructi…
We prove the pro-supersolvable closure of a finitely generated subgroup of the free group is finitely generated. It extends similar results for pro-$p$ closures proved by Ribes-Zalesskii and pro-Nilpotent closures proved by…
The main result of this paper is a probabilistic construction of finite rigid structures. It yields a finitely axiomatizable class of finite rigid structures where no L^omega_{infty, omega} formula with counting quantifiers defines a linear…
We give a description of the structure of finite Morse index solutions to two free boundary problems in $\mathbb{R}^2$. These free boundary problems are models of phase transition and they are closely related to minimal hypersurfaces. We…
We discuss the minimal free resolution of an irreducible projective subscheme X. If X is also reduced, we focus on the case when its degree equals two plus the codimension. The set of all possible graded Betti numbers is described if the…
We explain how to use computer experiments over finite fields to gain heuristic information about the solution set of polynomial equations in characteristic zero. These are notes of a tutorial I gave at the NATO Advanced Study Institute on…
We establish a McKay correspondence for finite and linearly reductive subgroup schemes of $\mathrm{SL}_2$ in positive characteristic. As an application, we obtain a McKay correspondence for all rational double point singularities in…
Given a noether algebra with a noncommutative resolution, a general construction of new noncommutative resolutions is given. As an application, it is proved that any finite length module over a regular local or polynomial ring gives rise,…
Given a finite set, $X$, of points in projective space for which the Hilbert function is known, a standard result says that there exists a subset of this finite set whose Hilbert function is ``as big as possible'' inside $X$. Given a finite…
Finite group actions on free resolutions and modules arise naturally in many interesting examples. Understanding these actions amounts to describing the terms of a free resolution or the graded components of a module as group…
We develop a theory of vector-valued heights and intersections defined relative to finitely generated extensions K/k. These generalize both number field and geometric heights. When k is Q or F_p, or when a non-isotriviality condition holds,…
Over a Cohen-Macaulay (CM) local ring, we characterize those modules that can be obtained as a direct limit of finitely generated maximal CM modules. We point out two consequences of this characterization: (1) Every balanced big CM module,…
In this paper, we recursively construct explicit elements of provably high order in finite fields. We do this using the recursive formulas developed by Elkies to describe explicit modular towers. In particular, we give two explicit…
We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and…
We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…
We introduce a constructive method that provides the local solution of general implicit systems in arbitrary dimension via Hamiltonian type equations. A variant of this approach constructs parametrizations of the manifold, extending the…
We search for some splitting (resp. finiteness) criteria of a given module $M$ over a local ring $(R,\fm,k)$ in terms of the splitting (resp. finiteness) property of certain cohomological functors evaluated at $M$. In particular, we deal…
We present a homological characterisation of those chain complexes of modules over a Laurent polynomial ring in several indeterminates which are finitely dominated over the ground ring (that is, are a retract up to homotopy of a bounded…
A free resolution of free partially commutative monoids is constructed and with its help the homological dimension of these monoids is calculated.
Repetitiveness in projective and injective resolutions and its influence on homological dimensions are studied. Some variations on the theme of repetitiveness are introduced, and it is shown that the corresponding invariants lead to very…
By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal…