1: %-----------------------------------------------------------------------

2: % Beginning of article.tex

3: %-----------------------------------------------------------------------

4: %

5: % AMS-LaTeX 1.2 sample file for book proceedings, based on amsproc.cls.

6: %

7: % Replace amsproc by the documentclass for the target series, e.g. pspum-l.

8: %

9: \documentclass{amsproc}

10: \usepackage{amssymb,amsthm}

11: \usepackage{amsmath}

12: \usepackage{amscd}

13: \usepackage{subfigure}

14: \usepackage{epsf,graphicx}

15: \usepackage[all]{xy}

16: 

17: \newtheorem{thm}{Theorem}%[section] (If you want theorem numbered

18: \newtheorem{lema}[thm]{Lemma}%               with section number.  Same

19: \newtheorem{cor}[thm]{Corollary}%       goes for lemmas, etc.)

20: \newtheorem{prop}[thm]{Proposition} %--> \begin\end{theorem,lemma,...}

21: \newtheorem{rem}[thm]{Remark}

22: \newtheorem{conj}[thm]{Conjecture}

23: \newtheorem{defi}[thm]{Definition}

24: \newtheorem{exa}[thm]{Example}

25: \newtheorem{defiteo}[thm]{Definition-theoren}

26: 

27: 

28: \DeclareFontFamily{OMS}{rsfs}{\skewchar\font'60}

29: \DeclareFontShape{OMS}{rsfs}{m}{n}{<-5>rsfs5 <5-7>rsfs7 <7->rsfs10

30: }{} \DeclareSymbolFont{rsfs}{OMS}{rsfs}{m}{n}

31: \DeclareSymbolFontAlphabet{\scr}{rsfs}

32: 

33: 

34: \newcommand{\cqd}{\rule{2mm}{2mm}}

35: \newcommand{\des}{\displaystyle}

36: %Si lo vuelas enumera con numeros%

37: \renewcommand{\theenumi}{\alph{enumi}}

38: \newcommand{\im}{{\rm{im}}}

39: \renewcommand{\ker}{{\rm{Ker}}}

40: \newcommand{\en}{{{\rm End}}}

41: \newcommand{\ma}{{\rm Map}}

42: \newcommand{\Co}{{\rm Cob}}

43: \newcommand{\de}{{\rm dg\mbox{-}vect}}

44: \newcommand{\fu}{{\rm Funct}}

45: \newcommand{\Mfu}{{\rm MFunc}}

46: \newcommand{\mat}{{\rm Mat}}

47: \newcommand{\Ho}{{\rm H}}

48: \newcommand{\hg}{{\rm HG}}

49: \newcommand{\My}{{\rm M}}

50: \newcommand{\Si}{{\rm S}}

51: \newcommand{\Ca}{{\rm C}}

52: \newcommand{\sC}{\scr{C}}

53: \newcommand{\Mor}{{\rm Mor}}

54: \renewcommand{\mod}{{\rm mod}}

55: \newcommand{\alg}{{\rm alg}}

56: \newcommand{\ob}{{\rm Ob}}

57: \newcommand{\er}{{\rm E}}

58: \newcommand{\al}{{\rm A}}

59: \newcommand{\pe}{{\rm P}}

60: \newcommand{\OB}{{\rm ob}}

61: \newcommand{\Sc}{{\rm Schur}}

62: \newcommand{\ve}{{\rm vect}}

63: \newcommand{\HL}{{\rm HLQFT}}

64: \newcommand{\om}{{\rm Oman}}

65: \newcommand{\ca}{{\rm Cat}}

66: \newcommand{\op}{{\rm op}}

67: \newcommand{\I}{{\rm I}}

68: \newcommand{\id}{{\rm id}}

69: \newcommand{\ho}{{\rm Hom}}

70: \renewcommand{\des}{\displaystyle}

71: \def\N{{\Bbb N}}

72: \def\Q{{\Bbb Q}}

73: \def\R{{\Bbb R}}

74: \def\Z{{\Bbb Z}}

75: \def\V{\mathbb{R}^{n}}

76: \def\S{{\mathbb S}}

77: \def\K{{\mathbb K}}

78: \def\R{{\mathbb R}}

79: \def\P{{\mathcal{P}}}

80: \def\O{{\mathcal{O}}}

81: \def\E{{\mathcal{E}}}

82: \def\s{{\mathcal{S}}}

83: \def\C{{\mathcal{C}}}

84: \def\B{{\mathcal{B}}}

85: \def\d{{\mathcal{D}}}

86: \def\f{{\mathcal{F}}}

87: \def\g{{\mathcal{G}}}

88: \def\h{{\mathcal{H}}}

89: \newcommand{\A}{A_{\infty}}

90: 

91: 

92: \numberwithin{equation}{section}

93: 

94: %    Absolute value notation

95: \newcommand{\abs}[1]{\lvert#1\rvert}

96: 

97: %    Blank box placeholder for figures (to avoid requiring any

98: %    particular graphics capabilities for printing this document).

99: \newcommand{\blankbox}[2]{%

100:   \parbox{\columnwidth}{\centering

101: %    Set fboxsep to 0 so that the actual size of the box will match the

102: %    given measurements more closely.

103:     \setlength{\fboxsep}{0pt}%

104:     \fbox{\raisebox{0pt}[#2]{\hspace{#1}}}%

105:   }%

106: }

107: 

108: \begin{document}

109: 

110: \title{Homological matrices}

111: 

112: %    Information for first author

113: \author{Edmundo Castillo}

114: %    Address of record for the research reported here

115: \address{Departamento de Matem\'aticas, Universidad Central de Venezuela (UCV).}

116: %    Current address

117: \curraddr{Universidad Central de Venezuela,

118: Av. Los Ilustres, Los Chaguaramos,

119: Caracas-Venezuela

120: }

121: \email{ecastill@euler.ciens.ucv.ve}

122: %    \thanks will become a 1st page footnote.

123: 

124: 

125: %    Information for second author

126: \author{Rafael D\'\i az}

127: \address{Departamento de Matem\'aticas, Universidad Central de Venezuela (UCV)} \email{rdiaz@euler.ciens.ucv.ve}

128: 

129: \curraddr{Universidad Central de Venezuela, Av. Los Ilustres, Los

130: Chaguaramos, Caracas-Venezuela }

131: %    General info

132: \subjclass{Primary 18D20, 18G60; Secondary 55N25, 81T99}

133: \date{September 2005}

134: 

135: 

136: 

137: \keywords{Homological quantum field theory, String}

138: 

139: \begin{abstract}

140: We define homological matrices, construct examples of

141: one-dimen\-sion restricted  homological quantum field theories,

142: and show a relationship between the two theories.

143: \end{abstract}

144: 

145: \maketitle

146: \section{Introduction}

147: 

148: The purpose of this paper is to introduce examples of

149: one-dimensional homological quantum field theories $\HL,$ and to

150: define a higher dimensional homological analogue of matrices.

151: First we review the notion of $\HL$ introduced in \cite{Cas} which

152: is based on the concept of cobordisms dotted with homology classes

153: of maps into a fixed compact oriented smooth manifold. We demand

154: that the maps from cobordisms to the fixed manifold be constant on

155: each boundary component. This restriction is necessary in order to

156: define composition of morphisms using transversal intersection on

157: finite dimensional manifolds. We define a HLQFT as a monoidal

158: functor from that category of extended cobordisms into the

159: category of vector spaces.

160: 

161: 

162: {\noindent}Throughout this paper we work at the chain level. To do

163: so we introduced in Section \ref{sec1}  transversal $1$-categories

164: following ideas by     May and Kriz \cite{KM}, and homology with

165: corners for oriented smooth manifolds.  In Section \ref{sec2} we

166: defined homological quantum field theory in arbitrary dimensions.

167:  Section \ref{sec3} contains our main example of one-dimensional

168: $\HL$ which is based on the notion of parallel transportation

169: along chains of paths.

170: 

171: {\noindent}In Section \ref{sec4} we introduce a higher dimensional

172: homological analogue of matrices using the graphical

173: representation of matrices introduced in \cite{RE}. We describe

174: the relation between  $1$-dimensional restricted $\HL$ and higher

175: dimensional matrices.

176: 

177: 

178: 

179: \section{Transversal $1$-categories}\label{sec1}

180: 

181: Fix a field $k$ of characteristic zero. We denote by $\de$ the

182: category of differential $\mathbb{Z}$-graded $k$-vector spaces.

183: Objects in dg-vect are pairs $(V,d),$ where $V=\bigoplus_{i\in

184: \mathbb{Z}}V_{i}$ is $\mathbb{Z}$-graded $k$-vector space and

185: $d=\bigoplus _{i\in \mathbb{Z}}d_{i}\colon V \to V$ is such that

186: $d_{i}\colon V_{i}\to V_{i-1}$ and $d^{2}=0.$ If $V$ is $\de$ then

187: $V[n]$ is the $\de$ such that $V[n]^{i}=V^{i+n}.$ We say that $V[n]$

188: is equal to $V$ with degrees shifted down by $n.$ If $v\in V^{i}$

189: the are write $|v|=i.$ If $V$ is a dg-vect $\Ho(V)$ denotes the

190: homology of $V.$ A {\it dg-precategory} $\C$ consist of a collection

191: of objects $\ob(\C)$ and for any $x,y \in \ob(\C),$ a dg-vect

192: $\C(x,y)$ called the space of morphisms  from $x$ to $y.$ A

193: dg-category  $\C$ is a dg-precategory together with complex

194: morphisms $\circ \colon \C(x,y) \bigotimes \C(y,z) \longrightarrow

195: \C(x,z)$ and $\id_x \colon k \rightarrow  \C(x,x)$ turning $\C$ into

196: a category. We think of $k$ as the complex with zero differential

197: concentrated in degree zero. For a dg-precategory $\C,$ we define

198: the precategory $\Ho(\C)$ as follows: $\ob(\Ho(\C))=\ob(\C),$ and

199: for any  $x,y \in \ob(\Ho(\C)), \ \Ho(\C)(x,y)=\Ho(\C(x,y)).$ One

200: checks easily that if $\C$ is a dg-category, then $\Ho(\C)$ is also

201: a category.

202: 

203: \vspace{0.3cm} {\noindent} A {\it transversality structure}

204: $\C^{\star}$ in a dg-precategory $\C$ consist of the following data:

205: \begin{itemize}

206: \item{For $x_{0},\cdots ,x_{n} \in \ob(\C)$ a $\de$ $\C(x_{0},\cdots

207:  ,x_{n}).$ }

208: \item{ inclusions $i_{n}\colon \C(x_{0},\cdots ,x_{n}) \hookrightarrow

209: \displaystyle\bigotimes_{i=1}^{n}\C(x_{i-1},x_{i}).$ }

210: \end{itemize}

211: 

212: This data should satisfy the following properties:

213: 

214: \begin{itemize}

215: \item{$i_{n}\colon \C(x_{0},\cdots ,x_{n}) \to\des

216: \bigotimes_{i=1}^{n}\C(x_{i-1},x_{i})$  is a quasi-isomorphism,

217: i.e., the induced map \\  $\Ho({i}_{n})\colon\Ho(\C( x_{0},\cdots

218: ,x_{n})) \to \displaystyle\bigotimes_{i=1}^{n} \Ho(\C(x_{i-1},

219: x_{i}))$ is an isomorphism.}

220: \item{ For each partition $n=n_{1}+ \cdots + n_{k},$ the map $i_{n}$

221: factors through \\

222: $\displaystyle\bigotimes_{i=1}^{k}\C(x_{n_{i-1}},\cdots

223:  ,x_{n_{i}}).$ }

224: \end{itemize}

225: 

226: Details are explained in \cite{Cas}. In  \cite{Kar} the reader will

227: find examples of transversal structures with applications to

228: algebraic topology.

229: 

230: 

231: {\noindent}We think of $\C(x_{0},\cdots ,x_{n}) $ as the

232: differential graded subspace of

233: $\des\bigotimes_{i=1}^{n}\C(x_{i-1},x_{i})$ consisting of

234: transversal $n$-tuples $\C(x_{0},\cdots ,x_{n}).$ Thus any $0$ or

235: $1$-tuple is automatically transversal. For $n\geq 2$ any closed

236: $n$-tuple in $\displaystyle\bigotimes_{i=1}^{n}\C(x_{i-1},x_{i})$

237: is homologous to a closed transversal $n$-tuple, and any

238: subsequence of a transversal sequence is transversal.

239: 

240: 

241: {\noindent}Let $D^{1}=\{y\in\mathbb{R}\mid |y|\leq1\}.$ The operad

242: of little intervals $\I=\{\I(n)\}_{n\geq1}$ is defined as follows:

243: for each $n\geq1,$ $\I(n)$ is the topological space

244: \[\I(n)= \Big\{(T_{y_{1},r_{1}}, \ldots ,T_{y_{n},r_{n}}) \ \Big |

245: \begin{array}{c}

246: y_{i}, y_{j}\in D^{1},\ 0\leq r_{i} < 1 \ \mbox{such that if }\

247: i\neq j\

248:  \\

249:  \overline{\im(T_{y_{i},r_{i}})}\cap \overline{\im(T_{y_{j},r_{j}})}=

250: \emptyset \ \mbox{ for all} \ 1\leq

251: i,j \leq n  \\

252: \end{array} \Big \} ,\]

253: where $T_{a,r}\colon D^{1}\to D^{1}$ is the affine transformation

254:  $T_{a,r}(y)=ry+a,$ for $x\in D^{1}$ and $r\geq0$ small

255:  enough.

256: 

257: {\noindent} We regard $\I$ as a non-symmetric operad for the

258: purposes of this

259:  note. Notice that a configuration of little intervals is

260:  naturally numbered using the order in $D^{1}.$ Compositions in

261:  $\I=\{\I(n)\}_{n\geq1}$

262: are illustrated by Figure \ref{figu1}

263: \begin{figure}[h]

264: \begin{center}

265: \includegraphics[height=1.6cm]{in.eps}

266: \caption{\ Example of a composition $\gamma_{2}\colon \I(2)\otimes

267: \I(3)\otimes \I(2)\to \I(5) $. \label{figu1}}

268: \end{center}

269: \end{figure}

270: 

271: 

272: {\noindent}We shall use the dg-vect operad of singular chains

273: $\Ca_{s}(\I)=\{\Ca_{s}(\I(n))\}_{n\geq 1}$ with compositions induced

274: by those on $\I.$

275:  A dg-precategory $\C$ is said to be a {\it

276:  transversal $1$-category} if a domain $\C^{\star}$ in

277: $\C$ is given together with maps $\theta_{n}\colon

278: \Ca_{s}(\I(n))\otimes \C(x_{0},\cdots ,x_{n}) \to \C(x_{0},x_{n})$

279: for any $x_{0}, \cdots ,x_{n} \in \ob( \C).$ This data should

280: satisfy the following axioms:

281:  1) $\theta_{1}(1\otimes(\ ))=\id\colon \C(x_{0},x_{1}))\to\C(x_{0},x_{1}),$

282: where $1$ denotes the identity in $\Ca(\I(1)).$ 2) For each

283: partition $n=n_{1}+ \cdots + n_{k},$ the map

284: $\displaystyle\bigotimes_{i=1}^{k}\Ca_{s}(\I(n_{i}))\otimes

285: (\displaystyle\bigotimes_{i=1}^{n} \C(x_{n_{i-1}},\cdots

286: ,x_{n_{i}}))\to \displaystyle\bigotimes_{i=1}^{k} \C(x_{n_{i-1}}

287: ,x_{n_{i}})$ obtained by including $\C(x_{0},\cdots ,x_{n})$ in

288: $\displaystyle\bigotimes_{i=1}^{k} \C(x_{n_{i-1}},\cdots

289: ,x_{n_{i}}),$ shuffling, and applying $\theta ^{\otimes k}$ factors

290: through $\C(x_{n_{0}},x_{n_{1}},\cdots,x_{n_{k}}),$ see \cite{Cas}.

291: Using that $\Ho(\I(n))=k$ for all $n\geq1,$ it is shown in

292: \cite{Cas} that

293: 

294: 

295: \begin{thm}\label{Teo4}

296: {\em If $\C$ is a transversal $1$-category then $\Ho(\C)$ is a

297: category.}

298: \end{thm}

299: 

300: 

301: {\noindent}The concept of transversal $1$-algebra may be deduced

302: from that of a transversal category as follows: a dg-vect $A$ is a

303: transversal $1$-algebra if and only if the precategory $\C_{A}$

304: with only one object  $p,$ such that $\C_{A}(p,p)=A$ is a

305: $1$-category.

306: 

307: 

308: \begin{cor}\label{cor5}

309:  {\em If $A$ is a transversal $1$-algebra then

310: $\Ho(A)$ is an associative algebra.}

311: \end{cor}

312: 

313: 

314: {\noindent} Smooth manifolds with corners are defined in \cite{Mel}.

315: Given a smooth manifold $M$ we define the graded vector space

316: \[\Ca(M)=\bigoplus_{i\in \N} \Ca_{i}(M),\]

317: with $i\in \N,$ where $\Ca_{\it i}(M)$ denotes the complex

318:  vector space

319: \[ \frac{\Big\langle (K_{x},x)\colon \begin{array}{c}

320: K_{x}\ \mbox{is a compact connected oriented}\ i \mbox{-manifold with }   \\

321: \mbox{corners and}  \ x\colon K_{x} \to M \

322: \mbox{is a smoth map} \\

323: \end{array}

324: \Big\rangle}{\langle (K_{x},x)-(-K_{x},x) \rangle}.\]

325: 

326: {\noindent}For $K$ an oriented manifold, $-K$ denotes the same

327: manifold provided with the opposite orientation. We let $\partial

328: \colon \Ca_{i}(M) \to \Ca_{{i}-\rm {1}}(M)$ be the map given by

329: $\partial(K_{x},x)=\sum_{c}(\overline{c},x_{\overline{c}}),$ where

330: the sum ranges over the connected components  of $\partial_{1}

331: K_{x}$ provided with the induced boundary orientation and

332: $x_{\overline{c}}$ denotes the restriction of $x$ to the closure of

333: $c.$ In \cite{Cas} is proven that

334: 

335: 

336: \begin{thm}

337:  {\em $(\Ca(M),\partial)$ is a differential $\mathbb{Z}$-graded

338: $k$-vector space. Moreover}

339: \[\Ho(\Ca(M),\partial)=\Ho(M):=\mbox{\em singular homology of } \

340: M.\]

341: \end{thm}

342: 

343: 

344: 

345: 

346: 

347: 

348: 

349: 

350: 

351: 

352: \section{Homological quantum field theory}\label{sec2}

353: 

354:  This work was motivated by our desired to understand and

355: generalized string topology introduce by M.Chas and D. Sullivan

356: \cite{SCh}, see also \cite{CJ} and \cite{S}. Indeed the category

357: $\Co^{M}_{1,r}$ of homological one dimensional restricted cobordisms

358: enriched over a manifold $M$ constructed in Section \ref{sec3}

359: includes open string topology on $M$ as a particular case when one

360: considers objects of the form $c \colon [1] \longrightarrow D(M).$

361: 

362: 

363: The theory of cobordisms was introduced by Rene Thom \cite{RT}.

364: Using cobordisms Michael F. Atiyah \cite{MA} and G. B. Segal

365: \cite{Se} introduced the axioms for topological quantum field

366: theories TQFT and conformal field theories CFT, respectively. V.

367: Turaev \cite{TU1} introduced the axioms for homotopical quantum

368: field theories. Essentially the axioms of Atiyah may be summarized

369: as follows: 1) Consider the monoidal category $\Co_{n}$ of

370: $n$-dimensional cobordism. 2) Define the category of TQFT as the

371: category $\Mfu(\Co_{n},\ve)$ of monoidal functors $\f\colon

372: \Co_{n}\to \ve.$ The category of  Segal's  CFT may also be recast as

373: a category of monoidal functors.

374: 

375: 

376: {\noindent}We shall define the category $\HL$ of homological

377: quantum field theories as follows

378: 

379: {\noindent}1) Construct a $1$-category $\sC \OB_{n}^{M}$ for each

380: $n\geq1$ and compact oriented smooth manifold $M.$

381: 

382: {\noindent}2) Consider the associated category

