Related papers: R\'esolutions libres finies. M\'ethodes constructi…
Kurz et al. have recently shown that infinite $\lambda$-trees with finitely many free variables modulo $\alpha$-equivalence form a final coalgebra for a functor on the category of nominal sets. Here we investigate the rational fixpoint of…
This is a preliminary version of a book which presents the quantitative homogenization and large-scale regularity theory for elliptic equations in divergence-form. The self-contained presentation gives new and simplified proofs of the core…
Explicit embeddings of the group $\mathbb{Q}$ into a finitely presented group $\mathcal{Q}$ and into a $2$-generator finitely presented group $T_{\mathcal{Q}}$ are suggested. The constructed embeddings reflect questions mentioned by…
Let $M$ be a perfect module of projective dimension 3 in a Gorenstein, local or graded ring $R$. We denote by $\FF$ the minimal free resolution of $M$. Using the generic ring associated to the format of $\FF$ we define higher structure…
A foundational result by C. Huneke and V. Trivedi provides a formula for the depth of an ideal in terms of height, computed over a finite set of prime ideals, for rings that are homomorphic images of regular rings. Building on a result by…
The first part of the present paper is devoted to a systematic construction of continuous-time finite-dimensional integrable systems arising from the rational su(2) Gaudin model through certain contraction procedures. In the second part, we…
We introduce a remarkable subset "the stem" of the set of positive roots of a reduced root system. The stem determines several interesting decompositions of the corresponding reductive Lie algebra. It gives also a nice simple three…
We prove level-by-level upper and lower bounds on the strength of determinacy for finite differences of sets in the hyperarithmetical hierarchy in terms of subsystems of finite-and transfinite-order arithmetic, extending the…
Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology.
We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a…
We survey some recent results in Ramsey theory. We indicate their connections with topological dynamics. On the foundational side, we describe an abstract approach to finite Ramsey theory. We give one new application of the abstract…
Motivated by a recent question of Peyre, we apply the Hardy-Littlewood circle method to count "sufficiently free" rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the…
Given an algebra A, presented by generators and relations, i.e. as a quotient of a tensor algebra by an ideal, we construct a free algebra resolution of A, i.e. a differential graded algebra which is quasi-isomorphic to A and which is…
The resolvent analysis of McKeon & Sharma (2010) recasts the Navier-Stokes equations into an input/output form in which the nonlinear term is treated as a forcing that acts upon the linear dynamics to yield a velocity response. The…
Scoring rules are an important tool for evaluating the performance of probabilistic forecasting schemes. In the binary case, scoring rules (which are strictly proper) allow for a decomposition into terms related to the resolution and to the…
There are many results showing the connection and phenomenon between some low-dimensional manifolds with the profinite completions of their fundamental groups. We focus on some Seifert 4-manifolds about the extent of their profinite…
We use pullbacks of rings to realize the submonoids $M$ of $(\N_0\cup\{\infty\})^k$ which are the set of solutions of a finite system of linear diophantine inequalities as the monoid of isomorphism classes of countably generated projective…
In earlier work, the author classified rigid representations of a quiver by finitely generated free modules over a principal ideal ring. Here we extend the results to representations of a quiver by finitely generated projective modules over…
This paper surveys basic properties of finite presentation in groups, Lie algebras and rings. It includes some new results and also new, more elementary proofs, of some results that are already in the literature. In particular, we discuss…
We prove that finitely generated free metabelian groups $\Psi_n$ are profinitely rigid in the absolute sense: they are distinguished by their finite quotients among all finitely generated residually finite groups. The proof is based on a…