Can Really Regularized Amplitudes Be Obtained as Consistent with Their Expected Symmetry Properties ?

Through a very detailed investigation involving a set of simple perturbative amplitudes we show that the answer for the question put in the title of the present work is: undoubtedly NO! We are not restricting the sentence to the amplitudes which are considered as anomalous. The referred investigation is performed by using a procedure alternative to the traditional regularization methods. In the context of such a strategy the amplitudes are not modified in intermediary steps of the calculation, like traditional regularization procedures do, and only the validity of the linearity in the integration operation is assumed in the operations made in Feynman integrals typical of the perturbative calculations. The central point of the investigation is the question related to the consistent interpretation of the amplitudes. For these purposes, in all amplitudes having power counting indicating the possibility of divergences, the relations among Green functions, Ward identities and low energy limits are analyzed, in a model having different species of massive 1 2 spin fermions coupled to spin 0 and 1 (even and odd parity) boson fields, formulated in a space-time dimension 1 1 D = + . We show that the maintenance of the linearity in operations involving Feynman integrals excludes the possibility of an anomalous term in the Ward identity relating the axial-vector and the pseudo-scalar-vector two point functions amplitudes. In addition, we show that it is not possible the maintenance of Ward identities and low energy limits in a consistent way if the amplitudes of the perturbative calculations are quantities to be regularized, just because there is no regularization method which is capable to give acceptable results for the divergent objects present in the calculations. How to cite this paper: Battistel, O.A., Dallabona, G., Fonseca, M.V. and Ebani, L. (2018) Can Really Regularized Amplitudes Be Obtained as Consistent with Their Expected Symmetry Properties? Journal of Modern Physics, 9, 1153-1178. https://doi.org/10.4236/jmp.2018.96070 Received: March 26, 2018 Accepted: May 11, 2018 Published: May 14, 2018 Copyright © 2018 by authors and Scientific Research Publishing Inc. This work is licensed under the Creative Commons Attribution International License (CC BY 4.0). http://creativecommons.org/licenses/by/4.0/ Open Access O. A. Battistel et al. DOI: 10.4236/jmp.2018.9607

1 1 D = + .We show that the maintenance of the linearity in operations involving Feynman integrals excludes the possibility of an anomalous term in the Ward identity relating the axial-vector and the pseudo-scalar-vector two point functions amplitudes.In addition, we show that it is not possible the maintenance of Ward identities and low energy limits in a consistent way if the amplitudes of the perturbative calculations are quantities to be regularized, just because there is no regularization method which is capable to give acceptable results for the divergent objects present in the calculations.

