10,584 reputation
2785
bio website ncatlab.org/nlab/show/…
location
age
visits member for 5 years, 5 months
seen 37 mins ago
I am a postdoc in maths with a degree in theoretical physics. I am interested in mathematical structures in quantum field theory and string theory, see here.

Mar
23
awarded  Nice Answer
Mar
11
awarded  Announcer
Feb
23
comment How to write BRST-BV for dg-Lie?
ncatlab.org/schreiber/show/derived+critical+locus
Feb
20
comment The groupoid of algebraic expressions and proofs
@goblin, that seems rather close in spirit to type theory ncatlab.org/nlab/show/type theory . In its flavors as homotopy type theory ncatlab.org/nlab/show/homotopy+type+theory this is precisely about groupoids whose morphisms are proofs of equivalences... and higher groupoids whose higher morphisms are proofs of equivalences of proofs of equivalences, and so on.
Feb
19
comment space at the Planck scale
No, this is not true for string theory. I have sent an explanation over at PhysicsOverflow: physicsoverflow.org/27295/…
Feb
6
answered Reference request: a guide through quantum probability
Feb
5
comment consistent orientation for functorial pull-push in generalized cohomology
Ah, right, fixed now. Thanks.
Feb
5
revised consistent orientation for functorial pull-push in generalized cohomology
fixed trivial typo
Jan
26
awarded  Nice Question
Jan
3
comment Reference Request for TQFTs
For mathematical supersymmetry I recommend the articles by D. Freed listed here ncatlab.org/nlab/show/… particularly the "Five lectures on supersymmetry" ncatlab.org/nlab/show/Five+lectures+on+supersymmetry and his article with Deligne ncatlab.org/nlab/show/supersymmetry#DeligneFreed99
Jan
3
comment Reference Request for TQFTs
I'd suggest Witten 91 ncatlab.org/nlab/show/topological+quantum+field+theory#Witten91 and Cordes-Moore-Ramgoolam 94 ncatlab.org/nlab/show/…
Jan
3
comment Reference Request for TQFTs
Did you look at the original articles by Witten here ncatlab.org/nlab/show/… ?
Jan
3
comment Reference Request for TQFTs
A commented list of references with further pointers is here: ncatlab.org/nlab/show/…
Dec
28
comment pullback of Lie algebra cocycles along Cartan connections
Literature on the cocycles that I am thinking of is listed here: ncatlab.org/nlab/show/… Discussion of the need to prolong these to closed forms on curved superspace is listed here: ncatlab.org/nlab/show/… I am preparing some notes on this extension problem. Will send you more once its ready.
Dec
27
comment pullback of Lie algebra cocycles along Cartan connections
Thanks for your comment. My main motivating class of examples is that where $\mathfrak{g}$ is an extended super-Poincare Lie algebra and $\mathfrak{h}$ is the Lie algebra of the Lorentz group. Then $\mathfrak{g}/\mathfrak{h}$ is extended Minkowski-spacetime regarded as a super-translation Lie algebra. There are a finite number of exceptional super-Lie algebra cocycles on these, and in supergravity theory it is of key interest to prolong these to closed forms over a curved superspacetime, hence over an $(\mathfrak{h} \hookrightarrow \mathfrak{g})$-Cartan geometry.
Dec
25
awarded  Announcer
Dec
18
comment What is torsion in differential geometry intuitively?
Further putting this all together, it seems we should say that given an $(H \to G)$-Cartan connection ncatlab.org/nlab/show/Cartan+connection (which subsumes G-structures and soldering forms) then torsion is the projection of its curvature under $\mathfrak{g}\to \mathfrak{g}/\mathfrak{h}$.
Dec
17
comment What, precisely, does Klein's Erlangen Program state?
Riemannian geometry (and many other types of geometries) is subsumed by the globalization of Klein geometry known as "Cartan geometry". ncatlab.org/nlab/show/Cartan+geometry
Dec
15
awarded  Announcer
Dec
11
comment Artin L-function and Zeta function of twisted Dirac operator
John Baez points out that discussion of more analogy along these lines is in D. Brown "Lifting properties of prime geodesics" ncatlab.org/nlab/show/Selberg+zeta+function#Brown09 . On p. 9 there is a comprehensive table of pertinent analogies.