Source author record

Luc Guyot

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
3topics
4close collaborators

Published work

7 publications

preprint2022arXiv

The multivariate Serre conjecture ring

It is well-known that for any commutative unitary ring R\mathbf{R}, the Serre conjecture ring R⟨X⟩\mathbf{R}\langle X \rangle, i.e., the localization of the univariate polynomial ring R[X]\mathbf{R}[X] at monic polynomials, is a Bézout domain of Krull dimension ≤1\leq 1 if so is R\mathbf{R}. Consequently, defining by induction R⟨X1,…,Xn⟩:=(R⟨X1,…,Xn−1⟩)⟨Xn⟩\mathbf{R}\langle X_1,\ldots,X_n \rangle:=(\mathbf{R}\langle X_1,\ldots,X_{n-1}\rangle)\langle X_n\rangle, the ring R⟨X1,…,Xn⟩\mathbf{R}\langle X_1,\ldots,X_n \rangle is a Bézout domain of Krull dimension ≤1\leq 1 if so is R\mathbf{R}. The fact that R⟨X1,…,Xn⟩\mathbf{R}\langle X_1,\ldots,X_n \rangle is a Bézout domain when R\mathbf{R} is a valuation domain of Krull dimension ≤1\leq 1 was the cornerstone of Brewer and Costa's theorem stating that if R\mathbf{R} is a one-dimensional arithmetical ring then finitely generated projective R[X1,…,Xn]\mathbf{R}[X_1,\dots,X_n]-modules are extended. It is also the key of the proof of the Gröbner Ring Conjecture in the lexicographic order case, namely the fact that for any valuation domain R\mathbf{R} of Krull dimension ≤1\leq 1, any n∈N>0n \in \mathbb{N}_{>0}, and any finitely generated ideal II of R[X1,…,Xn]\mathbf{R}[X_1, \dots, X_n], the ideal LT⁡(I)\operatorname{LT}(I) generated by the leading terms of the elements of II with respect to the lexicographic monomial order is finitely generated. Since the ring R⟨X1,…,Xn⟩\mathbf{R}\langle X_1,\ldots,X_n\rangle can also be defined directly as the localization of the multivariate polynomial ring R[X1,…,Xn]\mathbf{R}[X_1,\dots,X_n] at polynomials whose leading coefficients according to the lexicographic monomial order with X1<X2<⋯<XnX_1<X_2<\cdots<X_n is 11, we propose to generalize the fact that R⟨X1,…,Xn⟩\mathbf{R}\langle X_1,\ldots,X_n\rangle is a Bézout domain of Krull dimension ≤1\leq 1 if so is R\mathbf{R} to any rational monomial order, bolstering the evidence for the Gröbner Ring Conjecture in the rational case.

preprint2010arXiv

Limits of Baumslag-Solitar groups and dimension estimates in the space of marked groups

We prove that the limits of Baumslag-Solitar groups which we previously studied are non-linear hopfian C*-simple groups with infinitely many twisted conjugacy classes. We exhibit infinite presentations for these groups, classify them up to group isomorphism, describe their automorphisms and discuss the word and conjugacy problems. Finally, we prove that the set of these groups has non-zero Hausforff dimension in the space of marked groups on two generators.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.