In mathematics, Hochschild homology (and cohomology) is a homology theory for associative algebras over rings. There is also a theory for Hochschild homology of certain functors. Hochschild cohomology was introduced by  for algebras over a field, and extended to algebras over more general rings by .

Definition of Hochschild homology of algebras
Let k be a field, A an associative k-algebra, and M an A-bimodule. The enveloping algebra of A is the tensor product  of A with its opposite algebra. Bimodules over A are essentially the same as modules over the enveloping algebra of A, so in particular A and M can be considered as Ae-modules.  defined the Hochschild homology and cohomology group of A with coefficients in M  in terms of the Tor functor and Ext functor by

Hochschild complex
Let k be a ring, A an associative k-algebra that is a projective k-module, and M an A-bimodule. We will write  for the n-fold tensor product of A over k. The chain complex that gives rise to Hochschild homology is given by

with boundary operator  defined by

where  is in A for all  and . If we let

then , so  is a chain complex called the Hochschild complex, and its homology is the Hochschild homology of A with coefficients in M. Henceforth, we will write  as simply .

Remark
The maps  are face maps making the family of modules  a simplicial object in the category of k-modules, i.e., a functor Δo → k-mod, where Δ is the simplex category and k-mod is the category of k-modules. Here Δo is the opposite category of Δ. The degeneracy maps are defined by

Hochschild homology is the homology of this simplicial module.

Relation with the Bar complex 
There is a similar looking complex  called the Bar complex which formally looks very similar to the Hochschild complexpg 4-5. In fact, the Hochschild complex  can be recovered from the Bar complex asgiving an explicit isomorphism.

As a derived self-intersection 
There's another useful interpretation of the Hochschild complex in the case of commutative rings, and more generally, for sheaves of commutative rings: it is constructed from the derived self-intersection of a scheme (or even derived scheme)  over some base scheme . For example, we can form the derived fiber productwhich has the sheaf of derived rings . Then, if embed  with the diagonal mapthe Hochschild complex is constructed as the pullback of the derived self intersection of the diagonal in the diagonal product schemeFrom this interpretation, it should be clear the Hochschild homology should have some relation to the Kähler differentials  since the Kähler differentials can be defined using a self-intersection from the diagonal, or more generally, the cotangent complex  since this is the derived replacement for the Kähler differentials. We can recover the original definition of the Hochschild complex of a commutative -algebra  by setting and Then, the Hochschild complex is quasi-isomorphic toIf  is a flat -algebra, then there's the chain of isomorphismgiving an alternative but equivalent presentation of the Hochschild complex.

Hochschild homology of functors
The simplicial circle  is a simplicial object in the category  of finite pointed sets, i.e., a functor  Thus, if F is a functor , we get a simplicial module by composing F with .

The homology of this simplicial module is the Hochschild homology of the functor F. The above definition of Hochschild homology of commutative algebras is the special case where F is the Loday functor.

Loday functor
A skeleton for the category of finite pointed sets is given by the objects

where 0 is the basepoint, and the morphisms are the basepoint preserving set maps. Let A be a commutative k-algebra and M be a symmetric A-bimodule. The Loday functor  is given on objects in  by

A morphism

is sent to the morphism  given by

where

Another description of Hochschild homology of algebras
The Hochschild homology of a commutative algebra A with coefficients in a symmetric A-bimodule M is the homology associated to the composition

and this definition agrees with the one above.

Examples 
The examples of Hochschild homology computations can be stratified into a number of distinct cases with fairly general theorems describing the structure of the homology groups and the homology ring  for an associative algebra . For the case of commutative algebras, there are a number of theorems describing the computations over characteristic 0 yielding a straightforward understanding of what the homology and cohomology compute.

Commutative characteristic 0 case 
In the case of commutative algebras  where , the Hochschild homology has two main theorems concerning smooth algebras, and more general non-flat algebras ; but, the second is a direct generalization of the first. In the smooth case, i.e. for a smooth algebra , the Hochschild-Kostant-Rosenberg theorempg 43-44 states there is an isomorphism  for every . This isomorphism can be described explicitly using the anti-symmetrization map. That is, a differential -form has the map
If the algebra  isn't smooth, or even flat, then there is an analogous theorem using the cotangent complex. For a simplicial resolution , we set . Then, there exists a descending -filtration  on  whose graded pieces are isomorphic to 
Note this theorem makes it accessible to compute the Hochschild homology not just for smooth algebras, but also for local complete intersection algebras. In this case, given a presentation  for , the cotangent complex is the two-term complex .

Polynomial rings over the rationals 
One simple example is to compute the Hochschild homology of a polynomial ring of  with -generators. The HKR theorem gives the isomorphism  where the algebra  is the free antisymmetric algebra over  in -generators. Its product structure is given by the wedge product of vectors, so  for .

