Invariant divisors and equivariant line bundles
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e68

Voir la notice de l'article provenant de la source Cambridge University Press

Scalar relative invariants play an important role in the theory of group actions on a manifold as their zero sets are invariant hypersurfaces. Relative invariants are central in many applications, where they often are treated locally since an invariant hypersurface may not be a locus of a single function. Our aim is to establish a global theory of relative invariants.For a Lie algebra ${\mathfrak g}$ of holomorphic vector fields on a complex manifold M, any holomorphic ${\mathfrak g}$-invariant hypersurface is given in terms of a ${\mathfrak g}$-invariant divisor. This generalizes the classical notion of scalar relative ${\mathfrak g}$-invariant. Any ${\mathfrak g}$-invariant divisor gives rise to a ${\mathfrak g}$-equivariant line bundle, and a large part of this paper is therefore devoted to the investigation of the group $\mathrm {Pic}_{\mathfrak g}(M)$ of ${\mathfrak g}$-equivariant line bundles. We give a cohomological description of $\mathrm {Pic}_{\mathfrak g}(M)$ in terms of a double complex interpolating the Chevalley-Eilenberg complex for ${\mathfrak g}$ with the Čech complex of the sheaf of holomorphic functions on M.We also obtain results about polynomial divisors on affine bundles and jet bundles. This has applications to the theory of differential invariants. Those were actively studied in relation to invariant differential equations, but the description of multipliers (or weights) of relative differential invariants was an open problem. We derive a characterization of them with our general theory. Examples, including projective geometry of curves and second-order ODEs, not only illustrate the developed machinery but also give another approach and rigorously justify some classical computations. At the end, we briefly discuss generalizations of this theory.
Kruglikov, Boris; Schneider, Eivind. Invariant divisors and equivariant line bundles. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e68. doi: 10.1017/fms.2025.20
@article{10_1017_fms_2025_20,
     author = {Kruglikov, Boris and Schneider, Eivind},
     title = {Invariant divisors and equivariant line bundles},
     journal = {Forum of Mathematics, Sigma},
     pages = {e68},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.20},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.20/}
}
TY  - JOUR
AU  - Kruglikov, Boris
AU  - Schneider, Eivind
TI  - Invariant divisors and equivariant line bundles
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e68
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.20/
DO  - 10.1017/fms.2025.20
ID  - 10_1017_fms_2025_20
ER  - 
%0 Journal Article
%A Kruglikov, Boris
%A Schneider, Eivind
%T Invariant divisors and equivariant line bundles
%J Forum of Mathematics, Sigma
%D 2025
%P e68
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.20/
%R 10.1017/fms.2025.20
%F 10_1017_fms_2025_20

[1] Anderson, I. and Fels, M., ‘Transverse group actions on bundles’, Topology Appl. 123 (2002), 443–459. Google Scholar

[2] Arnold, V. I., Geometrical Methods in the Theory of Ordinary Differential Equations (Springer, New York, NY, 1988). Google Scholar

[3] Brion, M., ‘Linearization of algebraic group actions’, in Handbook of Group Actions (Vol. IV) vol. 41 (Int. Press, Somerville, MA, 2018), 291–340. Google Scholar

[4] Cariñena, J. F., Del Olmo, M. A. and Winternitz, P., ‘On the relation between weak and strong invariance of differential equations’, Lett. Math. Phys. 29 (1993), 151–163. Google Scholar

[5] Cartan, E., ‘Sur les variétés à connexion projective’, Bull. Soc. Math. France 52 (1924), 205–241. Google Scholar | DOI

[6] Chevalley, C. and Eilenberg, S., ‘Cohomology theory of Lie groups and Lie algebras’, Trans. Amer. Math. Soc. 63 (1948), 85–124. Google Scholar

[7] Fels, M. and Olver, P., ‘On relative invariants’, Math. Ann. 308 (1997), 701–732. Google Scholar

[8] Forster, O., Lectures on Riemann Surfaces (Springer, New York, 1981). Google Scholar

