Deje AA ser suave, un Álgebra de Hopf sobre un campo kk con comultiplication mapa de ΔΔ y el Aumento Ideal II.
Entonces puedo lo que respecta a la composición de ΔΔ natural con la proyección de A⊗AA⊗A a la plaza de II, es decir, el mapa
A→A⊗kA→A/I2⊗kA/I2A→A⊗kA→A/I2⊗kA/I2.
Ahora mis preguntas:
(1) se Puede decir lo que este mapa con un elemento xx AA explícitamente? En particular, ¿qué es el kernel? No estoy muy seguro de si realmente se puede decir algo en esta configuración general...
(2) Es A/I2⊗kA/I2A/I2⊗kA/I2 naturalmente isomorfo como k−k−álgebra a algo más familiar? Puede ser que el es (A⊗kA)/I⊗kI(A⊗kA)/I⊗kI? O qué otra cosa? Y ¿cómo funciona el mapa de arriba, a continuación, parecen?
Muchas gracias por tu esfuerzo!