383: $\Co_{n}^{M}=\Ho(\sC\OB_{n}^{M}).$

384: 

385: {\noindent}3) Define the category $\HL(M,n)$ to be the category of

386: monoidal functors $\Mfu(\Co_{n},\ve).$

387: 

388: 

389: {\noindent}Let us first define the transversal $1$-category $\sC

390: \OB_{n}^{M}.$   By we denote $D(M)$ the set of all embedded

391: connected oriented submanifolds of $M.$ $\pi_{0}(M)$ denotes the

392: set of connected components of $M.$  We define the completion of a

393: manifold $M$ to be $\overline{M}=\des\prod_{c\in \pi_{0}(N)}c.$

394: Figure \ref{fieti} gives an example of a manifold and its

395: completion.

396: \begin{figure}[ht]

397: \begin{center}

398: \includegraphics[height=2.1cm]{Eti.eps}

399: \caption{ \ Manifold $N$ and its completion

400: $\overline{N}.$\label{fieti}}

401: \end{center}

402: \end{figure}

403: 

404: 

405:  {\noindent}Objects in $\sC \OB_{n}^{M}$ are triples $(N,f,<)$ where

406:  $N$ is a compact oriented  manifold of dimension $n-1,$

407:  $f\colon \pi_{0}(N) \to D(M)$  is any map, and $<$ is a linear ordering on