Commutative characteristic p case 
In the characteristic p case, there is a userful counter-example to the Hochschild-Kostant-Rosenberg theorem which elucidates for the need of a theory beyond simplicial algebras for defining Hochschild homology. Consider the -algebra . We can compute a resolution of  as the free differential graded algebrasgiving the derived intersection  where  and the differential is the zero map. This is because we just tensor the complex above by , giving a formal complex with a generator in degree  which squares to . Then, the Hochschild complex is given byIn order to compute this, we must resolve  as an -algebra. Observe that the algebra structure

forces . This gives the degree zero term of the complex. Then, because we have to resolve the kernel , we can take a copy of  shifted in degree  and have it map to , with kernel in degree We can perform this recursively to get the underlying module of the divided power algebrawith  and the degree of  is , namely . Tensoring this algebra with  over  givessince  multiplied with any element in  is zero. The algebra structure comes from general theory on divided power algebras and differential graded algebras. Note this computation is seen as a technical artifact because the ring  is not well behaved. For instance, . One technical response to this problem is through Topological Hochschild homology, where the base ring  is replaced by the sphere spectrum .

Topological Hochschild homology

The above construction of the Hochschild complex can be adapted to more general situations, namely by replacing the category of (complexes of) -modules by an ∞-category (equipped with a tensor product) , and  by an associative algebra in this category. Applying this to the category  of spectra, and  being the Eilenberg–MacLane spectrum associated to an ordinary ring  yields topological Hochschild homology, denoted . The (non-topological) Hochschild homology introduced above can be reinterpreted along these lines, by taking for  the derived category of -modules (as an ∞-category).

Replacing tensor products over the sphere spectrum by tensor products over  (or the Eilenberg–MacLane-spectrum ) leads to a natural comparison map . It induces an isomorphism on homotopy groups in degrees 0, 1, and 2. In general, however, they are different, and  tends to yield simpler groups than HH. For example,

is the polynomial ring (with x in degree 2), compared to the ring of divided powers in one variable.

 showed that the Hasse–Weil zeta function of a smooth proper variety over  can be expressed using regularized determinants involving topological Hochschild homology.

See also
 Cyclic homology

References

 Jean-Louis Loday, Cyclic Homology, Grundlehren der mathematischen Wissenschaften Vol. 301, Springer (1998) 
 Richard S. Pierce, Associative Algebras, Graduate Texts in Mathematics (88), Springer, 1982.

External links

Introductory articles 

 Dylan G.L. Allegretti, Differential Forms on Noncommutative Spaces. An elementary introduction to noncommutative geometry which uses Hochschild homology to generalize differential forms).
 
 Topological Hochschild homology in arithmetic geometry

Commutative case

Noncommutative case 

 
 
 

Ring theory
Homological algebra
추상대수학에서 호흐실트 호몰로지()와 호흐실트 코호몰로지()는 가환환 위의 결합 대수에 대하여 정의되는 호몰로지 · 코호몰로지 이론이다.

정의 
다음 데이터가 주어졌다고 하자.
 가환환 
 -결합 대수 
 -쌍가군 . 즉, 은 -쌍가군이며, 또한  위의 왼쪽 -작용이 오른쪽 -작용과 일치한다고 하자.

호흐실트 (코)호몰로지는 다음과 같이 여러가지로 정의될 수 있으나, 이 정의들은 서로 동치이다.
 호흐실트 (코)호몰로지는 Ext 함자 (또는 Tor 함자)의 특수한 경우로 추상적으로 정의될 수 있다.
 호흐실트 (코)호몰로지는 호흐실트 (공)사슬 복합체()라는 (공)사슬 복합체의 (코)호몰로지로 구체적으로 정의될 수 있다.
 호흐실트 (코)호몰로지는 단체 대상의 이론을 통해 정의될 수 있다.
흔히, 인 특수한 경우가 자주 사용된다.

추상적 정의 
의 포락 대수(包絡代數, )

를 정의할 수 있다. 이는 -결합 대수이며, 은 -왼쪽 가군을 이룬다. 마찬가지로, 도 의 왼쪽 가군을 이룬다. 구체적으로,

이다.

의 계수의 호흐실트 호몰로지 군  및  호흐실트 코호몰로지 군 은 다음과 같이 Ext 함자 및 Tor 함자로 정의된다.

구체적 정의 
다음이 주어졌다고 하자.
 가환환 
 -가군 범주의 단체 대상 
그렇다면,

를 정의하면,

이 되어, 사슬 복합체

를 정의할 수 있다. 이 사슬 복합체의 호몰로지를 단체 가군 의 호흐실트 호몰로지라고 한다. 마찬가지로, 이 사슬 복합체의 쌍대 가군들로 구성된 공사슬 복합체

의 코호몰로지를 단체 가군 의 호흐실트 코호몰로지라고 한다. (호흐실트 (코)호몰로지의 정의에는 퇴화 사상 이 쓰이지 않는다.)