Introduction
It remains no doubt about the fact that the quantum field theory represents the adequate tool for the description of relativistic interactions of fundamental particles.The quantitative results obtained, mainly in scope of quantum electrodynamics, and the qualitative accordance between experimental data and theoretical predictions, within the context of the standard model, leave no room for hesitations in to agree with the preceding sentence, specially after the recent experiments in the large hadron collider where the Higgs Bosons discovery was announced.The construction of such a formalism is a consequence of a very hard work of many peoples along many years in searching for adequate interpretations for the perturbative solutions of quantum field theory, in particular for the quantum electrodynamics.This is due to the fact that in such type of solutions the amplitudes corresponding to basic processes are plagued by infinities or divergences so that an adequate interpretation is required in order to state the physical implications.Such an interpretation is given by the renormalization which, due to this reason, has played the role of a guide for the construction of theories having physical meaning.In this conceptual point of view, the theories are required to be renormalizable to get physical significance.The renormalizability, on the other hand, is deeply related to the maintenance, in the perturbative solutions, of the symmetries implemented in the construction of the theory.At first sight it seems obvious that the solutions will reflect the symmetries of the theory.However, as it is well known, within the context of quantum field theory obvious expectations are not always materialized.We are referring to the most intriguing and subtle aspect of quantum field theory; the unavoidable violations of symmetry relations or anomalies [1]- [8].Since the violations are unavoidable, the theories having anomalies are not renormalizable.The renormalization is only possible if different species of fermions are present at the theory so that anomalies coming from different sectors produce an exact cancellation, which is the anomaly cancellation mechanism, a fundamental ingredient of the standard model responsible for the presence of six quarks and six leptons in the theory.The anomalies eliminated in the standard model are those associated to the single (AVV) and triple (AAA) axial vector triangles.For these amplitudes it can be shown that four general expectations based on symmetries can be stated: three Ward identities and one low-energy limit.However, through very general arguments, not restricted to perturbative solutions, it can be shown that it is not possible to obtain a mathematical expression possessing simultaneously all four symmetry properties.In order to verify this fact, in an explicit way, only the perturbative calculation is possible.But this is not a trivial task since the corresponding amplitudes, one-loop triangles, are divergent quantities corresponding to a linear divergence degree.The linear divergence implies that the amplitude is not invariant under a shift in the loop momentum which means that the result may be dependent on the choices made for the routing of the internal lines.The divergence character requires, on the other hand, the adoption of some prescription to handle the problem, which means to regularize the amplitudes in a first step in order to allow the necessary manipulations and calculations.The result within this context may be also dependent on the specific regularization prescription adopted.The dimensional regularization [9] [10] [11], strictly speaking, cannot be applied since odd tensors (the Levi-Civita tensor) do not admit extensions to continuum and complex dimensions.Due to this reason the discussions about explicit (perturbative) calculations of the triangle anomalies are made in a scenario where the amplitudes are admitted to be ambiguous quantities and the violations in symmetry relations are associated to their divergent character [4]: it is not possible to choose the arbitrariness involved such that the four expected symmetry properties can be satisfied [12] [13] [14].Guided by phenomenological reasons, in the AVV triangle, the low-energy limit is preserved and, as a consequence, the vector currents involved are assumed preserved while the axial vector current is assumed violated.Some of the arguments adopted in the perturbative description of anomalies have been recently put in doubt since it was demonstrated that the divergent amplitudes are not the unique anomalous amplitudes [15].The referred investigations allow to conjecture that the divergent anomalous amplitudes, in each even space-time dimension, are only the simplest structures.They are related to a chain of finite anomalous amplitudes such that the association of divergences and ambiguities to anomalies seem not to be correct.
The aspects related to the regularization of perturbative amplitudes still remain as an important theme in quantum field theory.In a recent work [16], made by many hands, a detailed discussion about the questions relative to the regularization process, within the context of the most representative methods, including the one adopted in the present work, have been made.Such a work can be considered as an important support to the argument that the interpretation of the perturbative amplitudes requires additional investigations.If one agrees with this point of view, the present work may represents an useful contribution.
In the present work we add new and, perhaps, surprising facts related to the consistent interpretation of perturbative amplitudes.We show, through a careful and detailed investigation, that the phenomenon of unavoidable violation in symmetry relations is not restricted to that admitted as anomalous.Following rigorously the same steps used to state the anomalies, which means to state the most general form for the involved tensor, imposing the Ward identities and stating the low-energy limits, it is possible to show that an expression consistent with the Ward identities and low-energy limits involved cannot be obtained, within the context of regularizations, in a completely similar way as it is observed in the case of anomalous amplitudes.In order to appreciate these facts we consider the general case where different specie of massive fermions are coupled to boson fields (scalar, pseudoscalar, vector and axial-vector).In this model, the vector current is precisely related to the scalar current in a similar way as the axial is related to the pseudoscalar one allowing general, clear and transparent conclusions.The 1 1 D = + space-time dimension is chosen in order to avoid unnecessary algebraic difficulties involved in higher dimensions but the main aspects can be stated in other space-time dimensions in a completely similar way.The conclusions seem to indicate that another interpretation for the perturbative amplitudes is required since, in a clear way, the usual interpretation given for these mathematical structures, as regularized quantities, cannot produce consistent results, in a way independent of the specific regularization adopted.
The work is organized as follows.In Section 2 we define the model, notation and the one and two-points Green functions.In Section 3 we use these definitions, in addition to the Dirac matrices properties, to establish a set of relations among the involved Green functions.The general form for the tensors are used to state low-energy limits to the correspondent Green functions in the Section 4. The method to deal with divergent amplitudes is described in Section 5 and in the Section 6 we explicitly calculate the one and two-point functions by following the method described in Section 5.The Section 7 is dedicated to explicitly verify the relations among Green functions established in Section 3 using the results from Section 6. Divergent objects on the amplitudes, low-energy limits are detailed, respectively, in the Sections 8 and 9.A general discussion about all presented results is performed in the Section 10.

The Model
In order to state the elements for the present investigation let us consider the following interaction Lagrangian , where γ is the two-dimensional matrix responsible for the odd parity behavior of the pseudoscalar and axial-vector fermionic currents.The referred fermionic currents are identified as where the operators i Γ , according to the interaction Lagrangian, can be 1 , 3 γ , which implies in Ward identities for the perturbative amplitudes.
For our present purposes it is enough to define the one-loop fermionic two-point functions ; ; , for one value of the loop momentum, where ( ) ( ) , is the fermionic propagator.The expression for the quantities ij t can be also written in the form, .
The one-loop amplitudes are obtained from the above quantities after implementing the last Feynman rule, which means to integrate over the loop momentum ( ) At this point it is convenient to define also the one-point structures . The corresponding one-loop amplitudes are then given by ( ) They are related to the two-point ones through relations among Green functions, as we will see in a moment.We, intentionally, separated the implementation of the last Feynman rule from the other ones as a part of the procedure we will adopt to manipulate and calculate the divergences of the perturbative calculations.

Statement of Relations among Green Functions
By using the definitions of the one and two-point functions structures, in addition to the Dirac matrices properties, it is possible to state relations among these quantities every time we have a Lorentz index, by contracting the amplitudes with the external momentum.For one contraction we have ; ; , ; ; , ; ; , ; ; , ; ; , ; ; , and, for two contractions, ( ; ; ; ; , ; ; ; ; , ; ; ; ; .
Such relations can be converted into relations among the one-loop Green functions after the integration over the loop momentum k, on both sides.This means that after calculating the one and two-point functions we have to get these relations satisfied as a consequence of the linearity of the trace and integration operations.

General Form for the Tensors and Low-Energy Limits
It is possible to obtain important properties for the amplitudes by combining their general tensor structures with their symmetry relations or Ward identities.
These results are not restricted to the perturbative solutions and must remain valid even for exact solutions.

A. Vector indexes
Let us start by the ones having one Lorentz index.The SV function is a vector constructed with the external vector q ν so that we have to get a general form ( ) F q is an invariant function of the external momentum.The general form allows us to state a low-energy prediction for this amplitude.First ( ) and then it is expected that F q may not have a pole at 2 0 q = .However, the proportionality between the vector current with the scalar one, Equation ( 2), states that ( ) ( ) .
This implies that it is also expected that .
Contracting with the external momenta ( ) ( ) and using the Ward identity ( ) Here we can identify a low-energy limit given by ( ) Then it is expected that the g µν term in the VV function satisfies A very interesting aspect, however, is relative to the second contraction ( ) ( ) In this way the two-point functions SS, VS and VV as well as the one-point ones S and V are involved in these low-energy predictions.

B. Axial indexes
Now let us consider the AP function.The general form is similar to that of SV function ( )

G q
may not have a pole at 2 0 q = .However, the axial current must be proportional to the pseudoscalar one such that we have to get , as a consequence of the Ward identity relating the axial and the pseudoscalar fermionic currents.
Now we consider the AA function.Similarly to VV amplitude we have ( ) ( ) .
The Ward identities allow us the identification , Again we can identify a low-energy implication Now we can see that the two contractions lead to ( ) ( ) , AA q q T m m q G q µ ν µν = + which implies that we have to get 2 0 0 AA q q q T µ ν µν = = .Such that the amplitudes PP, AP, AA, S and V are involved in these low-energy predictions.

C. Axial and vector indexes
Now let us consider the functions having an odd number of 3 γ .For PV, AS and AV amplitudes we can write ( ) The tensor AV T µν carries one vector and one axial index corresponding to vector and axial currents such that we must have the properties dictated by the Ward identities.Contracting the expression (16) with the vector external momenta q ν , and using the Ward identity, we arrive at the result Contracting now the amplitude with the axial vertex momentum, we obtain and, as a consequence, ( ) This expression means that at 2 0 q = the left hand side must vanish, which implies that at this kinematical point we have to get also or in another way This is the implication analogous to the equal mass case, which is . So, if both Ward identities for the AV function are satisfied then it is predicted that the above combination of PV and AS amplitudes must vanishes at 2 0 q = .This prediction is general and not restricted to perturbative solutions.
The above results relating PV, AS, PS, and AV amplitudes are consequence of the general structure for these amplitudes in addition to the validity of Ward identities.
At this point, the relevant question is: can we evaluate all the involved perturbative amplitudes so that the expected properties, relations among Green functions, Ward identities and low-energy limits can be satisfied simultaneously?This is our challenge since there are mathematical troubles in the amplitude definitions which must be consistently handled in order to find adequate solutions for the perturbative amplitudes.

The Strategy to Handle the Divergences of the Perturbative Calculation
In the preceding sections we have introduced a general interaction Lagrangian and constructed the one-loop amplitudes through the ingredients given by the Feynman rules, for one value of the loop momentum, which may become divergent after integration over all such values.The integration was not taken precisely by the fact that some amplitudes, in that case, will become mathematically undefined quantities and the posterior operations are dangerous since all the physical content of the amplitudes (external momentum dependence) will be present in divergent integrals and then the calculations only become possible if some modifications of the amplitudes are made.Schematically, we have to adopt the following procedure where the i Λ 's are parameters of the distribution , i G k Λ , and the limit which allows to remove the distribution in the finite integrands, connecting the modified expression to the original ones (coming from the Feynman rules), ( ) , must be well-known.By assuming the presence of this very general regularization we can manipulate the integrand through algebraic identities since the integrals are now finite.
In order to avoid the problems related with the usual regularization schemes we will adopt an alternative procedure to perform all the necessary calculations in the perturbative amplitudes, including renormalization processes, without modifying the amplitudes as they emerge from the Feynman rules.The procedure is in addition universal in the sense that any amplitude of any theory in any space-time dimension is treated in the same way.Such strategy, proposed and developed by O. A. Battistel originally in Ref. [17], is founded in a simple idea: to avoid the critical step involved in the regularization process which is the explicit evaluation of divergent integrals.
The implementation of the procedure is simple.The central idea is to write the propagators in a way that the momentum structure is emphasized.The divergences occur because the conditions imposed in the differential equation for the Green functions of the free part are not enough to render the perturbative solutions of the interacting theory convergent.More restrictive convergence conditions would be necessary.So it is possible to separate the part of the propagators which are responsible for the divergences if a decreasing power series is generated.Schematically, we can represent the summation as where the corresponding integrals have a power counting which decreases as n increases, such that the last term can be convergent.If this is possible then the connection limit can be taken in such term which means to remove the distribution from the integral just because the integration and the limit commute in this case, such that the right hand side can be written as In this step, it is assumed only the validity of the linearity in the integration process.The last integral can be performed without specifying the regulating distribution and the result must be universal (regularization independent).
According to the space-time dimension more inverse power will be associated to divergences but there always will be a certain power which will correspond to convergent terms.This scenario will be perfect if no physical parameter are present in the potentially divergent terms such that the part which contains the energy-momentum dependence will reside totally in the convergent term.The remaining potentially divergent terms will be, in principle, dependent on the specific regularization.However, there will be properties of them which may be universal too, as we will see in a moment.
In order to implement such procedure we can adopt an adequate representation for a propagator carrying momentum Note that, as N increases, the convergence becomes better.This identity is very convenient for our purposes.Here i k is a momentum of an internal line in the loop, and i m is the mass carried by the corresponding field.In the above identity we have introduced an arbitrary parameter λ with dimension of mass.
As it will be shown in the next sections, this parameter gives a precise connection between the divergent and finite parts.It plays the role of a common scale for the divergent and finite parts of the corresponding Feynman integrals.
The value taken for N in a Feynman integral, according to the brief discussion above, must be taken as major or equal to the highest superficial degree of divergence of the considered theory or model, if we want to take an unique representation for all involved propagators.Once this representation is assumed, the integration in the loop momentum can be introduced (the last Feynman rule).All the Feynman integrals containing the internal momenta will be present in finite integrals.On the other hand, the divergent ones, which contain only the arbitrary mass scale λ, assume then standard mathematical forms as ( ) ( ) The tensorial structure states general properties for such objects.Among such properties, there must be a relation among them such that all the objects above can be reduced to first one.These relations must be independent of the particular regularization.
The set of potentially divergent terms can be then separated in two classes of objects; the irreducible ones and those which are convenient combinations of terms having the same degree of divergences but different tensorial structures.
Such objects are not really integrated as we will show in a moment, so that no divergent integrals need in fact to be solved.In renormalizable theories the irreducible objects can be absorbed in the reparametrization of the theory and in nonrenormalizable models they will be directly adjusted to phenomenological parameters in the parametrization of the model, in each specific level of approximation considered.More details about these aspect of the procedure will be presented in a moment when the chosen amplitude is evaluated.
In order to make clear the point stated above, as an example, for the present case the fermion propagator can be written as This expression is obtained by taking 1 N = in Equation ( 18) and performing the summation over index j.This value for N is relative to the highest (superficial) degree of divergence which we have to consider.In present case such value corresponds to the one-point vector or axial Green function.
Note that the expression above is independent of the arbitrary scale parameter λ.
This can be easily checked by verifying that ( ) . The presence of the arbitrary scale parameter is required to preserve the arbitrariness involved in the separation of terms having different power counting in the loop momentum.It is easy to verify, within the context of traditional strategies, that in this type of separation there is an arbitrariness.By using the above form for the fermionic propagator we will have the desirable property for all one-loop amplitudes in which all the dependence on the internal momenta will be in present in finite integrals.However, unnecessary algebraic efforts can be avoided noting that in cases of lower than N divergence degree we can (before or after taken the integration) turn back one or more steps in the above expansion of the propagator until the dependence on the internal momenta is located in finite integrals.This point will become clear in what follows.Let us now evaluate the one-loop amplitudes involved in our investigation within the context of the above described procedure and then show many other aspects of the referred strategy.

Explicit Calculations of One and Two-Point Functions
We start, following the strategy described in the preceding section, by considering the evaluation of the simplest ones but those having the higher divergence degree in the theory which is the one-point scalar, vector and axial fermionic Green functions defined in (4).Let us consider one of them in details, in order to illustrate the procedure.We first write where ( ) − .Since the divergence degree acquired will be linear for the first term in (20), we choose 1 N = in the expression (18) so that ( ) or, since the odd terms will be ruled out after the integration, we write For the second term the same expression for the propagator can be used.However, in order to avoid unnecessary algebraic efforts we can note that it is equivalent to adopt the expression (18) corresponding to 0 N = .This is a general statement.If a higher (than the superficial degree of divergence) value for N is assumed the result can always be reduced to the one corresponding to the lowest possible one.Then we get ( ) Adding the two terms, (21) and ( 22), in order to obtain the vector Green function, so that the dependence on the arbitrary internal momentum is located in finite integrals.The divergent terms will not contain physical quantities since λ is an arbitrary parameter which will play the role of a common scale for the divergent and finite parts.We can then introduce the integration on both sides in order to obtain the physical amplitude.It is certainly correct to say that The integration of the (finite) integrals obtained reveals an exact cancellation.
This means that we can state the formal relation where we have defined With the same ingredients we get Note the completely arbitrary character of the results.Analogously, for the S function we can state that ( ) The integration of the (finite) integral obtained reveals that the formal relation can be stated The function P T is identically zero due to the Dirac traces properties.Following the same procedure, in the same spirit adopted above, we get the following results for the two-point functions ( ) ( ) where we introduced the functions In the above expressions (and in future ones), the arguments of such functions are omitted by simplicity.
At this point it is interesting to note that the mathematical forms of the amplitudes presented above preserve all the arbitrariness involved in this type of calculations.In addition, no modification, relative to the implication of Feynman rules, has been introduced, as is usual in regularization prescriptions.
On the other hand, since only finite integrals have been solved, the results corresponding to particular regularizations can be obtained directly from the above expressions.For this purposes it is only necessary to perform the integration of the two divergent objects present in the expressions; ( )

Verification of Relation among Green Functions
Before any analyses we have to verify the consistency of the performed operation.
We must test the obtained results concerning the maintenance of the linearity in the integration operation.In our problem, a crucial test is the verification of the relations among Green function stated in the section III.We start by the VV function, Equation (34).Contracting with external momentum q µ ( ) ( The second term can be identified as SV T ν , by comparing with the expression (30).On the other hand it is simple to see that ; .
which is in accordance with the expectation stated by the expression (5).
For the SV function, Equation ( Using the relation between finite functions which reduces the function ( ) which is the desired result stated through the expression (6), given the expressions ( 27) and (28) to S and SS amplitudes.Contracting the expression for the AA amplitude, Equation (35) we get ; ; , by comparing with the expression ( 23) and (33) to the functions V and PA.
The contraction 0 AS q T µ µ = , Equation (31), is obtained, which is the correct result since the functions P and PS involved in the corresponding identity are both zero.
By contracting the expression (36) with the external momentum we get ( ) Comparing with the expression (31) and (25) for the AS and A functions, we conclude that ( ) ( ) ( ) ; ; , ( ) Using the relation among the finite functions Now looking at the expression above, in order to identify the involved one-point A functions, Equation (25), it is first necessary to use a 2D version of the Schouten identity .
It is easy then to identify the one and two-point amplitudes such that Differently from the preceding cases, here the expected relation is only obtained if the condition ( ) is satisfied.This is a very important aspect, because if the attributed value for this quantity is different from the above one, the linearity of the integration operation is broken.Obviously, this is related to the anomalous term in the AV anomaly.Let us consider this object in a more detailed way.First we write This is a difference between two logarithmically divergent structures.
However, using, one more time, the linearity of the integration operation, we can add and subtract 2 λ in the numerator of the first term to obtain a cancellation of the divergent part.The result is finite and completely well defined ( ) ( ) ( )

∆
. We concluded the verification of the relevant relations among Green functions.The manipulations and calculations made until now are consistent to the linearity in the integration operation given the fact that the above obtained condition is fulfilled in a way independent of the particular prescription.

Ward Identities and Divergent Object
In the preceding section we verified if the relations established to perturbative 1-loop amplitudes have been preserved by the performed operations in the context of adopted strategy.All relations among Green functions are preserved without any condition for the value of the divergent quantities present at the expressions for the amplitudes within the context of the adopted mathematical language, except the one corresponding to the contraction of the AV amplitude with the external momentum with the axial index.This means that all regularizations are capable to fulfill such relations independent of the value attributed to the divergent objects, except that for the axial index of the AV amplitude where a specific (but reasonable) property is required.This exception character is obviously related to the axial anomaly, as we will discuss in what follows.
π .2π and then ( ) , . k λ λ − Then, we introduce the last Feynman rule.The integration of the two imediately above quantities must be identified as being equivalents, due to the linear character of the integration operation.So, it seems that the zero value attributed to the object αβ ∆ cannot be correct since β β ∆ is clearly nonzero.
The more surprising fact is that even if we close our eyes for these facts, this is not enough to render the perturbative amplitudes consistent quantities.In order to see this it is necessary only to analyze the Ward identities for the amplitudes having one Lorentz indexes.
here are present in all space-time dimensions in all theories and models.The authors of the present work have been made a considerable effort in order to understand in the deepest way the questions relative to the consistency in perturbative calculations.Part of such efforts resulted in a simple and transparent procedure to make the required manipulations and calculations where it is possible to avoid the use of regularizations in intermediary steps as well as a complete systematization of the procedures has been obtained.After this it is simple to identify some situations where it is apparently not possible to obtain the required consistency.The simple investigation presented here exhibits some of such situations.The required calculations are very simple.In spite of this, the conclusions are powerful.
The main point of our work is the requirement of the validity of the linearity in integration operation in Feynman integrals, in spite of the divergent character involved, at any stage of the calculations.It seems so simple and obvious to require the preservation of this absolutely fundamental mathematical property in the operations made in perturbative calculations of quantum field theory, but this is a difficulty for all regularization procedures, specially for the dimensional regularization.It is not usual to emphasize this aspect just because it is not usual to verify if the obtained results are consistent with such requirement.Given the presence of mathematical indefinitions at the loop amplitudes, the preservation of the linearity in the manipulations made in Feynman integrals is not automatic.
Because of this, such property can be used as a powerful constrain in the searching for the consistent interpretation of the perturbative amplitudes.It is certainly a very difficult situation to state physical consequences of a theory through the solutions which breaks the linearity in the integration operation.A simple but important consequence is that it is possible to show that all anomalous terms are linearity breaking, as we have shown in the considered case.
In a consistent calculation, such terms cannot be present.It is possible to identify, in a very clear way, the step where the anomalous term emerge, just because it is precisely where the referred linearity is broken.In the expression for the AV amplitude, Equation (37), we have the term ( )  .Then we used an identity, which can be stated at the level of the integrands, ( ) ( ) ( ) and then two terms appeared.The first term, in the right hand side, will generate two one-point axial amplitudes while the second one will add to the term π i q µ µν ε , coming from the finite part.If one adopts a prescription where α ν ∆ is zero, like dimensional regularization does, then the remaining two terms will not arise so that the factor π i q µ µν ε will not be cancelled breaking the axial Ward identity.However, the above identity is correct and the term β The same result can be obtained in the presence of any regulating function.
The result within the context of dimensional regularization can be understood if we rewrite the above object in a different way ( ) ( ) It is a surface term and so is taken as zero in dimensional regularization, by construction.But this assumption is clearly not compatible with symmetric integration and linearity, as shown above.In addition, this make possible that the trace can be obtained as nonzero for an identically zero tensor.On the other hand, it is very simple to verify that ( ) ( ) a consequence of the Ward identity relating the vector and the scalar fermionic currents.Now we consider the VV function.The expected general form can be written in a very convenient way

I
λ .These two objects remain unspecified at this point and the remaining freedom resides precisely on the values assumed by them, if we look at the amplitudes as regularized quantities, as usual.For the operations made until now, it was assumed only the validity of the linearity in the integration operation in Feynman integrals, in spite of the divergent character.Let us now analyze the obtained results.

(
the relation is preserved.Now we contract with the axial index, β∆ cannot be made zero at any fair procedure.Its value cancels in an exact way the factor convenient.It works like a Consistency Relation in perturbative calculations just because saves, among others, the gauge invariance of the polarization tensor in the quantum electrodynamics in two dimensions but, given the above arguments, it is clearly unfair.Despite of this it is not , Now we consider the axial vector index.It is immediate to see that , showing that the Ward identity for the vector index is preserved.DOI:10.4236/jmp.2018.960701172 Journal of Modern Physics