June  2017, 9(2): 207-225. doi: 10.3934/jgm.2017009

The group of diffeomorphisms of the circle: Reproducing kernels and analogs of spherical functions

1. 

Math. Dept., University of Vienna, Oskar-Morgenstern-Platz 1,1090 Wien, Austria

2. 

Institute for Theoretical and Experimental Physics (Moscow), Russia

3. 

MechMath. Dept., Moscow State University, Institute for Information Transmission (Moscow), Russia

* Corresponding author: Yury Neretin

Received  December 2015 Revised  August 2016 Published  May 2017

Fund Project: Supported by FWF grants P25142, P28421.

The group $\text{Diff}\left( {{S}^{1}} \right)$ of diffeomorphisms of the circle is an infinite dimensional analog of the real semisimple Lie groups $\text{U}(p,q)$, $\text{Sp}(2n,\mathbb{R})$, $\text{SO}^*(2n)$; the space $Ξ$ of univalent functions is an analog of the corresponding classical complex Cartan domains. We present explicit formulas for realizations of highest weight representations of $\text{Diff}\left( {{S}^{1}} \right)$ in the space of holomorphic functionals on $Ξ$, reproducing kernels on $Ξ$ determining inner products, and expressions ('canonical cocycles') replacing spherical functions.

Citation: Yury Neretin. The group of diffeomorphisms of the circle: Reproducing kernels and analogs of spherical functions. Journal of Geometric Mechanics, 2017, 9 (2) : 207-225. doi: 10.3934/jgm.2017009
References:
[1]

L. Ahlfors and A. Beurling, Conformal invariants and function-theoretic null-sets, Acta Math., 83 (1950), 101-129.  doi: 10.1007/BF02392634.  Google Scholar

[2]

H. Airault and Yu. A. Neretin, On the action of Virasoro algebra on the space of univalent functions, Bull. Sci. Math., 132 (2008), 27-39.  doi: 10.1016/j.bulsci.2007.05.001.  Google Scholar

[3]

F. A. Berezin, The Method of Second Quantization, Academic Press, New York-London, 1966.  Google Scholar

[4]

M. J. Bowick and S. G. Rajeev, String theory as the Kähler geometry of loop space, Phys. Rev. Lett., 58 (1987), 535-538.  doi: 10.1103/PhysRevLett.58.535.  Google Scholar

[5]

P. L. Duren, Univalent Functions, Springer-Verlag, 1983.  Google Scholar

[6]

B. L. Feigin and D. B. Fuks, Skew-symmetric invariant differential operators on the line and Verma modules over the Virasoro algebra, Funct. Anal. Appl., 16 (1982), 47–63, 96.  Google Scholar

[7]

B. L. Feigin and D. B. Fuks, Verma modules over a Virasoro algebr, Funct. Anal. Appl., 17 (1983), 91-92.   Google Scholar

[8]

B. L. Feigin and D. B. Fuchs10, Representations of the Virasoro algebra, in Representations of Lie groups and related topics (eds. A. M. Vershik, D. P. Zhelobenko), Gordon & Breach, 7 (1990), 465-554.  Google Scholar

[9]

D. FriedanZ. Qiu and S. Shenker, Details of the nonunitarity proof for highest weight representations of the Virasoro algebra, Comm. Math. Phys., 107 (1986), 535-542.  doi: 10.1007/BF01205483.  Google Scholar

[10]

D. B. Fuchs, Cohomologies of Infinite-Dimensional Lie Algebras, Moscow, 1984.  Google Scholar

[11]

P. GoddardA. Kent and D. Olive, Unitary representations of the Virasoro and super-Virasoro algebras, Comm. Math. Phys., 103 (1986), 105-119.  doi: 10.1007/BF01464283.  Google Scholar

[12]

G. M. Goluzin, Geometric Theory of Functions of a Complex Variable, American Mathematical Society, Providence, R. I., 1969.  Google Scholar

[13]

R. Goodman and N. Wallach, Structure and unitary cocycle representations of loop groups and the group of diffeomorphisms of the circle, J. Reine Angew. Math., 347 (1984), 69-133.  doi: 10.1515/crll.1984.347.69.  Google Scholar

[14]

