The structure of smooth algebras in Kapranov's framework for noncommutative geometry

In [M. Kapranov, Noncommutative geometry based on commutator expansions, J. Reine Angew. Math. 505 (1998) 73-118] a theory of noncommutative algebraic varieties was proposed. Here we prove a structure theorem for the noncommutative coordinate rings of affine open subsets of such of those varieties w...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cortiñas, G.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00218693_v281_n2_p679_Cortinas
Aporte de:
Descripción
Sumario:In [M. Kapranov, Noncommutative geometry based on commutator expansions, J. Reine Angew. Math. 505 (1998) 73-118] a theory of noncommutative algebraic varieties was proposed. Here we prove a structure theorem for the noncommutative coordinate rings of affine open subsets of such of those varieties which are smooth (Theorem 3.4). The theorem describes the local ring of a point as a truncation of a quantization of the enveloping Poisson algebra of a smooth commutative local algebra. An explicit description of this quantization is given in Theorem 2.5. A description of the A-module structure of the Poisson envelope of a smooth commutative algebra A was given in loc. cit., Theorem 4.1.3. However the proof given in loc. cit. has a gap. We fix this gap for A local (Theorem 1.4) and prove a weaker global result (Theorem 1.6). © 2004 Elsevier Inc. All rights reserved.