-
Locality Galois groups of meromorphic germs in several variables
Authors:
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
Meromorphic germs in several variables with linear poles naturally arise in mathematics in various disguises. We investigate their rich structures under the prism of locality, including locality subalgebras, locality transformation groups and locality characters. The key technical tool is the dependence subspace for a meromorphic germ with which we define a locality orthogonal relation between two…
▽ More
Meromorphic germs in several variables with linear poles naturally arise in mathematics in various disguises. We investigate their rich structures under the prism of locality, including locality subalgebras, locality transformation groups and locality characters. The key technical tool is the dependence subspace for a meromorphic germ with which we define a locality orthogonal relation between two meromorphic germs. We describe the structure of locality subalgebras generated by classes of meromorphic germs with certain types of poles. We also define and determine their group of locality transformations which fix the holomorphic germs and preserve multivariable residues, a group we call the locality Galois group.
We then specialise to two classes of meromorphic germs with prescribed types of nested poles, arising from multiple zeta functions in number theory and Feynman integrals in perturbative quantum field theory respectively. We show that they are locality polynomial subalgebras with locality polynomial bases given by the locality counterpart of Lyndon words. This enables us to explicitly describe their locality Galois group.
As an application, we propose a mathematical interpretation of Speer's analytic renormalisation for Feynman amplitudes. We study a class of locality characters, called generalised evaluators after Speer. We show that the locality Galois group acts transitively on generalised evaluators by composition, thus providing a candidate for a renormalisation group in this multivariable approach.
△ Less
Submitted 5 January, 2023;
originally announced January 2023.
-
A topological splitting of the space of meromorphic germs in several variables and continuous evaluators
Authors:
Rafael Dahmen,
Sylvie Paycha,
Alexander Schmeding
Abstract:
We prove a topological decomposition of the space of meromorphic germs at zero in several variables with prescribed linear poles as a sum of spaces of holomorphic and polar germs. Evaluating the resulting holomorphic projection at zero gives rise to a continuous evaluator (at zero) on the space of meromorphic germs in several variables. Our constructions are carried out in the framework of Silva s…
▽ More
We prove a topological decomposition of the space of meromorphic germs at zero in several variables with prescribed linear poles as a sum of spaces of holomorphic and polar germs. Evaluating the resulting holomorphic projection at zero gives rise to a continuous evaluator (at zero) on the space of meromorphic germs in several variables. Our constructions are carried out in the framework of Silva spaces and use an inner product on the underlying space of variables. They generalise to several variables, the topological direct decomposition of meromorphic germs at zero as sums of holomorphic and polar germs previously derived by the first and third author and provide a topological refinement of a known algebraic decomposition of such spaces previously derived by the second author and collaborators.
△ Less
Submitted 17 November, 2023; v1 submitted 28 June, 2022;
originally announced June 2022.
-
Tensor products and the Milnor-Moore theorem in the locality setup
Authors:
Pierre J. Clavier,
Loic Foissy,
Diego A. López,
Sylvie Paycha
Abstract:
The present exploratory paper deals with tensor products in the locality framework {developed in previous work}, a natural setting for an algebraic formulation of the locality principle in quantum field theory. Locality tensor products of locality vector spaces raise challenging questions, such as whether the locality tensor product of two locality vector spaces is a locality vector space. A relat…
▽ More
The present exploratory paper deals with tensor products in the locality framework {developed in previous work}, a natural setting for an algebraic formulation of the locality principle in quantum field theory. Locality tensor products of locality vector spaces raise challenging questions, such as whether the locality tensor product of two locality vector spaces is a locality vector space. A related question is whether the quotient of locality vector spaces is a locality vector space, which we first reinterpret in a group theoretic language and then in terms of short exact sequences. We prove a universal property for the locality tensor algebra and for the locality enveloping algebra, the analogs in the locality framework of the tensor algebra and of the enveloping algebra. These universal properties hold under compatibility assumptions between the locality and the multilinearity underlying the construction of tensor products which we formulate in the form of conjectural statements. Assuming they hold true, we generalise the Milnor-Moore theorem to the locality setup and discuss some of its consequences.
△ Less
Submitted 29 May, 2022;
originally announced May 2022.
-
From non-unitary wheeled PROPs to smooth amplitudes and generalised convolutions
Authors:
Pierre J. Clavier,
Loïc Foissy,
Sylvie Paycha
Abstract:
We introduce the concept of TRAP (Traces and Permutations), which can roughly be viewed as a wheeled PROP (Products and Permutations) without unit. TRAPs are equipped with a horizontal concatenation and partial trace maps. Continuous morphisms on an infinite dimensional topological space and smooth kernels (resp. smoothing operators) on a closed manifold form a TRAP but not a wheeled PROP. We buil…
▽ More
We introduce the concept of TRAP (Traces and Permutations), which can roughly be viewed as a wheeled PROP (Products and Permutations) without unit. TRAPs are equipped with a horizontal concatenation and partial trace maps. Continuous morphisms on an infinite dimensional topological space and smooth kernels (resp. smoothing operators) on a closed manifold form a TRAP but not a wheeled PROP. We build the free objects in the category of TRAPs as TRAPs of graphs and show that a TRAP can be completed to a unitary TRAP (or wheeled PROP). We further show that it can be equipped with a vertical concatenation, which on the TRAP of linear homomorphisms of a vector space, amounts to the usual composition. The vertical concatenation in the TRAP of smooth kernels gives rise to generalised convolutions. Graphs whose vertices are decorated by smooth kernels (resp. smoothing operators) on a closed manifold form a TRAP. From their universal properties we build smooth amplitudes associated with the graph.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
ProPs of graphs and generalised traces
Authors:
Pierre J. Clavier,
Loic Foissy,
Sylvie Paycha
Abstract:
We assign generalised convolutions (resp. traces) to graphs whose edges are decorated by smooth kernels (resp. smoothing operators) on a closed manifold. To do so, we introduce the concept of TraPs (Traces and Permutations), which roughly correspond to ProPs (Products and Permutations) without vertical concatenation and equipped with families of generalised partial traces. They can be equipped wit…
▽ More
We assign generalised convolutions (resp. traces) to graphs whose edges are decorated by smooth kernels (resp. smoothing operators) on a closed manifold. To do so, we introduce the concept of TraPs (Traces and Permutations), which roughly correspond to ProPs (Products and Permutations) without vertical concatenation and equipped with families of generalised partial traces. They can be equipped with a ProP structure in deriving vertical concatenation from the partial traces and we relate TraPs to wheeled ProPs first introduced by Merkulov. We further build their free object and give precise proofs of universal properties of ProPs and TraPs.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
Locality and renormalisation: universal properties and integrals on trees
Authors:
Pierre Clavier,
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
The purpose of this paper is to build an algebraic framework suited to regularise branched structures emanating from rooted forests and which encodes the locality principle. This is achieved by means of the universal properties in the locality framework of properly decorated rooted forests. These universal properties are then applied to derive the multivariate regularisation of integrals indexed b…
▽ More
The purpose of this paper is to build an algebraic framework suited to regularise branched structures emanating from rooted forests and which encodes the locality principle. This is achieved by means of the universal properties in the locality framework of properly decorated rooted forests. These universal properties are then applied to derive the multivariate regularisation of integrals indexed by rooted forests. We study their renormalisation, along the lines of Kreimer's toy model for Feynman integrals.
△ Less
Submitted 23 June, 2019; v1 submitted 3 November, 2018;
originally announced November 2018.
-
Renormalisation via locality morphisms
Authors:
Pierre Clavier,
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
This is a survey on renormalisation in the locality setup highlighting the role that locality morphisms can play for renormalisation purposes. Having set up a general framework to build regularisation maps, we illustrate renormalisation by locality algebra homomorphisms on three examples, the renormalisation at poles of conical zeta functions, branched zeta functions and iterated integrals stemmin…
▽ More
This is a survey on renormalisation in the locality setup highlighting the role that locality morphisms can play for renormalisation purposes. Having set up a general framework to build regularisation maps, we illustrate renormalisation by locality algebra homomorphisms on three examples, the renormalisation at poles of conical zeta functions, branched zeta functions and iterated integrals stemming from Kreimer's toy model.
△ Less
Submitted 7 October, 2018;
originally announced October 2018.
-
Renormalisation and locality: branched zeta values
Authors:
Pierre Clavier,
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
Multivariate renormalisation techniques are implemented in order to build, study and then renormalise at the poles, branched zeta functions associated with trees. For this purpose, we first prove algebraic results and develop analytic tools, which we then combine to study branched zeta functions. The algebraic aspects concern universal properties for locality algebraic structures, some of which ha…
▽ More
Multivariate renormalisation techniques are implemented in order to build, study and then renormalise at the poles, branched zeta functions associated with trees. For this purpose, we first prove algebraic results and develop analytic tools, which we then combine to study branched zeta functions. The algebraic aspects concern universal properties for locality algebraic structures, some of which had been discussed in previous work; we "branch/ lift" to trees operators acting on the decoration set of trees, and factorise branched maps through words by means of universal properties for words which we prove in the locality setup. The analytic tools are multivariate meromorphic germs of pseudodifferential symbols with linear poles which generalise the meromorphic germs of functions with linear poles studied in previous work. Multivariate meromorphic germs of pseudodifferential symbols form a locality algebra on which we build various locality maps in the framework of locality structures. We first show that the finite part at infinity defines a locality character from the latter symbol valued meromorphic germs to the scalar valued ones. We further equip the locality algebra of germs of pseudodifferential symbols with locality Rota-Baxter operators given by regularised sums and integrals. By means of the universal properties in the framework of locality structures we can lift Rota-Baxter operators to trees, and use the lifted discrete sums in order to build and study renormalised branched zeta values associated with trees. By construction these renormalised branched zeta values factorise on mutually independent (for the locality relation) trees.
△ Less
Submitted 9 October, 2018; v1 submitted 19 July, 2018;
originally announced July 2018.
-
An algebraic formulation of the locality principle in renormalisation
Authors:
Pierre Clavier,
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
We study the mathematical structure underlying the concept of locality which lies at the heart of classical and quantum field theory, and develop a machinery used to preserve locality during the renormalisation procedure. Viewing renormalisation in the framework of Connes and Kreimer as the algebraic Birkhoff factorisation of characters on a Hopf algebra with values in a Rota-Baxter algebra, we bu…
▽ More
We study the mathematical structure underlying the concept of locality which lies at the heart of classical and quantum field theory, and develop a machinery used to preserve locality during the renormalisation procedure. Viewing renormalisation in the framework of Connes and Kreimer as the algebraic Birkhoff factorisation of characters on a Hopf algebra with values in a Rota-Baxter algebra, we build locality variants of these algebraic structures, leading to a locality variant of the algebraic Birkhoff factorisation. This provides an algebraic formulation of the conservation of locality while renormalising.
As an application in the context of the Euler-Maclaurin formula on cones, we renormalise the exponential generating function which sums over the lattice points in convex cones. For a suitable multivariate regularisation, renormalisation from the algebraic Birkhoff factorisation amounts to composition by a projection onto holomorphic multivariate functions.
△ Less
Submitted 26 November, 2017; v1 submitted 2 November, 2017;
originally announced November 2017.
-
Spectral $ζ$-invariants lifted to coverings
Authors:
Sara Azzali,
Sylvie Paycha
Abstract:
The canonical trace and the Wodzicki residue on classical pseudodifferential operators on a closed manifold are characterised by their locality and shown to be preserved under lifting to the universal covering as a result of their local feature. As a consequence, we lift a class of spectral $ζ$-invariants using lifted defect formulae which express discrepancies of $ζ$-regularised traces in terms o…
▽ More
The canonical trace and the Wodzicki residue on classical pseudodifferential operators on a closed manifold are characterised by their locality and shown to be preserved under lifting to the universal covering as a result of their local feature. As a consequence, we lift a class of spectral $ζ$-invariants using lifted defect formulae which express discrepancies of $ζ$-regularised traces in terms of Wodzicki residues. We derive Atiyah's $L^2$-index theorem as an instance of the $\mathbb Z_2$-graded generalisation of the canonical lift of spectral $ζ$-invariants and we show that certain lifted spectral $ζ$-invariants for geometric operators are integrals of Pontryagin and Chern forms.
△ Less
Submitted 6 August, 2017; v1 submitted 7 March, 2016;
originally announced March 2016.
-
Renormalised conical zeta values
Authors:
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
Conical zeta values associated with rational convex polyhedral cones generalise multiple zeta values. We renormalise conical zeta values at poles by means of a generalisation of Connes and Kreimer's Algebraic Birkhoff Factorisation. This paper serves as a motivation for and an application of this generalised renormalisation scheme. The latter also yields an Euler-Maclaurin formula on rational conv…
▽ More
Conical zeta values associated with rational convex polyhedral cones generalise multiple zeta values. We renormalise conical zeta values at poles by means of a generalisation of Connes and Kreimer's Algebraic Birkhoff Factorisation. This paper serves as a motivation for and an application of this generalised renormalisation scheme. The latter also yields an Euler-Maclaurin formula on rational convex polyhedral lattice cones which relates exponential sums to exponential integrals. When restricted to Chen cones, it reduces to Connes and Kreimer's Algebraic Birkhoff Decomposition for maps with values in the algebra of ordinary meromorphic functions in one variable.
△ Less
Submitted 12 February, 2016;
originally announced February 2016.
-
Traces of holomorphic families of operators on the noncommutative torus and on Hilbert modules
Authors:
Sara Azzali,
Cyril Lévy,
Carolina Neira Jiménez,
Sylvie Paycha
Abstract:
We revisit traces of holomorphic families of pseudodifferential operators on a closed manifold in view of geometric applications. We then transpose the corresponding analytic constructions to two different geometric frameworks; the noncommutative torus and Hilbert modules. These traces are meromorphic functions whose residues at the poles as well as the constant term of the Laurent expansion at ze…
▽ More
We revisit traces of holomorphic families of pseudodifferential operators on a closed manifold in view of geometric applications. We then transpose the corresponding analytic constructions to two different geometric frameworks; the noncommutative torus and Hilbert modules. These traces are meromorphic functions whose residues at the poles as well as the constant term of the Laurent expansion at zero (the latter when the family at zero is a differential operator) can be expressed in terms of Wodzicki residues and extended Wodzicki residues involving logarithmic operators. They are therefore local and contain geometric information. For holomorphic families leading to zeta regularised traces, they relate to the heat-kernel asymptotic coefficients via an inverse Mellin mapping theorem. We revisit Atiyah's L^2-index theorem by means of the (extended) Wodzicki residue and interpret the scalar curvature on the noncommutative two torus as an (extended) Wodzicki residue.
△ Less
Submitted 26 January, 2015;
originally announced January 2015.
-
Counting an infinite number of points: a testing ground for renormalization methods
Authors:
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
This is a leisurely introductory account addressed to non-experts and based on previous work by the authors, on how methods borrowed from physics can be used to "count" an infinite number of points. We begin with the classical case of counting integer points on the non-negative real axis and the classical Euler-Maclaurin formula. As an intermediate stage, we count integer points on product cones w…
▽ More
This is a leisurely introductory account addressed to non-experts and based on previous work by the authors, on how methods borrowed from physics can be used to "count" an infinite number of points. We begin with the classical case of counting integer points on the non-negative real axis and the classical Euler-Maclaurin formula. As an intermediate stage, we count integer points on product cones where the roles played by the coalgebra and the algebraic Birkhoff factorization can be appreciated in a relatively simple setting. We then consider the general case of (lattice) cones for which we introduce a conilpotent coalgebra of cones, with applications to renormalization of conical zeta values. When evaluated at zero arguments conical zeta functions indeed "count" integer points on cones.
△ Less
Submitted 2 January, 2015;
originally announced January 2015.
-
Algebraic Birkhoff Factorization and the Euler-Maclaurin Formula on Cones
Authors:
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
We equip the space of lattice cones with a coproduct which makes it a connected cograded colagebra. The exponential sum and exponential integral on lattice cones can be viewed as linear maps on this space with values in the space of meromorphic germs with linear poles at zero. We investigate the subdivision properties-- reminiscent of the inclusion-exclusion principle for the cardinal on finite se…
▽ More
We equip the space of lattice cones with a coproduct which makes it a connected cograded colagebra. The exponential sum and exponential integral on lattice cones can be viewed as linear maps on this space with values in the space of meromorphic germs with linear poles at zero. We investigate the subdivision properties-- reminiscent of the inclusion-exclusion principle for the cardinal on finite sets-- of such linear maps and establish a compatibility of these properties with respect to the convolution quotient of the coalgebra. Implementing the Algebraic Birkhoff Factorization procedure on the linear maps under consideration, we factorize the exponential sum as a convolution quotient of two maps, with each of the maps in the factorization satisfying a subdivision property. Consequently, the Algebraic Birkhoff Factorization specializes to the Euler-Maclaurin formula on lattice cones and provides a simple formula for the interpolating factor by means of a projection map.
△ Less
Submitted 15 December, 2015; v1 submitted 14 June, 2013;
originally announced June 2013.
-
The logarithmic residue density of a generalised Laplacian
Authors:
Jouko Mickelsson,
Sylvie Paycha
Abstract:
We show that the residue density of the logarithm of a generalised Laplacian on a closed manifold defines an invariant polynomial valued differential form. We express it in terms of a finite sum of residues of classical pseudodifferential symbols. In the case of the square of a Dirac operator, these formulae provide a pedestrian proof of the Atiyah-Singer formula for a pure Dirac operator in dimen…
▽ More
We show that the residue density of the logarithm of a generalised Laplacian on a closed manifold defines an invariant polynomial valued differential form. We express it in terms of a finite sum of residues of classical pseudodifferential symbols. In the case of the square of a Dirac operator, these formulae provide a pedestrian proof of the Atiyah-Singer formula for a pure Dirac operator in dimension $4$ and for a twisted Dirac operator on a flat space of any dimension. These correspond to special cases of a more general formula by S. Scott and D. Zagier announced in \cite{Sc2} and to appear in \cite{Sc3}. In our approach, which is of perturbative nature, we use either a Campbell-Hausdorff formula derived by Okikiolu or a non commutative Taylor type formula.
△ Less
Submitted 18 August, 2010;
originally announced August 2010.
-
A Canonical Trace Associated with Certain Spectral Triples
Authors:
Sylvie Paycha
Abstract:
In the abstract pseudodifferential setup of Connes and Moscovici, we prove a general formula for the discrepancies of zeta-regularised traces associated with certain spectral triples, and we introduce a canonical trace on operators, whose order lies outside (minus) the dimension spectrum of the spectral triple.
In the abstract pseudodifferential setup of Connes and Moscovici, we prove a general formula for the discrepancies of zeta-regularised traces associated with certain spectral triples, and we introduce a canonical trace on operators, whose order lies outside (minus) the dimension spectrum of the spectral triple.
△ Less
Submitted 29 September, 2010; v1 submitted 5 March, 2010;
originally announced March 2010.
-
Double shuffle relations and renormalization of multiple zeta values
Authors:
Li Guo,
Sylvie Paycha,
Bingyong Xie,
Bin Zhang
Abstract:
In this paper we present some of the recent progresses in multiple zeta values (MZVs). We review the double shuffle relations for convergent MZVs and summarize generalizations of the sum formula and the decomposition formula of Euler for MZVs. We then discuss how to apply methods borrowed from renormalization in quantum field theory and from pseudodifferential calculus to partially extend the do…
▽ More
In this paper we present some of the recent progresses in multiple zeta values (MZVs). We review the double shuffle relations for convergent MZVs and summarize generalizations of the sum formula and the decomposition formula of Euler for MZVs. We then discuss how to apply methods borrowed from renormalization in quantum field theory and from pseudodifferential calculus to partially extend the double shuffle relations to divergent MZVs.
△ Less
Submitted 30 May, 2009;
originally announced June 2009.
-
Renormalised iterated integrals of symbols with linear constraints
Authors:
Sylvie Paycha
Abstract:
Given a holomorphic regularisation procedure (e.g. Riesz or dimensional regularisation) on classical symbols, we define renormalised multiple integrals of radial classical symbols with linear constraints. To do so, we first prove the existence of meromorphic extensions of multiple integrals of holomorphic perturbations ofradial symbols with linear constraints and then implement either generalise…
▽ More
Given a holomorphic regularisation procedure (e.g. Riesz or dimensional regularisation) on classical symbols, we define renormalised multiple integrals of radial classical symbols with linear constraints. To do so, we first prove the existence of meromorphic extensions of multiple integrals of holomorphic perturbations ofradial symbols with linear constraints and then implement either generalised evaluators or a Birkhoff factorisation. Renormalised multiple integrals are covariant and factorise over independent sets of constraints.
△ Less
Submitted 12 March, 2008; v1 submitted 22 February, 2007;
originally announced February 2007.
-
The multiplicative anomaly for determinants revisited; locality
Authors:
Marie-Francoise Ouedraogo,
Sylvie Paycha
Abstract:
Observing that the logarithm of a product of two elliptic operators differs from the sum of the logarithms by a finite sum of operator brackets, we infer that regularised traces of this difference are local as finite sums of noncommutative residues. From an explicit local formula for such regularised traces, we derive an explicit local formula for the multiplicative anomaly of zeta-determinants…
▽ More
Observing that the logarithm of a product of two elliptic operators differs from the sum of the logarithms by a finite sum of operator brackets, we infer that regularised traces of this difference are local as finite sums of noncommutative residues. From an explicit local formula for such regularised traces, we derive an explicit local formula for the multiplicative anomaly of zeta-determinants which sheds light on its locality and yields back previously known results.
△ Less
Submitted 25 April, 2009; v1 submitted 31 January, 2007;
originally announced January 2007.
-
Renormalised Chern-Weil forms associated with families of Dirac operators
Authors:
Jouko Mickelsson,
Sylvie Paycha
Abstract:
We provide local expressions for Chern-Weil type forms built from superconnections associated with families of Dirac operators previously investigated in work by S. Scott and later work by S. Scott and the second author. When the underlying fibration of manifolds is trivial, the even degree forms can be interpreted as renormalised Chern-Weil forms in as far as they coincide with regularised Cher…
▽ More
We provide local expressions for Chern-Weil type forms built from superconnections associated with families of Dirac operators previously investigated in work by S. Scott and later work by S. Scott and the second author. When the underlying fibration of manifolds is trivial, the even degree forms can be interpreted as renormalised Chern-Weil forms in as far as they coincide with regularised Chern-Weil forms up to residue correction terms. Similarly, a new formula for the curvature of the local fermionic vacuum line bundles is derived using a residue correction term added to the naive curvature formula.
We interpret the odd degree Chern-Weil type forms built from superconnections as Wodzicki residues and establish a transgression formula along the lines of known transgression formulae for eta-forms.
△ Less
Submitted 6 July, 2006;
originally announced July 2006.
-
Shuffle relations for regularised integrals of symbols
Authors:
Dominique Manchon,
Sylvie Paycha
Abstract:
We prove shuffle relations which relate a product of regularised integrals of classical symbols to regularised nested (Chen) iterated integrals, which hold if all the symbols involved have non-vanishing residue. This is true in particular for non-integer order symbols. In general the shuffle relations hold up to finite parts of corrective terms arising from renormalisation on tensor products of…
▽ More
We prove shuffle relations which relate a product of regularised integrals of classical symbols to regularised nested (Chen) iterated integrals, which hold if all the symbols involved have non-vanishing residue. This is true in particular for non-integer order symbols. In general the shuffle relations hold up to finite parts of corrective terms arising from renormalisation on tensor products of classical symbols, a procedure adapted from renormalisation procedures on Feynman diagrams familiar to physicists. We relate the shuffle relations for regularised integrals of symbols with shuffle relations for multizeta functions adapting the above constructions to the case of symbols on the unit circle.
△ Less
Submitted 17 February, 2006; v1 submitted 18 October, 2005;
originally announced October 2005.
-
Weighted trace cochains; a geometric setup for anomalies
Authors:
Sylvie Paycha
Abstract:
We extend formulae which measure discrepancies for regularized traces on classical pseudodifferential operators to regularized trace cochains, regularized traces corresponding to 0-regularized trace cochains. This extension from 0-cochains to $n$-cochains is appropriate to handle simultaneously algebraic and geometric discrepancies/anomalies. Algebraic anomalies are Hochschild coboundaries of re…
▽ More
We extend formulae which measure discrepancies for regularized traces on classical pseudodifferential operators to regularized trace cochains, regularized traces corresponding to 0-regularized trace cochains. This extension from 0-cochains to $n$-cochains is appropriate to handle simultaneously algebraic and geometric discrepancies/anomalies. Algebraic anomalies are Hochschild coboundaries of regularized trace cochains on a fixed algebra of pseudodifferential operators weighted by a fixed classical pseudodifferential operator with positive order and positive scalar leading symbol. In contrast, geometric anomalies arise when considering families of pseudodifferential operators associated with a smooth fibration of manifolds. They correspond to covariant derivatives (and possibly their curvature) of smooth families of regularized trace cochains, the weight being here an elliptic operator valued form on the base manifold. Both types of discrepancies can be expressed as finite linear combinations of Wodzicki residues.We apply the formulae obtained in the family setting to build Chern-Weil type weighted trace cochains on one hand, and on the other hand, to show that choosing the curvature of a Bismut-Quillen type super connection as a weight, provides covariantly closed weighted trace cochains in which case the geometric discrepancies vanish.
△ Less
Submitted 14 March, 2005;
originally announced March 2005.
-
From Stokes' formula to cyclic Hochschild cocycles on classical symbols
Authors:
Yoshiaki Maeda,
Dominique Manchon,
Sylvie Paycha
Abstract:
This paper has been withdrawn by the authors, as it contains some errors. The core of it has been entirely rewritten in math.FA/0510454.
This paper has been withdrawn by the authors, as it contains some errors. The core of it has been entirely rewritten in math.FA/0510454.
△ Less
Submitted 21 October, 2005; v1 submitted 17 December, 2004;
originally announced December 2004.
-
Chern-Weil Constructions on $Ψ$DO Bundles
Authors:
Sylvie Paycha,
Steven Rosenberg
Abstract:
We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil construction, we replace the ordinary trace on matrices by linear functionals on…
▽ More
We construct Chern-Weil classes on infinite dimensional vector bundles with structure group contained in the algebra $\cl[\leq 0](M, E)$ of non-positive order classical pseudo-differential operators acting on a finite rank vector bundle $E$ over a closed manifold $M$. Mimicking the finite dimensional Chern-Weil construction, we replace the ordinary trace on matrices by linear functionals on $\cl[\leq 0] (M, E)$ built from the leading symbols of the operators. The corresponding Chern classes vanish for loop groups, but a weighted trace construction yields a non-zero class perviously constructed by Freed. For loop spaces, the structure group reduces to a gauge group of bundle automorphisms, and we produce non-vanishing universal Chern classes in all degrees, using a universal connection theorem for these bundles.
△ Less
Submitted 21 February, 2003; v1 submitted 17 January, 2003;
originally announced January 2003.
-
From tracial anomalies to anomalies in Quantum Field Theory
Authors:
Alexander Cardona,
Catherine Ducourtioux,
Sylvie Paycha
Abstract:
zeta-regularized traces, resp. super-traces, are defined on a classical pseudo-differential operator A by: tr^Q(A):= f.p.tr(A Q^{-z})_{|_{z=0}}, resp. str^Q(A):= f.p.str(A Q^{-z})_{|_{z=0}}, where f.p. refers to the finite part and Q is an (invertible and admissible) elliptic reference operator with positive order. They are widly used in quantum field theory in spite of the fact that, unlike ord…
▽ More
zeta-regularized traces, resp. super-traces, are defined on a classical pseudo-differential operator A by: tr^Q(A):= f.p.tr(A Q^{-z})_{|_{z=0}}, resp. str^Q(A):= f.p.str(A Q^{-z})_{|_{z=0}}, where f.p. refers to the finite part and Q is an (invertible and admissible) elliptic reference operator with positive order. They are widly used in quantum field theory in spite of the fact that, unlike ordinary traces on matrices, they are neither cyclic nor do they commute with exterior differentiation, thus giving rise to tracial anomalies. The purpose of this article is to show, on two examples, how tracial anomalies can lead to anomalous phenomena in quantum field theory.
△ Less
Submitted 22 July, 2002;
originally announced July 2002.
-
Curvature on determinant bundles and first Chern forms
Authors:
Sylvie Paycha,
Steven Rosenberg
Abstract:
The Quillen-Bismut-Freed construction associates a determinant line bundle with connection to an infinite dimensional super vector bundle with a family of Dirac-type operators. We define the regularized first Chern form of the infinite dimensional bundle, and relate it to the curvature of the Bismut-Freed connection on the determinant bundle. In finite dimensions, these forms agree (up to sign),…
▽ More
The Quillen-Bismut-Freed construction associates a determinant line bundle with connection to an infinite dimensional super vector bundle with a family of Dirac-type operators. We define the regularized first Chern form of the infinite dimensional bundle, and relate it to the curvature of the Bismut-Freed connection on the determinant bundle. In finite dimensions, these forms agree (up to sign), but in infinite dimensions there is a correction term, which we express in terms of Wodzicki residues. We illustrate these results with a string theory computation. There is a natural super vector bundle over the manifold of smooth almost complex structures on a Riemannian surface. The Bismut-Freed superconnection is identified with classical Teichmuller theory connections, and its curvature and regularized first Chern form are computed.
△ Less
Submitted 18 September, 2000;
originally announced September 2000.
-
Weighted Traces on Algebras of Pseudo-Differential Operators and Geometry of Loop Groups
Authors:
A. Cardona,
C. Ducourtioux,
J. P. Magnot,
S. Paycha
Abstract:
Using {\it weighted traces} which are linear functionals of the type $$A\to tr^Q(A):=(tr(A Q^{-z})-z^{-1} tr(A Q^{-z}))_{z=0}$$ defined on the whole algebra of (classical) pseudo-differential operators (P.D.O.s) and where $Q$ is some positive invertible elliptic operator, we investigate the geometry of loop groups in the light of the cohomology of pseudo-differential operators. We set up a geome…
▽ More
Using {\it weighted traces} which are linear functionals of the type $$A\to tr^Q(A):=(tr(A Q^{-z})-z^{-1} tr(A Q^{-z}))_{z=0}$$ defined on the whole algebra of (classical) pseudo-differential operators (P.D.O.s) and where $Q$ is some positive invertible elliptic operator, we investigate the geometry of loop groups in the light of the cohomology of pseudo-differential operators. We set up a geometric framework to study a class of infinite dimensional manifolds in which we recover some results on the geometry of loop groups, using again weighted traces. Along the way, we investigate properties of extensions of the Radul and Schwinger cocycles defined with the help of weighted traces.
△ Less
Submitted 21 January, 2000;
originally announced January 2000.
