# Un critère de rationalité provenant de la géométrie non commutative

@article{Duchamp1997UnCD, title={Un crit{\`e}re de rationalit{\'e} provenant de la g{\'e}om{\'e}trie non commutative}, author={G{\'e}rard Duchamp and Christophe Reutenauer}, journal={Inventiones mathematicae}, year={1997}, volume={128}, pages={613-622} }

We prove a conjecture of A. Connes, which gives a rationality criterion for elements of the closure of ℂΓ (Γ a free group) in the space of bounded operators in l2(Γ). We show that this criterion applies also to the ring of Malcev-Neumann series on Γ.

## 37 Citations

### Brzozowski's Derivatives Extended to Multiplicities

- MathematicsCIAA
- 2001

Our aim is to study the set of K-rational expressions describing rational series. More precisely we are concerned with the definition of quotients of this set by coarser and coarser congruences which…

### Rational series in the free group and the Connes operator

- Mathematics
- 2018

We characterize rational series over the free group by using an operator introduced by A. Connes. We prove that rational Malcev--Neumann series posses rational expressions without simplifications.…

### A characterization of rationality in free semicircular operators

- MathematicsJournal of Functional Analysis
- 2022

### Independence of Hyperlogarithms over Function Fields via Algebraic Combinatorics

- MathematicsCAI
- 2011

This work obtains a necessary and sufficient condition for the linear independence of solutions of differential equations for hyperlogarithms and extends the property of linear independence to the largest known ring of coefficients.

### On a conjecture by Pierre Cartier about a group of associators

- Mathematics
- 2009

In Cartier (Fonctions polylogarithmes, nombres polyzetas et groupes pro-unipotents. Sem. BOURBAKI, 53eme 2000–2001, no. 885), Pierre Cartier conjectured that for any non-commutative formal power…

### Three variations on the linear independence of grouplikes in a coalgebra

- Mathematics
- 2020

The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a…

### Finite solvable groups with a rational skew-field of noncommutative real rational invariants

- MathematicsCommunications in Algebra
- 2022

. For abelian groups the invariant skew-ﬁelds are always rational. We show that for a solvable group the invariant skew-ﬁeld is ﬁnitely generated. The skew-ﬁeld invariant under a linear action of a…

### Some Interfaces between Noncommutative Ring Theory and Operator Algebras

- MathematicsIrish Mathematical Society Bulletin
- 2003

In this talk, I will present a unified approach to several constructions in operator algebras that are related to the algebraic theory of rings of quotients, thus showing deep relations between…

### Convergence for noncommutative rational functions evaluated in random matrices

- Mathematics
- 2021

. One of the main applications of free probability is to show that for appropriately chosen independent copies of d random matrix models, any noncommutative polynomial in these d variables has a…

## References

SHOWING 1-10 OF 17 REFERENCES

### Fields of fractions for group algebras of free groups

- Mathematics
- 1974

Let KF be the group algebra over the commutative field K of the free group F. It is proved that the field generated by KF in any Mal'cev-Neumann embedding for KF is the universal field of fractions…

### Noncommutative symmetric functions

- Mathematics
- 1994

This paper presents a noncommutative theory of symmetric functions, based on the notion of quasi-determinant. We begin with a formal theory, corresponding to the case of symmetric functions in an…

### On a Theorem of R. Jungen

- Mathematics
- 1962

Let us recall the following elementary result in the theory of analytic functions in one variable.

### Séries de Malcev-Neumann sur le groupe libre et questions de ratonalité

- MathematicsTheor. Comput. Sci.
- 1992

### The algebraic structure of group rings

- Mathematics
- 1977

$m_{i}$ . Then $A_{i}$ has the rank $r_{i}q_{i}^{2}m_{i}^{2}$ over K. We shall call the numbers $n\ell_{i}$ the Sckur indice $s^{\neg}$ of $\mathfrak{G}$ , since they first occurred in the work of 1.…

### Noncommutative Geometry

- Mathematics
- 1997

Noncommutative Spaces It was noticed a long time ago that various properties of sets of points can be restated in terms of properties of certain commutative rings of functions over those sets. In…