\section{Introduction}
Regge theory provides a useful tool for phenomenological description
of high energy hadron collisions~\cite{Dr, RMK, MerShab, Sel}.
The quantitative predictions of Regge calculus are essentially dependent
on the assumed coupling of participating hadrons to Pomeron.
In our previous paper~\cite{Shabelski:2014yba} we described
elastic $pp$ ($p\bar p$) scattering including the recent LHC data
in terms of simple Regge exchange approach in the  framework
of Additive Quark Model (AQM)~\cite{LF,VH}.
In the present paper we extend our description to the processes
of single and double diffractive dissociation.

In AQM baryon is treated as a system of
three spatially separated compact objects -- constituent quarks.
Each constituent quark is colored, has internal quark-gluon
structure and finite radius that is much less than the radius of
proton, $r_q^2 \ll r_p^2$. This picture is in good agreement both with
$SU(3)$ symmetry of strong interaction and the quark-gluon structure
of proton~\cite{DDT, Shekhter}.
The constituent quarks play the roles of incident particles
in terms of which $pp$ scattering is described in AQM.

To make the main ingredients and notations of our approach more clear we start from the elastic
scattering in the section~2. The formalism used to describe single and double diffractive
dissociation is presented in the section~3 while the obtained numerical results are compared
with the experimental data in the section~4.

\section{Elastic Scattering Amplitude in AQM}

Elastic amplitudes for the large energy $s=(p_1+p_2)^2$
and small momentum transfer $t$ are dominated by the Pomeron
exchange.
We neglect the small difference in $pp$ and $p\bar p$
scattering coming from the exchange of negative signature Reggeons,
Odderon (see e.g.~\cite{Avila} and references therein),
$\omega$-Reggeon etc, since their contribution is suppressed by $s$.

The single $t$-channel exchange results into
amplitude of constituent quarks scattering
\begin{equation}
\label{Mqq} M_{qq}^{(1)}(s,t) = \gamma_{qq}(t) \cdot
\left(\frac{s}{s_0}\right)^{\alpha_P(t) - 1} \cdot
\eta_P(t) \;,
\end{equation}
where $\alpha_P(t) = \alpha_P(0) + \alpha^\prime_P\cdot t$
is the Pomeron trajectory specified by the intercept,
$\alpha_P(0)$, and slope, $\alpha^\prime_P$, values.
The Pomeron signature factor,
$$
\eta_P(t) \,=\, i \,-\, \tan^{-1}
\left(\frac{\pi \alpha_P(t)}2\right),
$$
determines the complex structure of the amplitude. The factor
$\gamma_{qq}(t)=g_1(t)\cdot g_2(t)$ has the meaning
of the Pomeron coupling to the beam and target particles,
the functions $g_{1,2}(t)$ being the vertices of constituent
quark-Pomeron interaction (filled circles in Fig.~\ref{1P2P}).

Due to factorization of longitudinal and transverse degrees
of freedom the longitudinal momenta are integrated over separately
in high energy limit. After this the transverse part of the quark
distribution is actually relevant only.
It is described by the wavefunction
$\psi(k_1,k_2,k_3)$, where $k_i$ are the quark transverse momenta,
normalized as
\begin{equation}
\label{norm}
\int dK\, \bigl|\psi(k_1,k_2,k_3)\bigr|^2\,=\,1,
\end{equation}
and a shorthand notation is used
$$
dK\,\equiv\,d^{\,2}k_1 d^{\,2}k_2 d^{\,2}k_3\,\delta^{(2)}(k_1+k_2+k_3).
$$

The elastic $pp$ (or $p\bar p$, here we do not distinguish between
them) scattering amplitude is basically expressed
in terms of the wavefunction as
\begin{equation}
\label{VQQ}
M_{pp}(s,t)\,=\,\int dK\,dK^\prime
\psi^*(k_i^\prime+Q_i^{\,\prime})\,\psi^*(k_i+Q_i)\,
V(Q,Q^{\,\prime})\,\psi(k_i^\prime)\,\psi(k_i).
\end{equation}
In this formula $\psi(k_i)\equiv \psi(k_1,k_2,k_3)$,
is the initial proton wavefunction
$\psi(k_i+Q_i)\equiv \psi(k_1+Q_1,k_2+Q_2,k_3+Q_3)$
is the wavefunction of the scattered proton,
and the interaction vertex $V(Q,Q^{\,\prime})\equiv
V(Q_1,Q_2,Q_3,Q_1^{\,\prime},Q_2^{\,\prime},Q_3^{\,\prime})$
stands for the multipomeron exchange, $Q_k$ and $Q_l^{\,\prime}$
are the momenta transferred to the target quark $k$ or beam
quark $l$ by the Pomerons attached to them,
$Q$ is the total momentum transferred
in the scattering, $Q^2=-t$.

The scattering amplitude is presented in AQM as a sum over
the terms with a given number of Pomerons,
\begin{equation}
\label{totamp}
M_{pp}(s,t)\,=\,\sum_n M_{pp}^{(n)}(s,t),
\end{equation}
where the amplitudes $M_{pp}^{(n)}$ collect all
diagrams comprising various connections of the beam and target
quark lines with $n$ Pomerons.

Similar to Glauber theory \cite{Glaub, FG} one has to rule out
the multiple interactions between the same quark pair.
AQM permits the Pomeron to connect any two quark lines only once.
It crucially decreases the combinatorics leaving the diagrams
with no more than $n=9$ effective Pomerons.
Several AQM diagrams are shown in Fig.~\ref{1P2P}.
\begin{figure}[htb]
\centering
\includegraphics[width=0.6\hsize]{fig1.eps}
\caption{\footnotesize The AQM diagrams for $pp$ elastic scattering. The
straight lines stand for quarks, the waved lines denote Pomerons, $Q$ is the
momentum transferred, $t=-Q^2$. Diagram~(a) is the one of the single Pomeron
diagrams, diagrams~(b) and~(c) represent double Pomeron exchange with two
Pomeron coupled to the different quark~(b) and to the same quarks~(c),
$q_1+q_2=Q$.}
\label{1P2P}
\end{figure}

In what follows we assume the Pomeron trajectory in the simplest form
$$
\left(\frac{s}{s_0}\right)^{\alpha_P(t) - 1}\,=\,e^{\Delta\cdot\xi}
e^{-r_q^2\,q^2}, ~~ \xi\equiv \ln\frac{s}{s_0},~~
r_q^2\equiv \alpha^\prime\cdot\xi.
$$
The value $r_q^2$ defines the radius of quark-quark interaction
while $S_0=(9~{\rm GeV})^2$ has the meaning of typical energy scale
in Regge theory.

In the first order there are 9 equal quark-quark
contributions due to one Pomeron exchange between $qq$ pairs.
The amplitude (\ref{VQQ}) reduces to a single term
with $Q_1=Q_1^{\,\prime} = Q$, $Q_{2,3}=Q_{2,3}^{\,\prime} = 0$,
\begin{equation}
\label{M1}
M_{pp}^{(1)}\,=\,9\biggl(\gamma_{qq}\eta_P(t) e^{\Delta\cdot\xi}
\biggr)\,e^{-r_q^2\,Q^2}F_P(Q,0,0)^2,
\end{equation}
expressed through the overlap function
\begin{equation}
\label{FP}
F_P(Q_1,Q_2,Q_3)\,=\,\int dK\,\psi^*(k_1,k_2,k_3)\,
\psi(k_1+Q_1,k_2+Q_2,k_3+Q_3).
\end{equation}
The function $F_P(Q,0,0)$ plays a role of proton formfactor
for the strong interaction in AQM.

An example of the second order diagrams is shown in Fig.~\ref{1P2P}b,c.
Denoting $q_{1,2}$ the transverse momenta carried by
the Pomerons, we have for the diagram~b $Q_1=Q_3^{\,\prime} =0$,
$Q_2=Q_2^{\,\prime} = q_2$, $Q_3=Q_1^{\,\prime} = q_1$
and for the diagram~c $Q_1=q_1+q_2$, $Q_2=Q_3=0$,
$Q_2^{\,\prime} = q_1$, $Q_3^{\,\prime} = 0$.

Generally, the higher orders elastic terms are expressed through
the functions (\ref{FP}) integrated over Pomerons' momenta,
\begin{eqnarray}
\label{Mn} M^{(n)}(s,t)\,&=&\,i^{n-1}\biggl(\gamma_{qq}\eta_P(t_n)
e^{\Delta\cdot\xi}\biggr)^n\,
\int\frac{d^{\,2}q_1}{\pi}\cdots \frac{d^{\,2}q_n}{\pi}
\,\pi\,\delta^{(2)}(q_1+\ldots +\,q_n-Q)\,\\
&&\times\,e^{-r_q^2(q_1^2+\ldots + q_n^2)}\,
\frac 1{n!}\sum\limits_{n~\rm connections}
F_P(Q_1,Q_2,Q_3)\,F_P(Q_1^{\,\prime},Q_2^{\,\prime},Q_3^{\,\prime}),
~~~t_n\simeq t/n. \nonumber
\end{eqnarray}
The sum in this formula refers to all distinct ways
to connect the beam and target quark lines with $n$ Pomerons
in the scattering diagram. The set of momenta $Q_i$ and $Q_l^\prime$
the quarks acquire from the attached Pomerons is particular
for each connection pattern. More detailed description can be found
in \cite{Shabelski:2014yba}.

With the amplitude (\ref{totamp}) the differential cross section
in the normalization adopted here is evaluated as
\begin{equation}
\label{ds/dt} \frac{d\sigma}{dt}\,=\,4\pi\,\bigl|M_{pp}(s,t)
\bigr|^2.
\end{equation}
The optical theorem, that relates the total elastic cross section
and imaginary part of the amplitude, in this normalization reads
$$
\sigma_{pp}^{tot}\,=\,8\pi\,{\rm Im}\, M_{pp}(s,t=0).
$$

Recall once more that exchanges of the positive
signature Reggeons determine, strictly speaking, half of the sum
of $pp$ and $p\bar p$ elastic amplitude. Their difference is neglected
in the present approach.

\section{Cross section of single and double diffractive
dissociation}

The Glauber theory makes it possible to find as well the cross sections
of excitation or disintegration of one or both colliding objects.
The close approximation (completness condition) (\cite{FG, BraunShabel}
allows one to calculate the total cross sections of all processes
related to the elastic scattering of constituents but without
giving rise to new particles production,
$$
\frac{d\sigma}{dt}(pp\to p^\prime p^\prime) = \frac{d\sigma}{dt}(pp\to pp)
+ 2\frac{d\sigma}{dt}(pp\to p^*p) + \frac{d\sigma}{dt}(pp\to p^*p^*)
$$
Here $d\sigma(pp\to pp)/dt=d\sigma_{el}/dt$ is the
elastic $pp$ scattering cross section shown in Fig.~\ref{FinStates}a.
\begin{figure}[htb]
\centering
\includegraphics[width=0.6\hsize]{fig2.eps}
\caption{\footnotesize Different final states in the high energy
$pp$ collision: a)~elastic $pp$ scattering, b) and c)~single diffractive
dissociation of first or second proton, d)~double diffractive
dissociation, e)~process with one $q\bar q$ pair inelastic production
that does not contribute to the calculated $\sigma_{SD}$ but
can contribute to the experimental value $\sigma_{SD}$.}
\label{FinStates}
\end{figure}
The situations when one scattered constituent receives
comparatively large transverse momentum is shown in Fig.~\ref{FinStates}b
and Fig.~\ref{FinStates}c. In the case of nucleus-nucleus collision
it results in the excitation or disintegration of one of the nucleus.
In the case of $pp$ collisions in AQM a scattered quark moves
far away from the remnant at the distance $\sim 1$~fm where
a new $q \bar q$ pair is produced due to quark confinement effects.
It can be interpreted as a diffractive production of a single jets,
$\sigma(pp\to pp^*)=\sigma_{SD}$,
say, one or several pions, $p\to p + n\times\pi$.
Similarly two diffractive jet are produced in the case
of Fig~\ref{FinStates}d, $\sigma(pp\to p^*p^*)=\sigma_{DD}$.
In Fig~\ref{FinStates}e a new $q\bar q$ pair is produced
as a part of multipheral ladder independently of
the quarks wavefunction leaving it essentially intact.
This process is related to the inelastic interaction
of the constituents and does not contribute to
$d\sigma(p^{\,\prime} p^{\,\prime})/dt$ in AQM.

The amplitude of single diffraction dissociation reads
\begin{equation}
\label{ASD}
M_{SD}(s,t)\,=\,\int dK\,dK^\prime
\psi^*(k_i^\prime+Q^{\,\prime})\,\widetilde\psi_m^*(k_i+Q_i)
\,V(Q,Q^{\,\prime})\,\psi(k_i^\prime)\,\psi(k_i).
\end{equation}
Here the wavefunction of one of the protons remains unchanged
whereas the other proton turns into $p^*$ final state specified with
the wavefunction $\widetilde\psi_m(k_i)$.

The double diffraction dissociation implies both protons
to be in the $p^*$ final states,
\begin{equation}
\label{ADD}
M_{DD}(s,t)\,=\,\int dK\,dK^\prime
\widetilde\psi_m^*(k_i^\prime+Q^{\,\prime})\,
\widetilde\psi_n^*(k_i+Q_i)\,V(Q,Q^{\,\prime})\,
\psi(k_i^\prime)\,\psi(k_i).
\end{equation}

