# Index theorem in fermion theory

+ 2 like - 0 dislike
377 views

Is it possible to derive the chiral anomaly equation for the axial fermion current (in the form of an index theorem) by using only geometrical arguments, without introducing correlators, path integrals, Dirac seas etc.?

The chiral anomaly has the form of an index theorem, which has a topological origin. On the other hand, in the operator formalism it arises because of the absence of a chiral symmetry preserving regularization. I don't understand how these approaches are connected.

edited Oct 9, 2016

You probably need to be more precise about what you want to allow and what you don't want to allow. In order to define the axial fermion current, you need at least a Lagrangian. Then, you also need some information about how to quantize this Lagrangian (a more or less straightforward answer being the path integral / fermion determinant). What do you have in mind for the latter?

@GregGraviton : I have asked rather about principal ability of well-defined chirality of fermions in the presence of the connection - the gauge field.

@NAME_XXX I am afraid, I still don't understand what exactly you are asking. To be able to define the chirality of a fermion, you have to be able to define what a fermion is, and then you are already swimming in the Dirac sea, so to speak. That said, quantum anomalies can be rephrased as questions about the regularized determinant of the Dirac operator on manifolds, which would be a purely mathematical question, but I'm not sure if this is what you want to hear, because regularizing the determinant is essentially a definition of the path integral for fermions.

@GregGraviton : the chiral anomaly has the form of index theorem, which has topological origin. From the other hand, in operator formalism it arises because of absence of chiral symmetry preserving regularization. I don't understand how these approaches are connected.

@GregGraviton : maybe, mathematicians have proved the index theorem for the other space of Dirac operator (not for $R^{4}$), where the all eigenvalues of the Dirac operator are discrete?

@anonymous : If you put the question like that, it makes much more sense. Could you edit the question?

@NAME_XXX : Compact vs non-compact space is actually non-trivial. For open spaces, there is the Callias index theorem .

 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.