<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title>Non-commutative Khintchine type inequalities associated with free groups</dc:title>
<dc:creator>Javier Parcet</dc:creator><dc:creator>Gilles Pisier</dc:creator>
<dc:subject>46L07</dc:subject><dc:subject>46L52</dc:subject><dc:subject>46L54</dc:subject><dc:subject>non-commutative Khintchine inequality</dc:subject><dc:subject>Fell&#39;s absorption principle</dc:subject><dc:subject>free group</dc:subject>
<dc:description>Let $\mathbf{F}_n$ denote the free group with $n$ generators $g_1$, $g_2$, $\dots$, $g_n$. Let $\lambda$ stand for the left regular representation of $\mathbf{F}_n$ and let $\tau$ be the standard trace associated to $\lambda$. Given any positive integer $d$, we study the operator space structure of the subspace $\mathcal{W}_p(n,d)$ of $L_p(\tau)$ generated by the family of operators $\lambda(g_{i_1}g_{i_2}\cdots g_{i_d})$ with $1 \le i_k \le n$. Moreover, our description of this operator space holds up to a constant which does not depend on $n$ or $p$, so that our result remains valid for infinitely many generators. We also consider the subspace of $L_p(\tau)$ generated by the image under $\lambda$ of the set of reduced words of length $d$. Our result extends to any exponent $1 \le p \le \infty$ a previous result of Buchholz for the space $\mathcal{W}_{\infty}(n,d)$. The main application is a certain interpolation theorem, valid for any degree $d$ (extending a result of the second author, restricted to $d=1$). In the simplest case $d=2$, our theorem can be stated as follows: Consider the space $\mathcal{K}_p$ formed of all block matrices $a = (a_{ij})$ with entries in the Schatten class $S_p$, such that $a$ is in $S_p$ relative to $\ell_2 otimes \ell_2$ and, moreover, such that $(\sum_{ij}a_{ij}^{*} a_{ij})^{1/2}$ and $(\sum_{ij}a_{ij} a_{ij}^{*})^{1/2}$ both belong to $S_p$. We equip $\mathcal{K}_p$ with the maximum of the three corresponding norms. Then, for $2 \le p \le \infty$, we have $\mathcal{K}_p \simeq (\mathcal{K}_2,\mathcal{K}_{\infty})_{\theta}$ with $1/p = (1 - \theta)/2$.</dc:description>
<dc:publisher>Indiana University Mathematics Journal</dc:publisher>
<dc:date>2005</dc:date>
<dc:type>text</dc:type>
<dc:format>pdf</dc:format>
<dc:identifier>10.1512/iumj.2005.54.2612</dc:identifier>
<dc:source>10.1512/iumj.2005.54.2612</dc:source>
<dc:language>en</dc:language>
<dc:relation>Indiana Univ. Math. J. 54 (2005) 531 - 556</dc:relation>
<dc:coverage>state-of-the-art mathematics</dc:coverage>
<dc:rights>http://iumj.org/access/</dc:rights>
</oai_dc:dc>