Abstract:In this paper, we prove that double extension regular algebras of type (14641) are not differentially smooth.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove whether a specific type of double extension regular algebras are differentially smooth. Specifically, the author aims to prove that the double extension regular algebras of type (14641) are not differentially smooth.
### Problem Background
1. **Ore Extension and Double Extension**
- Ore extension is a construction of non - commutative polynomial rings, which is very fundamental and useful in ring theory and non - commutative algebra.
- Double extension, introduced by Zhang and Zhang, is a natural generalization for generating new Artin - Schelter regular algebras. These algebras play an important role in non - commutative geometry.
2. **Artin - Schelter Regular Algebras**
- This type of algebras is an analogue of non - commutative polynomial rings and is crucial for the study of non - commutative geometry.
- In particular, four - dimensional Artin - Schelter regular algebras correspond to the classification of non - commutative projective 3 - space or quantum $\mathbb{P}^3$.
3. **Differential Smoothness**
- Differential smoothness is a property of algebras, similar to the de Rham complex on classical smooth manifolds.
- It involves the isomorphism relationship between the complex of differential forms and the complex of integral forms, similar to Poincaré duality.
### Research Objectives
The main objective of the paper is to study the differential smoothness of double extension regular algebras of type (14641). Specifically, the author hopes to prove that this type of algebras is not differentially smooth.
### Main Results
Through a series of definitions, lemmas and theorems, the author finally proves the following conclusion:
\[ \text{The double extension regular algebras of type (14641) are not differentially smooth.} \]
This result helps to understand the geometric and algebraic properties of this type of algebras and provides a theoretical basis for further research.
### Presentation of Formulas
The formulas involved in the paper use accurate Markdown format, for example:
- The relation of double extension:
\[
y_2 y_1 = p_{12} y_1 y_2 + p_{11} y_2^2 + \tau_1 y_1 + \tau_2 y_2 + \tau_0
\]
- The condition of differential smoothness:
\[
\sigma_{21} \sigma_{11} + p_{11} \sigma_{22} \sigma_{11} = p_{11} \sigma_{11}^2 + p_{11}^2 \sigma_{12} \sigma_{11} + p_{12} \sigma_{11} \sigma_{21} + p_{11} p_{12} \sigma_{12} \sigma_{21}
\]
These formulas ensure the correctness and readability of the content.