<?xml version="1.0" encoding="UTF-8"?>

<record version="1" id="330">
 <title>l-compact quantum groups</title>
 <name>LCompactQuantumGroups</name>
 <created>2008-12-16 05:57:03</created>
 <modified>2008-12-16 05:57:03</modified>
 <type>Definition</type>
 <creator id="441" name="bci1"/>
 <modifier id="441" name="bci1"/>
 <author id="441" name="bci1"/>
 <classification>
	<category scheme="msc" code="03.65.Fd"/>
 </classification>
 <synonyms>
	<synonym concept="l-compact quantum groups" alias="L-CQG"/>
 </synonyms>
 <related>
	<object name="QuantumGroup"/>
 </related>
 <keywords>
	<term>locally compact quantum group</term>
	<term>compact quantum group</term>
 </keywords>
 <preamble>% this is the default PlanetPhysics preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here</preamble>
 <content>\textbf{Definition 0.1}
A \emph{locally compact quantum group} defined as in ref. \cite{LV2k3} is a quadruple $QG_{lc} =(A, \Delta, \mu, \nu)$, where $A$ is either a $C^*$- or a
$W^*$ - algebra equipped with a co-associative comultiplication
$\Delta: A \to A \otimes A$ and two faithful semi-finite normal weights, 
$\mu$ and $\nu$ - right and -left Haar measures.

\textbf{Examples}
\begin{enumerate}
\item An ordinary unimodular group $G$ with Haar measure $\mu$:
$A = L^{\infty}(G, \mu), \Delta: f(g) \mapsto f(gh)$,
$S: f(g) \mapsto f(g^{}-1), \phi(f) = \int_G f(g)d\mu (g)$, where 
$g, h \in G, f \in L^{\infty} (G, \mu)$.

\item A = \L (G) is the von Neumann algebra generated by left-translations $L_g$ or by left convolutions
$L_f  ={ \int}_G f(g)L_g d \mu (g)$ with continuous functions $f(.) \in L^1(G,\mu) \Delta: \mapsto L_g \otimes L_g \mapsto L_g^{-1}, \phi(f) = f(e) $, where $g \in G$, and e is the unit of G.
\end{enumerate}

\begin{thebibliography}{9}

\bibitem{LV2k3}
Leonid Vainerman. 2003.\emph{Locally Compact Quantum Groups and Groupoids: Proceedings of the Meeting of Theoretical Physicists and Mathematicians, Strasbourg, February 21-23, 2002 \emph{Series in Mathematics and Theoretical Physics}, \textbf{2}, Series ed. V. Turaev., Walter de Gruyter Gmbh et Co: Berlin.
\end{thebibliography}</content>
</record>