To obtain cross section one has to square the module of an appropriate
amplitude. Making no distinction between the individual final states
it should be summed up over $m$ for (\ref{ASD}) process
or over $m$ and $n$ indices for (\ref{ADD}) process.
For DD case it gives
\begin{eqnarray}
&&\frac{d\sigma_{el}}{dt}\,+\,2\,\frac{d\sigma_{SD}}{dt}
\,+\,\frac{d\sigma_{DD}}{dt}\\ \nonumber
&=&4\pi\,\sum\limits_{m,n}
\int\!\!dK\,dK^\prime\,dP\,dP^{\,\prime}\,
\widetilde\psi_m^*(k_i^\prime+Q_i^{\,\prime})\,
\widetilde\psi_m^*(k_i+Q_i)\,V(Q,Q^{\,\prime})
\psi(k_i^\prime)\,
\psi(k_i)\\ \nonumber
&&\times\,\psi^*(p_i)\psi^*(p_i^\prime)\,
\,V^*(Q^{\,\prime\prime},Q^{\,\prime\prime\prime})
\widetilde\psi_m(p_i^\prime+Q_i^{\,\prime\prime\prime})
\widetilde\psi_n(p_i+Q_i^{\,\prime\prime}) \nonumber
\end{eqnarray}
Using now the completeness condition,
$$
\sum_n\widetilde\psi_n(p_i+Q_i^{\,\prime\prime})\,
\widetilde\psi_n^*(k_i+Q_i)
\,=\,
\delta^{(2)}(p_i+Q_i^{\,\prime\prime}-k_i-Q_i)
$$
along with the same condition for the index $m$ we get
\begin{eqnarray}
&&\frac{d\sigma_{el}}{dt}\,+\,2\,\frac{d\sigma_{SD}}{dt}
\,+\,\frac{d\sigma_{DD}}{dt}\\
&&=\,\int\!\!dK\,dK^\prime
\psi^*(k_i+Q_i-Q_i^{\,\prime\prime\prime})
\psi^*(k_i^\prime+Q_i^{\,\prime}-Q_i^{\,\prime\prime})
\,V(Q,Q^{\,\prime})
V^*(Q^{\,\prime\prime},Q^{\,\prime\prime\prime})
\psi(k_i^\prime)\psi(k_i).\nonumber
\end{eqnarray}
The double diffractive dissociation cross section
is provided by the two sets of the Pomeron
exchange diagrams separately associated with
the "left" interaction vertex $V(Q,Q^{\,\prime})$ and
the "right" one $V^*(Q^{\,\prime\prime},Q^{\,\prime\prime\prime})$.
They are summed up independently over the total numbers
of the Pomerons participating in the diagram "from the left"
or "from the right", $m, n =1,9$,
$$
\frac{d\sigma_{el}}{dt}\,+\,2\,\frac{d\sigma_{SD}}{dt}
\,+\,\frac{d\sigma_{DD}}{dt}\,=\,
\sum_{m,n} |M_{p^{\,\prime} p^{\,\prime}}^{(m,n)}|^2(s,t).
$$
Substituting here the Pomeron-quark vertex and introduced
above overlap function (\ref{FP}), we express each term
in the sum as
\begin{eqnarray}
\label{MDD}
&&|M_{p^{\,\prime} p^{\,\prime}}^{(m,n)}|^2\,=\,
\biggl(\gamma_{qq}e^{\Delta\cdot\xi}\biggr)^{m+n}
\bigl[\,i\eta_P(t_m)\bigr]^m\,\bigl[-i\eta_P^*(t_n)\bigr]^n\,\\
&&\times\,\int\frac{d^{\,2}q_1}{\pi}\cdots \frac{d^{\,2}q_m}{\pi}
\,\pi\,\delta^{(2)}(q_1+\ldots +\,q_m-Q)\,\nonumber \\
&&\times\,\frac{d^{\,2}q_{m+1}}{\pi}\cdots \frac{d^{\,2}q_{m+n}}{\pi}
\,\pi\,\delta^{(2)}(q_{m+1}+\ldots +\,q_{m+n}-Q)\,\nonumber \\
&&\times\,e^{-r_q^2(q_1^2+\ldots + q_{m+n}^2)}\,
\frac 1{m!}\,\frac 1{n!}\sum\limits_{m,n~\rm connections}
F_P(Q_1,Q_2,Q_3)\,F_P(Q_1^{\,\prime},Q_2^{\,\prime},Q_3^{\,\prime}).
\nonumber
\end{eqnarray}

For the single diffractive dissociation the cross section
includes the single sum over the final states of one of the protons.
In this case the completeness condition gives
$$
\frac{d\sigma_{SD}}{dt}\,+\,\frac{d\sigma_{el}}{dt}\,=\,
4\pi\sum_{m,n} |M_{p p^{\,\prime}}^{(m,n)}|^{\,2}(s,t),
$$
with
\begin{eqnarray}
\label{MSD}
&&|M_{p p^{\,\prime}}^{(m,n)}|^2\,=\,
\biggl(\gamma_{qq}e^{\Delta\cdot\xi}\biggr)^{m+n}
\bigl[\,i\eta_P(t_m)\bigr]^m\,\bigl[-i\eta_P^*(t_n)\bigr]^n\,\\
&&\times\,\int\frac{d^{\,2}q_1}{\pi}\cdots \frac{d^{\,2}q_m}{\pi}
\,\pi\,\delta^{(2)}(q_1+\ldots +\,q_m-Q)\,\nonumber \\
&&\times\,\frac{d^{\,2}q_{m+1}}{\pi}\cdots \frac{d^{\,2}q_{m+n}}{\pi}
\,\pi\,\delta^{(2)}(q_{m+1}+\ldots +\,q_{m+n}-Q)\,
e^{-r_q^2(q_1^2+\ldots + q_{m+n}^2)}\,\nonumber \\
&&\times\,
\frac 1{m!}\frac 1{n!}\sum\limits_{m,n~\rm connections}
F_P(Q_1,Q_2,Q_3)\,F_P(Q_1^{\,\prime},Q_2^{\,\prime},Q_3^{\,\prime})\,
\,F_P(Q_1^{\,\prime\prime},Q_2^{\,\prime\prime},Q_3^{\,\prime\prime})
\nonumber
\end{eqnarray}
The first function $F_P$ appears here from the completeness condition
written for the dissociating proton while two other $F_P$ functions
in the product stand for elastically scattered proton.

\section{Numerical calculations}

The expressions (\ref{MDD},\ref{MSD}) have been used for the numerical
calculation of the single and double diffractive dissociation
of the protons together with the formula (\ref{Mn}) for
their elastic scattering. The overlap function (\ref{FP})
is evaluated through the transverse part of the quarks'
wavefunction, which has been taken in a simple form of two
gaussian packets,
\begin{equation}
\label{gausspack}
\psi(k_1,k_2,k_3)\,=\,N\bigl[\,e^{-a_1(k_1^2+k_2^2+k_3^2)}\,
+\,C\,e^{-a_2(k_1^2+k_2^2+k_3^2)}\bigr],
\end{equation}
normalized to unity (\ref{norm}). One packet parametrization,
$C=0$, is insufficient to reproduce the experimental data
on elastic scattering \cite{Shabelski:2014yba}
as imposing too strong mutual dependence between the total
cross section, the minimum position in $d\sigma_{el}/dt$
and the value of the slope at $t=0$.

All parameters used in the calculation naturally fall into
two different kinds: the parameters of the Pomeron and those
specifying the structure of colliding particles.
The former type, $\Delta$, $\alpha^\prime$, $\gamma_{qq}$,
refers to the high energy scattering theory while the latter,
$a_{1,2}$ and $C$, details the matter distribution inside
the proton in the low energy limit(similar to density distribution
in atomic nuclear).

We recalculate the elastic scattering cross section
$d\sigma_{el}/dt$, obtained in our previous paper
\cite{Shabelski:2014yba} assuming the argument
of the signature factor $t_n=t/n=-Q^2/n$
that is natural for Gaussian $Q^2$ dependence.
It causes a slight change of the model parameters.
Now the Pomeron parameters are
$$
\Delta=0.107,~~~
\alpha^\prime=0.31\,{\rm GeV}^{-2},~~~
\gamma_{qq}=0.44\,{\rm GeV}^{-2},
$$
and the parameters of matter distribution in the proton are
$$
a_1=4.8\,{\rm GeV}^{-2},~~~
a_2=1.02\,{\rm GeV}^{-2},~~~
C=0.133.
$$
Note that the same set of the Pomeron parameters
describes proton and antiproton scattering, therefore
both $pp$ and $p\bar p$ data have been commonly used to fix their values.

The model gives a reasonable description of elastic scattering
experimental data both for $pp$ collisions at $\sqrt{s}=7$~TeV
and $p\bar p$ collisions at $\sqrt{s}=546$~GeV, see Fig.~\ref{elastic}.
The obtained curves only are slightly different from those published
in the previous paper \cite{Shabelski:2014yba}.
\begin{figure}[htb]
\vskip -1.cm
\includegraphics[width=.45\textwidth]{fig3.eps}
\includegraphics[width=.45\textwidth]{fig4.eps}
\vskip -1.5 cm
\caption{\footnotesize
The differential cross section of elastic $p\bar p$ scattering
at $\sqrt s = 546$~GeV (left panel) and for the elastic $pp$ collisions
at $\sqrt s = 7$~TeV (right panel, solid line) compared to the experimental
data. The dotted line at the right panel shows the predicted elastic $pp$
cross section at $\sqrt s = 13$~TeV.
The experimental points have been taken from
\cite{Abe:1993xx,TOT1a,TO1,TO2}.
}
\label{elastic}
\end{figure}

The results for the SD and DD cross sections are presented
in the Table~1. The SD cross sections come out to be rather
small, $\sigma_{SD}/\sigma_{el}\simeq 15 - 18\%$,
that matches perhaps the experimental results at LHC energies
\cite{Antchev:2013haa, OO, Khoze:2014aca}.
The total diffraction cross section is approximately half the elastic one,
$2\sigma_{SD}+\sigma_{DD}\simeq \sigma_{el}/2$,
within the range of available energy
dependence of the probability of diffractive to elastic scattering.

The ratio $\sigma_{SD}/\sigma_{el}$ is in somewhat inconsistency
($1.5 \div 2$ times lesser) with the intermediate energy estimation
in \cite{Kaidalov}. We get $\sigma_{SD}\approx \sigma_{DD}$, so that
$\sigma_{DD}/\sigma_{el}$ is not quadratically small compared
to $\sigma_{SD}/\sigma_{el}$.
The reason for this comes in AQM from an extra third formfactor
$F_P$ in the SD cross section (\ref{MSD}) compared
to the two formfactors in the DD formula (\ref{MDD}).
On the other hand the connection between diffractive
cross section calculated in AQM and the experimental data
is not straightforward since AQM comprises only a part
of the processes involved in the scattering.
The processes shown in Fig.~\ref{FinStates}e are not accounted for
in AQM although their contribution to the experimentally measured
$\sigma_{SD}$ is quite possible.

\noindent
Table 1.
\begin{center}
\begin{tabular}{|c||c|c|c|} \hline
$\sqrt{s}$  & $\sigma_{el}$ (mb) & $\sigma_{SD} (mb) $ &
$\sigma_{DD} (mb) $\\
\hline
546 GeV & 14.3 & 2.3 & 2.6 \\
\hline
7 TeV & 27.3 & 4.3 & 3.9 \\
\hline
13 TeV & 31.6 & 5.4 & 4.9 \\
\hline
\end{tabular}
\end{center}

Motivated by the recently announced new LHC run we present also
the predictions for the elastic $pp$ scattering
and diffractive dissociation
at $\sqrt{s}=13$~TeV. In particular, we expect the total cross
section $\sigma(pp)_{tot}=110$~mb, the parameter of the elastic
slope cone $B=21.8$, the minimum position at $|t|=0.45$~GeV$^2$
while our results for the differential cross
section, $d\sigma_{el}/dt$, are shown in Fig.~\ref{elastic}.

Fig.~\ref{ppSDDD} shows our results for the differential
cross sections $d\sigma_{SD}/dt$ and $d\sigma_{DD}/dt$ at
$\sqrt s = 546$~GeV.
\begin{figure}[htb]
\vskip -1.cm
\includegraphics[width=.45\textwidth]{fig5.eps}
\vskip -1.5 cm
\caption{\footnotesize The cross section of single (solid line)
and double (dotted line) diffractive dissociation in
$p\bar p$ scattering at $\sqrt s = 546$~GeV.
The experimental SD points have been taken from
\cite{Bernard:1986yh}. }
\label{ppSDDD}
\end{figure}
Unfortunately we are unable to predict
at small $|t|<0.1$~Gev$^2$ because of the unknown
effects of confinement that could lead to the transition between
the ground and excited states. However such a transition
can not change the total cross sections (\ref{MDD}), (\ref{MSD})
calculated with the help of the close approximation.
The region $|t|>1$~Gev$^2$ is beyond
the reach of our model as well since the internal structure
of the constituent quarks can not be more ignored there.
The diffractive cross section behavior in the intermediate interval
is in reasonable agreement with the experimental data.

\section{Conclusion}

We have presented the unified description of the elastic and diffractive
$pp$ ($p\bar p$) scattering in the framework of AQM.
The main feature of our model is a common set of parameters it employs.
After fitting the parameters that describe the elastic scattering
no more ones have been added for the diffractive case.
The parameters chosen are mainly determined by the structure of the quark
wavefunction for the initial state. Despite this the model yields reasonable
calculated values both for the SD and DD cross sections that can be recognized
as a one further argument in favor of AQM applicability for the high energy
$pp$ scattering.

The authors are grateful to M.G.~Ryskin for helpful discussion.


\partial{\partial}
\def\rangle{\rangle}
\def\subset{\subset}
\def\simeq{\simeq}
\def\times{\times}
\def\wedge{\wedge}
\def\rm cf{\rm cf}
\def{^-\hspace{-7pt}\d}{{^-\hspace{-7pt}\delta}}
\def{-\hspace{-9pt}\g}{{-\hspace{-9pt}\gamma}}
\def{-\hspace{-9pt}\b}{{-\hspace{-9pt}\beta}}
\def\rightarrow{\rightarrow}
\def\longrightarrow{\longrightarrow}
\def\Rightarrow{\Rightarrow}
\def\longrightarrow{\longrightarrow}
\def\hbox{\hbox}

\def\backslash{\backslash}
\def\bullet{\bullet}
\def\forall{\forall}
\def\infty{\infty}
\def\mapsto{\mapsto}
\def\nabla{\nabla}
\def\otimes{\otimes}
\def\overline{\overline}
\def\rightarrow{\rightarrow}
\def\Rightarrow{\Rightarrow}
\def\subset{\subset}
\def\subseteq{\subseteq}
\def\supset{\supset}

\def\times{\times}
\def\wedge{\wedge}
\def\widetilde{\widetilde}

\def\mathop{\rm Ad}\nolimits{\mathop{\rm Ad}\nolimits}
\def\mathop{\rm Aut}\nolimits{\mathop{\rm Aut}\nolimits}
\def\mathop{\rm Diff}\nolimits{\mathop{\rm Diff}\nolimits}
\def\mathop{\rm Dom}\nolimits{\mathop{\rm Dom}\nolimits}
\def\mathop{\rm End}\nolimits{\mathop{\rm End}\nolimits}
\def\mathop{\rm Ext}\nolimits{\mathop{\rm Ext}\nolimits}
\def\mathop{\rm Hom}\nolimits{\mathop{\rm Hom}\nolimits}
\def\mathop{\rm GV}\nolimits{\mathop{\rm GV}\nolimits}
\def\mathop{\rm GL}\nolimits{\mathop{\rm GL}\nolimits}
\def\mathop{\rm SO}\nolimits{\mathop{\rm SO}\nolimits}
\def\mathop{\rm Id}\nolimits{\mathop{\rm Id}\nolimits}
\def\mathop{\rm I}\nolimits{\mathop{\rm I}\nolimits}
\def\mathop{\rm exp}\nolimits{\mathop{\rm exp}\nolimits}
\def\mathop{\rm mod}\nolimits{\mathop{\rm mod}\nolimits}
\def\mathop{\rm pt}\nolimits{\mathop{\rm pt}\nolimits}
\def\mathop{\rm Index}\nolimits{\mathop{\rm Index}\nolimits}
\def\mathop{\rm Inf}\nolimits{\mathop{\rm Inf}\nolimits}
\def\mathop{\rm Int}\nolimits{\mathop{\rm Int}\nolimits}
\def\mathop{\rm Ker}\nolimits{\mathop{\rm Ker}\nolimits}
\def\mathop{\rm Rang}\nolimits{\mathop{\rm Rang}\nolimits}
\def\mathop{\rm Re}\nolimits{\mathop{\rm Re}\nolimits}
\def\mathop{\rm Res}\nolimits{\mathop{\rm Res}\nolimits}
\def\mathop{\rm Sign}\nolimits{\mathop{\rm Sign}\nolimits}
\def\mathop{\rm sign}\nolimits{\mathop{\rm sign}\nolimits}
\def\mathop{\rm Spectrum}\nolimits{\mathop{\rm Spectrum}\nolimits}
\def\mathop{\rm spin}\nolimits{\mathop{\rm spin}\nolimits}
\def\mathop{\rm Spin}\nolimits{\mathop{\rm Spin}\nolimits}
\def\mathop{\rm Sup}\nolimits{\mathop{\rm Sup}\nolimits}
\def\mathop{\rm Tor}\nolimits{\mathop{\rm Tor}\nolimits}
\def\mathop{\rm Trace}\nolimits{\mathop{\rm Trace}\nolimits}
\def\Kc_\Lc{{\cal K}_{\cal L}}

