Questions tagged [supermanifolds]
The supermanifolds tag has no usage guidance.
57
questions
3
votes
0
answers
143
views
smooth super scheme which is not smooth
I am following the very nice "Notes on fundamental algebraic supergeometry. Hilbert and Picard superschemes" by Bruzzo, Ruiperez and Polishchuk. I am having some problem in order to give ...
- 576
35
votes
8
answers
6k
views
Applications of super-mathematics to non-super mathematics
Supergeometry and more broadly supermathematics has been around for few decades. Since its introduction by physicists, there has been an some mathematical interest in them.
Although interesting in its ...
2
votes
1
answer
176
views
What is the space of maps between superplane $\mathbb{R}^{0|2}$ and a smooth manifold $M$?
Within the algebrogeometric approach to supergeometry, a supermanifold of dimension $m|n$ is an ordinary $m$ dimensional smooth manifold $M$ and a sheaf of supercommutative super algebras $\mathbf{C}^...
- 163
1
vote
0
answers
76
views
NSR superstring as a map of supermanifolds
On one hand, I know that the NSR superstring is described by a map $\Phi: \Sigma \to X$, where $\Sigma$ is a supermanifold with local coordinates $(\sigma,\theta)=(\sigma^0,\sigma^1 | \bar{\theta},\...
- 11
2
votes
0
answers
41
views
Coordinate free supersymmetric sigma model Lagrangian
I would like to know if there is a coordinate free version of the Lagrangian of the supersymmetric sigma model on a $2$-dimensional spacetime, with target space a Kähler manifold. The action for this ...
- 345
1
vote
0
answers
23
views
The space of ("super")maps from a reversed-parity tangent bundle?
Let $T[1]X$ denote the reversed parity tangent bundle of some smooth manifold $X$, i.e. the super/graded manifold such that the global sections of its structure sheaf are differential forms on $X$. I'...
- 765
1
vote
0
answers
53
views
Parity reversed tangent bundle of a supermanifold and the corresponding Q-structure
I asked this question in MathStackExchange 10 days ago but get no response (not a vote nor a comment), so I'm copying it here below. The link to the original question is:
https://math.stackexchange....
- 215
4
votes
0
answers
83
views
Superspace derivation of supersymmetric non-linear sigma model in Supersolutions by Deligne and Freed
I am having a little trouble understanding passage from the linear to the non-linear sigma model in Section 4.1 of Supersolutions by Deligne and Freed. Most of my confusion comes down to the ...
2
votes
1
answer
109
views
One-to-one correspondence between super morphisms $\varphi:S\to TX$ and pairs $(f:C^\infty(X)\to C^\infty(S) ,F\in Der_f(C^\infty(X),C^\infty(S))$
I'm trying to show that for an ordinary manifold $X$ and a supermanifold $S$, supermanifold morphisms $\varphi:S\to TX$ are one-to-one to the pairs $(f,F) $ where $f:C^\infty(X)\to C^\infty(S)$ is a ...
- 215
1
vote
0
answers
34
views
Formulation of matrix representation of morphisms between free super modules
I asked this question in MathStackExchange 9 days ago but get no response (not a vote nor a comment), so I'm copying it here below. The link to the original question is:
https://math.stackexchange.com/...
- 215
2
votes
1
answer
150
views
Parity reversed tangent bundle as a supermanifold
I encountered an example in a paper telling that $\underline{SM}(\mathbb{R}^{0|1},X)\cong \pi TX $, where $X$ is some fixed ordinary Riemannian manifold, $\pi TX $ is the supermanifold with base ...
- 215
7
votes
0
answers
219
views
Constructions with Superschemes via Kan extensions
Let $\operatorname{CAlg}$ be the category of commutative rings (with unit) and $\operatorname{S-CAlg}$ the category of supercommutative $\mathbb{Z}/2$-graded rings. Then we have an adjoint triple (as ...
- 821
6
votes
1
answer
204
views
Chain rule for the superderivative
A one dimensional complex supermanifold $X$ is locally described by an ordinary complex coordinate $z$ and an anticommuting coordinate $\theta$, $\theta^2 = 0$.
The superderivative is the square root ...
- 709
4
votes
0
answers
310
views
What is a super-infinity-groupoid, homotopy-theoretically?
There's a sheafy way to write down the $\infty$-category of super-$\infty$-groupoids, as detailed on the nlab. Can this notion be reformulated by saying that a super-$\infty$-groupoid is an ordinary $\...
- 55.4k
13
votes
2
answers
628
views
What is the relationship between spinors and supermanifolds and fermions?
I have the following two impressions about fermions in physics. I'm confused about their accuracy, and their compatibility:
To consider the behavior of a fermion, whose intrinsic spin is described by ...
- 55.4k
6
votes
0
answers
186
views
References for superhomology
This question concerns topological string theory.
It was known sice its outset, that the BRST-cohomology ("observables") of the weakly coupled topological string B-model on a Calabi-Yau ...
- 502
3
votes
1
answer
145
views
Cohomology of the moduli space of rational curves with $n$ marked points with spin structure
Consider $\mathcal{M}_{0,n}$- the moduli space of rational curves with $n$ marked points. A map
$$
p\colon \pi_1(\mathcal{M}_{0,n})\longrightarrow H_1(\mathcal{M}_{0,n},\mathbb{Z}/2\mathbb{Z})
$$
...
- 4,196
1
vote
0
answers
52
views
Poisson reduction in odd/graded Poisson geometry?
I would like to know whether there is any literature on Poisson reduction of $\mathbb Z$- or $\mathbb Z_2$-graded Poisson algebras.
A $\mathbb Z$-graded Poisson algebra with degree $p\in\mathbb Z$ ...
- 765
2
votes
1
answer
291
views
Question about Berezin line bundle of odd cotangent bundle of supermanifold $\text{Ber}(\Pi T^*\mathcal N)$
The followings are from Mnev's paper about BV formalism.
Example 4.15 (Definition of split supermanifold)
Let $E \to M$ be a rank $m$ vector bundle over $n$-manifold $M$, then there exists a ...
- 79
2
votes
1
answer
195
views
$\mathbb Z$-graded manifold is isomorphic to the structure sheaf of supermanifold locally
In this paper, definition 4.4.1 about supermanifold and definition 4.6.1 about graded manifold:
Definition 4.4.1: An supermanifold $\mathcal{M}$ is a locally ringed space $(M,\mathcal O_M)$ which is ...
- 79
3
votes
1
answer
631
views
Subsupermanifolds defined using ideal, transversal example
I am currently learning about algebraic viewpoint on closed embedded subsupermanifolds. In particular, I am struggling with something which should be ''easy to see''. Namely, I refer to the lemma just ...
- 113
1
vote
0
answers
63
views
Spaces of Bordered (Ordinary, Spin- or Super-) Riemann Surfaces
It is known from the work of Deligne and Mumford that the "space" of punctured/marked Riemann surfaces is a Deligne-Mumford stack. I have few questions regarding similar statement for the spaces of ...
- 969
7
votes
0
answers
115
views
Infinitesimal description of homogeneous supermanifolds
Lie's third theorem says that if $\mathfrak{g}$ is a real, finite-dimensional Lie algebra, then there is a unique (up to isomorphism) simply-connected Lie group $G$ whose tangent Lie algebra is ...
- 32.2k
3
votes
1
answer
107
views
Stationary phase method on supermanifolds
The classical stationary phase method computes an asymptotic behavior of an integral $\int_M f(x)e^{-\frac{1}{h}S(x)} dx$ as $h\to +0$, where $M$ is (say, compact) manifold in terms of the critical ...
- 20.3k
4
votes
0
answers
190
views
Will the transgression formula for superconnections give back the transgression formula of connections?
Let $E$ be a vector bundle on a smooth manifold $X$ and $\nabla$ be a connection on $E$, by Chern-Weil theory, the Chern character of $(E,\nabla)$ could be construct as
$$
ch(E,\nabla):=tr(\exp(-\...
- 8,417
5
votes
0
answers
240
views
Localization principle in integration over supermanifolds
This post is closely related to the post Localization principle in supersymmetry
and can be considered as a continuation of it, although independent.
In § 9.3 of the book "Mirror symmetry" (K. Hori ...
- 20.3k
2
votes
0
answers
63
views
Action of orthosymplectic group $SpO(d+1|d)$ on $PGL(d+1|d)$
Suppose $d$ is odd, and consider the super vector space $\mathbb{C}^{d+1|d}$ and its super projectivization $\mathbb{P}^{d|d}$.
In the case $d=1$, a paper of Witten's, concerning the moduli space of ...
- 255
4
votes
0
answers
239
views
What is the good notion of supervariety?
The principal (I think) difference between the notions of manifold in differential (including complex analytic) topology and in algebraic (or especially arithmetic) geometry is that for the former the ...
- 17.4k
6
votes
0
answers
210
views
Physical effects in supersymmetric theories of the underlying supermanifold being split or non-split?
Given an $m$-dimensional $C^{\infty}$ manifold $M$ with an $n$-dimensional vector bundle $E$ over $M$, one can use the transition functions of the manifold and the bundle to construct an ($m,n$)-...
- 408
18
votes
7
answers
2k
views
Supermanifolds — elementary introduction?
I am looking for an elementary but mathematically precise introductory text on supermanifolds in a modern differential geometric setting.
Elementary in the sense that there is plenty of motivation for ...
- 3,671
2
votes
0
answers
225
views
What exactly is the role of the mysterious manifold underlying the definition of a superspace?
In the intro to chapter 12.3 of this book about the applications of coherent states, it says that
classical spaces for bosons are real or complex vector spaces or manifolds, whereas classical spaces ...
- 408
4
votes
1
answer
662
views
Definition of orthosymplectic supergroups
I found two versions of definitions of orthosymplectic supergroups. It seems that they are not equivalent. I don't know which version of the definition is standard.
The first version of the ...
- 5,961
3
votes
1
answer
152
views
Reference request: coordinate ring of $OSP(2p|n)$
In the paper, the orthosymplectic supergroup $OSP(2p|n)$ is defined as follows.
Let $A = A_0 \oplus A_1$ be a supercommutative superalgebra, where elements in $A_0$ are even and elements in $A_1$ are ...
- 5,961
0
votes
1
answer
158
views
How to prove a bracket is super anti-commutative?
On page 12 of the paper, there is a formula about super Poisson bracket on a Lie super group $G$:
\begin{align}
\{\phi, \psi\} = \sum_{\mu, \nu} (-1)^{|\phi||\nu|} r^{\mu \nu} ( R_{\mu} \phi R_{\nu} \...
- 5,961
1
vote
1
answer
157
views
Construct super Poisson brackets on the coordinate rings of Lie super groups
On line 7 of page 61 of the book a guide to quantum groups, a Poisson bracket is defined on $\mathbb{C}[GL_n]$ for every classical $r$-matrix as follows.
Let $V$ be a vector space with a basis $v_1, \...
- 5,961
1
vote
1
answer
293
views
Super version of Poisson brackets of tensor products
Let $A$ be a Poisson super algebra ($A$ is a super algebra and $A$ satisfies super Jacobi identity, super commutativity, super Leibniz rule).
Super version of the product of two tensor products is
\...
- 5,961
8
votes
1
answer
701
views
What is the geometric significance of the definition of supermanifold?
We know that a supermanifold $M$ is a locally ringed space $(M,O_M)$ which is locally isomorphic to $(U,C^\infty(U) \otimes \wedge W^\ast)$, where $U$ is an open subset of $\mathbb{R}^n$, $W$ is a ...
- 155
4
votes
0
answers
152
views
Mirror Symmetry for Flag Supermanifolds
I recently learned the following two things, and I wish to know how to make them reconciled.
(1) As far as I understand, the flag manifolds serve as a tractable class of examples for the very ...
6
votes
0
answers
305
views
Is there any work on "super Fukaya categories"?
There is a well-established notion of "supermanifold", and in the world of supergeometry it makes sense to talk about symplectic structures. Actually, there are various kinds of symplectic structures:...
- 51.4k
3
votes
1
answer
120
views
An intrinsic supergeometric description of the Green–Schwarz supersymmetric action
The Green-Schwarz action is a natural supersymmetric extension of the Polyakov action (with a $B$-field which I will omit in what follows since it is not relevant to the question).
For a morphism $X:...
- 6,439
3
votes
0
answers
249
views
Cohomology of the classifying space of some Super Lie group
Are there any papers on the cohomology of the classifying space of the general linear supergroup $GL(n, m)$ or unitary supergroup $U(n, m)$?
I know basically nothing about supergeometry. It seems ...
- 939
20
votes
1
answer
651
views
Super-cobordisms
One can construct the $d$-dimensional bordism category by declaring the objects to be the $(d-1)$-dimensional compact manifolds without boundary and the morphisms the $d$-dimensional bordisms between ...
- 855
5
votes
1
answer
599
views
Localization principle in supersymmetry
In $\S$ 9.3 of the book "Mirror symmetry" (Vafa, Zaslow eds.) the authors formulate the following general localization principle for computation of integrals with respect to both even and odd ...
- 20.3k
5
votes
0
answers
183
views
Hochschild cohains-type models for smooth functions on shifted cotangent bundles
Let $M$ be a smooth manifold. Then, by the well known Hochschild-Kostant-Rosenberg theorem, the cochain complex $C^*(C^\infty(M))$ of Hochshild cochains on the algebra $C^\infty(M)$ of smooth ...
- 6,439
3
votes
0
answers
600
views
Orthosymplectic group, matrix representations
We have the orthosymplectic $osp(n,m|2k)$. The bosonic part is $so(n,m)\times sp(2k)$. The lie algebra generators are given in eg
http://cds.cern.ch/record/524737/files/0110257.pdf$
where the group ...
- 273
3
votes
1
answer
549
views
A good reference for learning about super-differentiation & super-integration?
I've looked at a couple of books for basic information for super-differentiation & super-integration - Rogers Supermanifolds, and Khrennikovs Superanalysis.
Unfortunately both books lack a clear ...
- 1,924
3
votes
0
answers
102
views
Analytic stuctures on $\mathbb R^n$ and the nilpotent ideal of supermanifolds
I have two questions which are somewhat related:
(a) It is a well known result (of Freedman?) in differential topology that $\mathbb R^4$ has exotic smooth structures. Apparently, it is known that ...
- 875
4
votes
2
answers
2k
views
Double tangent bundle of manifolds, two contradictory arguments
I am considering the double tangent bundle $T(TM)$ of manifolds $M$. Locally, if $M=R^d$ then $T(TM)=R^{4d}=\oplus^3 TM$. My attempt is to see whether $T(TM)\cong \oplus^3 TM$ naturally for any $M$. I ...
- 1,221
0
votes
1
answer
282
views
Invariant definition of graded Poisson bracket
Given a graded manifold with symplectic form $\omega$ of degree $n$, I have seen two expressions for the corresponding Poisson bracket of degree $-n$. Cattaneo-Fiorenza-Longoni, http://www.math.uzh.ch/...
- 661
2
votes
2
answers
414
views
Supermanifolds and Grassmann algebras
On the first hand one can define a superdomain $U^{p|q}$ as the super ringed space $(U^p,\mathcal{C}^{\infty p|q})$ where $U^p\subset\mathbb R^p$ is open and $\mathcal{C}^{\infty p|q}$ is the sheaf of ...
- 21