# Geometric interpretation of perturbation theory in quantum field theory

+ 3 like - 0 dislike
2810 views

I am studying GR right now, and one interesting thing I learned about vectors is that they are defined to have the same properties as derivatives.

With this in mind, can I make a differential geometric interpretation of ordinary perturbation theory used in quantum field theory in the following way:?

1. The set of all field configurations makes a (very complicated) manifold.
2. We do perturbation theory about a background field configuration corresponding to a point on this manifold.
3. The perturbations are like expanding functions out to first order -- can be viewed like tangent vectors

Am I on some track to enlightenment, or is this a dead-end train of thought?

This post imported from StackExchange Physics at 2014-03-28 17:12 (UCT), posted by SE-user QuantumDot

+ 2 like - 0 dislike

At the non-rigorous/intuitive level, OP's observations are spot on. To facilitate such thinking, physicists often use DeWitt's condensed notation, where a field $\phi^{\alpha}(x)$ is written as $\phi^{i}$, while pretending that $i=(\alpha,x)$ is an index of a local coordinate $\phi^{i}$ for some differential manifold.

The problem is that the space of all field configurations is typically an infinite-dimensional space, while ordinary differential geometry is usually only discussed in the context of finite-dimensional manifolds.

Thus strictly speaking, one would have to master/study/develop an infinite-dimensional mathematical version of differential geometry to make OP's picture precise/rigorous.

This post imported from StackExchange Physics at 2014-03-28 17:12 (UCT), posted by SE-user Qmechanic
answered Nov 16, 2012 by (2,900 points)
+ 2 like - 0 dislike

$k$th order perturbation theory is just the approximation in terms of a $k$th order Taylor expansion in the perturbed variable. So if you have a problem depending on a single parameter $g$, perturbation theory essentially works out a low order polynomial approximation to a path (parameterized by $g$) in an infinite-dimensional space of fields.  While this give some geometric interpretation, it does not simplify anything - computing the approximation you still need all the standard machinery.

answered Mar 30, 2014 by (15,448 points)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ys$\varnothing$csOverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.