특히, 만약 위와 같이  위의 결합 대수 와 -쌍가군 이 주어졌다면, 다음과 같은 호흐실트 단체 가군() 을 정의할 수 있다.

결합 대수 의 계수 호흐실트 호몰로지란 그 호흐실트 단체 가군의 호흐실트 호몰로지를 말한다.

은 사슬 복합체로서

의 꼴이다. 여기서 는 의 막대 복합체이다. 이제, 이를 쌍대화하여 공사슬 복합체

를 정의할 수 있으며, 의 계수 호흐실트 코호몰로지란 이 공사슬 복합체의 코호몰로지이다.

위상수학적 정의 
 계수의 호흐실트 호몰로지는 다음과 같이 임의의 가군 범주 속의 단체 대상에 대하여 일반화될 수 있다.

다음이 주어졌다고 하자.
 가환환 
  속의 단체 대상 . 여기서 은 단체 범주이다.
그렇다면, 단체 가군의 범주 은 아벨 범주이므로 그 속에서 Ext 함자를 정의할 수 있다. 또한, 단체 가군의 텐서곱을 정의할 수 있으며, 그 유도 함자로서 Tor 함자를 정의할 수 있다.

이 경우, 의 호흐실트 호몰로지와 호흐실트 코호몰로지는 각각 다음과 같다.

여기서 는 모든 성분이 1차원 자유 가군 이며,  및  모두가 항등 함수인 자명한 단체 대상이다.

(사실, 만약 이라면, 호흐실트 단체 가군 는 추가로 순환 대상을 이룬다. 이 경우, 단체 가군의 범주 대신 순환 가군의 범주 에서 Tor 함자와 Ext 함자를 취할 수 있으며, 이 경우 순환 (코)호몰로지를 얻는다.)

성질 
가환환  위의 결합 대수  및 -쌍가군 에 대하여, 호흐실트 호몰로지  및 호흐실트 코호몰로지 는 -가군이며, 사실 -가군을 이룬다.

함자성 
임의의 가환환  위의 (항등원을 갖는) 결합 대수의 범주 와, -결합 대수 가 주어졌을 때 -쌍가군의 범주 를 생각하자.

그렇다면, 호흐실트 (코)호몰로지는 다음과 같은 함자를 정의한다.

또한, 임의의 -결합 대수 준동형

및 -쌍가군 에 대하여, 은 -쌍가군을 이루며,
이는 호흐실트 호몰로지의 사상

및 호흐실트 코호몰로지의 사상

을 유도한다.

특히, 만약 일 때, 이는 -결합 대수의 범주(의 반대 범주)에서 -가군의 범주로 가는 함자

를 정의한다.

예

0차 호흐실트 (코)호몰로지 
가환환  위의 결합 대수  및 -쌍가군 이 주어졌다고 하자.

그렇다면, 호흐실트 사슬 복합체는 다음과 같이 시작한다.

이에 따라,

이다.

마찬가지로, 호흐실트 공사슬 복합체는 다음과 같이 시작한다.

이에 따라,

는 환의 중심의 개념의 일반화이다.

1차 호흐실트 코호몰로지 
가환환  위의 결합 대수  및 -쌍가군 이 주어졌다고 하자.

1차 호흐실트 코호몰로지는 다음과 같다. 1차 호흐실트 공순환은 -가군 준동형

가운데

와 같은 곱 규칙을 만족시키는 것이다. 이러한 것들을 미분()이라고 하자. 반면, 1차 호흐실트 공경계는

와 같은 꼴의 -가군 준동형이다. 즉, 이러한 것들을 내부 미분()이라고 하자. 그렇다면, 1차 호흐실트 코호몰로지는 미분의 공간의, 내부 미분에 대한 몫, 즉 외부 미분()의 공간으로 여겨질 수 있다.

가환 대수 
가환환  위의 가환 결합 대수  및 -가군 에 대하여, 처음 두 개의 호흐실트 호몰로지는 다음과 같다.

여기서 는 켈러 미분의 가군이다.

즉, 1차 호흐실트 호몰로지는 1차 미분 형식에 대응한다. 비가환 기하학에서는 이를 사용하여 비가환 공간 위의 미분 형식을 정의한다.

다항식환 
복소수 계수 다항식환  ()의 호흐실트 호몰로지는 다음과 같다.

여기서 는 외대수이다. 구체적으로, 차 호흐실트 사슬은 다음과 같은 꼴이다.

호흐실트 사슬에 대응하는 호몰로지 동치류는 다음과 같다.

역사 
게르하르트 호흐실트가 1945년에 체 위의 결합 대수에 대하여 도입하였다. 이후 앙리 카르탕과 사무엘 에일렌베르크가 일반적인 가환환 위의 결합 대수에 대하여 정의하였다.

참고 문헌

외부 링크 
 
 
 
 
 
 
 

대수
호몰로지 대수학