408:  $\pi_{0}(N).$ By convention the empty

409: set is assumed to be a $n$-dimensional manifold for all $n\in

410: \mathbb{N}.$

411: 

412: {\noindent}Let $(N_{i},f_{i},<_{i})$ and $(N_{o}, \ f_{o},<_{o})$

413: be objects in $\sC \OB_{n}^{M}.$ We set

414: \[ \sC \OB_{n}^{M}((N_{i},f_{i},<_{i}), \ (N_{o},f_{o},<_{o}))=\overline{\sC

415: \OB_{n}^{M}}\diagup \backsim\] where $\overline{\sC \OB_{n}^{M}}$

416: is the set of triples $(P,\alpha,\xi)$ such that

417: 

418: {\noindent}1) $P$ is a compact oriented smooth manifold with

419: corners of dimension $n.$

420: 

421: {\noindent}2) $\alpha \colon N_{i}\bigsqcup N_{o}\times [0,1]\to

422: \im (\alpha)\subseteq P$ is a diffeomorphism and $\alpha \mid_{

423: N_{i}\bigsqcup N_{o}}\to

424: \partial  P$ is a diffeomorphism such that $\alpha|_{N_{i}}$

425: reverses orientation and $\alpha|_{N_{o}}$ preserves orientation.

426: 

