6,676 reputation
1952
bio website ncatlab.org/nlab/show/…
location
age 94
visits member for 3 years, 10 months
seen 2 days ago

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.


Aug
13
awarded  Nice Answer
Jul
10
awarded  Necromancer
May
7
comment Branes wrapping curves in M-theory. What does it mean?
Hard to tell if the question is after the basic concept or some subtleties of it. Let's first check if the basic concept is clear: a brane configuration of shape some manifold Σ inside a target spacetime X is a suitbaly well behaved map Σ→X. One says that such a configuration wraps cycles in X if it represents the corresponding element in the homology group of X. For instance if Σ=T^2and X=Y×T^2 then the brane wraps that torus surface if the embedding map is the identity onto that torus over some point of Y.
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.