[9] Fuks, D. B., Cohomology of Infinite-Dimensional Lie Algebras (Consultants Bureau, New York, 1986). Google Scholar | DOI

[10] González-López, A., Kamran, N. and Olver, P., ‘Lie algebras of differential operators in two complex variables’, Amer. J. Math. 114 (1992), 1163–1185. Google Scholar | DOI

[11] Griffiths, P. and Harris, J., Principles of Algebraic Geometry (John Wiley & Sons, Inc., New York, Chichester, Brisbane, Toronto, Singapore, 1978). Google Scholar

[12] Grothendieck, A., ‘On the de Rham cohomology of algebraic varieties’, Publ. Math. lnst. Hautes Études. Sci. 29 (1966), 95–103. Google Scholar

[13] Halphen, G.-H., Sur les invariants différentiels (Gauthier-Villars, Paris, 1878). Google Scholar

[14] Hurtubise, J. C. and Kamran, N., ‘Projective connections, double fibrations, and formal neighborhoods of lines’, Math. Ann. 292 (1992), 383–409. Google Scholar

[15] Huybrechts, D., Complex Geometry: An Introduction (Springer Berlin, Heidelberg, 2005). Google Scholar

[16] Konovenko, N. and Lychagin, V., ‘On projective classification of plane curves’, Global and Stochastic Analysis 1(2) (2011), 241–264. Google Scholar

[17] Kruglikov, B., ‘Point classification of 2nd order ODEs: Tresse classification revisited and beyond’, in Differential Equations - Geometry, Symmetires and Integrability. Abel Symposia vol. 5 (Springer, 2009), 199–221. Google Scholar

[18] Kruglikov, B. and Lychagin, V., ‘The global Lie-Tresse theorem’, Selecta Math. 22 (2016), 1357–1411. Google Scholar | DOI

[19] Kruglikov, B. and Lychagin, V., ‘Geometry of differential equations’, in Krupka, D. and Saunders, D. (eds.), Handbook of Global Analysis (Elsevier, Amsterdam, Boston, 2016), 725–771. Google Scholar

[20] Kruglikov, B. and Schneider, E., ‘ODEs whose symmetry groups are not fiber-preserving’, J. Lie Theory 33 (2023), 1045–1086. Google Scholar

[21] Vinogradov, A. M. and Krasil’Shchik, I. S. (eds.), Symmetries and Conservation Laws for Differential Equations of Mathematical Physics (American Mathematical Society, Providence, 1999). Google Scholar

[22] Mumford, D., Geometric Invariant Theory (Springer-Verlag, Berlin, 1965). Google Scholar

[23] Olver, P., Equivalence, Invariants, and Symmetry (Cambridge University Press, Cambridge, 1995). Google Scholar

[24] Olver, P., Classical Invariant Theory (Cambridge University Press, Cambridge, 1999). Google Scholar

[25] Olver, P., ‘Projective invariants of images’, European J. Appl. Math. 34 (2023), 936–946. Google Scholar | DOI

[26] Rosenlicht, M., ‘Toroidal algebraic groups’, Proc. Amer. Math. Soc. 12 (1961), 984–988. Google Scholar | DOI

[27] Schneider, E., ‘Projectable Lie algebras of vector fields in 3D’, J. Geom. Physics 132 (2018), 222–229. Google Scholar

[28] Ferrer Santos, W. and Rittatore, A., Actions and Invariants of Algebraic Groups (Chapman and Hall/CRC, Boca Raton, 2005). Google Scholar

[29] Tresse, M. A., Détermination des invariants ponctuels de l’équation différentielle ordinaire du second ordre (S. Hirzel, Leipzig, 1869). Google Scholar

[30] Weyl, H., The Classical Groups. Their Invariants and Representations (Princeton University Press, Princeton, 1939). Google Scholar

[31] Wilczynski, E. J., Projective Differential Geometry of Curves and Ruled Surfaces (Teubner, Leipzig, 1905). Google Scholar

Cité par Sources :