6,516 reputation
1851
bio website ncatlab.org/nlab/show/…
location
age 94
visits member for 3 years, 6 months
seen Apr 17 at 21:47

I am a postdoc in mathematics, but have my degree in theoretical physics. My work is about mathematical structures motivated from quantum field theory and string theory. For more see here.


Mar
24
comment Is General Relativity based on a Symmetry?
bah, "generally covariant" theories.
Mar
17
asked The low dimensional end of the brane scan
Feb
19
revised Extended SuSy from the kappa-Symmetry WZW terms
edited body
Feb
19
answered Extended SuSy from the kappa-Symmetry WZW terms
Feb
13
awarded  Revival
Feb
13
awarded  Curious
Feb
12
revised Is it possible to derive the brane action in pure supergravity?
deleted 7 characters in body
Feb
12
answered Derivation of the supergravity action in 11D
Feb
12
answered Is it possible to derive the brane action in pure supergravity?
Feb
12
asked Extended SuSy from the kappa-Symmetry WZW terms
Feb
2
awarded  mathematical-physics
Feb
1
answered Coadjoint orbits in physics
Jan
4
awarded  Nice Question
Dec
17
answered Is gravitational Chern-Simons action “topological” or not?
Dec
14
awarded  Good Answer
Nov
4
comment Are identity types interpreted physically in an infinity-topos formulation of equations of motion?
You are welcome to ask questions on the nForum. Just hit "Start a discussion" in the top left, select an appropriate discussion category, usually "Atrium: Mathematics, Physics and Philosophy", and go ahead.
Nov
4
comment Are identity types interpreted physically in an infinity-topos formulation of equations of motion?
Yes, the definition of "≃" involves "=". A function is an equivalence iff all its homotopy fibers are contractible, and in order to say "homotopy fiber" and "is contractible" one uses "=". In the models this is understood as: "=" sees the morphisms inside an object of an infinity-category, but "≃" sees the morphisms of the infinity-category itself. Now there is the objcect classifier which is a small image of the whole category inside itself. So in that particular object both kinds of morphisms are reflected and the univalence axiom says that they agree. So internal and external agree.
Oct
29
comment Is General Relativity based on a Symmetry?
By the way, GR is not "the" theory invariant under diffeos. All covariant theories are invatiant under diffeos, in particular all topological theories are.
Oct
27
comment Why quantum mechanics?
Yes, this is called "geometric quantization". It's standard. (I was just offering a motivation for existing theory, not a new theory.) The geometric quantization of the standard examples (e.g. harmonic oscillator) is in all the standard textbooks and lecture notes, take your pick here: ncatlab.org/nlab/show/…
Oct
9
awarded  Yearling