\def\build#1_#2^#3{\mathrel{
\mathop{\kern 0pt#1}\limits_{#2}^{#3}}}

\def\limproj{\mathop{\oalign{lim\cr
\hidewidth$\longleftarrow$\hidewidth\cr}}}
\def\limind{\mathop{\oalign{lim\cr
\hidewidth$\longrightarrow$\hidewidth\cr}}}

\numberwithin{equation}{section}
\parindent0in

\begin{document}
\title{Cyclic homology for Hom-associative algebras}
\author{Mohammad Hassanzadeh, Ilya Shapiro\footnote{Research supported in part by an NSERC Discovery grant 406709}, Serkan S\"utl\"u}

\date{
}

\maketitle

\begin{abstract}
\noindent In the present paper we investigate the noncommutative geometry of a class of algebras, called the Hom-associative algebras, whose associativity is twisted by a homomorphism. We define the Hochschild, cyclic, and periodic cyclic homology and cohomology for this class of algebras generalizing these theories from the associative to the Hom-associative setting.
\end{abstract}

\tableofcontents

\section{Introduction}

Starting with a Lie algebraic approach to non-commutative geometry \cite{Wulk96,Wulk99,Wulk99-II}, the guiding motivation behind a ``non-associative geometry" is to extend the non-commutative formalism of the spectral action principle \cite{ChamConnMarc07,ChamConn07,ChamConn08,ChamConn12} to a non-associative framework. More specifically, in an attempt to reformulate the Grand Unified Theories based on $SU(5)$, $SO(10)$ and $E_6$, it is pointed out in \cite{BoylFarn14}, and illustrated in \cite{BoylFarn13}, that in the ordinary approach to physics the basic input is a ``symmetry group", which is associative by nature, whereas in the spectral approach it is an ``algebra", which is not necessarily associative.

On the other hand, the study of the differential geometry of quantum groups \cite{BeggMaji06,MajiOeck99} showed the lack of an associative differential algebra structure on the standard quantum groups, and hence the need for a non-associative geometry (differential geometry with non-associative coordinate algebras) for a full understanding of the geometry of quantum groups. The first step in this direction was taken in \cite{AkraMaji04}, generalizing the twisted cyclic cohomology of \cite{KustMurpTuse03} to the setting of quasialgebras, in order to cover examples motivated by the Poisson geometry \cite{AlekKosmSchwMein02}.

In the present paper we take up a similar analysis from the point of view of a different class of possibly non-associative algebras, called Hom-associative algebras, with the goal of extending the ordinary cyclic homology and cohomology of associative algebras to the non-associative setting.

The Hom-associative algebras first appeared  in  contexts related to physics. The study of $q$-deformations,
based on  deformed derivatives, of Heisenberg algebras, Witt and Virasoro algebras, and the quantum conformal algebras reveals a generalized Lie algebra structure in which the Jacobi identity is deformed by a linear map. These algebras first appeared  in \cite{HartLarsSilv06,LarsSilv05} and they were called Hom-Lie algebras. The Hom-associative
algebras were first introduced  in \cite{MakhSilv08} and were developed in \cite{MakhSilv10,MakhSilv09,Yau09,MakhSilv10-II,Yau10,Yau12}. Briefly, a Hom-associative algebra ${\cal A}$ satisfies the usual algebra axioms with the associativity condition twisted by an algebra homomorphism $\alpha:{\cal A}\rightarrow{\cal A}$.  More precisely we have $$\alpha(a)(bc)=(ab)\alpha(c)$$ for all $a,b,c\in{\cal A}$.  Thus with $\alpha=\hbox{Id}$ we recover the associative algebras as a subclass.

With the goal of extending the formal deformation theory (introduced in \cite{Gers64} for associative algebras, and in \cite{NijeRich66} for Lie algebras) to Hom-associative and Hom-Lie algebras, a cohomology theory for Hom-associative algebras was introduced in \cite{MakhSilv10}. The first and the second cohomology groups of a Hom-associative algebra thus defined were adapted to the deformation theory of Hom-associative algebras, and generalized the Hochschild cohomology of an algebra with coefficients in the algebra itself.

The first and the second cohomology groups of \cite{MakhSilv10-II} were later analyzed more conceptually in \cite{AmmaEjbeMakh11} where the authors defined a Hochschild cohomology for Hom-associative algebras (generalizing the ordinary Hochschild cohomology of an algebra with coefficients in itself) with a Gerstenhaber bracket endowing the differential complex with a graded Lie algebra structure.

The purpose of the present paper is to extend the usual notions of cyclic homology and cohomology for associative algebras to the setting of Hom-associative algebras. The lack of associativity, as the first obstacle on the way to this extension, is partly overcome by restricting our scope to the multiplicative Hom-associative algebras. With this multiplicativity assumption, the presence or absence  of a unit plays a very important role: the classes of naturally occurring examples are very different in flavor. In particular, the multiplicative unital Hom-associative algebras are very close to being associative. On the other hand, in the absence of a unit, one cannot define the Connes' boundary map $B$ \cite{Conn85}, hence we do not have the $(b,B)$-complex interpretation of cyclic (co)homology. Similarly, since we cannot define (co)degeneracy operators, we cannot use the cyclic module approach of \cite{Conn83} to cyclic (co)homology. As a result, we focus only on defining the cyclic (co)homology as a (co)kernel of Hochschild cohomology \cite{Conn85}, and using the bicomplex approach of \cite{Tsyg83}.

This requires a discussion of the Hochschild cohomology with coefficients. We recall that the cyclic homology of an associative algebra $A$ is given by the coinvariants of the Hochschild homology of $A$ with coefficients in $A$ under the cyclic group action, whereas the cyclic cohomology of $A$ is computed by the cyclic invariants of the Hochshild cohomology of $A$ with coefficients in the dual space $A^\ast$. In the case of Hom-associative algebras, it is only the Hom-associative algebra ${\cal A}$ itself that has been considered as a coefficient space, by which a Hochschild cohomology theory was defined in \cite{AmmaEjbeMakh11}. In the present paper, on the other hand, we define a Hochschild homology theory that can admit the Hom-associative algebra ${\cal A}$ itself as coefficients, and a Hochschild cohomology theory that can admit ${\cal A}^\ast$ as a coefficient space.

A rather surprising fact in the Hom-associative setting is that for a Hom-associative algebra ${\cal A}$, the dual space ${\cal A}^\ast$ is not an ${\cal A}$-bimodule (in the sense of \cite[Def. 1.5]{MakhSilv10-II}) via the coregular action. Furthermore, modifying the coregular action by the homomorphism that twists the associativity does not fix this problem. One of the most natural options then is to impose further conditions on the Hom-associative algebra ${\cal A}$ so that ${\cal A}^\ast$ becomes an ${\cal A}$-bimodule. For instance, if $\alpha\in \mathop{\rm End}\nolimits({\cal A})$ is an element of the centroid \cite{Herstein-book}, then ${\cal A}^\ast$ is an ${\cal A}$-bimodule. The other option is to introduce a variant of ${\cal A}^\ast$ as the coefficient space so that it becomes ${\cal A}^\ast$ in the case when ${\cal A}$ is associative. This can be achieved by defining
$${\cal A}^\circ=\{f\in{\cal A}^\ast\mid f(x\alpha(y))=f(\alpha(xy))=f(\alpha(x)y)\}$$ as we discuss below. In the case of an associative algebra $A$, we recall from \cite{Conn85} that it is precisely the Hochschild cohomology $H^n(A,A^\ast)$ with coefficients in $A^\ast$ that is equal to the space of the de Rham currents of dimension $n$ when $A=C^\infty(M)$, the algebra of smooth functions on a compact smooth manifold $M$. Hence, in order to capture the correct geometric data, we unify all of these methods in a Hochschild cohomology theory for a Hom-associative algebra ${\cal A}$ with coefficients in a new object which we call a dual module.

The paper is organized as follows. In Section 2  we review the basics of Hom-associative algebras, in particular we study those having $\alpha$ in the centroid. We note for a Hom-associative algebra ${\cal A}$ that ${\cal A}^\ast$ is not necessarily an ${\cal A}$-bimodule, and thus we investigate the algebraic dual of a module over a Hom-associative algebra from the representation theory point of view. Finally, we recall the basics of Hochschild and cyclic homology and cohomology for associative algebras.
In Section 3 we introduce Hochschild homology of  ${\cal A}$ with coefficients in a bimodule $V$. Then for $V={\cal A}$ we introduce the cyclic group action on the Hochschild complex, and define the cyclic homology of a multiplicative Hom-associative algebra ${\cal A}$. Finally, we use the bicomplex method to define the cyclic and the periodic homologies of ${\cal A}$, and we show that the equivalency of the two definitions. In section 4 we define the Hochschild cohomology of ${\cal A}$ with coefficients in a new object $V$ which we call a dual module. We define the cyclic group action on the Hochschild complex of ${\cal A}$, with coefficients in the dual module ${\cal A}^*$, and hence the cyclic cohomology of ${\cal A}$. Similar to the homology case, we use the bicomplex method to define the cyclic and periodic cyclic cohomologies of ${\cal A}$, and we show that the two definitions agree.

\medskip
\textbf{Notation}: Throughout the paper all algebras are over a field.  We reserve the font $A$ for associative algebras whereas for Hom-associative algebras we use ${\cal A}$. All tensor products are over the field of the algebra in question.

\section{Preliminaries}

\subsection{Hom-associative algebras}

In this subsection we recall the definition of a Hom-associative algebra, and in addition to basic examples, we study characterization results on the unitality and the embedding properties of Hom-associative algebras.

Hom-associative algebra structures were introduced recently in \cite{MakhSilv10}, and then the theory was developed further to include Hom-coalgebras, Hom-bialgebras and Hom-Hopf algebras in \cite{MakhSilv09,Yau09,MakhSilv10,Yau10}, and even Hom-quantum groups in \cite{Yau12}. We also refer to \cite{HartLarsSilv06,MakhSilv09} for the Lie-counterpart of the theory.

Let us recall from \cite{Yau09} that a Hom-associative algebra is a triple $({\cal A}, \mu, \alpha)$ consisting of a vector space ${\cal A}$ over a field $k$, and $k$-linear maps $\mu: {\cal A}\otimes {\cal A}\longrightarrow {\cal A}$ that we denote by $\mu(a,b)=:ab$, and $\alpha: {\cal A}\longrightarrow {\cal A}$ satisfying the Hom-associativity condition
\begin{equation}\label{aux-Hom-assoc-cond}
\alpha(a)(bc)=(ab)\alpha(c),
\end{equation}
for any $a,b,c\in {\cal A}$. Hom-associative algebras generalize associative algebras in the sense that any associative algebra ${\cal A}$ is a Hom-associative algebra with $\alpha:=\mathop{\rm Id}\nolimits_{\cal A}$, the identity map. A Hom-associative algebra ${\cal A}$ is called multiplicative if for any $a,b\in{\cal A}$
\begin{equation*}
\alpha(ab) = \alpha(a)\alpha(b).
\end{equation*}
\begin{example}\label{twist}
{\rm
Let ${\cal A}$ be any associative algebra with multiplication $\mu:{\cal A}\otimes {\cal A}\longrightarrow {\cal A}$, and let $\alpha: {\cal A}\longrightarrow {\cal A}$ be an algebra map. Then for $\mu_\alpha=\alpha \circ \mu:{\cal A}\longrightarrow{\cal A}$, the triple  $({\cal A}, \mu_{\alpha}, \alpha)$ is a multiplicative Hom-associative algebra \cite{Yau09}.
}
\end{example}

Throughout the paper, by a Hom-associative algebra we mean a multiplicative Hom-associative algebra unless otherwise is stated.

A Hom-associative algebra ${\cal A}$ is called unital if there is an element $1\in {\cal A}$ such that $1a=a=a1$. Unital Hom-associative algebras first appeared  in \cite{FregGohr09}, see also \cite{Gohr10}, and a classification of unital Hom-associative algebras is given in \cite{FregGohr09}. If a Hom-associative algebra ${\cal A}$ is unital, then for any $a,b\in{\cal A}$,
\begin{equation}\label{aux-almost-unital-Hom-alg}
\alpha(a)b=a\alpha(b)=\alpha(ab).
\end{equation}
It follows from the multiplicativity of ${\cal A}$ that $$\alpha(a)b=a\alpha(b)=\alpha(ab)=\alpha(a)\alpha(b)=\alpha^2(a)b,$$ from which we conclude, by plugging in $b=1$, that
\begin{equation*}
\alpha = \alpha^2.
\end{equation*}

More precisely, we have the following characterization result.

\begin{lemma}\label{lemma-unital}
Let $({\cal A},\mu,\alpha,1)$ be a unital Hom-associative algebra. Then ${\cal A}\cong A_1\oplus A_2$ as algebras, where $A_1$ is a unital associative algebra, and $A_2$ is a unital (not necessarily associative) algebra.  Furthermore, $\alpha:{\cal A}\longrightarrow {\cal A}$ is given by $\alpha(a_1+a_2)=a_1.$  Conversely, for any unital associative algebra $A_1$ and a unital (not necessarily associative) algebra $A_2$, $A_1\oplus A_2$ is a unital Hom-associative algebra with $\alpha:A_1\oplus A_2\longrightarrow A_1\oplus A_2$ being the projection onto $A_1$.
\end{lemma}

\begin{proof}
It is shown in \cite{FregGohr09} that for a unital, Hom-associative algebra ${\cal A}$, the map $\alpha:{\cal A}\longrightarrow {\cal A}$ is given by the left multiplication $L_x:{\cal A}\longrightarrow {\cal A}$, $a\mapsto xa$ with a central element $x\in {\cal A}$. We then conclude, using the multiplicativity $x(ab)=(xa)(xb)$, that $x^2=x$. Letting $y=1-x$, we observe that $y^2=y$, that is $y\in {\cal A}$ is also central, and ${\cal A}\cong {\cal A} x\oplus {\cal A} y$ as algebras. We note that $A_1:={\cal A} x$ and $A_2:={\cal A} y$ are both unital with units $x\in {\cal A} x$ and $y\in {\cal A} y$ respectively. Finally $\alpha$-associativity of ${\cal A}$ implies the associativity of $A_1$, since for $xa, xb, xc\in A_1$ we have $(xa)(xbxc)=xa(bc)=\alpha(a)(bc)=(ab)\alpha(c)=(ab)xc=(xaxb)(xc)$, and $\alpha(xa+yb)=x(xa+yb)=xa$, that is $\alpha:{\cal A}\longrightarrow {\cal A}$ is the projection onto $A_1$. The converse statement, on the other hand, is straightforward.
\end{proof}

\begin{example}{\rm
Let $A$ be an associative algebra, and $\alpha:A\longrightarrow A$ an algebra endomorphism.  Assume that $\alpha^2=\alpha$.  Let $x\star y=\alpha(xy)$, so that $({\cal A},\star,\alpha)$ is a multiplicative Hom-associative algebra.  Then as algebras $({\cal A},\star,\alpha)=K\oplus B$ where the multiplication on $K$ is $0$, the multiplication on $B$ is associative, and the associativity endomorphism is the projection $proj_B$ onto $B$. To see this we let $K=ker(\alpha)$, so that $K$ is an ideal of ${\cal A}$, and let $B=\mathop{\rm Im}\nolimits(\alpha)$.  Then as vector spaces ${\cal A}=K\oplus B$ and the associativity endomorphism is $proj_B$.  Since $K$ is an ideal, $(k+b)\star (k'+b')=bb'$.
}
\end{example}

\begin{example}\label{unital-example}
{\rm
Let ${\cal A}$ be a two dimensional vector space over a field $k$ with a basis $\{e_1, e_2\}$. Let the multiplication $\mu: {\cal A}\otimes {\cal A}\longrightarrow {\cal A}$ be given by
\begin{equation*}
e_ie_j = \left\{\begin{array}{cc}
                    e_1, & {\rm if}\,\,(i, j)= (1,1) \\
                    e_2 & {\rm if}\,\,(i, j)\neq (1,1).
                  \end{array}
\right.
\end{equation*}
Then via the map
\begin{equation*}
\alpha:{\cal A}\longrightarrow {\cal A},\qquad \alpha(e_1)=e_1-e_2,\quad \alpha(e_2)=0,
\end{equation*}
the triple $({\cal A}, \mu, \alpha)$ is a Hom-associative algebra with the unit $1:=e_1$. Furthermore we have $\alpha^2=\alpha$.  In view of the Lemma \ref{lemma-unital} we see that ${\cal A}=k(e_1-e_2)\oplus ke_2$.
}
\end{example}

We will need the notion of a bimodule over a Hom-associative algebra to serve as a coefficient space for the Hochschild homology and cohomology. Hence we recall it from \cite[Def. 1.5]{MakhSilv10}.

\begin{definition}
Let $({\cal A},\mu,\alpha)$ be a Hom-associative algebra. Then a linear space $V$ equipped with $\cdot:{\cal A}\otimes V \longrightarrow V$, $a\otimes v\mapsto a\cdot v$, and $\beta:V\longrightarrow V$, is called a left ${\cal A}$-module if the diagram
\begin{align*}
\xymatrix{
{\cal A}\otimes {\cal A} \otimes V \ar[r]^{\,\,\,\,\,\mu\otimes \beta} \ar[d]_{\alpha\otimes\, \cdot} & A\otimes V \ar[d]^{\cdot}\\
{\cal A}\otimes V \ar[r]_{\cdot} & V
}
\end{align*}
is commutative, i.e.,
\begin{equation}\label{aux-Hom-module}
(ab)\cdot \beta(v) = \alpha(a)\cdot (b\cdot v),
\end{equation}
for any $a,b\in {\cal A}$ and any $v\in V$.
\end{definition}

Similarly, $(V,\beta)$ is called a right ${\cal A}$-module if
\begin{equation*}
\beta(v)\cdot (ab)= (v\cdot a)\cdot \alpha(b).
\end{equation*}

\begin{example}\label{ex-A-is-A-module}
{\rm
Any Hom-associative algebra $({\cal A},\mu,\alpha)$ is both a left and a right module over itself by $\beta=\alpha$, \cite[Rk. 1.6]{MakhSilv10}.
}
\end{example}

In order for defining the cyclic cohomology theory for Hom-associative algebras, we shall need the cyclic invariant subcomplex of the Hochschild complex of ${\cal A}$, with coefficients in ${\cal A}^\ast$. However, given a Hom-associative algebra ${\cal A}$, the algebraic dual ${\cal A}^\ast$ is not necessarily an ${\cal A}$-module via the coregular actions, $(a\cdot f)(b)=f(ba)$ or $(f\cdot a)(b)=f(ab)$, or their $\alpha$-twisted versions $(a\cdot f)(b)=f(b\alpha(a))$ or $(f\cdot a)(b)=f(\alpha(a)b)$. Then one is forced either to restrict ${\cal A}^\ast$ into a subspace, that we denote by ${\cal A}^\circ$ below, which can be an ${\cal A}$-bimodule, or impose further conditions on ${\cal A}$ so that ${\cal A}^\ast$ becomes an ${\cal A}$-bimodule. In the former case we have the following.

\begin{lemma}
Given a Hom-associative algebra $({\cal A},\mu,\alpha)$, the pair $({\cal A}^\circ,\mathop{\rm Id}\nolimits_{{\cal A}^\ast})$ where
\begin{equation}\label{aux-A-circ}
{\cal A}^\circ=\{f\in{\cal A}^\ast\mid f(x\alpha(y))=f(\alpha(xy))=f(\alpha(x)y)\},
\end{equation}
is a left ${\cal A}$-module via
\begin{equation*}
(a\cdot f)(b)=f(b\alpha(a)),
\end{equation*}
for any $a,b\in{\cal A}$, and any $f\in {\cal A}^\circ$.
\end{lemma}

\begin{proof}
For $a\in{\cal A}$ and $f\in {\cal A}^\circ$, we verify first that $a\cdot f\in {\cal A}^\circ$. Indeed,
\begin{align*}
 a\cdot f (x\alpha(y)) &= f((x\alpha(y))\alpha(a))=f(\alpha(x)(\alpha(y)a))=f(\alpha(x(\alpha(y)a)))\\
&=f(\alpha(x)\alpha(\alpha(y)a))=f(\alpha^2(x)(\alpha(y)a))\\&=f((\alpha(x)\alpha(y))\alpha(a)) = a\cdot f (\alpha(xy)).
\end{align*}
Similarly,
\begin{align*}
 a\cdot f (x\alpha(y)) &=f(\alpha(xy)\alpha(a)) = f((xy)\alpha(a))=f(\alpha(x)(ya))=f(\alpha(x)\alpha(ya))\\
&= f(\alpha^2(x)(ya))=f((\alpha(x)y)\alpha(a))=a\cdot f(\alpha(x)y).
\end{align*}
As for the left module condition, we have
\begin{align*}
(ab)\cdot f (x) &= f(x\alpha(ab))=f(\alpha(x)(ab))=f((xa)\alpha(b))=(b\cdot f)(\alpha(xa))\\
&= (b\cdot f)(x\alpha^2(a))=\alpha(a)\cdot (b\cdot f)(x).
\end{align*}

\end{proof}

In the same fashion, ${\cal A}^\circ$ is a right ${\cal A}$-module by $(f\cdot a)(b)=f(\alpha(a)b)$. In comparison to ${\cal A}^\ast$, we note that in case ${\cal A}$ is unital, or is associative, then ${\cal A}^\circ={\cal A}^*$.

We shall also need the notion of a bimodule for the cohomological considerations.

\begin{definition}
Let $({\cal A},\mu,\alpha)$ be a Hom-associative algebra, and $(V,\beta)$ be a left and a right ${\cal A}$-module. Then $V$ is called an ${\cal A}$-bimodule if
\begin{equation}\label{aux-A-bimodule}
\alpha(a)\cdot (v \cdot b) = (a \cdot v)\cdot \alpha(b)
\end{equation}
for any $a,b\in {\cal A}$, and any $v \in V$.
\end{definition}

\begin{example}\label{ex-A-is-A-bimodule}
{\rm
Any Hom-associative algebra $({\cal A},\mu,\alpha)$, the pair $({\cal A},\alpha)$ is a bimodule over itself.
}
\end{example}

\begin{proposition}
Given a Hom-associative algebra $({\cal A},\mu,\alpha)$, the subspace ${\cal A}^\circ\subseteq {\cal A}^\ast$ is an ${\cal A}$-bimodule.
\end{proposition}

\begin{proof}
We have already seen that $A^{\circ}$ is a left and right ${\cal A}$-module. Let us show that the bimodule compatibility \eqref{aux-A-bimodule} is satisfied. Indeed, for any $a,b,x\in{\cal A}$, and any $f\in {\cal A}^\circ$,
\begin{align*}
\alpha(a)\cdot (f\cdot b) (x) &= f(\alpha(b)(x\alpha^2(a)))=f(\alpha(b)\alpha(x\alpha^2(a)))=f(\alpha^2(b)(x\alpha^2(a)))\\
&= f(\alpha^2(b)\alpha(x\alpha^2(a))) = f(\alpha^3(b)(x\alpha^2(a))) = f((\alpha^2(b)x)\alpha^3(a))\\
&= f(\alpha(\alpha^2(b)x)\alpha^2(a))=f((\alpha^2(b)x)\alpha(a))= ((a\cdot f)\cdot \alpha(b))(x).
\end{align*}
\end{proof}

In order for ${\cal A}^\ast$ to be an ${\cal A}$-bimodule, a second option is to impose further conditions on ${\cal A}$. To this end, we need the following class of Hom-associative algebras.
For a not necessarily multiplicative Hom-associative algebra $({\cal A},\mu,\alpha)$, we say $\alpha\in\mathop{\rm End}\nolimits({\cal A})$ is an element of the centroid if
\begin{equation}\label{aux-unital-Hom-alg}
  \alpha(x)y=x\alpha(y)=\alpha(xy),
\end{equation}
for any $x,y\in {\cal A}$. We refer the reader to \cite{Herstein-book} for more information on the centroid of a ring, and \cite{BenaMakh14} for the centroid of a Lie algebra in the concept of Hom-Lie algebras.
We note that for any unital Hom-associative algebra $({\cal A},\alpha)$, $\alpha\in\mathop{\rm End}\nolimits({\cal A})$ is an element of the centroid. On the other hand, if for a Hom-associative algebra $({\cal A},\alpha)$ the mapping $\alpha\in\mathop{\rm End}\nolimits({\cal A})$ is an element of the centroid and $\alpha(1)=1$, then $\alpha=\mathop{\rm Id}\nolimits$, and hence ${\cal A}$ is associative.

\begin{proposition}
Let $({\cal A},\mu,\alpha)$ be a multiplicative  Hom-associative algebra where $\alpha$ is an element of the centroid. Then $({\cal A}^*,\alpha^\ast)$ is an  ${\cal A}$-bimodule via the coregular actions.
\end{proposition}

\begin{proof}
Since $\alpha$ is an element of the centroid we have
\begin{align*}
 ((aa')\cdot\alpha^\ast(f))(b)&=\alpha^\ast(f)(b(aa'))=f(\alpha(b(aa')))
  =f(\alpha(b)(aa'))\\&=f((ba)\alpha(a'))=f(\alpha(ba)a')
  =f((b\alpha(a))a')\\&=(a'\cdot f)(b\alpha(a))=(\alpha(a)\cdot(a'\cdot f))(b),
\end{align*}
that is $({\cal A}^\ast,\alpha^\ast)$ is a left ${\cal A}$-module. Similarly
\begin{align*}
  (\alpha^\ast(f)(ab))(x)&= \alpha^\ast(f)((ab)x)=f(\alpha(ab)x)=f(a\alpha(b)x)\\
  &= (f\cdot a)(\alpha(b)x)=((f\cdot a)\cdot \alpha(b))(x),
\end{align*}
proving that $({\cal A}^\ast,\alpha^\ast)$ is a right ${\cal A}$-module. We next observe that ${\cal A}^*$ is an ${\cal A}$-bimodule. Indeed,
\begin{align*}
 (\alpha(a)\cdot(f\cdot b))(c) &= (f\cdot b)(c\alpha(a)) =  f(b(c\alpha(a)))
 =f(b(\alpha(ca))\\&=f(\alpha(b)(ca))=f((bc)\alpha(a))=f(\alpha(bc)a)\\
 & =f((\alpha(b)c)a)=(a\cdot f)(\alpha(b)c)    =((a\cdot f)\cdot \alpha(b))(c).
\end{align*}
\end{proof}

It turns out that the  Hom-associative algebras whose $\alpha$ is an element of the centroid can be characterized by being embeddable into unital ones.

\begin{proposition}\label{prop-embed}
Let  $({\cal A},\mu,\alpha)$ be a Hom-associative algebra. The map $\alpha\in\mathop{\rm End}\nolimits({\cal A})$ is an element of the centroid if and only if ${\cal A}$ can be embedded into a unital Hom-associative algebra.
\end{proposition}

\begin{proof}
If ${\cal A}$ can be embedded into a unital Hom-associative algebra, then by \cite{FregGohr09} the equation \eqref{aux-unital-Hom-alg} holds.

Conversely, assuming the equation \eqref{aux-unital-Hom-alg}, we let ${\cal B}=k[\alpha]\oplus {\cal A}$ with multiplication $(p(\alpha)+a)(q(\alpha)+b)=p(\alpha)q(\alpha)+(q(\alpha)(a)+p(\alpha)(b)+ab)$, where $q(\alpha)(a)$ is the element of ${\cal A}$ obtained by interpreting $\alpha\in k[\alpha]$ as the linear endomorphism $\alpha$ that is part of the Hom-associative algebra structure of ${\cal A}$.  Define $({\cal B},\mu,\beta)$ by setting $\beta|_{{\cal A}}=\alpha$ and $\beta|_{k[\alpha]}=m_{\alpha}$, the multiplication by $\alpha$.
Note that \eqref{aux-unital-Hom-alg} implies that $\alpha\a^k(ab)=\alpha(a)\alpha^k(b)=\alpha^k(a)\alpha(b)$ for $k\geq 0$ and so $\alpha s(\alpha)(ab)=\alpha(a)(s(\alpha)(b))=(s(\alpha)(a))\alpha(b)$.  With this in mind we check that
\begin{align*}
\beta&(p(\alpha)+a)((q(\alpha)+b)(s(\alpha)+c))\\
&=(\alpha(p(\alpha))+\alpha(a))(q(\alpha)s(\alpha)+q(\alpha)(c)+s(\alpha)(b)+bc)\\
&=\alpha p(\alpha)q(\alpha)s(\alpha)+(\alpha p(\alpha))(q(\alpha)(c))+(\alpha p(\alpha))(s(\alpha)(b))+(\alpha p(\alpha))(bc)\\&\quad+(q(\alpha)s(\alpha))(\alpha(a))+\alpha(a)(q(\alpha)(c))+\alpha(a)(s(\alpha)(b))+\alpha(a)(bc)\\&=p(\alpha)q(\alpha)\alpha s(\alpha)+\alpha s(\alpha)(q(\alpha)(a))+\alpha s(\alpha)(p(\alpha)(b))+\alpha s(\alpha)(ab)\\&\quad+(p(\alpha)q(\alpha))(\alpha(c))+(q(\alpha)(a))\alpha(c)+(p(\alpha)(b))\alpha(c)+(ab)\alpha(c)\\&=(p(\alpha)q(\alpha)+q(\alpha)(a)+p(\alpha)(b)+ab)(\alpha s(\alpha)+\alpha(c))\\&=((p(\alpha)+a)(q(\alpha)+b))\beta(s(\alpha)+c).
\end{align*}
Hence, $({\cal B},\mu,\beta)$ is a unital Hom-associative algebra with a subalgebra ${\cal A}$.
\end{proof}

Furthermore, the following observation characterizes the multiplicativity of the Hom-associative algebra ${\cal B}$.

\begin{lemma}
Let  ${\cal B}$ be as in Proposition \ref{prop-embed}. Then ${\cal B}$ is multiplicative if and only if  $\alpha^2=\alpha $ on ${\cal A}$.
\end{lemma}

We unify the above two approaches to the problem of the representation of a Hom-associative algebra ${\cal A}$ on ${\cal A}^\ast$ in the following manner.

\begin{definition}
  Let $({\cal A}, \alpha)$ be a Hom-associative algebra. A vector space $V$ is called a dual left ${\cal A}$-module if there are linear maps $\cdot: {\cal A}\otimes V\longrightarrow V$, and  $\beta: V\longrightarrow V$ where
  \begin{equation}
    a\cdot (\alpha(b)\cdot v)=\beta((ab)\cdot v).
  \end{equation}
\end{definition}
Similarly, $V$ is called a dual right ${\cal A}$-module if $v\cdot (\alpha(a))\cdot b= \beta(v\cdot (ab))$. Finally, we call $V$ a dual ${\cal A}$-bimodule if $\alpha(a)\cdot (v\cdot b)=(a\cdot v)\cdot \alpha(b).$

The definition is just another Hom-associative generalization of the notion of bimodule. In case ${\cal A}$ is associative, the above definition coincides with the definition of a bimodule over an associative algebra.

The next observation justifies our choice of dual module being one which is compatible with ${\cal A}^\ast$ as a coefficient space, rather than ${\cal A}$. In this language the definition \cite[Def. 1.5]{MakhSilv10} of module over a Hom-associative algebra is one which is compatible with ${\cal A}$, which served as the coefficient space in the Hochschild cohomology theory of \cite{AmmaEjbeMakh11}.

\begin{lemma}\label{property}
Let $({\cal A}, \alpha)$ be a Hom-associative algebra, and $(V, \beta)$ an ${\cal A}$-bimodule. Then the algebraic dual $V^*$ is a dual ${\cal A}$-bimodule.
\end{lemma}

\begin{proof}
We first note that
\begin{align*}
(a\cdot (\alpha(b)\cdot f))(v)&= f((v\cdot a)\cdot\alpha(b))
=f((\beta(v)\cdot ab)\\&= ((ab)\cdot f)(\beta(v))=\beta((ab)\cdot f)(v).
\end{align*}
Therefore $V^*$ is a dual left ${\cal A}$-module. That it is a dual right ${\cal A}$-module, as well as a dual ${\cal A}$-bimodule is similar.
\end{proof}

We conclude this subsection recalling from \cite{MakhSilv09} the morphisms of Hom-associative algebras. Let $({\cal A}, \alpha_{{\cal A}})$ and $({\cal B}, \alpha_{{\cal B}})$ be two Hom-associative algebras. Then a linear map $f: ({\cal A}, \alpha_{{\cal A}})\longrightarrow ({\cal B}, \alpha_{{\cal B}})$ is called a morphism of Hom-associative algebras if it is an algebra morphism and
$f(\alpha_{{\cal A}}(x))=\alpha_{{\cal B}}(f(x))$ for $x,y\in {\cal A}.$

\section{Homology of Hom-associative algebras}

In this section we introduce Hochschild, cyclic and periodic cyclic homologies for Hom-associative algebras. We first define Hochschild homology of a Hom-associative algebra ${\cal A}$ with coefficients in an ${\cal A}$-bimodule. Then, using ${\cal A}$ itself as the coefficient space via \cite[Rk. 1.6]{MakhSilv10}, we define the cyclic homology of ${\cal A}$ via the cyclic coinvariant of the Hochschild complex of ${\cal A}$.

\subsection{Hochschild homology of a Hom-associative algebra}

In this subsection we define the Hochschild homology of a Hom-associative algebra with coefficients in an ${\cal A}$-bimodule.

\begin{theorem}
Let $({\cal A},\mu, \alpha)$ be a Hom-associative algebra, and $(V, \beta)$ be an ${\cal A}$-bimodule such that
$$\beta(v\cdot a) = \beta(v)\cdot \alpha(a) \quad \hbox{and} \quad \beta(a\cdot v)=\alpha(a)\cdot \beta(v).$$ Then
\begin{equation*}
C^{Hom}_\ast({\cal A}, V)=\bigoplus_{n\geq 0}C^{Hom}_n({\cal A}, V),\qquad C^{Hom}_n({\cal A}, V):=V\otimes {\cal A}^{\otimes n},
\end{equation*}
with the face maps
\begin{align*}
&\delta_0(v\otimes a_1\otimes \cdots \otimes a_{n})= v \cdot a_1 \otimes \alpha(a_2)\otimes \cdots \otimes \alpha(a_{n})\\
&\delta_i(v\otimes a_1\otimes \cdots \otimes a_{n})=\beta(v)\otimes \alpha(a_1) \cdots \otimes a_i a_{i+1}\otimes \cdots\otimes \alpha(a_{n}), ~~ 1\leq i \leq n-1\\
&\delta_{n}(v\otimes a_1\otimes \cdots \otimes a_n)= a_{n} \cdot v \otimes \alpha(a_1)\otimes  \cdots\otimes \alpha(a_{n-1})
  \end{align*}
is a presimplicial module.
\end{theorem}

\begin{proof}
We will show that $\delta_i \delta_j= \delta_{j-1} \delta_{i}$ for $0\leq i< j \leq n$ \cite[Def. 1.0.6]{Loday-book}.
The equality $\delta_0\delta_0=\delta_0\delta_1$ follows at once from the right ${\cal A}$-module compatibility $\beta(v)\cdot (a_1a_2)= (v \cdot a_1)\cdot \alpha(a_2)$. We next observe that $\delta_0 \delta_j=\delta_{j-1}\delta_0$ for $j> 1$. Indeed,
  \begin{align*}
    \delta_0\delta_j(v\otimes a_1&\ot\cdots\ot a_n)\\
    &=\delta_0(\beta(v)\otimes \alpha(a_1)\ot\cdots\ot a_j a_{j+1}\ot\cdots\ot \alpha(a_n)) \\
    &=\beta(v)\cdot\alpha(a_1)\otimes \alpha^2(a_2)\ot\cdots\ot \alpha(a_j a_{j+1})\ot\cdots\ot  \alpha^2(a_n) \\
    &=\beta(v\cdot a_1)\otimes \alpha^2(a_2)\ot\cdots\ot \alpha(a_j )\alpha(a_{j+1})\ot\cdots\ot  \alpha^2(a_n) \\
    &=\delta_{j-1}(v\cdot a_1\otimes \alpha(a_2)\ot\cdots\ot \alpha(a_n)) \\
    &=\delta_{j-1}\delta_0(v\otimes a_1\ot\cdots\ot a_n).
  \end{align*}
The equality $\delta_i\delta_n=\delta_{n-1}\delta_i$ follows similarly. Let us finally show that $\delta_0\delta_n=\delta_{n-1}\delta_0$. We have,
  \begin{align*}
    \delta_0\delta_n(v\otimes a_1&\ot\cdots\ot a_n)\\
    &=\delta_0(a_n\cdot v\otimes \alpha(a_1)\ot\cdots\ot \alpha(a_{n-1}))\\
    &=(a_n\cdot v )\cdot \alpha(a_1)\otimes \alpha^2(a_2)\ot\cdots\ot \alpha^2(a_{n-1})\\
    &=\alpha(a_n)\cdot (v\cdot a_1)\otimes \alpha^2(a_2)\ot\cdots\ot \alpha^2(a_{n-1})\\
    &=\delta_{n-1}(v\cdot a_1\otimes \alpha(a_2)\ot\cdots\ot \alpha(a_n))\\
    &=\delta_{n-1}\delta_0(v\otimes a_1\ot\cdots\ot a_n).
  \end{align*}
\end{proof}

As a result $(C^{Hom}_\ast({\cal A}, V),b)$ becomes a differential complex with
\begin{align*}
b=\sum_{i=0}^n (-1)^i \delta_i&:C^{Hom}_n({\cal A}, V)\longrightarrow C^{Hom}_{n-1}({\cal A}, V),\\
b(v\otimes a_1\ot\cdots\ot a_n)&=v\cdot a_1\otimes \alpha(a_2)\ot\cdots\ot \alpha(a_n)\\
&\quad+\sum_{i=1}^{n-1} (-1)^i \beta(v)\otimes \alpha(a_1)\ot\cdots\ot a_ia_{i+1} \ot\cdots\ot \alpha(a_n)\\
&\quad+(-1)^n a_n\cdot v\otimes \alpha(a_1)\ot\cdots\ot \alpha(a_{n-1}).
\end{align*}
We denote the homology of the complex $(C^{Hom}_\ast({\cal A}, V),b)$ by $H^{Hom}_\ast({\cal A}, V)$ and call it the Hochschild homology of the Hom-associative algebra ${\cal A}$ with coefficients in the ${\cal A}$-bimodule $V$.

\begin{example}{\rm
If the Hom-associative algebra $({\cal A}, \alpha)$ is associative, i.e., $\alpha=\mathop{\rm Id}\nolimits$, then $H^{Hom}_\ast({\cal A}, V)$ is the ordinary Hochschild homology of an associative algebra.
  }
\end{example}

\begin{example}{\rm
  If ${\cal A}$ is a  Hom-associative algebra and $M$ an ${\cal A}$-bimodule, then
\begin{equation*}
  H_0({\cal A},M)= \frac{M}{[M,A]}.
\end{equation*}
}\end{example}

\begin{example}{\rm
Let ${\cal A}$ be the Hom-associative algebra in Example  \ref{unital-example}. Then
  $HH_1({\cal A})=H_1({\cal A}, {\cal A})$ is one dimensional.
}
\end{example}

\begin{remark}\label{remark-A-alpha}
{\rm
Let $A$ be an associative algebra with the multiplication map $\mu:A\otimes A\longrightarrow A$, and $\alpha\in\mathop{\rm End}\nolimits(A)$. Then for ${\cal A}_\alpha = A$, and the multiplication $\mu_\alpha=\alpha \circ \mu:{\cal A}\otimes{\cal A}\longrightarrow{\cal A}$, the triple  $({\cal A}_\alpha, \mu_{\alpha}, \alpha)$ is a multiplicative Hom-associative algebra, \cite{Yau09}. It is easy to see that
\begin{equation*}
(C^{Hom}_\ast({\cal A}_\alpha, {\cal A}_\alpha), d^{Hom})=(C_\ast(A, A), \alpha d=d\alpha)
\end{equation*}
as complexes, where the latter is the usual Hochschild homology complex of the associative algebra $A$ with the modified differential, via composition with $\alpha$ which acts on $A^{\otimes n}$ by $\alpha(a_1\ot\cdots\ot a_n)=\alpha(a_1)\ot\cdots\ot \alpha(a_n)$.
}
\end{remark}

An immediate consequence is the following lemma.

\begin{lemma}
Let ${\cal A}_\alpha$ be the Hom-associative algebra of Remark \ref{remark-A-alpha} such that $\alpha\in\mathop{\rm End}\nolimits({\cal A}_\alpha)$ is an isomorphism. Then,
\begin{equation*}
HH^{Hom}_\ast({\cal A}_\alpha)=HH_\ast(A).
\end{equation*}
\end{lemma}

\begin{proof}
The claim follows from the observation that if $\alpha:A\longrightarrow A$ is an isomorphism, then $\ker(\alpha d)=\ker(d)$ and $\mathop{\rm Im}\nolimits(d\alpha)=\mathop{\rm Im}\nolimits(d)$.
\end{proof}

Furthermore, it follows from \cite[Corol. 8]{HellMakhSilv14} (see also \cite{Gohr10}) that any multiplicative Hom-associative algebra $({\cal A},\alpha)$ such that $\alpha\in\mathop{\rm End}\nolimits({\cal A})$ is an isomorphism, is of the form ${\cal A}_\alpha$ for the associative algebra $({\cal A},\alpha^{-1}\circ\mu)$. As a result, we conclude the following reduction of the Hom-Hochschild homology of ${\cal A}$ to the Hochschild homology of $A$.

\begin{corollary}
If $({\cal A},\mu,\alpha)$ is a multiplicative Hom-associative algebra such that $\alpha:{\cal A}\longrightarrow {\cal A}$ is an isomorphism, then
\begin{equation*}
HH^{Hom}_\ast({\cal A})=HH_\ast(A),
\end{equation*}
where $A$ is the associative algebra $({\cal A},\alpha^{-1}\circ\mu)$.
\end{corollary}

\begin{remark}
{\rm
  For associative algebras, it is known that the Hochschild homology of direct sum algebras is a direct sum of Hochschild homologies; more precisely, we have $HH_n(A_1\oplus A_2)\cong HH_n(A_1)\oplus HH_n(A_2).$ However a quick calculation shows that this is not the case for Hom-associative algebras even in the very special case of a unital multiplicative Hom-associative algebra.  Let us recall Example \ref{unital-example}, i.e., ${\cal A}=k(e_1-e_2)\oplus ke_2=k_1\oplus k_2$ with $\alpha=proj_{k_1}$.  Thus ${\cal A}=k_1\oplus k_2$ with $\alpha_1=Id$ and $\alpha_2=0$.  We have $HH^{Hom}_i(k_1)=HH_i(k_1)$ and the latter vanishes except for $HH_0(k_1)=k$.  On the other hand $HH^{Hom}_i(k_2)=k$ for all $i$.  We observe that we have a direct sum decomposition of complexes $$C_\ast^{Hom}({\cal A},{\cal A})=C^{\leq 2}_\ast\oplus C^{\geq 3}_\ast$$ where $C^{\leq 2}_\ast$ consists of tensors with at most two from $k_2$ and $C^{\geq 3}_\ast$ consists of tensors with at least three from $k_2$.  We remark that the differential on $C^{\geq 3}_\ast$ is identically zero.  This shows that in the higher degrees $HH^{Hom}_\ast({\cal A})$ is much larger than $HH_\ast^{Hom}(k_1)\oplus HH_\ast^{Hom}(k_2)=k$.
}
\end{remark}

\subsection{Cyclic homology of a Hom-associative algebra}

In this subsection we introduce cyclic homology for Hom-associative algebras through two different but equivalent methods.

\subsubsection{Cyclic homology as a cokernel}

We construct the cyclic homology of a Hom-associative algebra ${\cal A}$ out of the Hochschild homology of ${\cal A}$ with coefficients in ${\cal A}$ by factoring out the cyclic group action. Let us denote the Hochschild complex $C^{Hom}_\ast({\cal A},{\cal A})$ simply by $C^{Hom}_\ast({\cal A})$. We note that in this case we have
\begin{align}\label{aux-b-Hochschild}
\begin{split}
 b(a_0\ot\cdots\ot a_n) &= \sum_{i=0}^{n-1} (-1)^i \alpha(a_0)\ot\cdots\ot a_ia_{i+1} \ot\cdots\ot \alpha(a_n) \\
&\quad+  a_n a_0\otimes \alpha(a_1)\ot\cdots\ot \alpha(a_{n-1}).
\end{split}
\end{align}
Given a Hom-associative algebra $({\cal A},\mu,\alpha)$ we define the action of the cyclic group ${\mathbb Z}/(n+1){\mathbb Z}$ on ${\cal A}^{\otimes\,n+1}$ as in \cite[Subsect. 2.1.10]{Loday-book}:
\begin{equation}\label{aux-cyclic-group-action}
t_n(a_0\ot\cdots\ot a_n) = (-1)^na_n\otimes a_0\ot\cdots\ot a_{n-1},
\end{equation}
and obtain the cokernel $C_n^{Hom,\,\lambda}({\cal A})= C_n^{Hom}({\cal A})/(\mathop{\rm Id}\nolimits-t)$. Next we let
\begin{equation*}
b': C^{Hom}_n({\cal A})\longrightarrow C^{Hom}_{n-1}({\cal A})
\end{equation*}
be defined by
\begin{equation}\label{aux-b-prime}
b'(a_0\ot\cdots\ot a_n)= \sum_{i=0}^{n-1}(-1)^i \alpha(a_0)\otimes \alpha(a_1)\ot\cdots\ot a_ia_{i+1} \ot\cdots\ot \alpha(a_n).
\end{equation}
For simplicity we set $t_n=t$.
\begin{lemma}\label{lemma-b-b-prime-t}
The operators \eqref{aux-b-Hochschild}, \eqref{aux-b-prime} and \eqref{aux-cyclic-group-action} satisfy the equality
\begin{equation*}
(\mathop{\rm Id}\nolimits - t_{n-1})b' = b(\mathop{\rm Id}\nolimits - t_n).
\end{equation*}
\end{lemma}

\begin{proof}
We first observe that $\delta_0t=(-1)^n\delta_n$. Indeed,
\begin{align*}
\delta_0t_n(a_0\ot\cdots\ot a_n) &= (-1)^n\delta_0(a_n\otimes a_0\ot\cdots\ot a_{n-1})\\
&= (-1)^n a_na_0 \otimes\alpha(a_1)\ot\cdots\ot \alpha(a_{n-1})\\ &= (-1)^n\delta_n(a_0\ot\cdots\ot a_n).
\end{align*}
We next observe that $\delta_it_n=-t_{n-1}\delta_{i-1}$ for $0<i\leq n$. Indeed,
\begin{align*}
 \delta_it_n (a_0\ot\cdots\ot a_n) &= (-1)^n\delta_i(a_n\otimes a_0\ot\cdots\ot a_{n-1})\\
&= (-1)^n\alpha(a_n)\otimes \alpha(a_0)\ot\cdots\ot a_{i-1}a_i\ot\cdots\ot  \alpha(a_{n-1}) \\
&= -(-1)^{n-1}t_{n-1}(\alpha(a_0)\ot\cdots\ot a_{i-1}a_i\ot\cdots\ot  \alpha(a_n)) \\
&= -t_{n-1}\delta_{i-1}(a_0\ot\cdots\ot a_n).
\end{align*}
\end{proof}

As a result $b:C^{Hom}_n({\cal A})\longrightarrow C^{Hom}_{n+1}({\cal A})$ is well-defined on $C^{Hom}_\ast({\cal A})/\mathop{\rm Im}\nolimits(\mathop{\rm Id}\nolimits-t)$, and hence $(C^{Hom,\lambda}_\ast({\cal A}), b)$ is a differential complex. We call the homology of the complex
$$
\begin{CD}
C_0^{Hom,\lambda}({\cal A}) @<b<< C_1^{Hom,\lambda}({\cal A}) @<b<< C_2^{Hom,\lambda}({\cal A}) @<b<< C_3^{Hom,\lambda}({\cal A}) \ldots
\end{CD}\\
$$
the cyclic homology of the Hom-associative algebra ${\cal A}$, and we denote it by $HC^{Hom,\lambda}_\ast({\cal A})$.

\begin{example}
  {\rm
If the Hom-associative algebra $({\cal A}, \alpha)$ is associative, {\it i.e.\/}\  $\alpha=\mathop{\rm Id}\nolimits$, then $HC^{Hom,\lambda}_\ast({\cal A})$ is the ordinary cyclic homology of an associative algebra.
  }
\end{example}

\begin{example}{\rm
    For any   multiplicative Hom-associative algebra ${\cal A}$ we have
\begin{equation*}
HC_0({\cal A})= HH_0({\cal A})=\frac{{\cal A}}{[{\cal A},{\cal A}]}.
\end{equation*}
    }
  \end{example}

\begin{example}{\rm
For the Hom-associative algebra ${\cal A}$ of Example  \ref{unital-example} we have
  \begin{equation*}
  HC^{Hom,\lambda}_1({\cal A})=0.
  \end{equation*}
 Indeed, we note that $C^{Hom,\lambda}_1({\cal A}) =\langle e_1\otimes e_2\rangle$, and that $b(e_1\otimes e_1\otimes e_2)=-2 e_1\otimes e_2$.
  }
\end{example}

\subsubsection{The cyclic bicomplex for Hom-associative algebras}

We recall that the cyclic homology of a (not necessarily unital) associative algebra $A$ can also be defined as the total homology of a bicomplex \cite{Loday-book,Tsyg83}. We will now take a similar bicomplex approach to the cyclic homology for a Hom-associative algebra. We let
\begin{equation}\label{aux-norm-opt}
N:=1+ t_n +t_n^2 +...+t_n^n:C^{Hom}_n({\cal A})\longrightarrow C^{Hom}_n({\cal A})
\end{equation}
and the following lemma follows from the proof of Lemma \ref{lemma-b-b-prime-t}.

\begin{lemma}
The operators \eqref{aux-b-Hochschild}, \eqref{aux-b-prime} and \eqref{aux-norm-opt} satisfy the equality
\begin{equation*}
b'N=Nb.
\end{equation*}
\end{lemma}

As a result, we have the bicomplex $CC^{Hom}_{p,q}({\cal A}):={\cal A}^{\otimes\,q+1}$ as follows:
\begin{align}\label{aux-cyclic-bicomplex}
\begin{CD}
\vdots @.\vdots @.\vdots @.\\
{\cal A}^{\otimes\,3} @ <\mathop{\rm Id}\nolimits-t_3 << {\cal A}^{\otimes\,3}  @ < N << {\cal A}^{\otimes\,3} @ <\mathop{\rm Id}\nolimits-t_3 << \ldots  \\
@VVbV  @ VV- b'V @VV  b V  \\
{\cal A}^{\otimes\,2} @ <\mathop{\rm Id}\nolimits-t_2 << {\cal A}^{\otimes\,2}  @ < N << {\cal A}^{\otimes\,2} @ <\mathop{\rm Id}\nolimits-t_2 << \ldots \\
@VV b V @VV- b'V @VV  bV  \\
{\cal A}  @<\mathop{\rm Id}\nolimits-t_0 << {\cal A}  @ <  N << {\cal A} @ <\mathop{\rm Id}\nolimits-t_0 << \ldots
\end{CD}
\end{align}

Let us denote the total homology of this bicomplex by $HC^{Hom}_\ast({\cal A})$. For more details of the total homology of a bicomplex (double complex) we refer the reader to \cite{Weib-book}.
Our task now is to show that this homology is  the cyclic homology of the Hom-associative algebra ${\cal A}$.

\begin{proposition}\label{prop-cyclic-homology}
For any Hom-associative algebra ${\cal A}$ over a field $k$ containing the rational numbers, we have $HC^{Hom}_\ast({\cal A}) = HC^{Hom,\lambda}_\ast({\cal A})$.
\end{proposition}

\begin{proof}
We first observe that the rows of the bicomplex $CC^{Hom}_{p,q}({\cal A})$ are acyclic. Indeed, letting $\theta:=\mathop{\rm Id}\nolimits+t_n+2t_n^2+\ldots+nt_n^n$, we obtain at once that $N+\theta(\mathop{\rm Id}\nolimits-t_n)=(n+1)\mathop{\rm Id}\nolimits$, and hence the operators $(1/n+1)\mathop{\rm Id}\nolimits:{\cal A}^{\otimes\,n+1}\longrightarrow {\cal A}^{\otimes\,n+1}$ and $(1/n+1)\theta:{\cal A}^{\otimes\,n+1}\longrightarrow {\cal A}^{\otimes\,n+1}$ define a homotopy
$$
\xymatrix{
{\cal A}^{\otimes\,n+1}\ar[d]^{\mathop{\rm Id}\nolimits}\ar[dr]^{\frac{\theta}{n+1}} & \ar[l]_{\mathop{\rm Id}\nolimits-t_n}{\cal A}^{\otimes\,n+1}\ar[d]^{\mathop{\rm Id}\nolimits}\ar[dr]^{\frac{\mathop{\rm Id}\nolimits}{n+1}} & \ar[l]_{N}{\cal A}^{\otimes\,n+1}\ar[d]^{\mathop{\rm Id}\nolimits}\ar[dr]^{\frac{\theta}{n+1}} & \ar[l]_{\mathop{\rm Id}\nolimits-t_n}{\cal A}^{\otimes\,n+1}\ar[d]^{\mathop{\rm Id}\nolimits} \\
{\cal A}^{\otimes\,n+1} & \ar[l]^{\mathop{\rm Id}\nolimits-t_n}{\cal A}^{\otimes\,n+1} & \ar[l]^{N}{\cal A}^{\otimes\,n+1} & \ar[l]^{\mathop{\rm Id}\nolimits-t_n}{\cal A}^{\otimes\,n+1}
}
$$
on the rows of the bicomplex \eqref{aux-cyclic-bicomplex} from $\mathop{\rm Id}\nolimits:{\cal A}^{\otimes\,n+1}\longrightarrow {\cal A}^{\otimes\,n+1}$ to $0:{\cal A}^{\otimes\,n+1}\longrightarrow {\cal A}^{\otimes\,n+1}$. As a result of the acyclicity of the rows, we obtain
\begin{equation*}
E^1_{p,q}=\left\{\begin{array}{cc}
                   0, & {\rm if}\,\,p>0 \\
                   C^{Hom,\lambda}_q, & {\rm if} \,\,p=0
                 \end{array}
\right.
\end{equation*}
on the $E^1$-page of the spectral sequence associated to the filtration of the bicomplex \eqref{aux-cyclic-bicomplex} via columns. Therefore
\begin{equation*}
E^2_{p,q}=\left\{\begin{array}{cc}
                   0, & {\rm if}\,\,p>0 \\
                   H^{Hom,\lambda}_q, & {\rm if} \,\,p=0.
                 \end{array}
\right.
\end{equation*}
Thus the claim follows since the spectral sequence degenerates at this level.
\end{proof}

One can extend the bicomplex \eqref{aux-cyclic-bicomplex}  to
\begin{align}
\begin{CD}
\vdots @.\vdots @.\vdots @.\\
\ldots {\cal A}^{\otimes\,3} @ <\mathop{\rm Id}\nolimits-t_2 << {\cal A}^{\otimes\,3}  @ < N << {\cal A}^{\otimes\,3} @ <\mathop{\rm Id}\nolimits-t_2 << \ldots  \\
@VVbV  @ VV- b'V @VV  b V  \\
\ldots {\cal A}^{\otimes\,2} @ <\mathop{\rm Id}\nolimits-t_1 << {\cal A}^{\otimes\,2}  @ < N << {\cal A}^{\otimes\,2} @ <\mathop{\rm Id}\nolimits-t_1 << \ldots \\
@VV b V @VV- b'V @VV  bV  \\
\ldots {\cal A}  @<\mathop{\rm Id}\nolimits-t_0 << {\cal A}  @ <  N << {\cal A} @ <\mathop{\rm Id}\nolimits-t_0 << \ldots
\end{CD}
\end{align}

The homology of the total complex of  this bicomplex is called the periodic cyclic homology of the Hom-associative algebra ${\cal A}$, and is denoted by $HP^{Hom}_*({\cal A})$. Just as in the associative case, we have only two periodic cyclic groups, the even $HP^{Hom}_0({\cal A})$, and the odd $HP^{Hom}_1({\cal A})$.

\begin{remark}{\rm
The cyclic homology of a non-unital Hom-associative algebra ${\cal A}$ can not be computed by the Connes' $(B,b)$-bicomplex \cite{Loday-book}, as the operator $B$ requires the unit. If, however, ${\cal A}$ is unital, then we can define a cyclic module structure on $C_\ast^{Hom}({\cal A})$ by the faces
\begin{align*}
& \delta_i:C_n^{Hom}({\cal A}) \longrightarrow C_{n-1}^{Hom}({\cal A}),\qquad 0 \leq i \leq n\\
&\delta_i(a_0 \ot\cdots\ot  a_n) = \alpha(a_0) \ot\cdots\ot  a_i a_{i+1}\ot\cdots\ot\alpha( a_n), \quad {0 \leq i < n}\\
&\delta_n(a_0 \ot\cdots\ot  a_n)=   a_n a_0\otimes \alpha(a_1)\ot\cdots\ot \alpha(a_{n-1}),
\end{align*}
the degeneracies
\begin{align*}
& C_n^{Hom}({\cal A}) \longrightarrow C_{n+1}^{Hom}({\cal A}), \qquad 0 \leq i \leq n\\
&\sigma_j (a_0\ot\cdots\ot a_n)= a_0\ot\cdots\ot a_j \otimes 1 \otimes a_{j+1}\ot\cdots\ot a_n, \\
\end{align*}
and the cyclic operator
\begin{align*}
& t_n:C_n^{Hom}({\cal A}) \longrightarrow C_{n}^{Hom}({\cal A}),\\
&t_n (a_0\ot\cdots\ot a_n)=a_n\otimes a_0\ot\cdots\ot a_{n-1},
\end{align*}

and hence we can associate a $(b,B)$-bicomplex as follows
$$\begin{CD}
\vdots @.\vdots @.\vdots \\
C_2^{Hom}({\cal A}) @<B<< C_1^{Hom}({\cal A}) @<B<< C_0^{Hom}({\cal A}) \\
@VbVV @VbVV\\
C_1^{Hom}({\cal A})@<B<<C_0^{Hom}({\cal A})\\
@VbVV\\
C_0^{Hom}({\cal A})
\end{CD} $$
where $B=(1-\lambda) s N   ,$ and $s= \tau_{n+1}\sigma_n:C_n \rightarrow C_{n+1} .$
 We note that the total homology of the $(b,B)$-bicomplex is the same as the homology of the cyclic bicomplex \eqref{aux-cyclic-bicomplex}.
}
\end{remark}

We conclude this subsection by a short note on the functoriality of the Hom-associative extensions of the Hochschild and the cyclic homology theories.

\begin{proposition}
 Let $({\cal A}, \alpha_{{\cal A}})$ and $({\cal B}, \alpha_{{\cal B}})$ be two Hom-associative algebras. Then a morphism $f: {\cal A}\longrightarrow {\cal B}$ of Hom-associative algebras induces the maps
\begin{equation*}
f': HH^{Hom}_n({\cal A})\longrightarrow HH^{Hom}_n({\cal B}), \qquad f'':HC^{Hom}_n({\cal A})\longrightarrow HC^{Hom}_n({\cal B}),
\end{equation*}
 given by $a_0\otimes \cdots \otimes a_n\mapsto f(a_0)\otimes \cdots \otimes f(a_n)$. Furthermore if ${\cal A}$ and ${\cal B}$ are isomorphic as Hom-associative algebras then $HH^{Hom}_n({\cal A})\cong HH^{Hom}_n({\cal B})$ and $HC^{Hom}_n({\cal A})\cong HC^{Hom}_n({\cal B})$.
\end{proposition}

\begin{proof}
The claim follows from the fact that the induced maps commutes with the Hochschild boundary map, and that they respect the cyclic group action on the Hochschild complex.
\end{proof}

\section{Cohomology of Hom-associative algebras}

In this section we define the Hochschild and cyclic cohomologies of Hom-associative algebras.

\subsection{Hochschild cohomology of a Hom-associative\\ algebra}

In this subsection we introduce the Hochschild cohomology of a Hom-associative algebra ${\cal A}$ with coefficients in a dual ${\cal A}$-bimodule.

\begin{theorem}
  Let $({\cal A},  \alpha)$ be a Hom-associative algebra and $(V, \beta)$ be a dual ${\cal A}$-bimodule. Let $C^n_{Hom}({\cal A}, V)$ be the space of all $k$-linear maps $\varphi: {\cal A}^{\otimes n}\longrightarrow V$. Then
\begin{equation*}
C_{Hom}^\ast({\cal A}, V)=\bigoplus_{n\geq0} C_{Hom}^n({\cal A}, V),
\end{equation*}
with the operators
\begin{align}\label{aux-cosimplisial-structure-vp}
\begin{split}
&\delta_0\varphi(a_1\ot\cdots\ot a_{n+1})=a_1\cdot \varphi(\alpha(a_2)\ot\cdots\ot \alpha(a_{n+1}))\\
&\delta_i\varphi(a_1\ot\cdots\ot a_{n+1})=\beta(\varphi(\alpha(a_1)\ot\cdots\ot a_i a_{i+1}\ot\cdots\ot \alpha(a_{n+1}))), ~~ 1\leq i \leq n\\
&\delta_{n+1}\varphi(a_1\ot\cdots\ot a_{n+1})= \varphi(\alpha(a_1)\ot\cdots\ot \alpha(a_{n}))\cdot a_{n+1}\\
\end{split}
\end{align}
is a pre-cosimplicial module.
\end{theorem}

\begin{proof}
We show that $\delta_i \delta_j= \delta_j \delta_{i-1}$ for $0\leq j< i \leq n-1$. Let us first show that $\delta_1\delta_0=\delta_0\delta_0$. Indeed,
\begin{align*}
\delta_0(\delta_0\varphi)(a_1\ot\cdots\ot a_{n+2}) &=a_1\cdot \delta_0\varphi(\alpha(a_2)\ot\cdots\ot \alpha(a_{n+2}))\\
&= a_1\cdot (\alpha(a_2)\cdot\varphi(\alpha^2(a_3)\ot\cdots\ot \alpha^2(a_{n+2}))) \\
& =\beta((a_1a_2)\cdot\varphi(\alpha^2(a_3)\ot\cdots\ot \alpha^2(a_{n+2}))) \\
&= \beta(\delta_0\varphi(a_1a_2\otimes \alpha(a_3)\ot\cdots\ot \alpha(a_{n+2})))\\
&=\delta_1\delta_0\varphi(a_1\ot\cdots\ot a_{n+2}).
\end{align*}
We used the  left dual module property   in the third equality. One can similarly use the right dual module property to show that $\delta_{n+1} \delta_n= \delta_n \delta_{n}$.
The following demonstrates that $\delta_{n+1}\delta_0=\delta_0\delta_{n}$. We have
\begin{align*}
  \delta_{n+1}\delta_0\varphi(a_1\ot\cdots\ot a_{n+2})  &=\delta_0\varphi(\alpha(a_1)\ot\cdots\ot \alpha(a_{n+1}))\cdot a_{n+2}\\
  &=(\alpha(a_1)\cdot \varphi(\alpha^2(a_2)\ot\cdots\ot \alpha^2(a_{n+1})))\cdot a_{n+2}\\
  &=a_1 \cdot(\varphi(\alpha^2(a_2)\ot\cdots\ot \alpha^2(a_{n+1}))\cdot \alpha(a_{n+2}))\\
  &=a_1\cdot \delta_n\varphi(\alpha(a_2)\ot\cdots\ot \alpha(a_{n+2}))\\
  &=\delta_0\delta_n\varphi(a_1\ot\cdots\ot a_{n+2}).
\end{align*}
The relation $ \delta_{j+1} \delta_j= \delta_j \delta_{j}$ follows from the Hom-associativity of ${\cal A}$. The rest of the relations are similar.
\end{proof}

The cohomology of the complex $(C_{Hom}^\ast({\cal A}, V),b)$ is called the Hochschild cohomology of the Hom-associative algebra ${\cal A}$ with coefficients in a dual ${\cal A}$-bimodule $V$, and is denoted by $H_{Hom}^\ast({\cal A}, V)$.

In particular, if $V$ is an ${\cal A}$-bimodule, then $(C_{Hom}^\ast({\cal A}, V^\ast),b)$ is a differential complex with
\begin{align*}
b:C_{Hom}^n({\cal A}, V^\ast)&\longrightarrow C_{Hom}^{n+1}({\cal A}, V^\ast), \\
b\varphi(a_1\ot\cdots\ot a_{n+1})&= a_1 \cdot \varphi(\alpha(a_2)\ot\cdots\ot \alpha(a_{n+1}))\\
&\quad+\sum_{i=1}^n (-1)^{i}\varphi(\alpha(a_1)\ot\cdots\ot a_ia_{i+1}\ot\cdots\ot \alpha(a_{n+1}))\\
&\quad+\varphi(\alpha(a_1)\ot\cdots\ot \alpha(a_n))\cdot a_{n+1}.
\end{align*}

Moreover, we have the following result.

\begin{proposition}\label{relation-Hoch}
For any Hom-associative algebra  $({\cal A},\mu,  \alpha)$, we have
\begin{equation*}
  H_n^{Hom}({\cal A}, {\cal A})^*\cong H^n_{Hom}({\cal A}, {\cal A}^*).
\end{equation*}
\end{proposition}

\begin{proof}
The claim follows at once by observing that the isomorphisms
\begin{equation*}
  \mathop{\rm Hom}\nolimits(M\otimes {\cal A}^{\otimes n}, k)\cong \mathop{\rm Hom}\nolimits({\cal A}^{\otimes n}, \mathop{\rm Hom}\nolimits(M, k))
\end{equation*}
are compatible with the differentials when $M={\cal A}$. In fact the diagram
\begin{align*}
\xymatrix{
C^n_{Hom}({\cal A}, {\cal A}^*)     \ar[r]^{\,\,\,\,\,f} \ar[d]_{d^n} &  C^{Hom}_n({\cal A}, {\cal A})^*       \ar[d]^{d_n^*}\\
C^{n+1}_{Hom}({\cal A}, {\cal A}^*)  \ar[r]_{f} & C^{Hom}_{n+1}({\cal A}, {\cal A})^*
}
\end{align*}
is commutative where $f:C^n_{Hom}({\cal A}, {\cal A}^*)\longrightarrow C^{Hom}_n({\cal A}, {\cal A})^*$ is given by $$f(\varphi)(a_0 \ot\cdots\ot a_n)=\varphi(a_1\ot\cdots\ot a_n)(a_0).$$
\end{proof}

\subsection{Cyclic cohomology of a Hom-associative algebra}

In this subsection we introduce the cyclic cohomology for Hom-associative algebras via two different but equivalent methods.

\subsubsection{Cyclic cohomology as a kernel}

In this subsection we generalize the cyclic cohomology to the setting of Hom-associative algebras along the lines of \cite{Conn85}. Recalling that $V={\cal A}$ is naturally an ${\cal A}$-bimodule, we will consider the Hochschild cohomology of ${\cal A}$ with coefficients in the dual ${\cal A}$-bimodule ${\cal A}^\ast$.
Identifying $\varphi\in C^n(A,A^\ast)$ with
\begin{equation*}\label{aux-identification}
\phi:A^{\otimes\,n+1}\longrightarrow k,\qquad \phi(a_0\otimes \alpha_1\ot\cdots\ot a_n):=\varphi(a_1 \ot\cdots\ot a_n)(a_0),
\end{equation*}
 the coboundary map corresponds to
\begin{align*
b:C^n({\cal A},{\cal A}^\ast)&\longrightarrow C^{n+1}({\cal A},{\cal A}^\ast),\\
b\phi(a_0\ot\cdots\ot a_{n+1})&=\phi(a_0a_1\otimes \alpha(a_2) \ot\cdots\ot \alpha(a_{n+1}))\\
&\quad+\sum_{j=1}^n (-1)^j\phi(\alpha(a_0) \ot\cdots\ot a_ja_{j+1} \ot\cdots\ot \alpha(a_{n+1}))\\
&\quad+(-1)^{n+1} \phi(a_{n+1}a_0\otimes \alpha(a_1) \ot\cdots\ot \alpha(a_n)).
\end{align*}
Moreover, the pre-cosimplicial structure is translated into
\begin{align*
\begin{split}
    &\delta_0\phi(a_0 \ot\cdots\ot a_n)= \phi(a_0a_1\otimes \alpha(a_2) \ot\cdots\ot \alpha(a_{n}))\\
    &\delta_i\phi(a_0 \ot\cdots\ot a_n)=\phi(\alpha(a_0) \ot\cdots\ot a_i a_{i+1} \ot\cdots\ot \alpha(a_{n})), ~~ 1\leq i \leq n-1\\
    &\delta_{n}\phi(a_0 \ot\cdots\ot a_n)=\phi(a_{n}a_0\otimes \alpha(a_1) \ot\cdots\ot \alpha(a_n)).
\end{split}
\end{align*}
These maps are dual to the ones for $C_n^{Hom}({\cal A}, {\cal A})$.
We define
\begin{align}\notag
&  t_n: C^n_{Hom}({\cal A}, {\cal A}^*)\longrightarrow C^n_{Hom}({\cal A}, {\cal A}^*) \\
& t_n\phi(a_0\otimes a_1\ot\cdots\ot a_n):=(-1)^n\phi(a_n\otimes a_0\otimes a_1\ot\cdots\ot a_{n-1}),\label{aux-tau-cohom}
\end{align}
and we set
\begin{align*}
\begin{split}
C^n_{\lambda,Hom}({\cal A},{\cal A}^\ast) &= \ker(\mathop{\rm Id}\nolimits-t_n)\\
&= \{\phi\in C^n_{Hom}({\cal A},{\cal A}^\ast)\,|\,\phi(a_0\otimes a_1\ot\cdots\ot a_n)\\&\qquad\qquad\qquad\qquad\qquad=(-1)^n\phi(a_n\otimes a_0\ot\cdots\ot a_{n-1})\}.
\end{split}
\end{align*}
The following lemma shows that $C^\ast_{\lambda,Hom}({\cal A},{\cal A}^\ast)$ is a subcomplex of the Hochschild complex $C^\ast_{Hom}({\cal A},{\cal A}^\ast)$.

\begin{lemma}
If $\phi \in C^n_{\lambda,Hom}({\cal A},{\cal A}^\ast)$, then $b\phi \in C^{n+1}_{\lambda,Hom}({\cal A},{\cal A}^\ast)$.
\end{lemma}

\begin{proof}
We will show that
\begin{equation*}\label{aux-pre-cosimplicial}
t_n\delta_i  = -\delta_{i-1}t_{n-1}, \quad 1 \leq i \leq n, \qquad  \quad \tau_{n}\delta_0 =\delta_{n}.
\end{equation*}
First we check that
\begin{align*}
\begin{split}
t_n\delta_0\phi(a_0 \ot\cdots\ot a_n) &= \delta_0\phi(a_n\otimes a_0 \ot\cdots\ot a_{n-1}) \\
&= \phi(a_na_0\otimes \alpha(a_1) \ot\cdots\ot \alpha(a_{n-1}))\\
& = \delta_n\phi(a_0 \ot\cdots\ot a_n),
\end{split}
\end{align*}
and next we observe that
\begin{align*}
\begin{split}
 t_{n+1}\delta_i\phi(a_0 \ot\cdots\ot a_{n+1}) &= \delta_i\phi(a_{n+1}\otimes a_0 \ot\cdots\ot a_n) \\
&= \phi(\alpha(a_{n+1})\otimes \alpha(a_0) \ot\cdots\ot a_{i-1}a_i\ot\cdots\ot \alpha(a_n)) \\
& =-t_n\phi(\alpha(a_0) \ot\cdots\ot a_{i-1}a_i\ot\cdots\ot \alpha(a_{n+1})) \\
& =-\delta_{i-1}(t_n\varphi)(a_0 \ot\cdots\ot a_{n+1}).
\end{split}
\end{align*}
\end{proof}

We call the homology of the complex $(C_{\lambda,Hom}^\ast({\cal A}),b)$ the cyclic cohomology of the Hom-associative algebra ${\cal A}$, and we denote it by $HC^\ast_{Hom,\lambda}({\cal A})$.

\subsubsection{The cocyclic bicomplex for Hom-associative algebras}

In this subsection we dualize the bicomplex \eqref{aux-cyclic-bicomplex} to obtain a similar bicomplex whose total homology is the cyclic cohomology of a Hom-associative algebra ${\cal A}$.

Similar to the homology case, we set
\begin{align}\label{aux-b-prime-cohom}
\begin{split}
& b':C_{Hom}^n({\cal A}, {\cal A}^*)\longrightarrow C_{Hom}^{n+1}({\cal A}, {\cal A}^*),\\
& b'(\varphi)(a_0 \ot\cdots\ot a_{n+1})= \sum_{i=0}^{n-1} (-1)^i\varphi(\alpha(a_0)\ot\cdots\ot a_ia_{i+1}\ot\cdots\ot \alpha(a_n)),
\end{split}
\end{align}
and
\begin{equation}\label{aux-norm-opt-cohom}
N:=\mathop{\rm Id}\nolimits+t_n+\ldots+t_n^n:C_{Hom}^n({\cal A})\longrightarrow C_{Hom}^n({\cal A}).
\end{equation}

\begin{lemma}
The operators \eqref{aux-tau-cohom}, \eqref{aux-b-prime-cohom} and \eqref{aux-norm-opt-cohom} satisfy the identities
\begin{equation*}
(\mathop{\rm Id}\nolimits-t_{n+1})b=b'(\mathop{\rm Id}\nolimits-t_n), \quad (\mathop{\rm Id}\nolimits-t_n)N=N(\mathop{\rm Id}\nolimits-t_n)=0,\quad \hbox{and} \quad Nb'=bN.
\end{equation*}
\end{lemma}

Consequently, we have the bicomplex
\begin{equation*}
CC^{p,q}_{Hom}({\cal A}):=\{\phi:{\cal A}^{\otimes\,q+1}\longrightarrow k\mid \phi \,\,{\rm is\,\, linear}\}
\end{equation*}
as follows. Letting $C^q:=CC^{p,q}_{Hom}({\cal A})$,
\begin{align}\label{aux-cocyclic-bicomplex}
\begin{CD}
\vdots @.\vdots @.\vdots @.\\
C^2 @ >\mathop{\rm Id}\nolimits-t_2 >> C^2  @ > N >> C^2 @ >\mathop{\rm Id}\nolimits-t_2 >> \cdots  \\
@AAbA  @ AA- b'A @AA  b A  \\
C^1 @ >\mathop{\rm Id}\nolimits-t_1 >> C^1  @ > N >> C^1 @ >\mathop{\rm Id}\nolimits-t_1 >> \cdots \\
@AA  b A @AA- b'A @AA  bA  \\
C^0  @>\mathop{\rm Id}\nolimits-t_0 >> C^0  @ >  N >> C^0 @ >\mathop{\rm Id}\nolimits-t_0 >> \cdots
\end{CD}
\end{align}

We denote the total cohomology of the bicomplex \eqref{aux-cocyclic-bicomplex} by $HC^*_{\mathop{\rm Hom}\nolimits}({\cal A})$. By the next proposition we show that the total cohomology is the same as the cyclic cohomology $HC^\ast_{Hom,\lambda}({\cal A})$ of the Hom-associative algebra ${\cal A}$.

\begin{proposition}
For any Hom-associative algebra ${\cal A}$ over a field $k$ containing the rational numbers, $HC^\ast_{Hom,\lambda}({\cal A})=HC^*_{Hom}({\cal A})$.
\end{proposition}

\begin{proof}
A similar argument as in the proof of Proposition \ref{prop-cyclic-homology} yields the acyclicity of the rows of the bicomplex \eqref{aux-cocyclic-bicomplex}. Thus, considering the spectral sequence associated to the filtration of the bicomplex \eqref{aux-cocyclic-bicomplex} via columns, we obtain
\begin{equation*}
E^1_{p,q}=\left\{\begin{array}{cc}
                   0, & {\rm if}\,\,p>0 \\
                   C_{Hom,\lambda}^q, & {\rm if} \,\,p=0
                 \end{array}
\right.
\end{equation*}
on the $E^1$-page. Therefore
\begin{equation*}
E^2_{p,q}=\left\{\begin{array}{cc}
                   0, & {\rm if}\,\,p>0 \\
                   H_{Hom,\lambda}^q, & {\rm if} \,\,p=0.
                 \end{array}
\right.
\end{equation*}
Then the claim follows since the spectral sequence degenerates at this level.
\end{proof}

In order to define the periodic cyclic cohomology we extend the bicomplex \eqref{aux-cocyclic-bicomplex} to
\begin{align*}\
\begin{CD}
\vdots @.\vdots @.\vdots @.\\
\cdots C^2 @ >\mathop{\rm Id}\nolimits-t_2 >> C^2  @ > N >> C^2 @ >\mathop{\rm Id}\nolimits-t_2 >> \cdots  \\
@AAbA  @ AA- b'A @AA  b A  \\
\cdots C^1 @ >\mathop{\rm Id}\nolimits-t_1 >> C^1  @ > N >> C^1 @ >\mathop{\rm Id}\nolimits-t_1 >> \cdots \\
@AA  b A @AA- b'A @AA  bA  \\
\cdots C^0  @>\mathop{\rm Id}\nolimits-t_0 >> C^0  @ >  N >> C^0 @ >\mathop{\rm Id}\nolimits-t_0 >> \cdots
\end{CD}
\end{align*}
and we call the homology of the total complex $CC^{p,q}_{Hom, per}({\cal A})$ of the extended bicomplex the periodic cyclic cohomology of the multiplicative Hom-associative algebra ${\cal A}$, and we denote it by $HP_{Hom}^\ast({\cal A})$. Just as the periodic cyclic homology, there are only two periodic cohomology groups, the even $HP_{Hom}^0({\cal A})$ and the odd $HP_{Hom}^1({\cal A})$.

\begin{remark}
{\rm
Similar to the homology case,  the Connes' $(B,b)$-bicomplex can not be defined for non-unital Hom-associative algebras. However, if  $({\cal A},\mu, \alpha)$ is a unital  Hom-associative algebra, via the cofaces
   \begin{align*}
&\delta_i: C^n_{Hom}({\cal A})\longrightarrow C^{n+1}_{Hom}({\cal A}), \qquad {0 \leq i \leq n+1}\\
&\delta_i\varphi(a_0 \ot\cdots\ot  a_{n+1}) = \varphi(\alpha(a_0)\ot\cdots\ot a_i a_{i+1}\ot\cdots\ot  \alpha(a_{n+1})), \quad {0 \leq i < n}\\
&\delta_{n+1}\varphi(a_0\ot\cdots\ot a_{n+1})=    \varphi(a_{n+1} a_0\ot\cdots\ot \alpha(a_1)\ot\cdots\ot \alpha(a_n)),
\end{align*}
the codegeneracies,
   \begin{align*}
&\sigma_j: C^n_{Hom}({\cal A})\longrightarrow C^{n-1}_{Hom}({\cal A}), \qquad {0 \leq i \leq n-1}\\
&\sigma_j \varphi(a_0\ot\cdots\ot a_n)= \varphi(a_0\ot\cdots\ot a_j \otimes 1 \otimes a_{j+1}\ot\cdots\ot a_n),
\end{align*}
and the cyclic maps
   \begin{align*}
&t_n: C^n_{Hom}({\cal A})\longrightarrow C^n_{Hom}({\cal A}),\\
&t_n \varphi(a_0\ot\cdots\ot a_n)=\varphi(a_n\otimes a_0\ot\cdots\ot a_{n-1}),
\end{align*}
we obtain a cocyclic module structure \cite{Loday-book}, via which we define the $(B,b)$-bicomplex.
}
\end{remark}

As for the functoriality of the cyclic cohomology for Hom-associative algebras, we have the following. The proof is similar to the case of homology, and hence is omitted.

\begin{proposition}
 Let $({\cal A}, \alpha_{{\cal A}})$ and $({\cal B}, \alpha_{{\cal B}})$ be two Hom-associative algebras. Then a morphism $f: {\cal A}\longrightarrow {\cal B}$ of Hom-associative algebras induces the maps
\begin{equation*}
f': HH_{Hom}^n({\cal A})\longrightarrow HH_{Hom}^n({\cal B}), \qquad f'':HC_{Hom}^n({\cal A})\longrightarrow HC_{Hom}^n({\cal B}),
\end{equation*}
 given by $a_0\otimes \cdots \otimes a_n\mapsto f(a_0)\otimes \cdots \otimes f(a_n)$. Furthermore if ${\cal A}$ and ${\cal B}$ are isomorphic as Hom-associative algebras then $HH_{Hom}^n({\cal A})\cong HH_{Hom}^n({\cal B})$ and $HC_{Hom}^n({\cal A})\cong HC_{Hom}^n({\cal B})$.
\end{proposition}

We conclude this subsection by the following examples to illustrate the elementary computations on cyclic cohomology.

\begin{example}{\rm
     Let $({\cal A},\mu,  \alpha)$ be a Hom-associative algebra. Then
\begin{equation*}
  H_{Hom}^{0}({\cal A}, {\cal A}^*)= HC_{Hom}^0({\cal A}).
\end{equation*}
More precisely,  the cyclic (or Hochschild) $0$-cocycles  of ${\cal A}$ are traces on ${\cal A}$, {\it i.e.\/}\  $k$-linear maps    $\varphi: {\cal A}\longrightarrow k$ such that $\varphi(xy)=\varphi(yx)$, for all $x,y\in {\cal A}$.
}
\end{example}

\begin{example}{\rm
Let $({\cal A},\mu,  \alpha)$ be a  Hom-associative algebra. Then the cyclic $1$-cocycles $\varphi: {\cal A}\otimes {\cal A}\longrightarrow k$ are the Hochschild $1$-cocycles
\begin{equation*}
  \varphi(xy\otimes \alpha(z))-\varphi(\alpha(x)\otimes yz)+\varphi(zx\otimes \alpha(y))=0,
\end{equation*}
which are cyclic
\begin{equation*}
  \varphi(x\otimes y)=-\varphi(y\otimes x),
\end{equation*}
for all $x,y,z\in {\cal A}$.
}
\end{example}

On the next example we discuss how to construct a cyclic $1$-cocycle out of a cyclic $0$-cocyle and an $\alpha$-derivation.

\begin{example}
  {\rm
Let $({\cal A},\mu,  \alpha)$ be a multiplicative Hom-associative algebra,  $\rho: {\cal A}\longrightarrow {\cal A}$ a twisted $\alpha$-derivation, {\it i.e.\/}\  $\rho(ab)=\rho(a)b+ a\rho(b)$, where $\alpha\rho=\rho\alpha=\rho$.

Let also $tr: {\cal A} \longrightarrow k$ be a trace map, {\it i.e.\/}\  $tr(ab)=tr(ba)$ and $tr(\rho(a))=0$.

We will show that  the map
\begin{equation*}
\varphi: {\cal A}\otimes {\cal A}\longrightarrow k,\qquad \varphi(a,b)=tr(a\rho(b))
\end{equation*}
is a cyclic $1$-cocycle. We first show that $\varphi$ is a Hochshcild $1$-cocycle. Indeed,
\begin{align*}
 \varphi&(ab, \alpha(c))-\varphi(\alpha(a), bc)+ \varphi(ca, \alpha(b))\\
  &=tr(ab\rho( \alpha(c)))-tr(\alpha(a)\rho( bc))+ tr(ca\rho( \alpha(b)))\\
  &=tr(ab\rho( \alpha(c)))-tr(\alpha(a)\rho(b ) c))\\
  &=-tr(\alpha(a) b \rho(c))+ tr(ca\rho( \alpha(b))) = 0.
 \end{align*}
On the other hand,
\begin{equation*}
\varphi(a,b)=tr(a\rho(b))=tr(\rho(ab)-b\rho(a)) = -tr(b\rho(a)) = -\varphi(b,a),
 \end{equation*}
hence $\varphi$ is cyclic.
}
\end{example}

The final example is about the relation between the cyclic homologies of an associative algebra, and a Hom-asoociative algebra attached to it.

\begin{example}{\rm
Let $A$ be an associative algebra and $\alpha: A\longrightarrow A$ be  an algebra map where $\alpha^2=\alpha$. We then have the  non-unital Hom-associative algebra $(A_{\alpha}, \mu_{\alpha}, \alpha)$ of Example \ref{twist}.

Letting ${\cal A}:=A_\alpha$, we define the map
  \begin{equation}\label{aux-map-xi}
    \xi: C_{\lambda}^n(A)\longrightarrow C_{\lambda}^n({\cal A}), \quad \varphi\longmapsto \varphi_{\alpha}
  \end{equation}
  where
\begin{equation*}
\varphi_{\alpha}(a_0\ot\cdots\ot a_n)= \varphi(\alpha(a_0) \ot\cdots\ot \alpha(a_n)).
\end{equation*}
Then it follows from
  \begin{align*}
   \delta_i \xi\varphi(a_0 \ot\cdots\ot a_n)   &=\xi\varphi(\alpha(a_0) \ot\cdots\ot \alpha(a_i a_{i+1}) \ot\cdots\ot \alpha(a_n))\\
   &=\varphi(\alpha^2(a_0) \ot\cdots\ot \alpha^2(a_i)\alpha^2( a_{i+1}) \ot\cdots\ot \alpha^2(a_n))\\
   &=\varphi(\alpha(a_0) \ot\cdots\ot \alpha(a_i)\alpha( a_{i+1}) \ot\cdots\ot \alpha(a_n))\\
   &=(\delta_i \varphi)(\alpha(a_0) \ot\cdots\ot  \alpha(a_n))\\
   &=\xi \delta_i \varphi(a_0 \ot\cdots\ot a_n)
  \end{align*}
that the map \eqref{aux-map-xi} commutes with the coboundary map of the Hochschild complex $C^\ast_{Hom}({\cal A},{\cal A}^\ast)$, and hence induces a map
\begin{equation*}
H^\ast(A, A^\ast)\longrightarrow H^\ast_{Hom}({\cal A},{\cal A}^\ast).
\end{equation*}
We note similarly that
  \begin{align*}
    \varphi_{\alpha}(a_0 \ot\cdots\ot  a_n)&= \varphi(\alpha(a_0) \ot\cdots\ot \alpha(a_n))\\
    &= (-1)^n\varphi(\alpha(a_n)\otimes \alpha(a_0) \ot\cdots\ot \alpha(a_{n-1}))\\
    &=(-1)^n \varphi_{\alpha}(a_n\otimes a_0 \ot\cdots\ot a_{n-1}),
  \end{align*}
that is, \eqref{aux-map-xi} induces a map
\begin{equation*}
HC^\ast(A)\longrightarrow HC_{Hom}^\ast({\cal A})
\end{equation*}
on the level of cyclic cohomologies.
  }
\end{example}

\medskip

\textbf{Acknowledgments}:
The authors wish to thank Donald Yau for his encouragement to  investigate  the cyclic homology theory for Hom-associative algebras. We also thank Aron Gohr for the Lemma \ref{lemma-unital}. The first author thanks  the Institut des Hautes \'{E}tudes Scientifiques for its hospitality and financial support during his visit. Finally, the authors would like to thank the referee for his/her constructive comments improving the paper.

\bibliographystyle{amsplain}