427: {\noindent}3) $\xi \in \Ca(\ma (P,M)_{f_{i}, f_{o}}),$ where

428: $\ma(P,M)_{f_{i}, f_{o}}$ is the set of all smooth maps $g\colon

429: P\to M$ such that for $c\in \pi_{0}(N_{j}), \ \xi(a, )$ is a

430: constant map with value in $f_{j}(c)$ on an open neighborhood of

431: $c,$ for $j=i,o.$  We considered $\Ca(\ma (P,M)_{f_{i}, f_{o}})$

432: with degrees shifted down by

433:   $\dim N_{0}.$ Thus $\xi$ is a smooth map $\xi\colon

434: K_{\xi}\times P\to M$ for some compact oriented manifold with

435: corners $K_{\xi}.$

436: 

437: 

438: {\noindent}If $\alpha\in \ma(PM)_{f_{i},f_{o}}$ we define

439: $e_{i}(\alpha)\in\des \prod_{c\in\pi_{0}(N_{i})}f_{i}(c)$ by

440: $e_{i}(\alpha)(c)=e_{i}(x)$ for $x\in c;$ similarly

441: $e_{o}(\alpha)\in\des \prod_{c\in\pi_{0}(N_{o})}f_{o}(c)$ is given

442: by $e_{o}(\alpha)(c)=e_{o}(x)$ for $x\in c.$ Triples

443: $(P_{1},\alpha_{1}, \xi_{1} )\sim (P_{2},\alpha_{2}, \xi_{2} )$ in

444: $\overline{\sC \OB_{n}^{M}}((N_{i},f_{i},<_{i}), \

445: (N_{o},f_{o},<_{o}))$ if and only if there is an orientation

446: preserving diffeomorphism $\varphi\colon P_{1} \to P_{2}$ such

447: that $\varphi \circ \alpha_{1}=\alpha_{2},$ and

448: $\varphi_{\star}(\xi_{1})=\xi_{2}.$

449: 

450: {\noindent}$\sC \OB_{n}^{M} ((N_{0},f_{0},<_{0}),\cdots ,

451: (N_{k},f_{k},<_{k}))$ is the set of all $k$-tuples

452: $\{(P_{i},\alpha_{i}, \xi_{i})\}_{i=1}^{k}$ such that

453: $(P_{i},\alpha_{i},\xi_{i})\in \sC \OB_{n}^{M}

454: ((N_{i-1},f_{i-1},<_{i-1}), (N_{i},f_{i},<_{i}))$ and for all

455: $1\leq i \leq j \leq k$ the map

456: \[

457: \begin{array}{c}

458:   \txt \footnotesize {$\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!

459: \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!e (\xi_{1},

460:  \ldots , \xi_{n})\colon

461:  \des\prod_{i=1}^{k}K_{\xi_{i}}

462: \rightarrow

463: \des \prod_{i=1}^{k-1}\overline{N}_{i}\times\overline{ N}_{i}$}\\

464: \txt \footnotesize {$e (\xi_{1}, \ldots , \xi_{k}) (c_{1},\ldots ,

465: c_{k}) = (e_{o}(\xi_{1}(c_{1}))

466: ,e_{i}(\xi_{2}(c_{2})),e_{o}(\xi_{2}(c_{2})),

467: \ldots ,e_{i}(\xi_{k}(c_{k}))) $}\\

468: \end{array}\]

