Dequantized Differential Operators between Tensor Densities as Modules over the Lie Algebra of Contact Vector Fields

In recent years, algebras and modules of differential operators have been extensively studied. Equivariant quantization and dequantization establish a tight link between invariant operators connecting modules of differential operators on tensor densities, and module morphisms that connect the corresponding dequantized spaces. In this paper, we investigate dequantized differential operators as modules over a Lie subalgebra of vector fields that preserve an additional structure. More precisely, we take an interest in invariant operators between dequantized spaces, viewed as modules over the Lie subalgebra of infinitesimal contact or projective contact transformations. The principal symbols of these invariant operators are invariant tensor fields. We first provide full description of the algebras of such affine-contact- and contact-invariant tensor fields. These characterizations allow showing that the algebra of projective-contact-invariant operators between dequantized spaces implemented by the same density weight, is generated by the vertical cotangent lift of the contact form and a generalized contact Hamiltonian. As an application, we prove a second key-result, which asserts that the Casimir operator of the Lie algebra of infinitesimal projective contact transformations, is diagonal. Eventually, this upshot entails that invariant operators between spaces induced by different density weights, are made up by a small number of building bricks that force the parameters of the source and target spaces to verify Diophantine-type equations.Comment: 22 page

Simultaneous deformations and Poisson geometry

We consider the problem of deforming simultaneously a pair of given structures. We show that such deformations are governed by an L-infinity algebra, which we construct explicitly. Our machinery is based on Th. Voronov's derived bracket construction. In this paper we consider only geometric applications, including deformations of coisotropic submanifolds in Poisson manifolds, of twisted Poisson structures, and of complex structures within generalized complex geometry. These applications can not be, to our knowledge, obtained by other methods such as operad theory.Comment: 32 pages. Results in Section 2 improved (Lemma 2.6 and Corollaries 2.20, 2.22). Corollary 2.5 and Corollary 2.11 added. Final version, accepted for publicatio

Optimized Crystallographic Graph Generation for Material Science

Graph neural networks are widely used in machine learning applied to chemistry, and in particular for material science discovery. For crystalline materials, however, generating graph-based representation from geometrical information for neural networks is not a trivial task. The periodicity of crystalline needs efficient implementations to be processed in real-time under a massively parallel environment. With the aim of training graph-based generative models of new material discovery, we propose an efficient tool to generate cutoff graphs and k-nearest-neighbours graphs of periodic structures within GPU optimization. We provide pyMatGraph a Pytorch-compatible framework to generate graphs in real-time during the training of neural network architecture. Our tool can update a graph of a structure, making generative models able to update the geometry and process the updated graph during the forward propagation on the GPU side. Our code is publicly available at https://github.com/aklipf/mat-graph

Non abelian cohomology of extensions of Lie algebras as Deligne groupoid

comments are welcomeIn this note we show that the theory of non abelian extensions of a Lie algebra $\mathfrak{g}$ by a Lie algebra $\mathfrak{h}$ can be understood in terms of a differential graded Lie algebra $L$. More precisely we show that the non-abelian cohomology $H^2_{nab}(\mathfrak{g},\mathfrak{h})$ is $\mathcal{MC}(L)$, the $\pi_0$ of the Deligne groupoid of $L$

Simultaneous deformations and Poisson geometry

We consider the problem of deforming simultaneously a pair of given structures. We show that such deformations are governed by an $L_{\infty }$ -algebra, which we construct explicitly. Our machinery is based on Voronov's derived bracket construction. In this paper we consider only geometric applications, including deformations of coisotropic submanifolds in Poisson manifolds, of twisted Poisson structures, and of complex structures within generalized complex geometry. These applications cannot be, to our knowledge, obtained by other methods such as operad theor

Lower Central Series Ideal Quotients Over F_p and Z

Given a graded associative algebra $A$, its lower central series is defined by $L_1 = A$ and $L_{i+1} = [L_i, A]$. We consider successive quotients $N_i(A) = M_i(A) / M_{i+1}(A)$, where $M_i(A) = AL_i(A) A$. These quotients are direct sums of graded components. Our purpose is to describe the $\mathbb{Z}$-module structure of the components; i.e., their free and torsion parts. Following computer exploration using {\it MAGMA}, two main cases are studied. The first considers $A = A_n / (f_1,\dots, f_m)$, with $A_n$ the free algebra on $n$ generators $\{x_1, \ldots, x_n\}$ over a field of characteristic $p$. The relations $f_i$ are noncommutative polynomials in $x_j^{p^{n_j}},$ for some integers $n_j$. For primes $p > 2$, we prove that $p^{\sum n_j} \mid \text{dim}(N_i(A))$. Moreover, we determine polynomials dividing the Hilbert series of each $N_i(A)$. The second concerns $A = \mathbb{Z} \langle x_1, x_2, \rangle / (x_1^m, x_2^n)$. For $i = 2,3$, the bigraded structure of $N_i(A_2)$ is completely described

Simultaneous deformations of algebras and morphisms via derived brackets

20 pages. Final version, accepted for publication, and significantly shorter than version v1. Our previous submission arXiv:1202.2896v1 has been divided into two parts. The present paper contains the algebraic applications of the theory, while the geometric applications are the subject of the paper arXiv:1202.2896v2 ("Simultaneous deformations and Poisson geometry")We present a method to construct explicitly L-infinity algebras governing simultaneous deformations of various kinds of algebraic structures and of their morphisms. It is an alternative to the heavy use of the operad machinery of the existing approaches. Our method relies on Voronov's derived bracket construction