superalgebra and (synthetic ) supergeometry
This is a sub-entry of geometric models for elliptic cohomology and A Survey of Elliptic Cohomology
See there for background and context.
This entry here is about the definition of $(2|1)$-dimensional super-cobordism categories where cobordisms are Euclidean supermanifolds, and about $the (2|1)$-dimensional FQFTs given by functors on these.
Previous:
Previously we had defined smooth categories of Riemannian cobordisms. Now we pass from Riemannian manifolds to Euclidean supermanifolds and define the corresponding smooth cobordism category. Then we define $(d|\delta)$-dimensional Euclidean field theories to be smooth representations of these categories.
As described at (2,1)-dimensional Euclidean field theories and tmf, the idea is that $(2|1)$-dimensional Euclidean field theories are a geometric model for tmf cohomology theory. While there is no complete proof of this so far, in the next and final session
it will be shows that the claim is true at least for the cohomology ring over the point: the partition function of a $(2|1)$-dimensional EFT is a modular form. Hence $(2|1)$-dimensional EFTs do yield the correct cohomology ring of tmf over the point.
Let SDiff be the category of supermanifolds.
We will define a stack/fibered category on $SDiff$ called $E Bord_{2|1}$ whose morphisms are smooth families of (2|1)-dimensional super-cobordisms, and a stack/fibered category $sTV^{fam}$ of topological super vector bundles.
So recall
question: What is the right notion of Riemannian or Euclidean structure on super-cobordisms?
strategy: From the path integral perspective we need some structure on $\Sigma$ such that the “space” of maps $Maps(\Sigma,X)$ naturally carries some measure that allows to perform a path integral.
This perspective suggests certain generalizations of the notion of Riemannian manifold to supermanifolds which may be a little different than what one might have thought of naively.
We want to define Euclidean supermanifolds as a generalization of Riemannian manifold with flat Riemannian metric.
notice that there is a canonical bijection between
flat Riemannian metrics on a $d$-dimensional manifold $X$
a maximal atlas on $X$ consisting of charts such that all transition functions belong the the Euclidean group or Galileo group
(rigid translations and rotations)
In analogy to that we define:
Similarly a Euclidean structure on a $(d|\delta)$-dimensional supermanifold is defined using the Euclidean super Lie group given by the semidirect product
where the Spin group acts on the translations in $\mathbb{R}^{d|\delta}$ in a way to be specified.
first recall the notion of
goal replace the standard Euclidean group $(\mathbb{R}^d, Eucl(\mathbb{R}^d))$ by the super Euclidean group $(X,G)$ where $X$ is a suitable supermanifold and $G$ a suitable super Lie group.
This leads to the notion of
The morphisms of the category $E Bord_{(2|1)}$ will be cobordisms that are Euclidean supermanifolds.
goal define the fibered category
where $cSDiff$ is the category of complex supermanifolds.
The objects of this fibered category are
where $Y \to S$ is a family of Euclidean supermanifolds of dimension $(d|\delta)$.
For the non-super, non-family version of Euclidean bordism we require that the core $Y^c$ is totally geodesic in $Y$.
now for the superversion we require that there exist charts (in the open atlas) of $Y \to S$ covering all of $Y^c$ such that
next, a Euclidean superbordism from $Y_0 \to S$ to $Y_1 \to S$ is a diagram
where $i_0, i_1$ are morphisms (of families of $(X,G)$-spaces) satisfying the (+)-condition and the (c)-condition described at bordism categories following Stolz-Teichner.
Now a morphism in $E Bord^{sfam}_{d|\delta}$ from $Y_0 \to S_0$ to $Y_1 \to S_1$ is a bordism fitting into a diagram
and we identify bordisms $\Sigma, \Sigma'$ if they are isometric – namely isomorphic in the category of Euclidean supermanifolds – “rel boundary”.
definition A $(d|\delta)$-dimensional Euclidean field theory is a symmetric monoidal functor
of symmetric monoidal fibered cateories (i. symmetric monoidal functor as well as cartesian functor ) over the category $cSDiff$ of complex supermanifolds.
Definition (roughly) $TV^{sfam}$ is the category of families of topological vector spaces parameterized by complex supermanifolds.
Recall that the ordinary category $TV$ is the category of complete Hausdorff, locally convex topological vector space.
define the projective tensor product of two such $V, W \in TV$. This is a certain completion of the algebraic tensor product $V \otimes_{alg} W$ with respect to the projective topology on $V \otimes_{alg} W$.
This will be the coarsest topology (the one with the least open sets) making the following maps $f'$
continuous.
Remark
Definition the objects of $TV^{sfam}$ are pairs $(S,V)$ for $S$ a supermanifold and $V$ is a sheaf of locally complex $\mathbb{Z}_2$-graded topological vector space with the structure of a sheaf of modules of the structure sheaf $O_S$.
goal define the partition function of of a $(2|1)$-dimensional Euclidean field theory.
definition Let $E$ be an EFT as above.
We may think of $\mathbb{R}_+ \times h$ (positive axis times upper half plane) as moduli space of Euclidean tori, where for $(\ell, \tau) \in \mathbb{R}_+ \times h$ we get a torus (regarded as a cobordism) denoted $T_{\ell,\tau}$. This is the torus given by the lattice spanned by $(1,0)$ and $\ell Re(\tau) + Im(\tau)$ in the upper half plane. Then for the ordinary EFT we would define
For the superversion we put
where
See bordism categories following Stolz-Teichner.
The category $E Bord_1^{fam}$ is generated from
the family of right elbows_
the point-family of the left elbox
the family of intervals in $E Bord^{fam}_{\mathbb{R}^+}(pt,pt)$
Because:
$E \in Fun^{\otimes}_{Diff}(E Bord^{fam}, TV^{fam})$ $
is determined by
forms a smooth semigroup under composition generated by
(the Hamiltonian operator)
so due to smoothness the data collapses to the infinitesimal data
example – ordinary quantum mechanics Let $M$ be a Riemannian manifold. Then set
$H:= \Delta$ the corresponding Laplace operator;
$V := C^\infty(M) \subset L^2(M)$;
$\lambda$ is the restriction of the $L^2(M)$ inner product to $V$
where $e^{-t H}$ is “trace class” in the non-standard sense described above in that it makes the above diagram commute.
So everything as known from standard quantum mechanics textbooks, except that we don’t use the full Hilbert space of states, but just the Frechet space of smooth functions.
The category $E Bord_{2}_{oriented}^{fam}$ has the following generators:
objects are generated from
the circle $K_\ell := \mathbb{R}^2/\mathbb{Z}\cdot \ell$ of length $\ell \gt 0$ (with collars!! that’s why it looks like a cylinder of circumference $\ell$)
notice that we may think of $\ell$ as parameteriing translation by $\ell$ in $\mathbb{R}^2 \rtimes SO(2) = Eucl_{or}(\mathbb{R}^2)$
and the circle with $(+)$/$(-)$-collars reversed
morphisms are generated from
cylinders $C_{\ell,\tau}$ which as a manifold is $\simeq \mathbb{R}^2/\mathbb{Z}\cdot \ell$ where $\tau$ parameterizes the embedding of the outgoing circle: the incoming circle is embedded in the canonical way (the identity map on the cylinder, really), while the outgoing circle is embedded by translating the cylinder by $\ell \cdot Re(\tau)$ upwards and rotated by $\ell \cdots Im(\tau)$.
right elbows which are the same as the cylinder, except that now the second circle is embedded after reflection so that it becomes an ingoing circle.
the thin left elbow $L_\ell$, similar to the above, with arbitrary $\ell$ but $\tau = 0$
the torus $T_\tau$ obtained from the cylinder by gluing incoming and outgoing
notice the pair of pants is not a morphism in the category at all! since, recall, we require all bordisms to be flat and all boundaries to be geodesics . There is no way to put such a flat metric on the trinion.
satisfying the relations
as for the non-family version, but now also with the new relations
whenever $\ell' = \ell \cdot|c \tau + d|$ and $\tau' = \frac{a \tau + b }{c \tau + d}$
for $\left(\array{a & b \\ c & d }\right) \in SL_2(\mathbb{Z})$.
Notice that $SL_2(\mathbb{Z})$ is generated by
translation $(\ell, \tau) \mapsto (\ell, \tau + 1)$
S-matrix $(\ell, \tau) \mapsto (\ell \cdot |\tau|, - \frac{1}{\tau})$
and now there is one more relation
as usual write $q := e^{2 \pi i \tau}$ which is on the pointed unit disk since $\tau$ is half plane since $\tau$
thwe category $E Bord_{2, oriented}^{fam}$ is generated from
objects:
$\array{K \\ \downarrow \\ S = \mathbb{R}_+}$
morphisms
subject to the relations
… as before (homework 3, problem 4).. and the furhter one:
for
the relation is