469: is transversal to $\txt \footnotesize

470: {$\Omega_{k}=\des\prod_{i=1}^{k}

471: \Delta^{N_{i}}_{2}\subset\des\prod_{i=1}^{k-1}\overline{N}_{i}\times

472: \overline{N}_{i}$}$ where $\Delta^{N_{i}}_{2}=\{(a,a)\in

473: \overline{N}_{i}\times \overline{N}_{i} \}$ for $1\leq i \leq

474: k-1.$ Clearly

475: \begin{equation}\label{eva2}

476: \!\!\!\txt \footnotesize {$e^{-1}(\Omega_{k})= $}\Big\{\txt

477: \footnotesize {$(c_{1}, \ldots ,c_{k}) \in

478: \des\prod_{i=1}^{k}K_{\xi_{i}}$} \Big |

479: \begin{array}{c}

480: \txt \footnotesize

481: {$e_{o}(\xi_{i}(c_{i}))=e_{i}(\xi_{i+1}(c_{i+1}))$}

482:  \\

483: \txt \footnotesize {$1\leq i \leq k-1$}\\

484: \end{array}\Big \}

485: \end{equation}

486: 

487: {\noindent}Since $e$ is a smooth map and $e(\xi_{1},

488:  \ldots , \xi_{k})\pitchfork\Omega_{k}$ then

489: \[K_{\xi_{1}}\times_{\overline{N}_{1}}K_{\xi_{1}}\times_{\overline{N}_{2}} \cdots

490: \times_{\overline{N}_{k-1}} K_{x_{k}}=e^{-1}(\Omega_{k})\] is a

491: manifold with corners.

492: 

493: 

494: {\noindent}Given $a\in \Ca_{s}(\I(k)),$

495: $(P_{i},\alpha_{i},\xi_{i})\in

496:  \sC \OB_{n}^{M}

497: ((N_{i-1},f_{i-1},<_{i-1}), (N_{i}, f_{i}, <_{i}))$ for $1\leq

498: i\leq k,$ the composition morphism

499: $a((P_{1},\alpha_{1},\xi_{1}),\cdots

500: ,(P_{k},\alpha_{k},\xi_{k}))\in \sC \OB_{n}^{M} ((N_{0},

501: f_{0},<_{0}), (N_{k},f_{k},<_{k})))$ is the triple

502: $(a(P_{1},\cdots , P_{k}),a(\alpha_{1},\cdots ,

503: \alpha_{k}),a(\xi_{1},\cdots , \xi_{k}))$ where

504: \[\begin{array}{c}

505:   a(P_{1},\cdots , P_{k})=P_{1}\des\bigsqcup_{N_{1}}

506: \cdots \des\bigsqcup_{N_{k-1}}P_{k} \\

507:   a(\alpha_{1},\cdots ,

508: \alpha_{k})=\alpha_{1}\mid_{N_{0}}\bigsqcup

509: \alpha_{k}\mid_{N_{k}} \\

510:           \\

511:   K_{a}(\xi_{1},\cdots , \xi_{k})=K_{a}\times

512:   K_{\xi_{1}}\des\times_{\overline{N}_{1}}K_{\xi_{2}}\times

513: \cdots \des\times_{\overline{N}_{k-1}}K_{\xi_{k}} \\

514: \end{array}\]

515: The map $a(\xi_{1},\cdots , \xi_{k})\colon K_{a}(\xi_{1},\cdots ,

516: \xi_{k})\times P_{1}\des\bigsqcup_{N_{1}}\cdots

517: \des\bigsqcup_{N_{k-1}}P_{k}\to M$ is given by $a(\xi_{1},\cdots ,

518: \newline \xi_{k})((s, t_{1}\cdots ,t_{k}),u)=\xi_{i}(t_{i})(u)$ for any

519: tuple $(s, t_{1}\cdots ,t_{k})$ in $K_{a}\times

520: K_{\xi_{1}}\times_{\overline{N}_{1}} \cdots

521: \times_{\overline{N}_{k-1}}  K_{\xi_{k}}$ and $u\in P_{i}.$

522:  Figure $\ref{Bor3}$ represents a $n$-cobordism

523: enriched over $M$ and Figure $\ref{Bor4}$ shows a composition of

524: $n$-cobordism enriches over $M.$

525: 

526: 

527: \begin{figure}[h]

528: \begin{minipage}[t]{0.48\linewidth}

529: \begin{center}

530: \includegraphics[height=2.7cm]{sig3.eps}\!\!\!\!\!\!\caption{A

531: $n$-cobordism enriched over $M.$}\label{Bor3}

532: \end{center}

533: \end{minipage}

534: \begin{minipage}[t]{0.5\linewidth}

535: \begin{center}

536: \includegraphics[height=3.5cm]{Comp3.eps}\!\!\!\!\!\! \!\!\!\!\!\!\ \caption{Composition of

537: $n$-cobordisms enriched over $M.$}\label{Bor4}

538: \end{center}

539: \end{minipage}

540: \end{figure}

541: 

542: {\noindent}$\Co^{M}_{n,r}$  is the full subcategory of

543: $\Co^{M}_{n},$ such that the empty set is not included as an object.

544: 

545: \begin{prop}

546:  {\em $(\Co_{n}^{M}, \ \sqcup, \ \emptyset)$ is a monoidal category

547: with disjoint union $\sqcup$ as product and empty set as unit.

548: $ \ \Co^{M}_{n,r}$

549:  is a monoidal category without unit. }

550: \end{prop}

551: 

552: 

553: 

554: {\noindent}Given monoidal categories $\C$ and $\d$ we denote by

555: $\Mfu(\C,\d)$ the category of monoidal functors from $\C$ to $\d.$

556: 

557: \begin{defi}

558: {\em $\HL (M,d)=\Mfu(\Co_{n}^{M},\ve)$ and $\HL_{r} (M,d)=

559: \Mfu(\Co_{n.r}^{M},\ve).$ $\HL_{d}(M,d)$ is the category of}

560: homological quantum field theories of dimension $d.$ $\HL_{r}

561: (M,d)$ {\em is the category of} restricted homological quantum

562: field theories of

563:  dimension $d.$

564: \end{defi}

565: 

566: 

567: 

568: \vspace{0.3cm}

569: 

570: 

571: \section{One-dimensional \HL}\label{sec3}

572: 

573: For $n\in \mathbb{N}$ we set $[n]=\{1,\cdots ,n\}.$ Let $M$ be a

574: compact oriented smooth manifold and $\pi\colon P\to M$ be a

