5,971 reputation
1747
bio website ncatlab.org/nlab/show/…
location
age 93
visits member for 3 years
seen 23 hours 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.


23h
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
Sep
24
awarded  Autobiographer
Sep
18
awarded  Enlightened
Sep
17
awarded  Nice Answer
Sep
15
awarded  Good Answer
Jul
3
awarded  Announcer
Jun
3
awarded  quantum-field-theory
Jun
2
answered TQFT associates a category to a manifold
May
28
awarded  Necromancer
May
15
awarded  Nice Answer
May
9
answered Gravitational Chern-Simons theory for bosons and fermions
May
7
awarded  Nice Answer
Apr
11
awarded  Good Answer
Apr
7
awarded  Announcer
Apr
7
revised p-Adic String Theory and the String-orientation of Topological Modular Forms (tmf)
fixed another trivial typo
Apr
7
answered “tmf$(n)$ is the space of supersymmetric conformal field theories of central charge $-n$”
Apr
7
asked p-Adic String Theory and the String-orientation of Topological Modular Forms (tmf)
Mar
25
comment What are type system examples of local gauge transformation- and field strength-like objects?
To answer your question: yes, in HoTT there are gauge transformations, which are not present in an ordinary topos. For instance in cohesive HoTT there is a type BU(1)_conn of electromagnetic gauge fields. This does not exists in any plain topos (1-topos). For X a manifold, then a function X --> BU(1)_conn is an electromagnetic gauge field on X and a homotopy between two such maps is a gauge transformation between these field configurations. This gauge/homotopy theoretic aspect is not present in an ordinary topos.