H. Grunsky, Koeffizientenbedingungen für schlicht abbildende meromorphe Funktionen, Math. Zeitschrift, 45 (1939), 29-61.  doi: 10.1007/BF01580272.  Google Scholar

[15]

V. G. Kac, Contravariant form for infinite-dimensional Lie algebras and superalgebras, in Group Theoretical Methods in Physics (Austin, Tex., 1978), Lecture Notes in Phys., Springer, Berlin, 94 (1979), 441-445. Google Scholar

[16]

A. A. Kirillov, Kähler structure on the K-orbits of a group of diffeomorphisms of the circle, Funct. Anal. Appl., 21 (1987), 42-45.   Google Scholar

[17]

A. A. Kirillov, Geometric approach to discrete series of unireps for Virasoro, J. Math. Pures Appl., 77 (1998), 735-746.  doi: 10.1016/S0021-7824(98)80007-X.  Google Scholar

[18]

A. A. Kirillov and D. V. Yur', Kähler geometry of the infinite-dimensional homogeneous space $M=\mathrm{Diff}^+(S^1)/\mathrm {Rot}(S^1)$, Funct. Anal. Appl., 21 (1987), 35-46, 96.   Google Scholar

[19]

D. Marshall and S. Rohde, Convergence of a variant of the zipper algorithm for conformal mapping, SIAM J. Numer. Anal., 45 (2007), 2577-2609.  doi: 10.1137/060659119.  Google Scholar

[20]

K. Mimachi and Y. Yamada, Singular vectors of the Virasoro algebra in terms of Jack symmetric polynomials, Comm. Math. Phys., 174 (1995), 447-455.  doi: 10.1007/BF02099610.  Google Scholar

[21]

Yu. A. Neretin, Unitary representations with a highest weight of a group of diffeomorphisms of a circle, Funct. Anal. Appl., 17 (1983), 85-86.   Google Scholar

[22]

Yu. A. Neretin, Unitary Highest Weight Representations of Virasoro Algebra, (Russian) Ph. D. Moscow State University, MechMath Dept., 1983. Available from http://www.mat.univie.ac.at/~neretin/phd-neretin.pdf Google Scholar

[23]

Yu. A. Neretin, On the spinor representation of $\text{O}(∞,\mathbb{C})$, Soviet Math. Dokl., 34 (1987), 71-74.   Google Scholar

[24]

Yu. A. Neretin, On a complex semigroup containing the group of diffeomorphisms of the circle, Funct. Anal. Appl., 21 (1987), 82-83.   Google Scholar

[25]

Yu. A. Neretin, Holomorphic continuations of representations of the group of diffeomorphisms of the circle, (Russian), Mat. Sbornik, 180 (1989), 635-657; English transl. Math. USSR-Sb., 67 (1990), 75-97.  Google Scholar

[26]

Yu. A. Neretin, Almost invariant structures and related representations of the group of diffeomorphisms of the circle, in Representations of Lie Groups and Related Topics (eds. A. M. Vershik, D. P. Zhelobenko), Gordon & Breach, 7 (1990), 245-267.  Google Scholar

[27]

Yu. A. Neretin, Categories Enveloping Infinite-Dimensional Groups and Representations of Category of Riemannian Surfaces, Russian doctor degree thesis, Steklov Mathematical Institute, 1991, http://www.mat.univie.ac.at/~neretin/disser/disser.pdf Google Scholar

[28]

Yu. A. Neretin, Representations of Virasoro and affine Lie algebras, In Representation Theory and Noncommutative Harmonic Analysis, I, Encyclopaedia Math. Sci., Springer, Berlin, 22 (1994), 157-234. doi: 10.1007/978-3-662-03002-8_2.  Google Scholar

[29]

Yu. A. Neretin, Categories of Symmetries and Infinite-Dimensional Groups, Oxford University Press, New York, 1996.  Google Scholar

[30]

Yu. A. Neretin, Lectures on Gaussian Integral Operators And Classical Groups, European Mathematical Society (EMS), 2011. doi: 10.4171/080.  Google Scholar

[31]

A. C. Schaeffer, D. C. Spencer, Coefficient Regions for Schlicht Functions, American Mathematical Society, New York, N. Y., 1950.  Google Scholar

[32]

