The Whitehead group of the Novikov ring

The Bass-Heller-Swan-Farrell-Hsiang-Siebenmann decomposition of the Whitehead group $K_1(A_{\rho}[z,z^{-1}])$ of a twisted Laurent polynomial extension $A_{\rho}[z,z^{-1}]$ of a ring $A$ is generalized to a decomposition of the Whitehead group $K_1(A_{\rho}((z)))$ of a twisted Novikov ring of power series $A_{\rho}((z))=A_{\rho}[[z]][z^{-1}]$. The decomposition involves a summand $W_1(A,\rho)$ which is an abelian quotient of the multiplicative group $W(A,\rho)$ of Witt vectors $1+a_1z+a_2z^2+... \in A_{\rho}[[z]]$. An example is constructed to show that in general the natural surjection $W(A,\rho)^{ab} \to W_1(A,\rho)$ is not an isomorphism.Comment: Latex file using Diagrams.tex, 36 pages. To appear in "K-theory

Topological Surgery in Nature

In this paper, we extend the formal definition of topological surgery by introducing new notions in order to model natural phenomena exhibiting it. On the one hand, the common features of the presented natural processes are captured by our schematic models and, on the other hand, our new definitions provide the theoretical setting for examining the topological changes involved in these processes.Comment: 23 pages, 11 figures. arXiv admin note: substantial text overlap with arXiv:1603.0364

State sum construction of two-dimensional open-closed Topological Quantum Field Theories

We present a state sum construction of two-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, which generalizes the state sum of Fukuma--Hosono--Kawai from triangulations of conventional two-dimensional cobordisms to those of open-closed cobordisms, i.e. smooth compact oriented 2-manifolds with corners that have a particular global structure. This construction reveals the topological interpretation of the associative algebra on which the state sum is based, as the vector space that the TQFT assigns to the unit interval. Extending the notion of a two-dimensional TQFT from cobordisms to suitable manifolds with corners therefore makes the relationship between the global description of the TQFT in terms of a functor into the category of vector spaces and the local description in terms of a state sum fully transparent. We also illustrate the state sum construction of an open-closed TQFT with a finite set of D-branes using the example of the groupoid algebra of a finite groupoid.Comment: 33 pages; LaTeX2e with xypic and pstricks macros; v2: typos correcte

On the large N limit, W_\infty Strings, Star products, AdS/CFT Duality, Nonlinear Sigma Models on AdS spaces and Chern-Simons p-branes

It is shown that the large $N$ limit of SU(N) YM in $curved$ $m$-dim backgrounds can be subsumed by a higher $m+n$ dimensional gravitational theory which can be identified to an $m$-dim generally invariant gauge theory of diffs $N$, where $N$ is an $n$-dim internal space (Cho, Sho, Park, Yoon). Based on these findings, a very plausible geometrical interpretation of the $AdS/CFT$ correspondence could be given. Conformally invariant sigma models in $D=2n$ dimensions with target non-compact SO(2n,1) groups are reviewed. Despite the non-compact nature of the SO(2n,1), the classical action and Hamiltonian are positive definite. Instanton field configurations are found to correspond geometrically to conformal ``stereographic'' mappings of $R^{2n}$ into the Euclidean signature $AdS_{2n}$ spaces. The relation between Self Dual branes and Chern-Simons branes, High Dimensional Knots, follows. A detailed discussion on $W_\infty$ symmetry is given and we outline the Vasiliev procedure to construct an action involving higher spin massless fields in $AdS_4$. This $AdS_4$ spacetime higher spin theory should have a one-to-one correspondence to noncritical $W_\infty$ strings propagating on $AdS_4 \times S^7$.Comment: 43 pages, Tex fil

Shadows and traces in bicategories

Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix.Comment: 46 pages; v2: reorganized and shortened, added proof for cylindrical string diagrams; v3: final version, to appear in JHR