5cff29f747d509a5.tex
1: \begin{definition}
2: \label{definition-euv}
3: The universal coefficient sequence of Remark~\ref{remark-universal}
4: gives an isomorphism
5: of $\MH_\ast^\ast(C_n)$ with the dual of $\MH_{\ast,\ast}(C_n)$,
6: and so we obtain the basis of $\MH_\ast^\ast(C_n)$ dual to the one of
7: Theorem~\ref{theorem-gu}.
8: Using this dual basis we define elements of $\MH_\ast^\ast(C_n)$ as follows.
9: \begin{itemize}
10: 	\item
11: 	For each vertex $x$,
12: 	$e_x\in\MH_0^0(C_n)$ is the dual to $[(x)]\in\MH_{0,0}(C_n)$.
13: 	\item
14: 	For each oriented edge $(x,y)$,
15: 	$\uu_{xy}\in\MH^1_1(C_n)$ is the dual to $[(x,y)]\in\MH_{1,1}(C_n)$.
16: 	\item
17: 	For each pair $x,z$ with $d(x,z)=m$,
18: 	$\vv_{xz}\in\MH^2_{m+1}(C_n)$ denotes the dual to 
19: 	$[(x,y,z)]\in\MH_{2,m+1}(C_n)$.
20: 	Here $y$ is determined by the conditions $d(x,y)=1$, $d(y,z)=m$
21: 	as in Example~\ref{admissible-low-degrees-example}.
22: \end{itemize}
23: \end{definition}
24: