### Book

## Mathematical Aspects of Quantum Field Theories

Despite its long history and stunning experimental successes, the mathematical foundation of perturbative quantum field theory is still a subject of ongoing research.

This book aims at presenting some of the most recent advances in the field, and at reflecting the diversity of approaches and tools invented and currently employed.

Both leading experts and comparative newcomers to the field present their latest findings, helping readers to gain a better understanding of not only quantum but also classical field theories. Though the book offers a valuable resource for mathematicians and physicists alike, the focus is more on mathematical developments.

This volume consists of four parts:

The first Part covers local aspects of perturbative quantum field theory, with an emphasis on the axiomatization of the algebra behind the operator product expansion. The second Part highlights Chern-Simons gauge theories, while the third examines (semi-)classical field theories. In closing, Part 4 addresses factorization homology and factorization algebras.

This Chapter consists of two contributions about the relevance of factorization homology (a.k.a. manifoldic homology or topological chiral homology) in three dimensional topology: 1. Manifoldic Homology and Chern-Simons Formalism, by Nikita Markarian; 2. Factorization Homology and Links Invariants, by Hiro Lee Tanaka.

We study U(1) twist fields in a two-dimensional lattice theory of massive Dirac fermions. Factorized formulas for finite-lattice form factors of these fields are derived using elliptic parametrization of the spectral curve of the model, elliptic determinant identities and theta functional interpolation. We also investigate the thermodynamic and infinite-volume scaling limit, where the corresponding expressions reduce to form factors of the exponential fields of the sine-Gordon model at the free-fermion point.

The workshop *Tropical Aspects in Geometry, Topology and Physics* was devoted to a wide discussion and exchange of ideas between the leading experts representing various points of view on the subject. The development of tropical geometry is based on deep links between problems in real and complex enumerative geometry, symplectic geometry, quantum fields theory, mirror symmetry, dynamical systems and other research areas. On the other hand, new interesting phenomena discovered in the framework of tropical geometry (like refined tropical enumerative invariants) pose the problem of a conceptual understanding of these phenomena in the “classical” geometry and mathematical physics.

We calculate one--loop corrections to the vertexes and propagators of photons and charged particles in the strong electric field backgrounds. We use the Schwinger--Keldysh diagrammatic technique. We observe that photon's Keldysh propagator receives growing with time infrared contribution. As the result, loop corrections are not suppressed in comparison with tree--level contribution. This effect substantially changes the standard picture of the pair production. To sum up leading IR corrections from all loops we consider the infrared limit of the Dyson--Schwinger equations and reduce them to a single kinetic equation.

In this paper we introduce a notion of Feynman geometry on which quantum field theories could be properly defined. A strong Feynman geometry is a geometry when the vector space of A-infinity structures is nite dimensional. A weak Feynman geometry is a geometry when the vector space of A-infinity structures is innite dimensional while the relevant operators are of trace-class. We construct families of Feynman geometries with "continuum" as their limit.

We explain the Dirac–Segal approach to quantum field theory. We study local observables in this approach and the theory of deformations. We found out that this theory of deformation in the second-order coincides with the renormalization of the same theory, would it be considered in Polyakov approach. We conjecture that it is still true to all orders.

A method based on the spectral analysis of thermowave oscillations formed under the effect of radiation of lasers operated in a periodic pulsed mode is developed for investigating the state of the interface of multilayered systems. The method is based on high sensitivity of the shape of the oscillating component of the pyrometric signal to adhesion characteristics of the phase interface. The shape of the signal is quantitatively estimated using the correlation coefficient (for a film–interface system) and the transfer function (for multilayered specimens).

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.