G. B. Segal, The definition of conformal field theory, in Differential Geometrical Methods in Theoretical Physics, 165-171, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 250, Kluwer Acad. Publ., Dordrecht, 1988.  Google Scholar

[33]

E. Sharon and D. Mumford, 2d-shape analysis using conformal mapping, International Journal of Computer Vision, 70 (2006), 55-75.  doi: 10.1109/CVPR.2004.1315185.  Google Scholar

[34]

P. Wojtaszczyk, Spaces of analytic functions with integral norm, in Handbook of the Geometry of Banach Spaces, North-Holland, Amsterdam, 2 (2003), 1671-1702. doi: 10.1016/S1874-5849(03)80046-3.  Google Scholar

show all references

References:
[1]

L. Ahlfors and A. Beurling, Conformal invariants and function-theoretic null-sets, Acta Math., 83 (1950), 101-129.  doi: 10.1007/BF02392634.  Google Scholar

[2]

H. Airault and Yu. A. Neretin, On the action of Virasoro algebra on the space of univalent functions, Bull. Sci. Math., 132 (2008), 27-39.  doi: 10.1016/j.bulsci.2007.05.001.  Google Scholar

[3]

F. A. Berezin, The Method of Second Quantization, Academic Press, New York-London, 1966.  Google Scholar

[4]

M. J. Bowick and S. G. Rajeev, String theory as the Kähler geometry of loop space, Phys. Rev. Lett., 58 (1987), 535-538.  doi: 10.1103/PhysRevLett.58.535.  Google Scholar

[5]

P. L. Duren, Univalent Functions, Springer-Verlag, 1983.  Google Scholar

[6]

B. L. Feigin and D. B. Fuks, Skew-symmetric invariant differential operators on the line and Verma modules over the Virasoro algebra, Funct. Anal. Appl., 16 (1982), 47–63, 96.  Google Scholar

[7]

B. L. Feigin and D. B. Fuks, Verma modules over a Virasoro algebr, Funct. Anal. Appl., 17 (1983), 91-92.   Google Scholar

[8]

B. L. Feigin and D. B. Fuchs10, Representations of the Virasoro algebra, in Representations of Lie groups and related topics (eds. A. M. Vershik, D. P. Zhelobenko), Gordon & Breach, 7 (1990), 465-554.  Google Scholar

[9]

D. FriedanZ. Qiu and S. Shenker, Details of the nonunitarity proof for highest weight representations of the Virasoro algebra, Comm. Math. Phys., 107 (1986), 535-542.  doi: 10.1007/BF01205483.  Google Scholar

[10]

D. B. Fuchs, Cohomologies of Infinite-Dimensional Lie Algebras, Moscow, 1984.  Google Scholar

[11]

P. GoddardA. Kent and D. Olive, Unitary representations of the Virasoro and super-Virasoro algebras, Comm. Math. Phys., 103 (1986), 105-119.  doi: 10.1007/BF01464283.  Google Scholar

[12]

G. M. Goluzin, Geometric Theory of Functions of a Complex Variable, American Mathematical Society, Providence, R. I., 1969.  Google Scholar

[13]

R. Goodman and N. Wallach, Structure and unitary cocycle representations of loop groups and the group of diffeomorphisms of the circle, J. Reine Angew. Math., 347 (1984), 69-133.  doi: 10.1515/crll.1984.347.69.  Google Scholar

[14]

H. Grunsky, Koeffizientenbedingungen für schlicht abbildende meromorphe Funktionen, Math. Zeitschrift, 45 (1939), 29-61.  doi: 10.1007/BF01580272.  Google Scholar

[15]

V. G. Kac, Contravariant form for infinite-dimensional Lie algebras and superalgebras, in Group Theoretical Methods in Physics (Austin, Tex., 1978), Lecture Notes in Phys., Springer, Berlin, 94 (1979), 441-445. Google Scholar

[16]

A. A. Kirillov, Kähler structure on the K-orbits of a group of diffeomorphisms of the circle, Funct. Anal. Appl., 21 (1987), 42-45.   Google Scholar

[17]

A. A. Kirillov, Geometric approach to discrete series of unireps for Virasoro, J. Math. Pures Appl., 77 (1998), 735-746.  doi: 10.1016/S0021-7824(98)80007-X.  Google Scholar

[18]

A. A. Kirillov and D. V. Yur', Kähler geometry of the infinite-dimensional homogeneous space $M=\mathrm{Diff}^+(S^1)/\mathrm {Rot}(S^1)$, Funct. Anal. Appl., 21 (1987), 35-46, 96.   Google Scholar

[19]

D. Marshall and S. Rohde, Convergence of a variant of the zipper algorithm for conformal mapping, SIAM J. Numer. Anal., 45 (2007), 2577-2609.  doi: 10.1137/060659119.  Google Scholar

[20]

K. Mimachi and Y. Yamada, Singular vectors of the Virasoro algebra in terms of Jack symmetric polynomials, Comm. Math. Phys., 174 (1995), 447-455.  doi: 10.1007/BF02099610.  Google Scholar

[21]

Yu. A. Neretin, Unitary representations with a highest weight of a group of diffeomorphisms of a circle, Funct. Anal. Appl., 17 (1983), 85-86.   Google Scholar

[22]

Yu. A. Neretin, Unitary Highest Weight Representations of Virasoro Algebra, (Russian) Ph. D. Moscow State University, MechMath Dept., 1983. Available from http://www.mat.univie.ac.at/~neretin/phd-neretin.pdf Google Scholar

[23]

Yu. A. Neretin, On the spinor representation of $\text{O}(∞,\mathbb{C})$, Soviet Math. Dokl., 34 (1987), 71-74.   Google Scholar

[24]

Yu. A. Neretin, On a complex semigroup containing the group of diffeomorphisms of the circle, Funct. Anal. Appl., 21 (1987), 82-83.   Google Scholar

[25]

Yu. A. Neretin, Holomorphic continuations of representations of the group of diffeomorphisms of the circle, (Russian), Mat. Sbornik, 180 (1989), 635-657; English transl. Math. USSR-Sb., 67 (1990), 75-97.  Google Scholar

[26]

Yu. A. Neretin, Almost invariant structures and related representations of the group of diffeomorphisms of the circle, in Representations of Lie Groups and Related Topics (eds. A. M. Vershik, D. P. Zhelobenko), Gordon & Breach, 7 (1990), 245-267.  Google Scholar

[27]

Yu. A. Neretin, Categories Enveloping Infinite-Dimensional Groups and Representations of Category of Riemannian Surfaces, Russian doctor degree thesis, Steklov Mathematical Institute, 1991, http://www.mat.univie.ac.at/~neretin/disser/disser.pdf Google Scholar

[28]

Yu. A. Neretin, Representations of Virasoro and affine Lie algebras, In Representation Theory and Noncommutative Harmonic Analysis, I, Encyclopaedia Math. Sci., Springer, Berlin, 22 (1994), 157-234. doi: 10.1007/978-3-662-03002-8_2.  Google Scholar

[29]

Yu. A. Neretin, Categories of Symmetries and Infinite-Dimensional Groups, Oxford University Press, New York, 1996.  Google Scholar

[30]

Yu. A. Neretin, Lectures on Gaussian Integral Operators And Classical Groups, European Mathematical Society (EMS), 2011. doi: 10.4171/080.  Google Scholar

[31]

A. C. Schaeffer, D. C. Spencer, Coefficient Regions for Schlicht Functions, American Mathematical Society, New York, N. Y., 1950.  Google Scholar

[32]

G. B. Segal, The definition of conformal field theory, in Differential Geometrical Methods in Theoretical Physics, 165-171, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 250, Kluwer Acad. Publ., Dordrecht, 1988.  Google Scholar

[33]

E. Sharon and D. Mumford, 2d-shape analysis using conformal mapping, International Journal of Computer Vision, 70 (2006), 55-75.  doi: 10.1109/CVPR.2004.1315185.  Google Scholar

[34]

P. Wojtaszczyk, Spaces of analytic functions with integral norm, in Handbook of the Geometry of Banach Spaces, North-Holland, Amsterdam, 2 (2003), 1671-1702. doi: 10.1016/S1874-5849(03)80046-3.  Google Scholar

[1]

Wei Liu, Pavel Krejčí, Guoju Ye. Continuity properties of Prandtl-Ishlinskii operators in the space of regulated functions. Discrete & Continuous Dynamical Systems - B, 2017, 22 (10) : 3783-3795. doi: 10.3934/dcdsb.2017190

[2]

Davide La Torre, Simone Marsiglio, Franklin Mendivil, Fabio Privileggi. Public debt dynamics under ambiguity by means of iterated function systems on density functions. Discrete & Continuous Dynamical Systems - B, 2021  doi: 10.3934/dcdsb.2021070

[3]

Gloria Paoli, Gianpaolo Piscitelli, Rossanno Sannipoli. A stability result for the Steklov Laplacian Eigenvalue Problem with a spherical obstacle. Communications on Pure & Applied Analysis, 2021, 20 (1) : 145-158. doi: 10.3934/cpaa.2020261

[4]

Qian Liu. The lower bounds on the second-order nonlinearity of three classes of Boolean functions. Advances in Mathematics of Communications, 2021  doi: 10.3934/amc.2020136

[5]

Sara Munday. On the derivative of the $\alpha$-Farey-Minkowski function. Discrete & Continuous Dynamical Systems - A, 2014, 34 (2) : 709-732. doi: 10.3934/dcds.2014.34.709

[6]

Alina Chertock, Alexander Kurganov, Mária Lukáčová-Medvi${\rm{\check{d}}}$ová, Șeyma Nur Özcan. An asymptotic preserving scheme for kinetic chemotaxis models in two space dimensions. Kinetic & Related Models, 2019, 12 (1) : 195-216. doi: 10.3934/krm.2019009

[7]

Valery Y. Glizer. Novel Conditions of Euclidean space controllability for singularly perturbed systems with input delay. Numerical Algebra, Control & Optimization, 2021, 11 (2) : 307-320. doi: 10.3934/naco.2020027

[8]

Jong Yoon Hyun, Yoonjin Lee, Yansheng Wu. Connection of $ p $-ary $ t $-weight linear codes to Ramanujan Cayley graphs with $ t+1 $ eigenvalues. Advances in Mathematics of Communications, 2021  doi: 10.3934/amc.2020133

[9]

Ralf Hielscher, Michael Quellmalz. Reconstructing a function on the sphere from its means along vertical slices. Inverse Problems & Imaging, 2016, 10 (3) : 711-739. doi: 10.3934/ipi.2016018

[10]

Xiaomao Deng, Xiao-Chuan Cai, Jun Zou. A parallel space-time domain decomposition method for unsteady source inversion problems. Inverse Problems & Imaging, 2015, 9 (4) : 1069-1091. doi: 10.3934/ipi.2015.9.1069

[11]

Jianping Gao, Shangjiang Guo, Wenxian Shen. Persistence and time periodic positive solutions of doubly nonlocal Fisher-KPP equations in time periodic and space heterogeneous media. Discrete & Continuous Dynamical Systems - B, 2021, 26 (5) : 2645-2676. doi: 10.3934/dcdsb.2020199

[12]

Charles Fulton, David Pearson, Steven Pruess. Characterization of the spectral density function for a one-sided tridiagonal Jacobi matrix operator. Conference Publications, 2013, 2013 (special) : 247-257. doi: 10.3934/proc.2013.2013.247

[13]

Dayalal Suthar, Sunil Dutt Purohit, Haile Habenom, Jagdev Singh. Class of integrals and applications of fractional kinetic equation with the generalized multi-index Bessel function. Discrete & Continuous Dynamical Systems - S, 2021  doi: 10.3934/dcdss.2021019

[14]

Saima Rashid, Fahd Jarad, Zakia Hammouch. Some new bounds analogous to generalized proportional fractional integral operator with respect to another function. Discrete & Continuous Dynamical Systems - S, 2021  doi: 10.3934/dcdss.2021020

[15]

Marita Holtmannspötter, Arnd Rösch, Boris Vexler. A priori error estimates for the space-time finite element discretization of an optimal control problem governed by a coupled linear PDE-ODE system. Mathematical Control & Related Fields, 2021  doi: 10.3934/mcrf.2021014

2019 Impact Factor: 0.649

Metrics

  • PDF downloads (41)
  • HTML views (71)
  • Cited by (0)

Other articles
by authors

[Back to Top]