<?xml version="1.0"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"

"http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd">

<html xmlns="http://www.w3.org/1999/xhtml"

xmlns:math="http://www.w3.org/1998/Math/MathML"

xmlns:xlink="http://www.w3.org/1999/xlink">
<link rel="stylesheet" type="text/css" href="../makotosite.css" />
<head>

<title>Quotients and unit balls</title>

</head>

<body>
<div class="header"><p>				<a href="../index.html">makotosite</a> : <a href="opsem.html">Operator theory seminars</a> : Quotients and unit balls			</p></div>
<h1 class="title">Quotients and Unit Balls</h1>

<p>Let <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>A</mi>



</math> be an C*-algebra, <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>I</mi>



</math> an closed ideal of <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>A</mi>



</math> and <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>&pi;</mi>

<mo>:</mo><mi>A</mi><mo>&rightarrow;</mo><mi>A</mi><mo>/</mo><mi>I</mi>

</math> the canonical projection. Then we have <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>&pi;</mi>

<mo>(</mo><msub><mi>A</mi> <mn>1</mn></msub><mo>)</mo><mo>=</mo><msub><mrow><mi>&pi;</mi>

<mo>(</mo><mi>A</mi><mo>)</mo></mrow> <mn>1</mn></msub>

</math> (<math xmlns='http://www.w3.org/1998/Math/MathML'>

<mo>&subset;</mo>



</math> is obvious) as follows.</p>



<p>First we cosider the unital case. Let <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>x</mi>



</math> be an element whose

image under <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>&pi;</mi>



</math> is in the unit ball, i.e. <math xmlns='http://www.w3.org/1998/Math/MathML'>

<msup><mrow><mi>&pi;</mi>

<mo>(</mo><mi>x</mi><mo>)</mo></mrow> <mo>*</mo></msup>

<mi>&pi;</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>&leq;</mo><mn>1</mn>

</math>. Consider a function
<math xmlns='http://www.w3.org/1998/Math/MathML' display="block">
<mi>f</mi><mfenced><mi>x</mi></mfenced><mo>=</mo><mfenced open="{" close=""><mtable><mtr><mtd><mn>1</mn></mtd><mtd><mfenced><mrow><mn>1</mn><mo>&lt;</mo><mi>t</mi></mrow></mfenced></mtd></mtr>
<mtr><mtd><mi>t</mi></mtd><mtd><mfenced><mrow><mo>-</mo><mn>1</mn><mo>&#x2264;</mo><mi>t</mi><mo>&#x2264;</mo><mn>1</mn></mrow></mfenced></mtd></mtr>
<mtr><mtd><mn>1</mn></mtd><mtd><mfenced><mrow><mi>t</mi><mo>&lt;</mo><mo>-</mo><mn>1</mn></mrow></mfenced></mtd></mtr>
</mtable></mfenced>
</math>
 on the real line. Then we have <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>f</mi>

<mo>(</mo><msup><mi>x</mi> <mo>*</mo></msup><mi>x</mi><mo>)</mo><mo>&leq;</mo><mn>1</mn>

</math> and <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>&pi;</mi>

<mo>(</mo><mi>f</mi><mo>(</mo><msup><mi>x</mi> <mo>*</mo></msup><mi>x</mi><mo>)</mo><mo>)</mo><mo>=</mo><mi>f</mi><mo>(</mo><mi>&pi;</mi><mo>(</mo><msup><mi>x</mi> <mo>*</mo></msup><mi>x</mi><mo>)</mo><mo>)</mo><mo>=</mo><msup><mrow><mi>&pi;</mi>

<mo>(</mo><mi>x</mi><mo>)</mo></mrow> <mo>*</mo></msup><mi>&pi;</mi><mo>(</mo><mi>x</mi><mo>)</mo>

</math>. Put

<math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>k</mi>

<mo>=</mo><msup><mi>x</mi> <mo>*</mo></msup><mi>x</mi><mo>-</mo><mi>f</mi><mo>(</mo><msup><mi>x</mi> <mo>*</mo></msup><mi>x</mi><mo>)</mo>

</math>. This is in the kernel of <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>&pi;</mi>



</math> and so is its

positive part <math xmlns='http://www.w3.org/1998/Math/MathML'>

<msub><mi>k</mi> <mo>+</mo></msub>



</math> (<math xmlns='http://www.w3.org/1998/Math/MathML'>

<mo lspace="0em" rspace="thinmathspace">ker</mo>

<mi>&pi;</mi>

</math> is a sub C*-algebra of <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>A</mi>



</math>). We have

<math xmlns='http://www.w3.org/1998/Math/MathML'>

<msup><mi>x</mi> <mo>*</mo></msup>

<mi>x</mi><mo>=</mo><mi>f</mi><mo>(</mo><msup><mi>x</mi> <mo>*</mo></msup><mi>x</mi><mo>)</mo><mo>+</mo><mi>k</mi><mo>&leq;</mo><mn>1</mn><mo>+</mo><msub><mi>k</mi> <mo>+</mo></msub>

</math>. <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>x</mi>

<msup><mrow><mo>(</mo>

<mn>1</mn><mo>+</mo><msub><mi>k</mi> <mo>+</mo></msub><mo>)</mo></mrow> <mrow><mo lspace="thinthinmathspace" rspace="0em">-</mo>

<mfrac><mrow><mn>1</mn>

</mrow><mrow><mn>2</mn>

</mrow></mfrac></mrow></msup>

</math> is

in the unit ball and mapped to <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>&pi;</mi>

<mo>(</mo><mi>x</mi><mo>)</mo>

</math>.</p>



<p>In the non unital case, consider the unitization <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>uA</mi>



</math> of <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>A</mi>



</math>.

Then <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>I</mi>



</math> is identified to a closed ideal of <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>uA</mi>



</math> and we have

<math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>u</mi>

<mo>(</mo><mi>A</mi><mo>/</mo><mi>I</mi><mo>)</mo><mo lspace="0em" rspace="thinmathspace">&#x2243;</mo><mi>uA</mi><mo>/</mo><mi>I</mi>

</math>. Any element of <math xmlns='http://www.w3.org/1998/Math/MathML'>

<msub><mrow><mo>(</mo>

<mi>A</mi><mo>/</mo><mi>I</mi><mo>)</mo></mrow> <mn>1</mn></msub>



</math> (<math xmlns='http://www.w3.org/1998/Math/MathML'>

<mo>&subset;</mo>

<mi>uA</mi><mo>/</mo><mi>I</mi>

</math>)

can be lifted up to <math xmlns='http://www.w3.org/1998/Math/MathML'>

<msub><mi>uA</mi> <mn>1</mn></msub>



</math>, and the lift must be in <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>A</mi>



</math>, since <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>I</mi>



</math>

is a subgroup of <math xmlns='http://www.w3.org/1998/Math/MathML'>

<mi>A</mi>



</math>.</p>
<div class="footer">

<p id="authoranddate">This document was written by <a

href="mailto:makotoy@ms.u-tokyo.ac.jp">Yamashita Makoto</a><br />
Last update: 2005-11-09.</p>

</div>

</body>

</html>




