Supersymmetric Theories on a Non Simply Connected Space-Time

We study the Wess-Zumino theory on ${\bf R}^3 \times S^1$ where a spatial coordinate is compactified. We show that when the bosonic and fermionic fields satisfy the same boundary condition, the theory does not develop a vacuum energy or tadpoles. We work out the two point functions at one loop and show that their forms are consistent with the nonrenormalization theorem. However, the two point functions are nonanalytic and we discuss the structure of this nonanalyticity.Comment: 10 pages, TEX file, figures upon request from author

Representations of the homotopy surface category of a simply connected space

We introduce the homotopy surface category of a space which generalizes the 1+1-dimensional cobordism category of circles and surfaces to the situation where one introduces a background space. We explain how for a simply connected background space, monoidal functors from this category to vector spaces can be interpreted in terms of Frobenius algebras with additional structure.Comment: 9 pages, 2 figure

Simplicial resolutions and Ganea fibrations

In this work, we compare the two approximations of a path-connected space $X$, by the Ganea spaces $G_n(X)$ and by the realizations $\|\Lambda_\bullet X\|_{n}$ of the truncated simplicial resolutions emerging from the loop-suspension cotriple $\Sigma\Omega$. For a simply connected space $X$, we construct maps $\|\Lambda_\bullet X\|_{n-1}\to G_n(X)\to \|\Lambda_\bullet X\|_{n}$ over $X$, up to homotopy. In the case $n=2$, we prove the existence of a map $G_2(X)\to\|\Lambda_\bullet X\|_{1}$ over $X$ (up to homotopy) and conjecture that this map exists for any $n$

Diagonals of separately continuous maps with values in box products

We prove that if $X$ is a paracompact connected space and $Z=\prod_{s\in S}Z_s$ is a product of a family of equiconnected metrizable spaces endowed with the box topology, then for every Baire-one map $g:X\to Z$ there exists a separately continuous map $f:X^2\to Z$ such that $f(x,x)=g(x)$ for all $x\in X$