575: principal fiber $G$-bundle for $G$ a compact Lie group. Let

576: $\scr{A}_{P}$ denote the space of planar connections on $P,$ and let

577: $\Lambda \in \scr{A}_{P}$  be a connection. If $\gamma \colon I \to

578: M$ is a smooth curve on $M$ and $x\in P$ is such that

579: $\pi(x)=\gamma(0),$ then we let $P_{\Lambda}(\gamma,x)$ be

580: $\widehat{\gamma}(1)$ where $\widehat{\gamma}$ is the horizontal

581: lift of $\gamma$ with respect to $A$ such that

582: $\widehat{\gamma}(0)=x.$ The goal of this section is to construct a

583: map $\Ho\colon \scr{A}_{P} \to \HL_{r}(M,1).$ For each connection

584: $\Lambda \in \scr{A}_{P}$ we construct a one-dimension restricted

585: homological quantum field theory $\Ho_{\Lambda}\colon

586: \Co_{1,r}^{M}\to \ve.$ For $c\in \ob(\Co^{M}_{1,r})$ we let

587: $\overline{c}$ be $\des \prod_{i\in[n]}c(i).$ Notice that an object

588: in $\Co^{M}_{1,r}$ is a map $c\colon [n]\to D(M)$ for some $n\in

589: \mathbb{N}^{+}.$ On objects $\Ho_{\Lambda}\colon

590: \ob(\Co_{1,r}^{M})\to \ob(\ve)$ is the map given by

591: \[\Ho_{\Lambda}(c)=\Ho(\des\prod_{i\in[n]} P\mid_{c(i)})\]

592: where $P\mid_{c(i)}$  denotes the restriction of $P$ to

593: $c(i)\subseteq M.$ Notice that a morphism in $\Co_{1}$ from $c$ to

594: $d$ consists of a pair $(\alpha, t)$ where $\alpha$ is a permutation

595: $\alpha \colon [n]\to [n],$ and $t=\{t_{1}\cdots t_{n}\}$ is such

596: that $t_{i}\in\Ho(\ma(\I_{c},M)_{c_{i},d(\alpha(i))})$ where $I_{c}$

597: is a $1$-dimensional compact manifold with boundary (a closed

598: interval). Figure \ref{strin} shows a picture of a morphism in

599: $\Co_{1}$.

600: \begin{figure}[ht]

601: \begin{center}

602: \includegraphics[height=4cm]{string1.eps}

603: \caption{ \ A morphism in $\Co_{1}$. \label{strin}}

604: \end{center}

605: \end{figure}

606: 

607: {\noindent}The map

608: \[\Ho_{\Lambda}(\alpha, t)\colon \Ho(\des\prod_{i\in[n]} P\mid_{c(i)})\to

609: \Ho(\des\prod_{i\in[n]} P\mid_{d(i)}) \] is defined as follows:

610: consider the natural projection $\pi\colon\des\prod_{i\in[n]}

611: P\mid_{c(i)}\to \des\prod _{i\in[n]} c(i),$ and let $x$ be a chain

612: $x\colon K_{x}\to\des\prod_{i\in[n]} P\mid_{c(i)},$ where

613: $x=(x_{1},\dots ,x_{n}).$ The domain of $\Ho_{\Lambda}(\alpha,

614: t)(x)$ is given by

615: \[K_{\Ho_{\Lambda}(\alpha, t)(x)}=K_{x}\times_{\overline{c}}

616: \des\prod _{i\in[n]}K_{t_{i}}\] The map

617: $\Ho_{\Lambda}(\alpha,t)(x)\colon K_{\Ho_{\Lambda}(\alpha,t)(x)}\to

618: \des\prod_{i\in[n]} P\mid_{d(i)}$ is given by

619: \[[\Ho_{\Lambda}(\alpha, t)(x)](y;y_{1},\cdots

620: y_{n})=\des\prod_{i\in[n]} P(t_{i}(y_{i}),x_{i})\] where $y\in

621: K_{x}, \ y_{i}\in K_{t_{i}}.$

622: 

623: \begin{thm}\label{t6}

624:  {\em For any $\Lambda \in \scr{A}_{P}$ the map $\Ho_{\Lambda}$ defines on

625:  $1$-dimensional homological quantum field theory.}

626: \end{thm}

627: \begin{proof}

628: We need to show that $\Ho_{\Lambda}((\beta,s)\circ (\alpha,

629: t))=\Ho_{\Lambda}(\beta,s)\circ \Ho_{\Lambda}(\alpha,t).$ Since

630: \[K_{\Ho_{\Lambda}((\beta,s)\circ (\alpha, t))}(x)=

631: K_{x}\times_{\overline{N}_{i}}(\des\prod_{c\in\pi_{0}(N_{i})}K_{t(c)}\times_{\overline{N}_{m}}

632: \des\prod_{d\in\pi_{0}(N_{m})}K_{s(d)})

633: \]

634: and

635: \[K_{\Ho_{\Lambda}(\beta,s)\circ \Ho_{\Lambda}(\alpha,t)}=(K_{x}\times_{\overline{N}_{i}}

636: \des\prod_{c\in\pi_{0}(N_{i})}K_{t(c)})\times_{\overline{N}_{m}}\des\prod_{d\in\pi_{0}(N_{m})}K_{s(d)}\]

637: the domains $\Ho_{\Lambda}((\beta,s)\circ (\alpha, t))$ and

638: $\Ho_{\Lambda}(\beta,s)\circ \Ho_{\Lambda}(\alpha,t)$ agree. The

639: corresponding maps also agree since $P(\gamma \circ \beta,

640: x)=P(\alpha, P(\beta,x)).$

641: \end{proof}

642: 

643: 

644: \section{Homological matrices}\label{sec4}

645: 

646: In this section we develop a higher dimensional analogue of matrices

647: and matrix multiplication. D\'iaz and Pariguan in \cite{RE} used the

648: following graphical representation of matrices.  Let

649: $\textrm{Digraph}(m,n)$ be the $\mathbb{C}$-vector space generated

650: by the set of directed bipartite graphs $\Gamma$ with one edge

651: starting in $[m]$ and ending in $[n],$ so $\Gamma$ is given by an

652: element $\Gamma \in [m]\times [n].$ $\textrm{Digraph}(m,n)$ and the

653: vector space $M_{m\times n}(\mathbb{C})$ of complex matrices of

654: format $m\times n$ are naturally isomorphic via the correspondence

655: shown in Figure \ref{mat1}.

656: 

657: 

658: \begin{figure}[ht]

659: \begin{center}

660: \includegraphics[height=2.3cm]{matana1.eps} \caption{ \ Graphical representation

661: of matrices  \label{mat1}}

