Nonlinear and Noncommutative Mathematics: New Developments and Applications in Quantum PhysicsView this Special Issue
Research Article | Open Access
Rémi Léandre, "A Lie Algebroid on the Wiener Space", Advances in Mathematical Physics, vol. 2010, Article ID 146719, 17 pages, 2010. https://doi.org/10.1155/2010/146719
A Lie Algebroid on the Wiener Space
We define a Lie algebroid on the space of smooth 1-forms in the Nualart-Pardoux sense on the Wiener space associated to the stochastic linear Poisson structure on the Wiener space defined Léandre (2009).
Infinite dimensional Poisson structures play a big role in the theory of infinite dimensional Lie algebras , in the theory of integrable system , and in field theory . But for instance, in , the test functional space where the hydrodynamic Poisson structure acts continuously is not conveniently defined. In [4, 5] we have defined such a test functional space in the case of a linear Poisson bracket of hydrodynamic type. On the other hand, it is very well known  that the theories of Lie groupoids and Lie algebroids play a key role in Poisson geometry. It is interesting to study a Lie algebroid for the Poisson structure  defined analytically in the framework of . We postpone until later the study the Lie groupoid associated to the same Poisson structure but in the algebraic framework of . The definition of this Lie groupoid in the framework of  presents, namely, some difficulties. Moreover some deformation quantizations for symplectic structures in infinite dimensional analysis were recently performed (see the review of Léandre  on that). The theory of groupoids is related  to Kontsevich deformation quantization .
Let us recall what a Lie algebroid is [6, 10–13]. We consider a bundle on a smooth finite dimensional manifold . is the tangent bundle of . and denote the space of smooth section of and . A Lie algebroid on is given by the following data.(i)A Lie bracket structure on has in particular to satisfy the Jacobi relation (ii)A smooth fiberwise linear map , called the anchor map, from into satisfies the relation for any smooth sections , of and any element of , the space of smooth functions on .
Let us recall the definition of a Poisson structure on . It is an antisymmetric -bilinear map from into , which is a derivation on each components, vanishes on the constant and satisfies the Jacobi relation A Poisson structure is given by a bivector , that is, an element of as where and can be seen as 1-forms and the dual of is . denotes the interior product of the bivector by the 1-form . If is a bivector, then we can define a fiberwise linear smooth map from , the cotangent bundle of , into , called .(i)The Bracket is defined by where is the usual Lie derivative of a 1-form: if is a vector field and a -form, then is given by the Cartan formula (ii)The anchor map is the map .
Infinite dimensional symplectic structures and their related Poisson structure were introduced by Dito and Léandre , Léandre [7, 20–22], and Léandre and Obame  in the infinite dimensional analysis, motivated by the theory of deformation quantization in infinite dimension. We refer to the review of Léandre on that in .
The infinite dimensional Poisson structure is a tool in the theory of integrable system . We refer to the review of Mokhov in  and Dubrovin and Novikov in  on that. In particular, some partial differential equations of the theory of integrable systems are described as Hamiltonian systems associated to some Poisson structure. For instance, the Gardner-Zakharov-Faddeev (ultralocal) bracket (see [2, pages 52-53]) is used to describe the KdV equation as a Hamiltonian system.
Another simple Poisson structure of Dubrovin and Novikov  is given as follows. We consider the set of smooth paths into , the dual of a Lie algebra structure on with structural constants . In such a case, It is useful to avoid the presence of the Dirac mass, and Léandre  has given an appropriate definition of the Poisson structure of the previous formula in the framework of Malliavin Calculus.
The goal of infinite dimensional analysis is to give a rigorous meaning to some formal considerations of mathematical physics. The formal operations of mathematical physics are defined consistently on some functional spaces. It is very well known, for instance, that the vacuum expectation of some operator algebras  is given by formal path integrals on the fields. Infinite dimensional analysis deals in the simplest case where these objects are mathematically well established.(i)The functional integral side is given by the Malliavin Calculus .(ii)The operator algebra side is given by white noise analysis and quantum probability [27, 28].
Let us recall basically the objects of these Calculi.(i)The main object of white noise analysis and quantum probability is given by the Bosonic Fock space associated to the Hilbert space of maps from into . is constituted of series where belongs to , the symmetric -tensor product of such that The operator algebra is the algebra of annihilation and creation operator on the Fock space submitted to the canonical commutation relations where is an elementary annihilation operator. is an elementary creation operator. The presence of a Dirac mass leads to the same difficulties as in (1.8) and (1.9) and leads white noise analysis to consider an improvement of the Fock space (called the Hida Fock space) such that these operators act continuously on it. is called the white noise and can be interpreted in the measure theory.(ii)The main object of the Malliavin Calculus is the space of the Wiener measure.
If we consider the Brownian motion on (see part 2 of this work), then we can introduce the Brownian functional associated to in the Bosonic Fock space:
An element of can be realized as a symmetric map from into and denotes a Wiener chaos . This map realizes an isometry between the Fock space and the of the Wiener measure. The main ingredient of the Malliavin Calculus is to take the derivative (almost surely defined!) in the direction of an element ; . An element is called an element of the Cameron-Martin space . This operation can be interpreted as a “nonelementary” annihilation operator on the Fock space. Through this isomorphism, can be interpreted as , the white noise associated to the Brownian motion, which does not exist in the traditional sense because the Brownian motion is only continuous! Since there are integrations by parts associated to a derivativation along an element of the Cameron-Martin space of a cylindrical functional, this operation is closable. It is the generalization in infinite dimension of the traditional definition of Sobolev spaces on finite dimensional spaces. But in infinite dimension, we consider Gaussian measures and not Lebesgue measure, which does not exist as a measure in infinite dimension! But since there is no Sobolev imbedding in infinite dimension, functionals which belong to all the Sobolev spaces of the Malliavin Calculus (these functionals are said to be smooth in the Malliavin sense) are in general only almost surely defined!
The study of Poisson structures requests that the test functional space where this Poisson structure acts is an algebra.(i)In the case of the Malliavin Calculus, there is a natural way to choose an algebra starting from the considerations of measure theory. With the intersection of all the , is indeed an algebra through the Hoelder inequality. We consider the Wiener product on the Wiener space which is the classical product of functionals.(ii)In white noise analysis, there is on the Fock space another product called the standard Wick product. The traditional product of a Wiener chaos of length and of length is not a chaos of length by the help of the Itô formula. It is an infinite dimensional generalization of the fact that the product of two Hermite polynomials in finite dimension is not a Hermite polynomial. The classical Wick product consists to keep in the product of these two chaoses the chaoses of length . Reference has defined another Wick product (called the normalized Wick product), which fits well with Stratonovitch chaos. We consider now We consider this time multiple Stratonovitch integrals. They are the limit when of the classical random multiple integrals where is the polygonal approximation of the Brownian motion. The Itô-Stratonovitch integral is the classical one. The normalized Wick product of Léandre and Rogers  of and belonging to the Hida Fock space is done in order using the Itô-Stratonovitch formula . This reflects in an infinite dimensional sense the classical fact that the product of two monomials is still a monomial in a finite dimensional polynomial algebra.
Léandre  has given an appropriate definition to the Poisson structure of the previous formula on an algebra of functional on the Wiener space of the Malliavin type. The main difficulty to overcome is that the good understanding of this Poisson structure leads to the study of some anticipative Stratonovitch integrals. The traditional Malliavin Calculus  is not suitable to study some anticipative Stratonovitch integrals. This means that if we consider a random element of which belongs to all the Sobolev spaces of the Malliavin Calculus, then the anticipative Stratonovitch integral does not exist. This pathology is not true if we consider a refinement of the Itô integral called the Hitsuda-Skorokhod integral . Let us recall that the first authors who have studied anticipative Stratonovitch integrals are Nualart and Pardoux . Léandre has defined conveniently some Sobolev spaces on the Wiener space such that the map anticipative Stratonovitch integral acts continuously on them [31–37]. Thisat means that if belongs to all the Sobolev spaces in the Nualart-Pardoux sense, then the anticipative Stratonovitch integral (1.15) exists. The main difference between the classical definition of the Sobolev space in the Malliavin sense and the Sobolev spaces in the Nualart-Pardoux sense is that some regularity on the kernels on the derivatives on the considered functionals is requested. This is a generalization of the following fact: we can define a nonanticipative Itô integral without assuming a lot of regularity on the nonanticipative element of . But in the case of a nonanticipative Stratonovitch integral, , we have to assume that is a semi-martingale; this means some regularity on ! The Sobolev spaces of Nualart-Pardoux type were introduced by Léandre in [31–36] in order to study some Sobolev cohomology theories of some loop space endowed with the Brownian bridge measure on a compact Riemannian manifold. So the Poisson structure (1.9) can be defined consistently on the Nualart-Pardoux test algebra .
Let us recall that in white noise analysis, the algebraic counterpart of the Malliavin Calculus, the main tool is the Fock space and the algebra of creation and annihilation operators on the Fock space. The Bosonic Fock space is transformed into the of an infinite dimensional Gaussian measure by the help of the map Wiener chaoses. The Poisson structure (1.9) was defined by Léandre in  on the Hida test algebra endowed with the normalized Wick product.
The goal of this paper is to define a Lie algebroid associated to the Poisson structure (1.9) on the Nualart-Pardoux test algebra. The main remark is that the map transforms a 1-form on the Wiener space smooth in the Nualart-Pardoux sense in a generalized vector field on the Wiener space, whose theory was done by Léandre in [32, 35], and not in an ordinary vector field on the Wiener space! Classical vector field on the Wiener space are random elements of the Cameron-Martin space which belongs to all the Sobolev spaces of the Malliavin Calculus. Generalized vectorfield is where is chosen well such that we can define the anticipative Stratonovitch integral . In general, we cannot define the derivative of a functional which belongs to all the Sobolev spaces of the Malliavin Calculus along a generalized vector field. But we can do that if the functional belongs to all the Sobolev spaces in the Nualart-Pardoux sense. In this paper, since we consider smooth 1-forms in the Nualart-Pardoux sense, we can define still their interior product by a generalized vector field through our theory of anticipative Stratonovitch integral. So the formulas (1.1) and (1.2) are still true, but almost surely!
2. The Linear Stochastic Poisson Structure
We consider the set of continuous paths from into endowed with the uniform topology. A typical path is denoted by , on which we consider the Brownian motion measure .
Let us recall how we construct . We consider the Cameron-Martin Hilbert space  of maps from into such that and is formally the Gaussian probability measure and is the formal Lebesgue measure on which does not exist as a measure (we refer to the works of Léandre [40–42], Asada , and Pickrell  for various approaches to the Lebesgue measure in infinite dimension). Let be a finite dimensional real Hilbert space () with Hilbert norm . Let us consider the centered normalized Gaussian measure on . It is classically represented by where are centered normalized independent one-dimensional Gaussian variables and the system of constitutes an orthonormal basis of the real Hilbert space .
It should be tempting to represent by using the same procedure. We consider an orthonormal basis of . The law of the Brownian motion is represented by the series where the is a collection of independent centered one-dimensional Gaussian variables. This series does not converge in but in . We refer to the textbook of Kuo  for the theory of infinite dimensional Gaussian measures.
Let us consider a functional on . Its th stochastic derivative , according to the framework of the Malliavin Calculus [26, 47, 48], is defined if it exists by where belongs to the Hilbert space of paths from into satisfying
The Sobolev norms of the Malliavin Calculus are defined by the following formula. If is a Brownian functional, then The Malliavin test algebra consists of Brownian functionals all of whose Sobolev norms are finite . Let us recall how we construct these Sobolev spaces. Let be a smooth function from into with compact support and some times . We introduce the cylindrical functional . We consider the Gateaux derivative of along a deterministic direction of : There is absolutely no problem to define it. We use the integration by parts formula for a cylindrical functional where is the Itô differential. The Itô integral is the limit in all the , of the sum where is a dyadic subdivision of of length . The convergence does not pose any problem because is deterministic. Since we have the integration by parts formula (2.7), we can extend the operation of taking the stochastic derivative of a Brownian functional consistently, as we establish classically the definition of Sobolev spaces in finite dimension. The main novelty of the Malliavin Calculus with respects of [49–52] motivated by mathematical physics is that the algebra of functionals which belong to all the Sobolev spaces of the Malliavin Calculus (these functionals are said to be smooth in the Malliavin sense) is constituted of functionals almost surely defined. The reader interested in the Malliavin Calculus can see the books of [26, 47].
If we consider the same dyadic subdivision as before, we can introduce the polygonal approximation of . Let us consider a “nondeterministic!” map from into which belongs to . We can consider the random ordinary integral . It can also be easily defined. In general, the limit may not exist when tends to infinity, because the Brownian motion is only continuous. If we can pass to the limit, we say that the limit is an anticipative Stratonovitch integral. Nualart and Pardoux  are the first authors who have defined some anticipative Stratonovitch integrals. An appropriate theory was established by Léandre [31–36] in order to understand some Sobolev cohomology theories on the loop space. Let us recall it quickly.
We consider another set of Sobolev norms . We suppose that outside the diagonals of The smallest such that the previous inequality is satisfied is called the first Nualart-Pardoux Sobolev norm. The second Nualart-Pardoux Sobolev norm is the smallest such that, for all ,
Definition 2.1. The Nualart-Pardoux test algebra consists of functionals whose all Nualart-Pardoux Sobolev norms of first type and second type are finite. The elements of are said to be smooth in the Nualart-Pardoux sense.
Let us recall that is an algebra .
We can consider a random element of , . We can consider its th stochastic derivative Its first Nualart-Pardoux Sobolev norm is the smallest number such that outside the diagonals of The second type of Nualart-Pardoux Sobolev norm of is the smallest number such that for all Let us recall the theorem of Léandre .
Theorem 2.2. Let be a random element of such that all its Nualart-Pardoux Sobolev norms are finite. Then the anticipative Stratonovitch integral is smooth in the Nualart-Pardoux sense and its Nualart-Pardoux Sobolev norms can be estimated in terms of the Nualart-Pardoux norms of .
In such a case, is the limit in all the , of . Moreover, This means that the kernel of the stochastic derivative of is . Let us explain this formula; in order to take the stochastic derivative of , we do the same formal computations as if the anticipative Stratonovitch integral had been a classical integral; we take first of all derivatives of which lead to the term and derivatives of which lead to .
Let us recall the notion of a Poisson bracket . We consider a commutative Frechet unital real algebra endowed with a family of Banach norms . This means that for all , there exists such that for all in A Poisson Bracket is a bilinear map from into , which is a derivation in each argument, vanishes on the unit. The derivation property means that for all in Moreover, it satisfies the following properties: if belong to , then Moreover, for all , there exist and such that In the sequel, we will choose . We consider the structural constants of a Lie algebra structure on . The stochastic gradient of a functional can be written . Formula (1.9) reads in this framework as where we consider a Stratonovitch anticipative integral. This defines a Poisson structure on in our framework [4, Theorem 1].
Remark 2.3. Let us motivate (2.19). Let us consider the Hilbert space of maps from into . The define a structure of Lie algebra on , and therefore, on . Let us consider two functionals and Frechet smooth on . Their derivatives are given by kernels The Lie bracket is given by and the classical Lie-Poisson structure is given by These considerations are heuristic because the product of two elements of is not an element of . If we replace by and if we consider the white-noise measure on instead of the Brownian measure (2.2), then this heuristic formula gives the formula (2.19). This is relevant of the so-called Malliavin transfer principle: a formula becomes almost surely true through the theory of Stratonovitch integrals.
3. The Stochastic Lie Algebroid
Smooth vector fields in the Nualart-Pardoux sense on the Wiener space are functions from into such that on the connected complements of where we have removed the diagonals and such that The infimums of and of in the previous formula are called the Nualart-Pardoux Sobolev norms of the vector field .
Smooth 1-forms in the Nualart-Pardoux sense on the Wiener space are functions from into such that on the connected complements of where we have removed the diagonals and such that The infimums of and of in the previous formula are called the Sobolev norms of the 1-form . The pairing between a 1-form and a vector field is realized via the formula If are two smooth 1-forms in the Nualart-Pardoux sense on the Wiener space, then the bivector associated to the stochastic Poisson structure is given by The stochastic bivector realizes a continuous bilinear map on the space of smooth 1-forms smooth into the space of smooth functionals.
A generalized vector field according to our theory [32, 35] is a a random application from into of the form where and are smooth in the Nualart-Pardoux sense. The Nualart-Pardoux Sobolev norms of a generalized vector field are the collection of Nualart-Pardoux norms of and .
We can define a pairing between smooth 1-form and generalized vector fields by using the formula This allows us to define for a smooth 1-form in the Nualart-Pardoux sense as the generalized vector field
This allows us to put the following definition.
Definition 3.1. If and are smooth 1-forms in the Nualart-Pardoux sense, then we define where the Lie derivative is defined as usual by the formula and is the exterior derivative.
Since is a generalized vector field, the introduction of the Lie derivative leads to stochastic integral (we refer to [32, 33, 35] for similar constructions). Let us recall some results of [31, 32]. Let be a map from into or later into such that on the connected complements of where we have removed the diagonals and such that The infimums of and of in the previous formula are called the Nualart-Pardoux Sobolev norms of the . In such case is still smooth in the Nualart-Pardoux sense, with being included as well as .
This allows us to show the following theorem.
Theorem 3.2. is a continuous antisymmetric bilinear application acting on the space of smooth 1-forms in the Nualart-Pardoux sense with values in the set of smooth 1-forms in the Nualart-Pardoux sense.
Proof of Theorem 3.2. We remark that
which is smooth and its Sobolev norms can be estimated in terms of the Sobolev norms of by Theorem 2.2.
Moreover, which is still smooth. Moreover, Moreover, which is smooth by the remark preceding the theorem.
Theorem 3.3. defines a Lie bracket.
Let be a dyadic subdivision of . We deduce a partition of in cubes of volume . If is a function from into some linear space, then we put If we consider the polygonal approximation of and being the -algebra associated to We denote by the operation of taking the conditional expectation of a functional by . The results of Léandre [31, Appendix], allow to state the proposition.
Proposition 3.4. Let one have If with values in is smooth in the Nualart-Pardoux sense, being included, then the random ordinary integral tends in all the Sobolev spaces of the Malliavin Calculus to the anticipative Stratonovitch integral . If which takes its values in is smooth in the Nualart-Pardoux sense, then the double random ordinary integral tends in all the Sobolev spaces of the Malliavin Calculus to the double anticipative Stratonovitch integral .
Proof of Theorem 3.3. Let us consider the finite dimensional Gaussian space . A 1-form is piecewise constant as well as a vector field . If is a functional which depends on only, then is constant on each . We put
This defines a Poisson structure on the finite dimensional Gaussian space.
We can define , , and according to the line of the introduction. To a 1-form smooth in the Nualart-Pardoux sense on the total Wiener space, we consider the 1-form on the finite dimensional Gaussian space. We get by doing as in finite dimension. By the previous proposition tends in all this attained to . Therefore the result.
Let us give the scheme of the proof of this last result. When we write , there are a lot of terms which will appear. All these terms will tends separately to the corresponding term in . Let us treat one of them, which will lead to double anticipative Stratonovitch integral. The other terms will be treated identically. For instance will lead to double Stratonovitch integral which will tend in all the Sobolev spaces of the Malliavin Calculus to . We can consider in these expressions the term which will lead to a double stochastic integral and which will tend to . But there are two parts in and . We will consider the parts and where we take the covariant derivative of the 1-form in the direction of the generalized vector field . We will show that tends to . But in these expressions there are still two parts which can be treated similarly. We will show that the expression tends to (we consider the covariant derivative of in the direction of ).
But Therefore This implies that where ( we consider a 1-form in the variable).
Therefore By Proposition 3.4, this tends in all the Sobolev spaces of the Malliavin Calculus to We recognize in this quantity where we take the covariant derivative of in the direction of the generalized vector field (we had taken the covariant derivative of in the direction of the generalized vector field ).
Theorem 3.5. is an anchor map. This means that for all 1-form , which are smooth in the Nualart-Pardoux sense all functional are smooth in the Nualart-Pardoux sense; one has the relation:
We can summarize that realizes a stochastic Lie algebroid acting on the space of smooth 1-forms in the Nualart-Pardoux sense on the Wiener space and functional smooth in the Nualart-Pardoux sense on the Wiener space. takes its values in the space of generalized vector fields.
- A. A. Kirillov, “Local Lie algebras,” Russian Mathematical Surveys, vol. 31, no. 4, pp. 55–75, 1976.
- B. A. Dubrovin and S. P. Novikov, “Hydrodynamics of weakly deformed soliton lattices. Differential geometry and Hamiltonian theory,” Russian Mathematical Surveys, vol. 44, no. 6, pp. 35–124, 1989.
- O. I. Mokhov, “Differential geometry of symplectic and Poisson structures on loop spaces of smooth manifolds, and integrable systems,” in Loop Spaces and Groups of Diffeomorphisms, vol. 217 of Proceedings of the Steklov Institute of Mathematics, pp. 91–125, Nauka, Moscow, Russia, 1997.
- R. Léandre, “A stochastic Poisson structure,” in Symmetry, vol. 1, pp. 55–63, 2009.
- R. Léandre, “A Poisson structure in white-noise analysis,” in XXVIII Workshop of Geometrical Method in Physics, M. Schlichenmaier and Th. Voronov, Eds., Bialowiesza, Poland, 2009.
- A. Weinstein, “Poisson geometry,” Differential Geometry and Its Applications, vol. 9, no. 1-2, pp. 213–238, 1998.
- R. Léandre, “Deformation quantization in infinite dimensional analysis,” in Trends in Stochastic Analysis (Festchrift in honour of H. v. Weizsaecker), M. Scheutzow, P. Morters, and J. Blath, Eds., vol. 353 of London Mathematical Society Lecture Note Series, pp. 303–325, Cambridge University Press, Cambridge, UK, 2009.
- A. S. Cattaneo, B. Dherin, and G. Felder, “Formal symplectic groupoid,” Communications in Mathematical Physics, vol. 253, no. 3, pp. 645–674, 2005.
- M. Kontsevich, “Deformation quantization of Poisson manifolds,” Letters in Mathematical Physics, vol. 66, no. 3, pp. 157–216, 2003.
- A. Cannas da Silva and A. Weinstein, Geometric Models for Noncommutative Algebras, vol. 10 of Berkeley Mathematics Lecture Notes, American Mathematical Society, Providence, RI, USA, 1999.
- Y. Kosmann-Schwarzbach, “Poisson manifolds, Lie algebroids, modular classes: a survey,” SIGMA. Symmetry, Integrability and Geometry. Methods and Applications, vol. 4, paper 005, 30 pages, 2008.
- K. Mackenzie, Lie Groupoids and Lie Algebroids in Differential Geometry, vol. 124 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, UK, 1987.
- K. C. H. Mackenzie, General Theory of Lie Groupoids and Lie Algebroids, vol. 213 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, UK, 2005.
- A. Coste, P. Dazord, and A. Weinstein, “Groupoïdes symplectiques,” in Publications du Département de Mathématiques, vol. 87, pp. 1–62, Université Claude Bernard, Lyon, France, 1987.
- B. Fuchssteiner, “The Lie algebra structure of degenerate Hamiltonian and bi-Hamiltonian systems,” Progress of Theoretical Physics, vol. 68, no. 4, pp. 1082–1104, 1982.
- I. M. Gelfand and I. Ya. Dorfman, “Schouten bracket and Hamiltonian operators,” Functional Analysis and Its Applications, vol. 14, no. 3, pp. 71–74, 1980 (Russian).
- M. V. Karasev, “Analogues of objects of Lie groups for nonlinear Poisson brackets,” Mathematics of the USSR-Izvestiya, vol. 28, pp. 497–527, 1987 (Russian).
- F. Magri and C. Morosi, “A geometrical characterization of integrable Hamiltonian systems through the theory of Poisson-Nijenhuis manifolds,” Quaderno, vol. 19, 1984.
- G. Dito and R. Léandre, “Stochastic Moyal product on the Wiener space,” Journal of Mathematical Physics, vol. 48, no. 2, Article ID 023509, 8 pages, 2007.
- R. Léandre, “Deformation quantization in white noise analysis,” SIGMA. Symmetry, Integrability and Geometry. Methods and Applications, vol. 3, paper 027, 8 pages, 2007.
- R. Léandre, “Fedosov quantization in white noise analysis,” Journal of Nonlinear Mathematical Physics, vol. 15, supplement 3, pp. 251–263, 2008.
- R. Léandre, “Hochschild cohomology theories in white noise analysis,” SIGMA. Symmetry, Integrability and Geometry. Methods and Applications, vol. 4, paper 066, 13 pages, 2008.
- R. Léandre and B. Obame, “Quantization of the Connes algebra,” in preparation.
- A. Odzijewicz and T. S. Ratiu, “Banach Lie-Poisson spaces and reduction,” Communications in Mathematical Physics, vol. 243, no. 1, pp. 1–54, 2003.
- P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory, Springer, Heidelberg, Germany, 1996.
- D. Nualart, The Malliavin Calculus and Related Topics, Probability and Its Applications, Springer, New York, NY, USA, 1995.
- T. Hida, H.-H. Kuo, J. Potthoff, and L. Streit, White Noise: An Infinite-Dimensional Calculu, vol. 253 of Mathematics and Its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1993.
- P.-A. Meyer, Quantum Probability for Probabilists, vol. 1610 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1995.
- R. Léandre and A. Rogers, “Equivariant cohomology, Fock space and loop groups,” Journal of Physics A, vol. 39, no. 38, pp. 11929–11946, 2006.
- D. Nualart and É. Pardoux, “Stochastic calculus with anticipating integrands,” Probability Theory and Related Fields, vol. 78, no. 4, pp. 535–581, 1988.
- R. Léandre, “Cohomologie de Bismut-Nualart-Pardoux et cohomologie de Hochschild entière,” in Séminaire de Probabilités, XXX, J. Azéma, M. Emery, and M. Yor, Eds., vol. 1626 of Lecture Notes in Mathematics, pp. 68–99, Springer, Berlin, Germany, 1996.
- R. Léandre, “Brownian cohomology of an homogeneous manifold,” in New Trends in Stochastic Analysis (Charingworth, 1994), K. D. Elworthy, S. Kusuoka, and I. Shigekawa, Eds., pp. 305–347, World Scientific, River Edge, NJ, USA, 1997.
- R. Léandre, “Stochastic cohomology and Hochschild cohomology,” in Development of Infinite-Dimensional Noncommutative Analysis, Kyoto, Japan 1998, A. Hora, Ed., vol. 1099 of RIMS Kokyuroku, pp. 17–26, University Press, Kyoto, Kyoto, Japan, 1999.
- R. Léandre, “Cover of the Brownian bridge and stochastic symplectic action,” Reviews in Mathematical Physics, vol. 12, no. 1, pp. 91–137, 2000.
- R. Léandre, “Stochastic Adams theorem for a general compact manifold,” Reviews in Mathematical Physics, vol. 13, no. 9, pp. 1095–1133, 2001.
- R. Léandre, “Stochastic algebraic de Rham complexes,” Acta Applicandae Mathematicae, vol. 79, no. 3, pp. 217–247, 2003.
- R. Léandre and I. A. Volovich, “The stochastic Lévy Laplacian and Yang-Mills equation on manifolds,” Infinite Dimensional Analysis, Quantum Probability and Related Topics, vol. 4, no. 2, pp. 161–172, 2001.
- P. Lévy, Processus Stochastiques et Mouvement Brownien, Gauthier-Villars, Paris, France, 3rd edition, 1992.
- R. H. Cameron and W. T. Martin, “Transformations of Wiener integrals under translations,” Annals of Mathematics, vol. 45, pp. 386–396, 1944.
- R. Léandre, “Paths integrals in noncommutative geometry,” in Encyclopedia of Mathematical Physics, J. P. Françoise, G. L. Naber, and T. S. Tsun, Eds., pp. 8–12, Elsevier, Oxford, UK, 2006.
- R. Léandre, “Infinite Lebesgue distribution on a current group as an invariant distribution,” in Foundations of Probability and Physics IV, Vaxjoe, Sweden, 2006, G. Adenier, C. Fuchs, and A. Khrennikov, Eds., vol. 889 of AIP Conference Proceedings, pp. 332–335, American Institute of Physics, Melville, NY, USA, 2007.
- R. Léandre, “The Lebesgue measure in infinite-dimensional spaces as an infinite-dimensional distribution,” Fundamental'naya i Prikladnaya Matematika, vol. 13, no. 8, pp. 127–132, 2007 (Russian), translation in Journal of Mathematical Sciences, vol. 159, no. 6, pp. 833–836, 2009.
- A. Asada, “Regularized calculus: an application of zeta regularization to infinite dimensional geometry and analysis,” International Journal of Geometric Methods in Modern Physics, vol. 1, no. 1-2, pp. 107–157, 2004.
- D. Pickrell, “Invariant measures for unitary groups associated to Kac-Moody Lie algebras,” Memoirs of the American Mathematical Society, vol. 146, no. 693, p. 125, 2000.
- J. Neveu, Processus Aléatoires Gaussiens, Séminaire de Mathématiques Supérieures, no. 34, Les Presses de l'Université de Montréal, Montréal, Canada, 1968.
- H. H. Kuo, Gaussian Measures in Banach Spaces, Lecture Notes in Mathematics, vol. 463, Springer, Berlin, Germany, 1975.
- N. Ikeda and S. Watanabe, Stochastic Differential Equations and Diffusion Processes, vol. 24 of North-Holland Mathematical Library, North-Holland, Amsterdam, The Netherlands, 2nd edition, 1989.
- P. Malliavin, “Stochastic calculus of variation and hypoelliptic operators,” in Proceedings of the International Symposium on Stochastic Differential Equations (Research Institute for Mathematical Sciences, Kyoto University, Kyoto, 1976), K. Itô, Ed., pp. 195–263, John Wiley & Sons, New York, NY, USA, 1978.
- S. Albeverio and R. Høegh-Krohn, “Dirichlet forms and diffusion processes on rigged Hilbert spaces,” Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte, vol. 40, no. 1, pp. 1–57, 1977.
- Y. Berezanskii, “The self adjointness of elliptic operators with an infinite number of variables,” Ukrainian Mathematical Journal, vol. 27, pp. 729–742, 1975.
- L. Gross, “Potential theory on Hilbert space,” Journal of Functional Analysis, vol. 1, pp. 123–181, 1967.
- T. Hida, Analysis of Brownian Functionals, Carleton Mathematical Lecture Notes, no. 1, Carleton University, Ottawa, Canada, 1975.
- R. Léandre, “Long time behaviour of the Wiener process on a path group,” to appear in Group Theory: Classes, Representations and Connections, and Applications.
Copyright © 2010 Rémi Léandre. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.