Related papers: A canonical embedding of $\textbf{Aut}_{\textbf{ho…

Let $\mathcal{C}$ be the moduli space of smooth complex cubic surfaces and let $\pi_1(\mathcal{C})$ be its (orbifold) fundamental group. We prove that the ``divisor subgroup'' of $\pi_1(\mathcal{C})$ is characteristic. This can be…

We show the singular ideal in a non-Hausdorff \'etale groupoid C*-algebra is zero if and only if every unit is contained, at the level of group representation theory, in the collection of subgroups of the unit's isotropy group obtained as…

We study the (virtual) indicability of the automorphism group $Aut(A_\Gamma)$ of the right-angled Artin group $A_\Gamma$ associated to a simplicial graph $\Gamma$. First, we identify two conditions -- denoted (B1) and (B2) -- on $\Gamma$…

By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$, the automorphism group of the…

A graphs of rank n (homotopy equivalent to a wedge of n circles) without ``separating edges'' has a canonical n-dimensional compact C^1 manifold thickening. This implies that the canonical homomorphism f:Out(F_n)-> GL(n,Z) is trivial in…

An algebra group over a field $F$ is a group of the form $G = 1+J$ where $J$ is a finite-dimensional nilpotent associative $F$-algebra. A theorem of M. Boyarchenko asserts that, in the case where $F$ is a non-archimedean local field, every…

We characterize the infinitesimal generator of a semigroup of linear fractional self-maps of the unit ball in $\mathbb C^n$, $n\geq 1$. For the case $n=1$ we also completely describe the associated Koenigs function and we solve the…

We prove the existence and the essential uniqueness of canonical models for the forward (resp. backward) iteration of a holomorphic self-map $f$ of a cocompact Kobayashi hyperbolic complex manifold, such as the ball $\mathbb{B}^q$ or the…

For an affine algebraic variety $X$, we study the subgroup $\mathrm{Aut}_{\text{alg}}(X)$ of the group of regular automorphisms $\mathrm{Aut}(X)$ of $X$ generated by all the connected algebraic subgroups. We prove that…

We show that if $E$ is a closed convex set in $\mathbb C^n$ $(n>1)$ contained in a closed halfspace $H$ such that $E\cap bH$ is nonempty and bounded, then the concave domain $\Omega = \mathbb C^n\setminus E$ contains images of proper…

We undertake a systematic study of the so-called $2$-adic ring $C^*$-algebra $\mathcal{Q}_2$. This is the universal $C^*$-algebra generated by a unitary $U$ and an isometry $S_2$ such that $S_2U=U^2S_2$ and $S_2S_2^*+US_2S_2^*U^*=1$.…

We prove definable versions of the Universal Coefficient Theorems of Eilenberg--Mac Lane expressing the (Steenrod) homology groups of a compact metrizable space in terms of its integral cohomology groups, and the (\v{C}ech) cohomology…

Apart from math.AG/0608569, it contains the following applications of it. Let M be a simply connected, irreducible smooth complex projective variety of dimension $n$ such that the Picard number of $M$ is one. If the canonical line bundle…

Let $k$ be an algebraically-closed field, and $B$ a unital, associative $k$-algebra with $n := \dim_kB < \infty$. For each $1 \le m \le n$, the collection of all $m$-dimensional subalgebras of $B$ carries the structure of a projective…

Let $D$ be a simple derivation of the polynomial ring $\mathbb{k}[x_1,\dots,x_n]$, where $\mathbb{k}$ is an algebraically closed field of characteristic zero, and denote by…

This paper defines a pairing of two finite Hopf C*-algebras $A$ and $B$, and investigates the interactions between them. If the pairing is non-degenerate, then the quantum double construction is given. This construction yields a new finite…

We give a sufficient condition on a finite $p$-group $G$ of nilpotency class 2 so that $\Aut_c(G) = \Inn(G)$, where $\Aut_c(G)$ and $\Inn(G)$ denote the group of all class preserving automorphisms and inner automorphisms of $G$…

In this paper, we study the action on C^n of any group G of holomorphic diffeomorphisms (automorphisms) of C^n fixing 0. Suppose that there is x in C^n, having an orbit which generates C^n and also E(x)=C^n, where E(x) is the vector space…

We study the approximately finite-dimensional (AF) $C^*$-algebras that appear as inductive limits of sequences of finite-dimensional $C^*$-algebras and left-invertible embeddings. We show that there is such a separable AF-algebra $\mathcal…

Let U be the open unit disc in C and let B be the open unit ball in C^2. We prove that every discrete subset of B is contained in the range f(U) of a complete, proper holomorphic embedding f:U-->B. Here the completeness of f means that for…