662: \end{center}

663: \end{figure}

664: 

665: {\noindent}Fix a compact oriented manifold $M.$ We proceed to

666: construct a higher dimensional homological analogue of matrices by

667: generalizing the spaces $\textrm{Digraph}(m,n)$ as follows: 1) We

668: replace each point of  the set $[m]$ by oriented embedded

669: submanifold of $M.$ So the indices of a generalized matrix are maps

670: $c\colon [m]\to D(M).$ 2) The vector space $\textrm{Digraph}(m,n)$

671: is replaced by the space $\hg(c,d)$ of homological bipartite graphs

672: with one packet of edges,  where $c\colon [m]\to D(M)$ and $d\colon

673: [n]\to D(M).$ The space $\hg(c,d)$ is given by

674: \[\hg(c,d)=\des\bigoplus_{j\in[m] i\in[n]}\Ho(\ma(I,M)_{c(j),d(i)})\]

675: with degrees in $\Ho(\ma(I,M)_{c(j),d(i)})$ shifted by

676: $\dim(d(i)).$ 3) Given $A\in \hg(d,e)$ and $B\in \hg(c,d)$ then we

677: define the product $AB\in \hg(c,e)$ of $A$ and $B$ by the rule

678: \[(AB)_{ki}=\des\sum_{j\in[m]}A_{kj}\circ B_{ji}\]

679: for all $i\in[n], j\in[m] \mbox{ and } k \in [p]$ where $B_{ji}\in

680: \Ho(\ma(I,M)_{c(i),d(j))}, \ A_{kj}\in \Ho(\ma(I,M)_{d(j),e(k))}$

681: and the composition maps

682: \[\circ\colon \Ho (\ma(I,M)_{d(j),e(k)})\otimes \Ho (\ma(I,M)_{c(i),d(j)})\to

683: \Ho (\ma(I,M)_{c(i),e(k)})\] are defined as for $1$-dimensional

684: homological quantum field theories.

685: 

686: \begin{figure}[ht]

687: \begin{center}

688: \includegraphics[height=2.3cm]{matana3.eps} \caption{ \ Example of an element in $ \hg(c,d).$

689:   \label{mat2}}

690: \end{center}

691: \end{figure}

692: 

693: {\noindent}For a map $c\colon[n]\to D(M),$ the space $\hg(c,c)$ is

694: an algebra which may be regarded as higher dimensional homological

695: analogue of $M_{n}(\mathbb{C}).$ A representation of $\hg(c,c)$ on

696: a $\mathbb{C}$-vector space $V$ is a linear map $\rho \colon

697: \hg(c,c)\to \en(V)$ such that $\rho(AB)=\rho(A)\rho(B).$ Figure

698: \ref{mat3} shows an example of product of homological matrix in

699: $\hg(d,e)$ with a homological matrix $\hg(c,d).$

700: \begin{figure}[ht]

701: \begin{center}

702: \includegraphics[angle=90, height=2.7cm]{matana2.eps} \caption{ \

703: Homological analog of matrix products \label{mat3}}

704: \end{center}

705: \end{figure}

706: 

707: \begin{thm}

708:  {\em $\des\bigoplus_{i \in [n]}\Ho(c(i)),$ where $\Ho(c(i))$ is shifted down by $\dim(c(i)),$

709:   is a representation of $\hg(c,c)$.}

710: \end{thm}

711: \begin{proof}

712: Let $A\in \des \bigoplus_{i,j\in [n]} \Ho (\ma(I,M)_{c(i),c(j)})$

713: and $e\in \des\bigotimes_{i \in[n]} \Ho (c(i))$ then we set

714: $(Ae)_{i}=\des\sum_{j\in[n]} A_{ij}\circ e_{j},$ where $A_{i,j}\in

715: \hg(c(j),c(i))$ and $e_{j}\in \Ho(c(j))$ and  the composition maps

716:  \[\circ \colon  \Ho

717: (\ma(I,M)_{c(i),c(j)})\otimes\Ho(c(j))\to \Ho(c(i))\] are define

718: as in Theorem \ref{t6}.

719: \end{proof}

720: 

721: {\noindent}In \cite{RE1} the $m$-symmetric power $\Si^{m}\al$ of

722: an algebra  $\al$ is defined as follows: as a vector space

723: $\Si^{m}\al=(\al^{\otimes m})_{S_{m}},$ ($S_{m}$-coinvariants.)

724: The product in $\Si^{m}\al$ is that as if $\overline{a_{1}\otimes

725: \cdots \otimes a_{m}}\in\Si^{m}\al$ and $\overline{b_{1}\otimes

726: \cdots \otimes b_{m}}\in\Si^{m}\al$ then

727: \[(\overline{a_{1}\otimes \cdots \otimes

728: a_{m}}) \cdot (\overline{b_{1}\otimes \cdots \otimes b_{m}})=

729: \frac{1}{m !} \des\sum_{\sigma \in S_{m}}

730:  {\rm

731: sgn}(a,b,\sigma)\overline{(a_{1}b_{\sigma^{-1}(1)})\otimes \cdots

732: \otimes (a_{m}b_{\sigma^{-1}(m)})}\] where ${\rm

733: sgn}(a,b,\sigma)=(-1)^{e}$ and $e=e(a,b,\sigma)= \sum_{i>j}|a_{i}

734: b_{\sigma^{-1}(j)}| + \sum_{\sigma(i)>\sigma(j)}|b_{i} b{_j}|.$

735: 

736: 

737: {\noindent}As shown in \cite{RE1} if $\al$ is the algebra

738: $\en(\R^{p\mid q})$ of supermatrices of dimension $(p\mid q)\times

739: (p\mid q)$ then $\Si^{m}(\en)(\R^{p\mid q})$ is the Schur

740: superalgebra (see \cite{Gre}) which controls the polynomial

741: representations of $\en(\R^{p\mid q}).$ We proceed to define  Schur

742: algebras in the homological context.

743: 

744: 

745: \begin{defi}

746: {\em For $c\colon [n]\to D(M)$ we set

747: $\Sc_{m}(c,c)=\Si^{m}(\hg(c,c)).$ }

748:  \end{defi}

749: 

750: {\noindent}Figure \ref{mat4} shows an element  of $\Sc_{4}(c,c)=

751: \Si^{4}(\Ho(c,c)).$ Figure \ref{matt3} shows a product in

752: $\Sc_{2}(c,c).$

753: \begin{figure}[ht]

754: \begin{center}

755: \includegraphics[height=1.5cm]{matana4.eps} \caption{ \ Higher

756: dimensional analog of Schur algebras. \label{mat4}}

