-
Generalized Euler-Maclaurin formula and Signatures
Authors:
Carlo Bellingeri,
Peter K. Friz,
Sylvie Paycha
Abstract:
The Euler-Maclaurin formula which relates a discrete sum with an integral, is generalised to the setting of Riemann-Stieltjes sums and integrals on stochastic processes whose paths are a.s. rectifiable, that is continuous and bounded variation. For this purpose, new variants of the signature are introduced, such as the flip and the sawtooth signature. The counterparts of the Bernoulli numbers that…
▽ More
The Euler-Maclaurin formula which relates a discrete sum with an integral, is generalised to the setting of Riemann-Stieltjes sums and integrals on stochastic processes whose paths are a.s. rectifiable, that is continuous and bounded variation. For this purpose, new variants of the signature are introduced, such as the flip and the sawtooth signature. The counterparts of the Bernoulli numbers that arise in the classical Euler-Maclaurin formula are obtained by choosing the appropriate integration constants in the repeated integration by parts to ``minimise the error'' of every truncation level.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
A Pseudodifferential Analytic Perspective on Getzler's Rescaling
Authors:
Georges Habib,
Sylvie Paycha
Abstract:
Inspired by Gilkey's invariance theory, Getzler's rescaling method and Scott's approach to the index via Wodzicki residues, we give a localisation formula for the $\mathbb Z_2$-graded Wodzicki residue of the logarithm of a class of differential operators acting on sections of a spinor bundle over an even-dimensional manifold. This formula is expressed in terms of another local density built from t…
▽ More
Inspired by Gilkey's invariance theory, Getzler's rescaling method and Scott's approach to the index via Wodzicki residues, we give a localisation formula for the $\mathbb Z_2$-graded Wodzicki residue of the logarithm of a class of differential operators acting on sections of a spinor bundle over an even-dimensional manifold. This formula is expressed in terms of another local density built from the symbol of the logarithm of a limit of rescaled differential operators acting on differential forms. When applied to complex powers of the square of a Dirac operator, it amounts to expressing the index of a Dirac operator in terms of a local density involving the logarithm of the Getzler rescaled limit of its square.
△ Less
Submitted 1 February, 2024; v1 submitted 7 March, 2023;
originally announced March 2023.
-
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 envelo** algebra, the analogs in the locality framework of the tensor algebra and of the envelo** 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.
-
Smooth rough paths, their geometry and algebraic renormalization
Authors:
Carlo Bellingeri,
Peter K. Friz,
Sylvie Paycha,
Rosa Preiß
Abstract:
We introduce the class of "smooth rough paths" and study their main properties. Working in a smooth setting allows us to discard sewing arguments and focus on algebraic and geometric aspects. Specifically, a Maurer-Cartan perspective is the key to a purely algebraic form of Lyons extension theorem, the renormalization of rough paths in the spirit of [Bruned, Chevyrev, Friz, Preiß, A rough path per…
▽ More
We introduce the class of "smooth rough paths" and study their main properties. Working in a smooth setting allows us to discard sewing arguments and focus on algebraic and geometric aspects. Specifically, a Maurer-Cartan perspective is the key to a purely algebraic form of Lyons extension theorem, the renormalization of rough paths in the spirit of [Bruned, Chevyrev, Friz, Preiß, A rough path perspective on renormalization, J. Funct. Anal. 277(11), 2019] as well as a related notion of "sum of rough paths". We first develop our ideas in a geometric rough path setting, as this best resonates with recent works on signature varieties, as well the renormalization of geometric rough paths. We then explore extensions to the quasi-geometric and the more general Hopf algebraic setting.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
Principal bundle groupoids, their gauge group and their nerve
Authors:
Alfonso Garmendia,
Sylvie Paycha
Abstract:
We consider groupoids in the category of principal bundles, which we call principal bundles (PB) groupoids. Inspired by work by Th. Nikolaus and K. Waldorf, we generalise bundle gerbes over manifolds to bundle gerbes over groupoids and discuss a functorial correspondence between PB groupoids and bundle gerbes over groupoids. From a PB groupoid over a fibre product groupoid, we build a bundle gerbe…
▽ More
We consider groupoids in the category of principal bundles, which we call principal bundles (PB) groupoids. Inspired by work by Th. Nikolaus and K. Waldorf, we generalise bundle gerbes over manifolds to bundle gerbes over groupoids and discuss a functorial correspondence between PB groupoids and bundle gerbes over groupoids. From a PB groupoid over a fibre product groupoid, we build a bundle gerbe over another fibre product groupoid. Conversely, from a bundle gerbe over a Lie groupoid, we build a PB groupoid. It has a trivial base and from any PB groupoid with trivial base, we build a bundle gerbe over a Lie groupoid. In that case, the resulting bundle gerbe is isomorphic as a groupoid to a partial quotient of the PB groupoid. We describe the nerves of PB groupoids and their partial quotients, which are simplicial objects in the category of principal bundles. Applying this construction enables us to define the inner transformation group of the nerve of a partial quotient groupoid and to describe the transformations of the corresponding bundle gerbe.
△ Less
Submitted 8 March, 2023; v1 submitted 16 August, 2021;
originally announced August 2021.
-
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.
-
From orthocomplementations to locality
Authors:
Pierre Clavier,
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
After some background on lattices, the locality framework introduced in earlier work by the authors is extended to cover posets and lattices. We then extend the correspondence between Euclidean structures on vector spaces and orthogonal complementations to a one-one correspondence between a class of locality structures and orthocomplementations on bounded lattices. This recasts in the context of r…
▽ More
After some background on lattices, the locality framework introduced in earlier work by the authors is extended to cover posets and lattices. We then extend the correspondence between Euclidean structures on vector spaces and orthogonal complementations to a one-one correspondence between a class of locality structures and orthocomplementations on bounded lattices. This recasts in the context of renormalisation classical results in lattice theory.
△ Less
Submitted 29 March, 2021; v1 submitted 6 July, 2020;
originally announced July 2020.
-
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 map** 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.
-
A conical approach to Laurent expansions for multivariate meromorphic germs with linear poles
Authors:
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
We use convex polyhedral cones to study a large class of multivariate meromorphic germs, namely those with linear poles, which naturally arise in various contexts in mathematics and physics. We express such a germ as a sum of a holomorphic germ and a linear combination of special non-holomorphic germs called polar germs. In analyzing the supporting cones -- cones that reflect the pole structure of…
▽ More
We use convex polyhedral cones to study a large class of multivariate meromorphic germs, namely those with linear poles, which naturally arise in various contexts in mathematics and physics. We express such a germ as a sum of a holomorphic germ and a linear combination of special non-holomorphic germs called polar germs. In analyzing the supporting cones -- cones that reflect the pole structure of the polar germs -- we obtain a geometric criterion for the non-holomorphicity of linear combinations of polar germs. This yields the uniqueness of the above sum when required to be supported on a suitable family of cones and assigns a Laurent expansion to the germ. Laurent expansions provide various decompositions of such germs and thereby a uniformized proof of known results on decompositions of rational fractions. These Laurent expansions also yield new concepts on the space of such germs, all of which are independent of the choice of the specific Laurent expansion. These include a generalization of Jeffrey-Kirwan's residue, a filtered residue and a coproduct in the space of such germs. When applied to exponential sums on rational convex polyhedral cones, the filtered residue yields back exponential integrals.
△ Less
Submitted 17 January, 2017; v1 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 canonical trace and the noncommutative residue on the noncommutative torus
Authors:
Cyril Levy,
Carolina Neira Jiménez,
Sylvie Paycha
Abstract:
Using a global symbol calculus for pseudodifferential operators on tori, we build a canonical trace on classical pseudodifferential operators on noncommutative tori in terms of a canonical discrete sum on the underlying toroidal symbols. We characterise the canonical trace on operators on the noncommutative torus as well as its underlying canonical discrete sum on symbols of fixed (resp.\ any) non…
▽ More
Using a global symbol calculus for pseudodifferential operators on tori, we build a canonical trace on classical pseudodifferential operators on noncommutative tori in terms of a canonical discrete sum on the underlying toroidal symbols. We characterise the canonical trace on operators on the noncommutative torus as well as its underlying canonical discrete sum on symbols of fixed (resp.\ any) non--integer order. On the grounds of this uniqueness result, we prove that in the commutative setup, this canonical trace on the noncommutative torus reduces to Kontsevich and Vishik's canonical trace which is thereby identified with a discrete sum. A similar characterisation for the noncommutative residue on noncommutative tori as the unique trace which vanishes on trace--class operators generalises Fathizadeh and Wong's characterisation in so far as it includes the case of operators of fixed integer order. By means of the canonical trace, we derive defect formulae for regularized traces. The conformal invariance of the $ζ$--function at zero of the Laplacian on the noncommutative torus is then a straightforward consequence.
△ Less
Submitted 24 March, 2014; v1 submitted 1 March, 2013;
originally announced March 2013.
-
Conical zeta values and their double subdivision relations
Authors:
Li Guo,
Sylvie Paycha,
Bin Zhang
Abstract:
We introduce the concept of a conical zeta value as a geometric generalization of a multiple zeta value in the context of convex cones. The quasi-shuffle and shuffle relations of multiple zeta values are generalized to open cone subdivision and closed cone subdivision relations respectively for conical zeta values. In order to achieve the closed cone subdivision relation, we also interpret linear…
▽ More
We introduce the concept of a conical zeta value as a geometric generalization of a multiple zeta value in the context of convex cones. The quasi-shuffle and shuffle relations of multiple zeta values are generalized to open cone subdivision and closed cone subdivision relations respectively for conical zeta values. In order to achieve the closed cone subdivision relation, we also interpret linear relations among fractions as subdivisions of decorated closed cones. As a generalization of the double shuffle relation of multiple zeta values, we give the double subdivision relation of conical zeta values and formulate the extended double subdivision relation conjecture for conical zeta values.
△ Less
Submitted 15 January, 2013;
originally announced January 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.
-
Discrete sums of classical symbols on Z^d and zeta functions associated with Laplacians on tori
Authors:
Sylvie Paycha
Abstract:
We prove the uniqueness of a translation invariant extension to non integer order classical symbols of the ordinary discrete sum on $L^1$-symbols, which we then describe using an Hadamard finite part procedure for sums over integer points of infinite unions of nested convex polytopes in $\R^d$. This canonical regularised sum is the building block to construct meromorphic extensions of the ordina…
▽ More
We prove the uniqueness of a translation invariant extension to non integer order classical symbols of the ordinary discrete sum on $L^1$-symbols, which we then describe using an Hadamard finite part procedure for sums over integer points of infinite unions of nested convex polytopes in $\R^d$. This canonical regularised sum is the building block to construct meromorphic extensions of the ordinary sum on holomorphic symbols. Explicit formulae for the complex residues at their poles are given in terms of noncommutative residues of classical symbols, thus extending results of Guillemin, Sternberg and Weitsman. These formulae are then applied to zeta functions associated with quadratic forms and with Laplacians on tori.
△ Less
Submitted 12 March, 2008; v1 submitted 3 August, 2007;
originally announced August 2007.
-
Chern-Weil calculus extended to a class of infinite dimensional manifolds
Authors:
Sylvie Paycha
Abstract:
We discuss possible extensions of the classical Chern-Weil formalism to an infinite dimensional setup. This is based on joint work with Steven
Rosenberg, joint work with Simon Scott and joint work with Jouko Mickelsson.
We discuss possible extensions of the classical Chern-Weil formalism to an infinite dimensional setup. This is based on joint work with Steven
Rosenberg, joint work with Simon Scott and joint work with Jouko Mickelsson.
△ Less
Submitted 18 June, 2007;
originally announced June 2007.
-
The noncommutative residue and canonical trace in the light of Stokes' and continuity properties
Authors:
Sylvie Paycha
Abstract:
We show that the noncommutative residue density, resp. the cut-off regularised integral are the only closed linear, resp. continuous closed linear forms on certain classes of symbols. This leads to alternative proofs of the uniqueness of the noncommutative residue, resp. the canonical trace as linear, resp. continuous linear forms on certain classes of classical pseudodifferential operators whic…
▽ More
We show that the noncommutative residue density, resp. the cut-off regularised integral are the only closed linear, resp. continuous closed linear forms on certain classes of symbols. This leads to alternative proofs of the uniqueness of the noncommutative residue, resp. the canonical trace as linear, resp. continuous linear forms on certain classes of classical pseudodifferential operators which vanish on brackets. The uniqueness of the canonical trace actually holds on classes of classical pseudodifferential with vanishing residue density which include non integer order operators in all dimensions and odd-class (resp. even-class) operators in odd (resp. even) dimensions. The description of the canonical trace for non integer order operators as an integrated global density on the manifold is extended to odd-class (resp. even-class) operators in odd (resp. even) dimensions on the grounds of defect formulae for regularised traces of classical pseudodifferential operators.
△ Less
Submitted 18 June, 2007;
originally announced June 2007.
-
Nested sums of symbols and renormalised multiple zeta functions
Authors:
Dominique Manchon,
Sylvie Paycha
Abstract:
We define discrete nested sums over integer points for symbols on the real line, which obey stuffle relations whenever they converge. They relate to Chen integrals of symbols via the Euler-MacLaurin formula. Using a suitable holomorphic regularisation followed by a Birkhoff factorisation, we define renormalised nested sums of symbols which also satisfy stuffle relations. For appropriate symbols…
▽ More
We define discrete nested sums over integer points for symbols on the real line, which obey stuffle relations whenever they converge. They relate to Chen integrals of symbols via the Euler-MacLaurin formula. Using a suitable holomorphic regularisation followed by a Birkhoff factorisation, we define renormalised nested sums of symbols which also satisfy stuffle relations. For appropriate symbols they give rise to renormalised multiple zeta functions which satisfy stuffle relations at all arguments. The Hurwitz multiple zeta functions fit into the framework as well. We show the rationality of multiple zeta values at nonpositive integer arguments, and a higher-dimensional analog is also investigated.
△ Less
Submitted 11 December, 2009; v1 submitted 6 February, 2007;
originally announced February 2007.
-
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.
-
Renormalised Chen integrals for symbols on Rn and renormalised polyzeta functions
Authors:
Dominique Manchon,
Sylvie Paycha
Abstract:
This paper has been withdrawn as it is superseded by the new version math.NT/0702135 in which two major problems (non-compatibility of the regularisation with the stuffle product and incorrect higher-dimensional setting) are fixed.
This paper has been withdrawn as it is superseded by the new version math.NT/0702135 in which two major problems (non-compatibility of the regularisation with the stuffle product and incorrect higher-dimensional setting) are fixed.
△ Less
Submitted 8 February, 2007; v1 submitted 26 April, 2006;
originally announced April 2006.
-
Stokes' formulae on classical symbol valued forms and applications
Authors:
Yoshiaki Maeda,
Dominique Manchon,
Sylvie Paycha
Abstract:
The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one.
In the case of cut-off integrals, Stokes' property (i.e. vanishing on exact forms) only holds for non-integer order symbol-valued forms and leads to an integrat…
▽ More
The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one.
In the case of cut-off integrals, Stokes' property (i.e. vanishing on exact forms) only holds for non-integer order symbol-valued forms and leads to an integration by parts formula and translation invariance for cut-off integrals on non-integer order classical symbols.
The extended Wodzicki residue yields an even residue cycle on classical symbols and an odd cochain (the cosphere cochain) which measures an obstruction to Stokes' property of the cut-off integral on integer order symbol-valued forms.
△ Less
Submitted 2 June, 2006; v1 submitted 21 October, 2005;
originally announced October 2005.
-
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.
-
Conformal Anomalies via Canonical Traces
Authors:
S. Paycha,
S. Rosenberg
Abstract:
Using Laurent expansions of the Kontsevich-Vishik canonical trace of holomorphic families of classical pseudodifferential operators, we define functionals on the space of Riemannian metrics and investigate their conformal properties, thereby giving a unified description of several conformal invariants and anomalies.
Using Laurent expansions of the Kontsevich-Vishik canonical trace of holomorphic families of classical pseudodifferential operators, we define functionals on the space of Riemannian metrics and investigate their conformal properties, thereby giving a unified description of several conformal invariants and anomalies.
△ Less
Submitted 16 August, 2005;
originally announced August 2005.
-
A Laurent expansion for regularised integrals of holomorphic symbols
Authors:
Sylvie Paycha,
Simon Scott
Abstract:
For a holomorphic family of classical pseudodifferential operators on a closed manifold we give exact formulae for all coefficients in the Laurent expansion of its Kontsevich-Vishik canonical trace. This generalizes a known result identifying the Wodzicki residue with the pole at zero to all higher order terms.
For a holomorphic family of classical pseudodifferential operators on a closed manifold we give exact formulae for all coefficients in the Laurent expansion of its Kontsevich-Vishik canonical trace. This generalizes a known result identifying the Wodzicki residue with the pole at zero to all higher order terms.
△ Less
Submitted 16 January, 2006; v1 submitted 10 June, 2005;
originally announced June 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.
-
Regularisable and minimal orbits for group actions in infinite dimensions
Authors:
M. Arnaudon,
S. Paycha
Abstract:
We introduce a class of regularisable infinite dimensional principal fibre bundles which includes fibre bundles arising in gauge field theories like Yang-Mills and string theory and which generalise finite dimensional Riemannian principal fibre bundles induced by an isometric action. We show that the orbits of regularisable bundles have well defined, both heat-kernel and zeta function regularise…
▽ More
We introduce a class of regularisable infinite dimensional principal fibre bundles which includes fibre bundles arising in gauge field theories like Yang-Mills and string theory and which generalise finite dimensional Riemannian principal fibre bundles induced by an isometric action. We show that the orbits of regularisable bundles have well defined, both heat-kernel and zeta function regularised volumes. We introduce two notions of minimality (which extend the finite dimensional one) for these orbits, using both heat-kernel and zeta function regularisation methods and show they coincide. For each of these notions, we give an infinite dimensional version of Hsiang's theorem which extends the finite dimensional case, interpreting minimal orbits as orbits with extremal (regularised) volume.
△ Less
Submitted 22 December, 1995;
originally announced December 1995.