de Sitter（dS）引力是对广义相对论（GR）的一种修正，它以dS群为规范群，通过修改普通导数为协变导数，引入基本变量dS联络，这方面它比GR和普通的引力规范理论更贴近物质规范场论。该理论存在内部dS时空，其上的5维闵氏坐标可以推广为向量场，它的模对应一个可变的宇宙常数，或能解释暗能量、暴涨子和量子引力中的时间变量。具体分析中存在的问题有：1. dS联络的意义不明确；2. 在哈氏形式中较难保持dS协变性；3. 量子化过程中dS群的非紧性使得希尔伯特空间的内积发散。拟使用的解决方法是：1. 使用切向的协变导数，或者引入两个度规，以便于推导dS联络的意义；2. 将诺特分析的结果应用于哈氏形式，使用Dirac括号消除第二类约束，以保持dS不变性；3. 利用向量场和3+1分解将dS群投影到SO(3)子群，使用相应的截断方法在内积的定义中约去无穷大的群体积。

de Sitter (dS) gravity is a modification of general relativity (GR), with the dS group as the gauge group, and the dS connection as fundamental variable. The dS connection is introduced in the course of modifying the ordinary derivative into covariant derivative. In this respect, dS gravity is closer to the material gauge theory than GR and ordinary gauge theory of gravity. In this theory, there are internal dS spacetimes, on which the 5d Minkowski coordinates can be generalized to a vector field. The norm of that vector field corresponds to a variable cosmological constant, which may explain dark energy, inflaton, and time variable in quantum gravity. In detail analyses, there exist the following problems: 1. The meaning of the dS connection is not clear; 2. It is difficult to maintain dS covariance in the Hamiltonian formalism; 3. In the quantization of the theory, the non-compactness of the dS group makes the inner product of the Hilbert space be infinite. The project is going to solve these problems by the following ways: 1. Make use of the tangential covariant derivative, or introduce two metrics, to find the meaning of the dS connection; 2. Apply the results of the Noether analysis to Hamiltonian formalism, and eliminate the second-class constraints with the help of the Dirac bracket, such that the dS covariance can be maintained; 3. In virtue of the vector field and 3+1 decomposition, project the dS group onto the SO(3) subgroup, and, utilizing a corresponding cut-off method, divide the inner product by an infinite group volume.