757: \end{center}

758: \end{figure}

759: 

760: \begin{thm}

761: {\em If $V$ is a representation of $\Ho(c,c)$ then $\Si^{m}V$ is a

762: representation of

763:  $\Sc_{m}(c,c)$.}

764: \end{thm}

765: \begin{proof}

766: $\overline{a_{1}\otimes \cdots \otimes a_{m}}\in\Sc_{m}(c,c)$ and

767: $\overline{v_{1}\otimes \cdots \otimes v_{m}}\in\Si^{m} V$ then

768: \[\overline{a_{1}\otimes \cdots \otimes

769: a_{m}} \cdot \Big(\overline{v_{1}\otimes \cdots \otimes

770: v_{m}}\Big)= \frac{1}{m !} \des\sum_{\sigma \in S_{m}}

771:  {\rm

772: sgn}(a,v,\sigma)\overline{a_{1}(v_{\sigma^{-1}(1)})\otimes \cdots

773: \otimes a_{m}(v_{\sigma^{-1}(m)})}\] where ${\rm

774: sgn}(a,v,\sigma)=(-1)^{e}$ and $e=e(a,v,\sigma)= \sum_{i>j}|a_{i}(

775: v_{\sigma^{-1}(j)})| + \sum_{\sigma(i)>\sigma(j)}|v_{i} v{_j}|.$

776: \end{proof}

777: 

778: 

779: For the rest of the paper we work with \emph{even} dimensional

780: homology groups. Also we assume that the map $c\colon [n]\to D(M)$

781: is such that $\dim{(c(i))}$ is even for all $i\in[n].$

782: 

783: 

784: \begin{thm}

785:  {\em Let $c\colon [n]\to D(N)$ and  $C=\des\bigsqcup_{i\in[n]}c(i).$ There  is an algebra inclusion

786:   $i\colon \Co_{1,r}^{M}(C,C)\to \Sc_{m}(c,c).$ Thus any representation

787:  of $\Sc_{m}(c,c)$ induces a representation of $\Co_{1,r}^{M}(C,C)$.}

788: \end{thm}

789: \begin{proof}

790: Al element of $\Co_{1,r}^{M}(C,C)$ is a sequence

791: $a=(a_{i})_{i=1}^{n}$ where  $a_{i}\in \Ho(\ma(I,

792: M)_{c(i),c(\alpha(i))})$ for some $\alpha\colon [n]\to[n]$

793: biyective. The map $i$  is such that $i(a)=\overline{a_{1}\otimes

794: \cdots a_{m}}.$

795: \end{proof}

796: 

797: \begin{cor}

798: {\em $\Si^{m}(\des \bigoplus_{i=1}^{n}\Ho(c(i)))$ is a

799: representation of $\Co_{1,r}^{M}(C,C).$ }

800: \end{cor}

801: 

802: 

803: 

804: \begin{figure}[ht]

805: \begin{center}

806: \includegraphics[height=3.6cm]{matpro.eps} \caption{ \ Example of a product in

807: $\Si^{2}(\hg(1,1)).$ \label{matt3}}

808: \end{center}

809: \end{figure}

810: 

811: 

812:  \vspace{0.3cm}

813: \subsection*{Acknowledgment} We thank Delia Flores de Chela, Raymundo Popper, Eddy Pariguan, Sylvie

814: Paycha and Bernardo Uribe.

815: 

816: 

817: \bibliographystyle{amsalpha}

818: \begin{thebibliography}{A}

819: 

820: \bibitem{MA} M. F. Atiyah, \textit{Topological quantum

821: field theory} I, Ann. Inst. Fourier

822: (Grenoble) Publications math\'ematiques de

823: l'Institut des Hautes \'Etudes Scientifiques, 17 (4), 1982, 661-692.

824: 

825: \bibitem{Cas} E. Castillo and R. D\'{\i}az,

826:  \textit{Homological quantum field theory }, math.KT/0509532.

827: 

828: \bibitem{SCh} M. Chas and D. Sullivan,\textit{String

829: Topology}, Math.GT/9911159.

830: 

831: \bibitem{CJ} R. L.Cohen, and J. D. S. Jones, \textit{A

832: homotopy theoretic realization of string topology}, Math. Ann.

833: \textbf{324 (4)}, 2002, 773-798.

834: 

835: \bibitem{RE1} R. D\'iaz and E. Pariguan. \textit{Quantum symmetric

836: functions}.  Communications in Algebra. Vol 33, Issue 6, 2005,

837: 1947-1978.

838: 

839: \bibitem{RE} R. Diaz, and E. Pariguan, \textit{Graphical introduction to classical

840:  Lie algebras}, math.RT/0504602. To appear in Boletin de la Asociacion

841: Matem\'atica Venezolana.

842: 

843: \bibitem{Gre} J.~A. Green, \emph{Polynomial representations of

844: {$GL_{n}$}}, no. 830, Lecture

845:   notes in mathematics. Springer-Velarg, New York, 1980.

846: 

847: \bibitem{Kar} M. Karoubi, \textit{Cochaines quasi-commutatives en topologie algebrique},

848: http://arxiv.org/ftp/math/papers/0509/0509268.pdf.

849: 

850: 

851: \bibitem{KM} I. Kriz and J. P. May, \textit{Operads,

852: Algebras, Modules, and Motives}, \textbf{233},

853: Ast\'erisque, 1995.

854: 

855: \bibitem{Mel} R. Melrose, \textit{Differential

856: analysis on manifolds with corners},

857: http://www-math.mit.edu/~rbm/book.html.

858: 

859: \bibitem{Se}G. B. Segal, \textit{The definition

860: of conformal field theory}, 1988.

861: 

862: \bibitem{S} D. Sullivan,\textit{Open and Closed String field theory interpreted

863: in classical Algebraic Topology}, Topology, Geometry and Quantum

864: Field Theory. London Math. Soc. Lecture Notes vol. \textbf{308},

865: (2004), 344-357.

866: 

867: \bibitem{RT} R. Thom,  \textit{Sur les vari\'et\'es

868: cobordantes.}, Colloque de topologie et g\'eom\'etrie

869: diff\'erentielle, Strasbourg, 7, 1952, La Biblioth�ue Nationale

870: et Universitaire de Strasbourg.

871: 

872: \bibitem{TU1} V.

873: Turaev, \textit{Homotopy field theory in dimension {2} and

874: group-algebras}, QA/9910010.

875: 

876: 

877: \end{thebibliography}

878: 

879: 

880: 

881: \end{document}

882: 

883: %-----------------------------------------------------------------------

884: % End of article.tex

885: %-----------------------------------------------------------------------

886: