Généralisation du groupe fondamental

Combinatoire autour du groupe symétrique

Publications Du Groupe « Vérification Et Méthodes Formelles »

titative model-checking of one-clock timed automata under probabilistic semantics. [4] Bernard Boigelot and Julien Brusten. A generalization of cobham's theorem to automata over real numbers.

Sur les sous-groupes nilpotents du groupe de Cremona

We describe the nilpotent subgroups of the group Bir(P(C)) of birational transformations of the complex projective plane. Let N be a nilpotent subgroup of class k > 1; then either each element of N has finite order, or N is virtually metabelian.

A correction to Conducteur des Représentations du groupe linéaire

Nadir Matringe has indicated to me that the paper Conducteur des Représentations du groupe linéaire ([JPSS81a], citeError2) contains an error. I correct the error in this note. The correct proof is actually simpler than the erroneous proof. Separately, Matringe has given a different, interesting proof of the result in question ([Mat11]). We recall the result in question. Let F be a local field....

Rigidity and L2 cohomology of hyperbolic manifolds

— When X = Γ\Hn is a real hyperbolic manifold, it is already known that if the critical exponent is small enough then some cohomology spaces and some spaces of L2 harmonic forms vanish. In this paper, we show rigidity results in the borderline case of these vanishing results. Résumé. — La petitesse de l’exposant critique du groupe fondamental d’une variété hyperbolique implique des résultats d’...