\section{Introduction}\label{intro}
		\input{intro}

  \section{Preliminaries}\label{prelim}
    \input{prelim}

	\section{Proof of the Main Results}
		\input{proof}

 	\section{Corollaries}
   	\input{corollaries}

  \section{Acknowledgements}
   	\input{acknowledgements}

\subsection{The $1$-dimensional Case}

This subsection provides a description of valuations which are defined on one dimensional polytopes containing the origin in their interiors. We start with the two special cases where the valuation in question is assumed to be even and odd, respectively.
\begin{lemma}\th\label{class 1-dim even}
	If $\mu \colon \cP^1_{o} \to \R$ is an even valuation, then
		$$ \mu[-a,b] = \tfrac 1 2\, \mu[-a,a] + \tfrac 1 2\, \mu[-b,b] $$
	for all $a,b > 0$.
\end{lemma}
\begin{proof}
  Let $a,b>0$. The valuation property of $\mu$ implies
		\begin{align*}
	     \mu[-a,a] + \mu[-b,b] = \mu[-a,b] + \mu[-b,a] &\quad\textnormal{for}\quad  a \geq b,\\
			 \mu[-b,b] + \mu[-a,a] = \mu[-b,a] + \mu[-a,b] &\quad\textnormal{for}\quad  a < b.
    \end{align*}
	But since $\mu$ is even, we obtain for all $a,b > 0$ that
		$$ \mu[-a,a] + \mu[-b,b] = 2 \mu[-a,b] .$$
	The assertion of the lemma follows immediately.
\end{proof}

\begin{lemma}\th\label{class 1-dim odd}
	If $\mu \colon \cP^1_{o} \to \R$ is an odd valuation, then
		$$ \mu[-a,b] = \mu[-1,b] - \mu[-1,a]$$
	for all $a,b > 0$.
\end{lemma}
\begin{proof}
	The valuation property of $\mu$ implies
  \begin{align*}
	  \mu[-a,b] + \mu[-1,1] = \mu[-a,1] + \mu[-1,b] &\quad\textnormal{for}\quad  a,b \geq 1,\\
    \mu[-a,1] + \mu[-1,b] = \mu[-a,b] + \mu[-1,1] &\quad\textnormal{for}\quad  a \geq 1\textnormal{ and } 1 > b > 0,\\
    \mu[-1,b] + \mu[-a,1] = \mu[-1,1] + \mu[-a,b] &\quad\textnormal{for}\quad  b \geq 1\textnormal{ and } 1 > a > 0,\\
    \mu[-1,1] + \mu[-a,b] = \mu[-1,b] + \mu[-a,1] &\quad\textnormal{for}\quad  1 > a,b > 0.
  \end{align*}
	But since $\mu$ is odd, we get in all of the above cases
		$$ \mu[-a,b] = \mu[-1,b] - \mu[-1,a].$$
\end{proof}
Let $\mu:\cP_o^1\to\R$ be a valuation. As was shown in the last section, $\mu$ can be written as the sum of an even and an odd valuation. From \th\ref{class 1-dim even} and \th\ref{class 1-dim odd} we therefore obtain the following theorem.
\begin{theorem}\th\label{class 1-dim}
	If $\mu \colon \cP^1_{o} \to \R$ is a valuation, then
		$$ \mu[-a,b] = \tfrac 1 2 \mu[-a,a] + \tfrac 1 2 \mu[-b,b]
		+ \tfrac 1 2 \left( \mu[-1,b] - \mu[-b,1] \right) - \tfrac 1 2 \left( \mu[-1,a] - \mu[-a,1] \right) $$
	for all $a,b > 0$.
\end{theorem}
An immediate consequence of the last theorem is the following classification result.
\begin{corollary}
	If $\mu \colon \cP^1_{o} \to \R$ is a valuation,
	then there exist functions $F,G \colon \R_+ \to \R$ such that
		$$ \mu[-a,b] = F(a) + G(b) $$
	for all $a,b > 0$.
\end{corollary}

\subsection{The $2$-dimensional Case}

The following definition will be crucial for our derivation. Let $F \colon \R_+ \to \R$ and $\mu: \cQ^2 \to \R$ be given. We say that $F$ describes $\mu$ on $\cQ^2$ if
\begin{equation}\label{eq: class cQ2 even - statement}
		\mu[-ae_1,be_1,-ce_2,de_2] = F(ac) + F(bc) + F(ad) + F(bd)
	\end{equation}
for all $a,b,c,d > 0$. The next result shows that even valuations which are $\SLn[2]$-invariant can always be described by a function.

\begin{lemma}\th\label{class cQ2 even}
	Suppose that $\mu \colon \cQ^2 \to \R$ is an $\SLn[2]$-invariant valuation
	which is even with respect to the reflection at a coordinate hyperplane.
	Then there exists a function $F \colon \R_+ \to \R$ which describes $\mu$ on $\cQ^2$.

\end{lemma}
\begin{proof}
	Fix $a,b \in \R_+$. Recall that $\mu$ is actually even with respect to both reflections at the
	coordinate hyperplanes by the $\SLn[2]$-invariance. Then $ \nu_1[-c,d] := \mu[-ae_1,be_1,-ce_2,de_2]$ is an even valuation on $\cP^1_{o}$.
	From \th\ref{class 1-dim even} we infer that
	\begin{align*}
		\mu[-ae_1,be_1,-ce_2,de_2]
		&= \nu_1[-c,d] = \tfrac 1 2\, \nu_1[-c,c] + \tfrac 1 2\, \nu_1[-d,d] \\
		&= \tfrac 1 2\, \mu[-ae_1,be_1,-ce_2,ce_2] + \tfrac 1 2\, \mu[-ae_1,be_1,-de_2,de_2].
	\end{align*}
	If we apply a similar argument to $\nu_2[-a,b]:=\mu[-ae_1,be_1,-ce_2,ce_2]$ as well as to
	$\nu_3[-a,b]:=\mu[-ae_1,be_1,-de_2,de_2]$, then we arrive at
	\begin{eqnarray*}
		\mu[-ae_1,be_1,-ce_2,de_2] &=& \tfrac 1 4\, \mu[-ae_1,ae_1,-ce_2,ce_2] + \tfrac 1 4\, \mu[-be_1,be_1,-ce_2,ce_2] \\
			&&{}+ \tfrac 1 4\, \mu[-ae_1,ae_1,-de_2,de_2] + \tfrac 1 4\, \mu[-be_1,be_1,-de_2,de_2] .
	\end{eqnarray*}
	The $\SLn[2]$-invariance of $\mu$ now implies that
	\begin{eqnarray*}
		\mu[-ae_1,be_1,-ce_2,de_2] &=& \tfrac 1 4\, \mu[-ace_1,ace_1,-e_2,e_2] + \tfrac 1 4\, \mu[-bce_1,bce_1,-e_2,e_2] \\
			&&{}+ \tfrac 1 4\, \mu[-ade_1,ade_1,-e_2,e_2] + \tfrac 1 4\, \mu[-bde_1,bde_1,-e_2,e_2] .
	\end{eqnarray*}
	Finally, set $F(s) = \frac 1 4 \mu[-se_1,se_1,-e_2,e_2]$ for $ s \in \R_+$.
\end{proof}
For odd, upper semicontinuous, and $\SLn[2]$-invariant valuations more can be said.
\begin{lemma}\th\label{vanish cQ2 odd}
	If $\mu \colon \cQ^2 \to \R$ is an upper semicontinuous and $\SLn[2]$-invariant valuation
	which is odd with respect to the reflection at a coordinate hyperplane,
	then $\mu = 0$. In particular, the function $F = 0$ describes $\mu$ on $\cQ^2$.
\end{lemma}
\begin{proof}
	Fix $a,b\in\R_+$. Recall that $\mu$ is actually odd with respect to both reflections at the
	coordinate hyperplanes by the $\SLn[2]$-invariance. Therefore, the map $[c,d] \mapsto \mu[-ae_1,be_1,-ce_2,de_2]$
	is an odd valuation on $\cP_o^1$. By \th\ref{class 1-dim odd} we have
		$$\mu[-ae_1,be_1,-ce_2,de_2]	= \mu[-ae_1,be_1,-e_2,de_2] - \mu[-ae_1,be_1,-e_2,ce_2]. $$
	A similar argument applied to the terms on the right hand side of the last equation shows that
	\begin{eqnarray*}
		\mu[-ae_1,be_1,-ce_2,de_2]	&=& \mu[-e_1,be_1,-e_2,de_2] - \mu[-e_1,ae_1,-e_2,de_2] \\
						& & - \mu[-e_1,be_1,-e_2,ce_2] + \mu[-e_1,ae_1,-e_2,ce_2]
	\end{eqnarray*}
	for all $a,b,c,d \in \R_+$.
	For $x,y\in\R_+$ set $F(x,y) = \mu[-e_1,xe_1,-e_2,ye_2]$. Then
		$$ \mu[-ae_1,be_1,-ce_2,de_2] = F(b,d) - F(a,d) - F(b,c) + F(a,c) .$$
	From the $\SLn[2]$-invariance of $\mu$ and the fact that $\mu$ is odd with respect to reflections at
	coordinate hyperplanes we deduce the following. $F$ is antisymmetric, i.e. $F(x,y) = - F(y,x)$ for all $x,y\in\R_+$, $F(\cdot\,,1) = 0$, $F(1,\cdot) = 0$, and $F(x,1/x) = 0$ for all $x \in \R_+$. Moreover, for $a,b,c,d \in \R_+$ the quantity
		$$F(rb,d/r) - F(ra,d/r) - F(rb,c/r) + F(ra,c/r) $$
	is independent of $r\in\R_+$.
	For simplicity we will consider the function $G(x,y) = F(\exp(x),\exp(y))$ for $x,y \in \R$.
	Clearly, $G$ inherits the properties just established for $F$. Thus $G$ is antisymmetric and
		\begin{equation}\label{eq: properties G}
			G(\cdot\,,0) = 0,\qquad G(0,\cdot) = 0,\quad\textnormal{ and }\quad G(x,-x) = 0 \,\,\textnormal{ for all }x\in\R.
		\end{equation}
	Moreover, for $a,b,c,d \in \R$ the quantity
	\begin{equation}\label{eq: vanish cQ2 odd - functional equation}
	 	G(b+r, d-r) - G(a+r, d-r) - G(b+r, c-r) + G(a+r, c-r)
	 \end{equation}
	is independent of $r \in \R$.
	We have to show that $G = 0$. In order to do so,
	let $k,l \in \mathbb{N}_0$ and $x \in \R$.
	Since the function in \eqref{eq: vanish cQ2 odd - functional equation} is independent of $r$,
	the choice $a = 0$, $b = kx$, $c = 0$, $d = lx$ for $r = 0$ and $r = -x$, respectively, shows
	with the aid of \eqref{eq: properties G} that
	\begin{equation}\label{eq: vanish cQ2 odd - induction first equation}
		G(kx,lx) = G \left( (k-1)x, (l+1)x \right) - G \left( -x, (l+1)x \right) - G \left( (k-1)x, x \right).
	\end{equation}
	Similarly, set $a = 0$, $b = kx$, $c = 0$, $d = -lx$ for $r = 0$ and $r = -x$, respectively, to get
	\begin{equation}\label{eq: vanish cQ2 odd - induction second equation}
		G(kx,-lx) = G \left( (k-1)x, -(l-1)x \right) - G \left( -x, -(l-1)x \right) - G \left( (k-1)x, x \right).
	\end{equation}
	We will simultaneously prove $G(kx,lx) = 0$ and $G(kx,-lx) = 0$ for all $k,l \in \mathbb{N}_0$ and each $x \in \R$ by induction over $m = \max(k,l)$.
	For $m=0,1$ this is a direct consequence of \eqref{eq: properties G} and the antisymmetry of $G$.
	Let $m \geq 2$.
	Since $G$ is antisymmetric we can assume without loss of generality that $l \leq k$.
	We have to treat several different cases for $l$.
	If $l = 0$ or $l = k$, then the induction statement again follows from \eqref{eq: properties G} and the antisymmetry of $G$.
	For $l \in \{1,\ldots,k-1\}$ we first take a glance at \eqref{eq: vanish cQ2 odd - induction second equation}.
	Then we can use the induction hypothesis to see that $G(kx,-lx) = 0$.
	Next, we have a look at \eqref{eq: vanish cQ2 odd - induction first equation}.
	For $l = k-1$ we use the induction hypothesis and what we already have shown to get
		$$ G(kx,(k-1)x) = G \left( (k-1)x, kx \right) .$$
	By the antisymmetry of $G$ again, we obtain $G(kx,(k-1)x) = 0$.
	For $l \in \{1,\ldots,k-2\}$, the induction hypothesis and \eqref{eq: vanish cQ2 odd - induction first equation}
	directly yield $G(kx,lx) = 0$. This finishes the induction. Hence, we conclude that
		\begin{equation}\label{eq: G almost zero}
			G(kx,lx) = 0 \quad\textnormal{ for all }\,\, k,l\in\mathbb{Z} \,\,\textnormal{ and }\,\, x\in\R.
		\end{equation}
	Let $y,z\in\mathbb{Q}\backslash\{0\}$. Then there exist $p,q,r,s \in \mathbb{Z}\backslash\{0\}$ with $y = p/q$ and $z = r/s$. Set $k = ps$,
	$l = qr$, and $x=1/qs$. From \eqref{eq: G almost zero} we deduce that $G(y,z)=0$. Thus $G$ vanishes on $\mathbb{Q}^2$.
	In addition, $G$ is upper semicontinuous because $\mu$ is upper semicontinuous.
	Thus $G$ must be nonnegative.
	But $G$ is also antisymmetric, so it has to vanish on $\R^2$.
\end{proof}

We need an extension of the concept that a function $F$ describes a map $\mu$ on $\cQ^2$. Let $F : \R_+ \to \R$, $k \in \R$, and $\mu \colon \cR^2 \to \R$. We say that $F$ and $k$ describe $\mu$ on $\cR^2$, if
\begin{equation}\label{eq: class cR2 - statement}
		\mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right]
		= F(ac) + F(bc) + F(ad) + F(bd) + k \left( b^{-2} - a^{-2} \right) (x+y)
	\end{equation}
for all $a,b,c,d \in \R_+$ and $x,y \in \R$ with
		\begin{equation}\label{admiss R}
			\left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right] \cap (\R \times \{0\}) = [-ae_1, be_1] .
	  \end{equation}
\begin{lemma}\th\label{class cR2}
	Suppose that $\mu \colon \cR^2 \to \R$ is a measurable $\SLn[2]$-invariant valuation.
	If $F$ describes $\mu$ on $\cQ^2$, then there
	exists a constant $k \in \R$ such that $F$ and $k$ describe $\mu$ on $\cR^2$.

\end{lemma}
\begin{proof} We denote by $A$ the set of all points $(a,b,c,d,x,y) \in \R_+^4 \times \R^2$
	for which (\ref{admiss R}) holds. Let $(a,b,c,d,x,y)\in A$.
	From the valuation property of $\mu$ we infer
	\begin{align*}
		&  \mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right]
		+  \mu \left[ -ae_1, be_1, -t \ptwo y 1, t' \ptwo y 1 \right] \\
		=& \mu \left[ -ae_1, be_1, c \ptwo x {-1}, t' \ptwo y 1 \right]
		+  \mu \left[ -ae_1, be_1, -t \ptwo y 1, d \ptwo y 1 \right]
	\end{align*}
	for sufficiently small $t,t' > 0$. By assumption there exists
	a function $F \colon \R_+ \to \R$ which satisfies \eqref{eq: class cQ2 even - statement}.
	For this $F$ the $\SLn[2]$-invariance of $\mu$ gives
	\begin{align*}
		&  \mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right]
		+  F(at') + F(bt') \\
		=& \mu \left[ -ae_1, be_1, c \ptwo x {-1}, t' \ptwo y 1 \right]
		+  F(ad) + F(bd) .
	\end{align*}
	This equality shows that the function
		$$ \mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right] - F(ad) - F(bd) $$
	does not depend on $d$.
	Similarly it follows that
		$$ \mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right] - F(ac) - F(bc) $$
	does not depend on $c$.
	Combining the last two statements we obtain that the expression
	\begin{equation}\label{eq: class cR2 - not depend}
		\mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right] - F(ac) - F(bc) - F(ad) - F(bd)
	\end{equation}
	is independent of $c$ and $d$. Fix $a,b \in \R_+$. Given $x,y \in \R$, choose sufficiently small $c$ and $d$ such that $(a,b,c,d,x,y) \in A$ and set
			$$ f(x,y) = \mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right] - F(ac) - F(bc) - F(ad) - F(bd). $$
	By what we have already shown, the function $f: \R^2 \to \R$ is well defined. Let $\phi \in \SLn[2]$ be the     map given by $\phi e_1 = e_1$ and $\phi e_2 = -y e_1 + e_2$. Note that $\phi (x,-1) = (x+y, -1)$
	and $\phi (y,1) = (0,1)$. Moreover, it follows immediately from the definition of the set $A$ that $(a,b,c,d,x,y) \in   A$ if and only if $(a,b,c,d,x+y,0) \in A$.
	By the $\SLn[2]$-invariance of $\mu$ we therefore have
	\begin{equation}\label{eq: f sln variant}
		f(x,y) = f(x+y,0) \qquad \textnormal{for all } \quad x,y \in \R.
	\end{equation}
	Moreover, if $(a,b,c,d,x,y)\in A$ then
	\begin{align*}
		&  \mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right]
		+  \mu \left[ -ae_1, be_1, -re_2, re_2 \right] \\
		=& \mu \left[ -ae_1, be_1, c \ptwo x {-1}, re_2 \right]
		+  \mu \left[ -ae_1, be_1, -re_2, d \ptwo y 1 \right]
	\end{align*}
	for sufficiently small $r > 0$.
	Relation \eqref{eq: class cQ2 even - statement} and the definition of $f$ yield
		$$ f(x,y) = f(x,0) + f(0,y) $$
	for all $x , y \in \R $. Set $g(x) = f(x,0)$. By \eqref{eq: f sln variant} we get
		$$ g(x+y) = g(x) + g(y) $$
	for all $x , y \in \R $. This is Cauchy's functional equation. Recall that the only measurable solutions of Cauchy's 		functional equation are the linear ones.
	Since the measurability of $\mu$ implies the measurability of $g$, it follows that $g$ has to be linear.
	Thus there exists a $\nu \colon \cP^1_{o} \to \R$ such that for $(a,b,c,d,x,y)\in A$
		\begin{equation}\label{eq: representation mu}
			\mu \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right]
			= F(ac) + F(bc) + F(ad) + F(bd) + \nu[-a,b] (x+y) .
		\end{equation}
	Since $\mu$ is a valuation, it is easy to verify that $\nu$ is also a valuation.
	For $r > 0$ and suitably small $t,t' > 0$, the $\SLn[2]$-invariance of $\mu$ implies that
		\begin{eqnarray*}
			\mu \left[ -rae_1, rbe_1, t \ptwo x {-1}, t' \ptwo y 1 \right]
			&=&  \mu \left[ -ae_1, be_1, t \ptwo {\frac x r} {-r}, t' \ptwo {\frac y r} r \right]\\
			&=&  \mu \left[ -ae_1, be_1, rt \ptwo {\frac x {r^2}} {-1}, rt' \ptwo {\frac y {r^2}} 1 \right].
		\end{eqnarray*}
	This and \eqref{eq: representation mu} show that $\nu$ is positively homogeneous of degree $-2$.
	The $\SLn[2]$-invariance of $\mu$ also implies that $\nu$ is odd.
	By \th\ref{class 1-dim odd} there exists a function $G : \R_+ \to \R$ with
		\begin{equation}\label{eq: nu g} \nu[-a,b] = G(b) - G(a) .\end{equation}
	and $G(1) = 0$. The homogeneity of $\nu$ implies that
	\begin{align*}
		G(rb) - G(ra) &= \nu[-ra,rb] = r^{-2} \nu[-a,b] = r^{-2} G(b) - r^{-2} G(a)
	\end{align*}
	for all $a,b,r \in \R_+$.	Now take $a = 1$ in order to arrive at
		$$ G(rb) = r^{-2} G(b) + G(r) .$$
	By symmetry we also have
		$$ G(rb) = b^{-2} G(r) + G(b) $$
	for all $b,r \in \R_+$. Combining these two equations leads to

		$$r^{-2} G(b) + G(r) = b^{-2} G(r) + G(b) . $$
	for all $b,r \in \R_+$. Choose $b=\sqrt{2}$. An elementary calculation shows that
		$$ G(r) = 2(1- r^{-2})G(\sqrt{2})$$
	for all $r \in \R_+$.
	It follows from \eqref{eq: nu g} that there exists a constant $k \in \R$ such that
		$$ \nu[-a,b] = k \left( b^{-2} - a^{-2} \right) .$$
\end{proof}
The next lemma provides an explicit description of the function $F$ from \th\ref{class cR2}.
\begin{lemma}\th\label{class cR2 improved}
	Suppose that $\mu \colon \cR^2 \to \R$ is a measurable $\SLn[2]$-invariant valuation
	and let $F \colon \R_+ \to \R$ and $k\in\R$ describe $\mu$ on $\cR^2$.
	Then there exist constants $c_1, c_2, c_3 \in \R$ such that
		$$ F(r) = \frac {c_1} r + c_2 + c_3 r $$
	for all $r > 0$, where $c_1 = -2k$.
\end{lemma}
\begin{proof}
	For $a,b,r,s\in\R_+$ consider the convex polytope
		$$ S = \left[ -r e_1, -s e_2, \ptwo a b \right] .$$
	Observe that $S$ can be rewritten as
		$$ S = \left[ -r e_1, \frac {sa} {s+b} e_1, s \ptwo 0 {-1}, b \ptwo {\frac a b} 1\right]\quad\textnormal{and}\quad S = \left[ -s e_2, \frac {rb} {r+a} e_2, a         \ptwo 1 {\frac b a}, r \ptwo {-1} 0 \right] .$$
	Using the $\SLn[2]$-invariance of $\mu$ and \eqref{eq: class cR2 - statement}
	we can therefore calculate $\mu(S)$ in two different ways, namely
		$$ \mu(S) = F(rs) + F \left( \frac {s^2a} {s+b} \right) + F(rb) + F \left( \frac {sab} {s+b} \right)
		+ k \left( \left( \frac {sa} {s+b} \right)^{-2} - r^{-2} \right) \frac a b $$
	and
		$$ \mu(S) = F(sa) + F \left( \frac {rab} {r+a} \right) + F(sr) + F \left( \frac {r^2b} {r+a} \right)
		+ k \left( \left( \frac {rb} {r+a} \right)^{-2} - s^{-2} \right) \frac b a .$$
	This yields the following functional equation
	\begin{align*}
		&  F \left( \frac {s^2a} {s+b} \right) + F \left( \frac {sab} {s+b} \right) - F(sa)
		+  k \left( \left( \frac {sa} {s+b} \right)^{-2} \frac a b + s^{-2} \frac b a \right) \\
		=& F \left( \frac {r^2b} {r+a} \right) + F \left( \frac {rab} {r+a} \right) - F(rb)
		+ k \left( \left( \frac {rb} {r+a} \right)^{-2} \frac b a + r^{-2} \frac a b \right)
	\end{align*}
	for all $a,b,r,s\in\R_+$. An elementary calculation shows that $r \mapsto \frac {c_1} r$ with $c_1 := -2k$ solves the 	above equation. Moreover, this functional equation is an inhomogeneous linear one. Thus, the function $G(r)=F(r)-\frac{c_1}{r}$ 		  solves
	\begin{equation*}
		  G \left( \frac {s^2a} {s+b} \right) + G \left( \frac {sab} {s+b} \right) - G(sa)
		= G \left( \frac {r^2b} {r+a} \right) + G \left( \frac {rab} {r+a} \right) - G(rb).
	\end{equation*}
	Note that the left hand side of this equation only depends on $s$, while the right hand side only depends on $r$,
	hence they must be a function depending only on $a,b$. So
	\begin{equation}\label{eq: G}
		G \left( \frac {s^2a} {s+b} \right) + G \left( \frac {sab} {s+b} \right) - G(sa) = g(a,b)
	\end{equation}
	for some $g:\R_+^2\to\R$ and all $a,b,s\in\R_+$. Now choose $s = b$ in order to arrive at
		$$ G \left( \frac {ab} 2 \right) + G \left( \frac {ab} 2 \right) - G(ab) = g(a,b) .$$
	We see that $g(a,b) = h(ab)$ for some $h \colon \R_+ \to \R$.
	Let $x,y\in\R_+$. Take $s = 1$, $a = x+y$ and $b = \frac x y$ in \eqref{eq: G} to get
		\begin{equation}\label{eq: G cauchy}
			G(y) + G(x) - G(x+y) = h \left( \frac {x(x+y)} y \right).
		\end{equation}
	Choosing $s = 1$, $a = x+y$ and $b = \frac y x$ in \eqref{eq: G} yields
		$$ G(x) + G(y) - G(x+y) = h \left( \frac {y(x+y)} x \right) .$$
	Combining the last two equations gives
		$$ h \left( \frac {x(x+y)} y \right) = h \left( \frac {y(x+y)} x \right) $$
	for all $x,y\in\R_+$. In particular, for $x\in(0,1)$ and $y = \frac {x^2} {1-x}$ we therefore have
		$$ h(1) = h \left( \frac {x^2} {(1-x)^2} \right) .$$
	Since $\lim_{x \to 0^+} \frac {x^2} {(1-x)^2} = 0$ and $\lim_{x \to 1^-} \frac {x^2} {(1-x)^2} = +\infty$,
	we infer that $h$ is constant.
	Set $c_2 = h(1)$. Then by \eqref{eq: G cauchy} the function $r \mapsto G(r) - c_2$ solves Cauchy's functional equation.
	Since $\mu$ is measurable, $G - c_2$ is measurable, too. Thus there exists a constant $c_3$ such that $G(r)=c_2+rc_3$. Finally, recall that $G(r)=F(r)-\frac{c_1}{r}$. Thus $F(r) = \frac {c_1} r + c_2 + c_3 r$.
\end{proof}
Now, we are in a position to establish \th\ref{main2} in dimension two. First, we will settle the even case. Afterwards, the odd case will be treated and finally these two results will be combined to obtain the assertion in general.
\begin{theorem}\th\label{class cP2 even}
	Suppose that $\mu \colon \cP^2_{o} \to \R$ is a measurable and $\SLn[2]$-invariant valuation
	which is even with respect to the reflection at a coordinate hyperplane.
	Then there exist constants $c_1, c_2, c_3 \in \R$ such that
		$$ \mu(P) = c_1 V_2(P^*) + c_2 + c_3 V_2(P) $$
	for all $P \in \cP^2_{o}$.
\end{theorem}
\begin{proof} Let $P\in \cR^2$ be given by
		$$ P = \left[ -ae_1, be_1, c \ptwo x {-1}, d \ptwo y 1 \right] $$
	such that $P \cap (\R\times\{0\}) = [-ae_1, be_1]$.	In this case, it readily follows that
		$$ V_2(P) = \frac12 \left( ac + bc + ad + bd\right)$$
	and
		$$ V_2(P^*) = \frac{1}{ac} + \frac{1}{bc} + \frac{1}{ad} + \frac{1}{bd}
						- \frac 12 (b^{-2} - a^{-2})(x+y).$$
	From \th\ref{class cQ2 even}, \th\ref{class cR2} and \th\ref{class cR2 improved} we therefore obtain the existence of constants $c_1,c_2,c_3\in\R$ such that
		$$\mu(P) = c_1 V_2(P^*) + c_2 + c_3 V_2(P). $$
	Since every $P\in\cR^2$ has, up to a transformation in $\SLn[2]$, a representation of the form considered above, the last equality actually holds for all $P\in\cR^2$.
	An application of \th\ref{Ludwig Extension} concludes the proof.
\end{proof}
\begin{theorem}\th\label{class cP2 odd}
	If $\mu \colon \cP^2_{o} \to \R$ is an upper semicontinuous $\SLn[2]$-invariant valuation
	which is odd with respect to the reflection at a coordinate hyperplane,
	then $\mu\equiv 0$.
\end{theorem}
\begin{proof}
	It remains to remove the invariance property with respect to reflections at coordinate hyperplanes from the last theorem.
  By \th\ref{vanish cQ2 odd} and \th\ref{class cR2} there exists a constant $k\in\R$ such that $F \equiv 0$
	and $k$ describe $\mu$ on $\cR^2$. From \th\ref{class cR2 improved} we deduce the existence of constants $c_2$ and
	$c_3$ with $-2k/r+c_2+c_3r=0$ for every $r \in \R_+$. Thus $k=c_2=c_3=0$ and hence $\mu(P) = 0$ for every
	$P\in\cR^2$. \th\ref{Ludwig Extension} implies that $\mu(P) = 0$ for every $P\in\cP_o^2$.
\end{proof}

\begin{theorem}\th\label{class cP2}
	If $\mu \colon \cP^2_{o} \to \R$ is an upper semicontinuous and $\SLn[2]$-invariant valuation,
	then there exist constants $c_1, c_2, c_3 \in \R$ such that
		$$ \mu(P) = c_1 + c_2 V_2(P) + c_3 V_2(P^*) $$
	for all $P \in \cP^2_{o}$.
\end{theorem}
\begin{proof}
	Write $\mu = \mu_+ + \mu_-$, where $\mu_+$ and $\mu_-$ are even and odd with respect to
	the reflection at a coordinate hyperplane, respectively. It follows directly from the definition of
	$\mu_+$ and $\mu_-$ that both are $\SLn[2]$-invariant valuations. Moreover, since $\mu$ is upper semicontinuous,
	it is measurable and hence $\mu_+$ and $\mu_-$ are also measurable.
	\th\ref{class cP2 even} implies in particular that $\mu_+$ is continuous.
	Being the difference of an upper semicontinuous and a continuous map, $\mu_-$ is upper semicontinuous.
	The desired result is now a direct consequence of \thref{class cP2 even} and \thref{class cP2 odd}.
\end{proof}
\subsection{The $n$-dimensional Case}
The next result reveals that an $\SLn$-invariant valuation which vanishes on doublepyramids, actually vanishes on $\cR^n$.
\begin{lemma}\th\label{vanish cRn}
	Let $n \geq 3$. If $\mu \colon \cR^n \to \R$ is a measurable $\SLn$-invariant valuation such that
		\begin{equation}\label{eq: mu vanish}
			\mu[P,-ae_n,be_n] = 0 \qquad \textnormal{ for all } P \in \cP_o^{n-1} \textnormal{ and } a,b \in \R_+,
		\end{equation}
	i.e. it vanishes on $\cQ^n(x_n)$, then $\mu$ vanishes on $\cR^n$.
\end{lemma}
\begin{proof}
	We denote by $A$ the set of all $(P,c,d,x,y) \in
	\cP_o^{n-1}\times\R_+^2 \times \R^{2(n-1)}$
	for which
		\begin{equation}\label{admiss R ndim}
			\left[ P, c \ptwo x {-1}, d \ptwo y 1 \right] \cap e_n^{\bot} = P \times \{0\}
		\end{equation}
	holds. Let $(P,c,d,x,y) \in A$.
	From the valuation property of $\mu$ we infer
	\begin{align*}
		&  \mu \left[ P, c \ptwo x {-1}, d \ptwo y 1 \right] + \mu \left[ P, -t \ptwo y 1, t' \ptwo y 1 \right] \\
		={}& \mu \left[ P, c \ptwo x {-1}, t' \ptwo y 1 \right] + \mu \left[ P, -t \ptwo y 1, d \ptwo y 1 \right]
	\end{align*}
	for suitably small $t,t' > 0$.
	Because $\mu$ is $\SLn$-invariant and vanishes on $\cQ^n(x_n)$, we have
		$$ \mu \left[ P, c \ptwo x {-1}, d \ptwo y 1 \right] = \mu \left[ P, c \ptwo x {-1}, t' \ptwo y 1 \right]. $$
	This shows that the quantity
	\begin{equation*}
		\mu \left[ P, c \ptwo x {-1}, d \ptwo y 1 \right]
	\end{equation*}
	does not depend on $d \in \R_+$.
	Similarly we see that it does not depend on $c \in \R_+$ either.
	Fix $P\in\cP_o^{n-1}$. Given $x,y \in \R^{n-1}$, choose sufficiently small $c$ and $d$ such that $(P,c,d,x,y) \in A$ and set
		$$ f(x,y) = \mu \left[ P, c \ptwo x {-1}, d \ptwo y 1 \right] .$$
	By what we have shown before, the function $f: \R^{2(n-1)} \to \R$ is well defined. Let $\phi \in \SLn$ be the
	map given by
		$$\phi e_n = -y_1e_1 - \cdots  -y_{n-1}e_{n-1}+e_n, \quad \phi e_i = e_i \textnormal{ for } 1\leq i\leq n-1 .$$
	Note that $\phi (x,-1) = (x+y, -1)$
	and $\phi (y,1) = (0,1)$. Moreover, it follows immediately from the definition of the set $A$ that $(P,c,d,x,y) \in   A$
	if and only if $(P,c,d,x+y,0) \in A$.
	By the $\SLn$-invariance of $\mu$ we therefore have
	\begin{equation}\label{eq: f sln variant n-dim}
		f(x,y) = f(x+y,0) \qquad \textnormal{for all } \quad x,y \in \R^{n-1}.
	\end{equation}
	If $(P,c,d,x,y)\in A$, then the valuation property of $\mu$ yields
	  $$\mu \left[ P, c\ptwo x {-1}, d\ptwo y 1 \right]	+  \mu \left[ P, -r e_n, r e_n \right]
			= \mu \left[ P, c\ptwo x {-1}, r e_n \right] +  \mu \left[ P, -r e_n, d \ptwo y 1 \right]
	  $$
	for suitably small $r \in \R_+$.
	By the definition of $f$, \eqref{eq: f sln variant n-dim}, and the assumption that $\mu$ vanishes on $\cQ^n(x_n)$ we obtain
		$$ f(x+y,0) = f(x,0) + f(0,y) $$
	for all $x , y \in \R^{n-1} $. Set $g(x) = f(x,0)$. Since $f(0,y) = f(y,0)$ by \eqref{eq: f sln variant n-dim}, we have
		$$ g(x+y) = g(x) + g(y) $$
	for all $x , y \in \R^{n-1} $. This is Cauchy's functional equation. Recall that the only measurable solutions of Cauchy's 		functional equation are the linear 	 ones.
	Since the measurability of $\mu$ implies the measurability of $g$, it follows that $g$ has to be linear.
	Thus there exists a $\nu \colon \cP^{n-1}_{o} \to \R^{n-1}$ such that for $(P,c,d,x,y)\in A$
		\begin{equation}\label{eq: def nu n-dim}
		   \mu \left[ P, c\ptwo x {-1}, d\ptwo y 1 \right] = \s{\nu(P)}{x+y} .
		\end{equation}
	Since $\mu$ is a measurable valuation, it is easy to verify that $\nu$ is also a measurable valuation.
	The $\SLn$-invariance of $\mu$ implies that
		\begin{eqnarray*}
			\mu \left[ r P, c\ptwo x {-1}, d\ptwo y 1 \right]
		  &=&  \mu \left[ P, c\ptwo {r^{-1} x} {-r^{n-1}}, d \ptwo {r^{-1} y} {r^{n-1}} \right]\\
		  &=&  \mu \left[ P, r^{n-1} c \ptwo {r^{-n} x} {-1}, r^{n-1} d \ptwo {r^{-n} y} 1 \right]
		\end{eqnarray*}
	for all $r \in \R_+$, each $x,y \in \R^{n-1}$ and sufficiently small $c,d \in \R_+$.
	From \eqref{eq: def nu n-dim} we deduce that $\nu$ is $(-n)$-homogeneous.
	Moreover, the $\SLn$-invariance of $\mu$ also implies that $\nu(\phi P) = \phi^{-t} \nu(P)$ for all
	$\phi \in \SLn[n-1]$. Consequently,
	\begin{equation}\label{eq: nu sln contravariant}
		\nu(\phi P) = |\det \phi^{-t}| \phi^{-t} \nu (P)
	\end{equation}
	for all $P \in \cP_o^{n-1}$ and each $\phi \in \GLn[n-1]$ with positive determinant. For a map $\phi \in \GLn[n-1]$ denote by $\hat{\phi} \in \GLn[n]$ the extension given by $\hat{\phi}|_{\R^{n-1}}=\phi$ and $\hat{\phi}e_n= -e_n$. Let $\psi \in \GLn[n-1]$
	be defined by $\psi e_1 = -e_1$ and $\psi e_i = e_i$ for $2 \leq i \leq n-1$. Choose $x=o$ and $y=e_1$.
	Then \eqref{eq: def nu n-dim} and the $\SLn$-invariance of $\mu$ with respect to $\hat{\psi}$ imply for the first component of $\nu$
	that $\nu_1 (\psi P)=- \nu_1 (P)$.
	Suppose that $\phi \in \GLn[n-1]$ has negative determinant. Then $\psi \phi $ has positive determinant and by
	\eqref{eq: nu sln contravariant} we obtain
		$$ \nu_1 (\phi P) = - \nu_1(\psi \phi P) = - |\det \phi^{-t}| \left( \psi \phi^{-t} \nu (P) \right)_1 =
		   |\det \phi^{-t}| \left( \phi^{-t}\nu (P) \right)_1. $$
	Similarly, the last relation holds for the other components of $\nu$. Thus \eqref{eq: nu sln contravariant} holds for each
	$\phi \in \GLn[n-1]$. \th\ref{Ludwig moment} implies that $\nu = c' m^*$ for some constant $c' \in \R$.
	Let $P = [P', -e_{n-1}, e_{n-1}]$ for some $P' \in \cP^{n-2}_o$ and choose suitably small vectors $x,y \in\R^{n-1}$ with
	$x_{n-1}, y_{n-1} = 0$. On the one hand, by the $\SLn$-invariance of $\mu$ and \eqref{eq: def nu n-dim} we get for suitable
	$\tilde{x},\tilde{y} \in \R^{n-1}$
	  $$ \mu \left[ P, \ptwo x {-1}, \ptwo y 1 \right]
		   = \mu \left[ P', -e_n, e_n, \ptwo {\tilde x} 0, \ptwo {\tilde y} 0 \right]
		   = \s {\nu \left[ P', \ptwo {\tilde x} 0, \ptwo {\tilde y} 0 \right]} {o}
		   = 0 . $$
	On the other hand, we have
		$$ \mu \left[ P, \ptwo x {-1}, \ptwo y 1 \right] =
		   \mu \left[ P', -e_{n-1}, e_{n-1}, \ptwo x {-1}, \ptwo y 1 \right]
		   =  \s {\nu \left[ P', -e_{n-1}, e_{n-1} \right]} {x+y} .$$
	Therefore we arrive at
		\begin{equation}\label{eq: cm zero}
		   c' \s {m^* \left[ P', -e_{n-1}, e_{n-1} \right]} {x+y} = 0
		\end{equation}
	for all $P' \in \cP^{n-2}_{o}$ and suitably small vectors $x,y \in \R^{n-1}$ with $x_{n-1}, y_{n-1} = 0$. Now
	take
		$$P' = [-e_1, 2e_1, -e_2, e_2, \ldots, -e_{n-2}, e_{n-2}].$$
	Using \eqref{eq: polar product} repeatedly, we see that $(P')^* = [-1,1/2]\times[-1,1]\times\ldots\times[-1,1]$. Again by
	\eqref{eq: polar product} we arrive at
		$$m^* \left[ P', -e_{n-1}, e_{n-1} \right] = -\tfrac38 e_1.$$
	Relation \eqref{eq: cm zero} proves $c'=0$.
	Hence $\nu \equiv 0$ and a glance at \eqref{eq: def nu n-dim}, together with the $\SLn$-invariance of $\mu$, concludes the proof.
\end{proof}
Inductively, we will now prove \th\ref{main2} in dimensions greater or equal than three. We will thereby proceed as in the two dimensional case.
\begin{theorem}\th\label{class cPn even}
	Let $n \geq 2$.
	If $\mu \colon \cP^n_{o} \to \R$ is a measurable $\SLn$-invariant valuation
	which is even with respect to the reflection at a coordinate hyperplane,
	then there exist constants $c_1, c_2, c_3 \in \R$ such that
		$$ \mu(P) = c_1 V_n(P^*) + c_2 + c_3 V_n(P) $$
	for all $P \in \cP^n_{o}$.
\end{theorem}
\begin{proof}
	By the $\SLn$-invariance, $\mu$ is actually even with respect to each coordinate hyperplane.
	We proceed by induction on the dimension $n$. For $n = 2$, 	 the assertion is an immediate consequence
	of \th\ref{class cP2 even}. Assume that the theorem holds in dimension $n-1$. For $P\in\cP_o^{n-1}$, define
	$\nu (P)=\mu[P,-e_n,e_n]$. Clearly, $\nu$ is a measurable $\SLn[n-1]$-invariant valuation which is even with
	respect to the reflection at a coordinate hyperplane. By the induction assumption there exist constants
	$\tilde{c}_1,\tilde{c}_2,\tilde{c}_3\in\R$ such that
		$$ \nu(P) = \tilde{c}_1 V_{n-1}(P^*) + \tilde{c}_2 + \tilde{c}_3 V_{n-1}(P) $$
	for all $P \in \cP^{n-1}_{o}$. From \eqref{eq: polar product} and Fubini's theorem we obtain that
		$$ \mu[P,-e_n,e_n] = \frac{\tilde{c}_1}{2} V_{n}([P,-e_n,e_n]^*) + \tilde{c}_2 + \frac{n \tilde{c}_3}{2} V_{n}[P,-e_n,e_n]. $$
	Set $c_1 = \tilde{c}_1/2$, $c_2=\tilde{c}_2$, and $c_3=n\tilde{c}_3/2$. The map
		$$ \rho(P) = \mu(P) - c_1 V_n(P^*) - c_2 -c_3 V_n(P),\qquad P \in \cP_o^n, $$
	is a measurable $\SLn$-invariant valuation which is even with respect to the reflection at each coordinate
	hyperplane. Moreover, we know that $\rho[P,-e_n,e_n] = 0$ for all $P \in \cP_o^{n-1}$. So by the $\SLn$-invariance
	of $\rho$ we have
		\begin{equation}\label{eq: rho vanish}
			\rho[P,-ae_n,ae_n] = 0 \qquad \textnormal{ for all } P \in \cP_o^{n-1} \textnormal{ and } a \in \R_+.
		\end{equation}
	Note that, for each $P \in \cP_o^{n-1}$, the map $[-a,b] \mapsto \rho[P,-ae_n,be_n]$ is an even valuation on $\cP_o^1$. From
	\th\ref{class 1-dim even} we obtain
		$$ \rho[P,-ae_n,be_n] = \tfrac12 \rho[P,-ae_n,ae_n] + \tfrac12 \rho[P,-be_n,be_n] .$$
	By \eqref{eq: rho vanish} we therefore have $\rho[P,-ae_n,be_n] = 0$ for each $P \in \cP_o^{n-1}$ and all $a,b \in \R_+$.
	Thus \thref{vanish cRn} implies that $\rho(P) = 0$ for all $P\in\cR^n$. By \thref{Ludwig Extension} we finally get
	$\rho \equiv 0$, which immediately gives the desired result.
\end{proof}
\begin{theorem}\th\label{class cPn odd}
	Let $n \geq 2$.
	If $\mu \colon \cP^n_{o} \to \R$ is an upper semicontinuous $\SLn$-invariant valuation
	which is odd with respect to the reflection at a coordinate hyperplane,
	then $\mu\equiv 0$.
\end{theorem}
\begin{proof}
	By the $\SLn$-invariance, $\mu$ is actually odd with respect to each coordinate hyperplane.
	We proceed by induction on the dimension $n$. For $n = 2$, the assertion is an immediate consequence
	of \th\ref{class cP2 odd}. Assume that the theorem holds in dimension $n-1$. Fix $a,b \in \R_+$.
	For $P\in\cP_o^{n-1}$, define $\nu (P)=\mu[P,-ae_n,be_n]$. Clearly, $\nu$ is an upper
	semicontinuous $\SLn[n-1]$-invariant valuation which is odd with
	respect to the reflection at a coordinate hyperplane. By the induction assumption we therefore have
	$\nu \equiv 0$. Thus $\mu[P,-ae_n,be_n] = 0$ for each $P \in \cP_o^{n-1}$ and all $a,b \in \R_+$.
	\thref{vanish cRn} implies that $\mu(P) = 0$ for all $P\in\cR^n$. By \thref{Ludwig Extension} we finally get
	$\mu \equiv 0$.
\end{proof}
As in the two dimensional case, one can combine the last two theorems in order to obtain the desired result.
\begin{theorem}\th\label{class cPn}
	Let $n \geq 2$.
	If $\mu \colon \cP^n_{o} \to \R$ is an upper semicontinuous $\SLn$-invariant valuation,
	then there exist constants $c_1, c_2, c_3 \in \R$ such that
		$$ \mu(P) = c_1 +c_2V_n(P)+ c_3 V_n(P^*) $$
	for all $P \in \cP^n_{o}$.
\end{theorem}
Thus, we proved \th\ref{main2} in all dimensions greater or equal than two. Finally, let us show how this result implies \th\ref{main1}.

\vspace{0.4cm}
\noindent\emph{Proof of \th\ref{main1}.} Suppose that $\mu:\cK_o^n \to \R$
is an upper semicontinuous and $\SLn$-invariant valuation. By \th\ref{main2}, there exist constants
$c_0,c_1,c_2\in\R$ such that
 $$\nu(K):= \mu(K) - c_0 V_0(K) - c_1 V_n(K) - c_2 V_n(K^*)$$
vanishes on $\cP_o^n$. Moreover, $\nu$ is an upper semicontinuous and $\SLn$-invariant valuation. From
\th\ref{Ludwig Reitzner Orlicz} we infer that there exists a function $\varphi\in\textnormal{Conc}(\R_+)$ such that
$\nu (K)=\Omega_{\varphi} (K)$ for all $K\in\cK_o^n$. The definition of $\nu$ concludes the proof of \th\ref{main1}. \qed


\section{Introduction}
\label{introduction}

\begin{convention*}\label{notation130604a}
In this paper, rings are commutative, noetherian, and local
with identity.
A ring is ``complete'' when it is complete with respect to its maximal ideal.
In the entire paper, $(R, \ideal{m}, k)$, $(S,\ideal{n}, \ell)$, and $(T,\ideal{r}, v)$ are local rings
where $S$ and $T$ are complete. When it is convenient, $\varphi\colon R\to S$ and $\sigma\colon S\to T$ will denote local ring
homomorphisms.
\end{convention*}

Over forty years ago, Andr\'{e}~\cite{An1, An2} and Quillen~\cite{Q}
introduced a homology theory for commutative algebras that
is known as Andr\'{e}-Quillen (or cotangent)
homology. The $n$-th Andr\'{e}-Quillen homology of the
$R$-algebra $S$ with coefficients in an $S$-module $N$, denoted $\operatorname{D}_n(S\mid R,N)$,
is the $n$-th
homology module of $\mathcal{L_{\varphi}}\otimes_S N$, where
$\mathcal{L_{\varphi}}$ is the cotangent complex of $\varphi$,
uniquely defined in the derived category of the category of $S$-modules.
The vanishing of Andr\'{e}-Quillen homology characterizes
important classes of rings and ring homomorphisms; see, e.g.,
\cite{An1,An3,Av,AHS,AI2,AI1,Q}.

To study the relation between the vanishing of Andr\'{e}-Quillen homology
and the structure of a local ring homomorphism $\varphi$, Avramov and Iyengar~\cite{AI2}
introduced the notion of Andr\'{e}-Quillen dimension of the $R$-algebra $S$, denoted $\operatorname{AQ-dim}_RS$, that is
$$
\operatorname{AQ-dim}_RS:=\sup\{n\in \mathbb{N}\mid \operatorname{D}_n(S\mid R,-)\neq 0\};
$$
in particular, $\operatorname{AQ-dim}_{R} S=-\infty$ if and only if
$\operatorname{D}_n(S\mid R,-)=0$ for all integers $n$.

Andr\'{e}~\cite{An2} and Avramov~\cite{Av} described structure of algebras of Andr\'{e}-Quillen dimension at most 2. Hence, a natural question that one may ask in general is whether there exists a way to determine the structure of algebras of finite Andr\'{e}-Quillen dimension. The only known method of generating this type of algebra has been given in~\cite[Example 2.5]{AI1}, so the question is whether all of these algebras can be obtained using this method. This leads us to the following problem posed by Avramov and Iyengar~\cite[Problem 2.8]{AI1}:

\begin{problem}\label{question130612a}
Assume that $R$ is complete and $\varphi$ is surjective.
If $\operatorname{AQ-dim}_RS<\infty$, does there exist a surjective local homomorphism $\psi\colon Q\to R$ such that
$\ker(\varphi\psi)$ is generated by a $Q$-regular sequence?
\end{problem}

It is worth noting that an affirmative answer to this problem implies the validity of the following conjecture of Quillen~\cite[(5.6)]{Q}; see~\cite[Remark 2.3, Theorem 2.6]{AI1}.

\begin{conj}\label{conj130628a}
If $S$ is an $R$-algebra with $\operatorname{AQ-dim}_R S<\!\infty$, then $\operatorname{AQ-dim}_R S\leq\! 2$.
\end{conj}

In this paper, we investigate the relation between the vanishing
of Andr\'{e}-Quillen homology and complete intersection dimensions.
As the first application of this study, in Section~\ref{sec130315a} of this paper, we use a complete local ring constructed in~\cite{AGP} and show that the answer to Problem~\ref{question130612a} is negative in general; see Example~\ref{example130316a}.
To verify that this ring works, we need the following theorem which is one of our main results in this paper; see~\ref{para130611a} for the proof.

\begin{intthm}\label{thm130316b}
Assume that
$\sigma\varphi$ is complete intersection at $\ideal{r}$ and $\operatorname{D}_n(T\mid S,v)=0$ for all $n\gg 0$.
Then $\operatorname{CI*-fd}_{S} T<\infty$. In particular, $\operatorname{CI-fd}_S T<\infty$.
\end{intthm}

Section~\ref{sec130612} is devoted almost
entirely to the proof of
the next result, which extends a result of Soto~\cite[Proposition 12]{S} and of Avramov,
Henriques, and \c{S}ega~\cite[(2.1)(3)]{AHS}; see~\ref{para130611b} for the proof.

\begin{intthm}\label{thm130316c}
Assume that $\varphi$ is essentially of finite type and $\operatorname{CI-fd}_{R} S<\infty$ (e.g. $\operatorname{CI*-fd}_{R} S<\infty$). Then $\operatorname{AQ-dim}_{R} S\leq 2$ if and only if
$\operatorname{H}_1(K(\varphi))$ is a free $S$-module.
\end{intthm}

In the process of providing a solution to Problem~\ref{question130612a}, we answer part of a question posed by Foxby about the relation
between two complete intersection dimensions; see Question~\ref{question130615a}. As we explain in section~\ref{sec130612}, the proof of Theorem~\ref{thm130316c} becomes much shorter if one can give an affirmative answer to the other part of Foxby's question.

In Section~\ref{sec130314b}, we give a characterization of algebra retracts of finite Andr\'{e}-Quillen dimension with respect to complete intersection dimensions. Avramov and Iyengar~\cite[Theorem I]{AI2} showed that if $S$ is an algebra retract of $R$, then
$\operatorname{AQ-dim}_R S<\infty$ if and only if $\operatorname{AQ-dim}_R S\leq 2$, that is, $R$ and $S$ satisfy Quillen's Conjecture~\ref{conj130628a}. Theorems~\ref{thm130316b} and~\ref{thm130316c}
enable us to prove the following result that extends the result of Avramov and Iyengar; see Theorem~\ref{thm130719a} and Corollary~\ref{cor130719a} for the proof.

\begin{intthm}\label{thm130528a}
Let $S$ be an algebra retract of $R$. Then the following  are equivalent:
\begin{itemize}
\item[(i)]
$\operatorname{AQ-dim}_R S < \infty$.
\item[(ii)]
$\operatorname{AQ-dim}_R S\leq 2$.
\item[(iii)]
$\operatorname{CI*\text{-}dim}_R S<\infty$.
\item[(iv)]
$\cidim_R S<\infty$ and $\operatorname{H}_1(K(\varphi))$ is a free $S$-module.
\end{itemize}
If $\ch(k)=0$, then these conditions are equivalent to the following:
\begin{itemize}
\item[(v)]
$\operatorname{cx}_R S<\infty$.
\end{itemize}
\end{intthm}

This theorem also extends (and gives the converse of) a
result of Soto~\cite[Proposition 21]{S} and answers Soto's Problem 24 in~\cite{S} when $\ch(k)=0$.

\section{Some Background Material}
\label{background}

This section lists important foundational material for use in this paper.
We use the notations $\mu_R(M)$ and $\operatorname{edim}(R)$ for
the minimal number of generators of the $R$-module $M$ and the embedding dimension of the ring $R$, respectively.

The objects defined in the next definition are from the work of
Avramov, Foxby, and B. Herzog~\cite{AFH}.

\begin{para}

A \emph{regular  factorization of $\varphi$}
is a diagram of local ring homomorphisms
$R\xrightarrow{\dot{\varphi}} R'\xrightarrow{\varphi'} S$
such that $\varphi=\varphi'\dot{\varphi}$, the map $\dot{\varphi}$ is
flat, the closed fibre $R'/\ideal{m} R'$ is regular, and $\varphi'$ is surjective.
A \emph{Cohen factorization of $\varphi$} is a regular factorization
$R\xrightarrow{\dot{\varphi}} R'\xrightarrow{\varphi'} S$ of $\varphi$ such that $R'$ is complete.
Since we assumed that $S$ is complete, existence of a Cohen factorization of $\varphi$ is
guaranteed by~\cite[Theorem (1.1)]{AFH}.
\end{para}

\begin{para}
The local ring homomorphism $\varphi$ is called \emph{complete intersection
at $\ideal{n}$} if in a given Cohen factorization $R\to R'\xrightarrow{\varphi'} S$ of
$\varphi$ the ideal $\ker(\varphi')$ is generated by an $R'$-regular sequence.
The complete intersection property for $\varphi$ is independent of the choice of Cohen factorization
by~\cite[Remark (3.3)]{Av}.
\end{para}

We proceed with introducing different types of complete intersection dimensions. The first three of them were defined by Avramov, Gasharov, and Peeva~\cite{AGP}, Takahashi~\cite{RT}, and
Sather-Wagstaff~\cite{SSW1}, respectively.

\begin{para}\label{fact130625a}
Fix a finitely generated $R$-module $M$ and an arbitrary $R$-module $N$.
Define
\begin{align*}
\cidim_R M
&:=\inf\left\{\pd_Q(R'\otimes_R M)-\pd_Q(R')\left| \text{
\begin{tabular}{@{}c@{}}
$R\to R'\leftarrow Q$ is a \\ quasi-deformation
\end{tabular}
}\!\!\!\right. \right\}\\
\operatorname{CI*\text{-}dim}_R M
&:=\inf\left\{\pd_Q(R'\otimes_R M)-\pd_Q(R')\left| \text{
\begin{tabular}{@{}c@{}}
$R\to R'\leftarrow Q$ is an \\ upper quasi-deformation
\end{tabular}
}\!\!\!\right. \right\}\\
\operatorname{CI-fd}_R N
&:=\inf\left\{\operatorname{fd}_Q(R'\otimes_R N)-\pd_Q(R')\left| \text{
\begin{tabular}{@{}c@{}}
$R\to R'\leftarrow Q$ is a \\ quasi-deformation
\end{tabular}
}\!\!\!\right. \right\}\\
\operatorname{CI*-fd}_R N
&:=\inf\left\{\operatorname{fd}_Q(R'\otimes_R N)-\pd_Q(R')\left| \text{
\begin{tabular}{@{}c@{}}
$R\to R'\leftarrow Q$ is an \\ upper quasi-deformation
\end{tabular}
}\!\!\!\right. \right\}.
\end{align*}
Recall that a diagram $R\to R'\leftarrow Q$ of local ring homomorphisms is a \emph{quasi-deformation of $R$} if $R\to R'$ is
flat and $R'\xleftarrow{}Q$ is surjective with kernel
generated by a $Q$-regular sequence. An \emph{upper quasi-deformation of $R$} is a quasi deformation $R\to R'\leftarrow Q$ of $R$
in which $R\to R'$ has regular closed fibre.

From the definitions we easily conclude that $\cidim_R M\leq \operatorname{CI*\text{-}dim}_R M$ and $\operatorname{CI-fd}_R N\leq \operatorname{CI*-fd}_R N$.

Given an upper quasi-deformation $R\to R'\leftarrow Q$ of $R$, it is well-known that the quantities $\pd_Q(R'\otimes_R M)$ and $\operatorname{fd}_Q(R'\otimes_R M)$ are simultaneously finite. From this, it follows that $\operatorname{CI*\text{-}dim}_R M<\infty$ if and only if $\operatorname{CI*-fd}_R M<\infty$.
\end{para}

\begin{para}
Here, we recall some notions from~\cite{AI2, L}.

Let $\overline{\varphi}\colon k\to \ell$ be the induced map between the
residue fields. Then $\varphi$ is called \emph{almost
small} if the kernel of the homomorphism
$$
\Tor[\varphi]{*}{\overline{\varphi}}\ell\colon
\Tor[R]{*}k\ell\to \Tor[S]{*}\ell\ell
$$
of graded algebras is
generated by elements of degree 1.
Assuming $k=\ell$, the homomorphism $\varphi$
is called \emph{large} if $\Tor[\varphi]{*}{\overline{\varphi}}k$ is surjective.
\end{para}

\begin{para}\label{para130711a}
For details on this definition we refer the reader to~\cite[\S 7.2]{A} and~\cite{W}.

Let $R\xrightarrow{\dot{\varphi}} R'\xrightarrow{\varphi'} S$
be a Cohen factorization of
$\varphi$. Let $R'[Y]$ denote a differential graded $R'$-algebra (DG $R'$-algebra for short;
see~\cite[\S 1.3]{A} for background on this) whose underlying algebra $R'[Y]^{\natural}$
is a tensor product of symmetric algebras of free
modules with basis $Y_n$ when $n\geq 0$ is even and exterior algebras
of free modules with basis $Y_n$ when $n\geq 1$ is odd. The DG algebra $R'[Y]$ is called a \emph{minimal model of $S$ over
$R'$} if $Y=Y_{\geq 1}$ and $\operatorname{H}(R'[Y])\cong S$, and $\partial(Y)\subseteq \ideal{m}' R'[Y]+(Y)^2 R'[Y]$, where $\ideal{m}'$ is the maximal ideal of $R'$.

The \emph{n-th deviation of $\varphi$}, denoted $\varepsilon_n(\varphi)$, is defined to be
\[\varepsilon_n(\varphi)=
\begin{cases} \text{card($Y_1$)}-\operatorname{edim}(R'/\ideal{m} R')+\operatorname{edim}(S/\ideal{m} S)\hspace{9.2mm} \text{for $n=2$};\\
\text{card($Y_{n-1}$)}\hspace{55mm}\text{for $n\geq 3$.} \end{cases}
\]
From~\cite[Proposition (3.1)]{Av} (or~\cite[Proposition 2.4]{AI2}), it follows that the
numbers $\varepsilon_n(\varphi)$ are invariants of $\varphi$.
\end{para}

The next definition originates with work of Gulliksen and Levin~\cite{GL}; see~\cite[\S 6]{A} for details.
It involves a different type of algebra extensions introduced by Tate~\cite{T};
see~\cite{A, GL} for details.

\begin{para}
let $A$ be a DG
$R$-algebra, and assume that $\varphi$ is surjective. Let $A\langle Y\rangle$ denote a DG $R$-algebra
obtained from $A$ by adjunctions of sets of exterior
variables of positive odd degrees and of divided power
variables of positive even degrees. Then a factorization
$R\longrightarrow R\langle
Y\rangle\stackrel{\simeq}\longrightarrow S$ of
$\varphi$ is called an
\emph{acyclic closure of $\varphi$} if $\partial(Y_1)$ minimally
generates $\ker(\varphi)$, and \{cls$(\partial(y))\mid y\in Y_{n+1}$\} is
a minimal generating set of $\operatorname{H}_n(R\langle Y_{\leq n}\rangle))$ for
all $n\geq 1$.
\end{para}

\begin{para}
Let $R\to R'\xrightarrow{\varphi'} S$ and $R\to R''\xrightarrow{\varphi''} S$ be two
Cohen factorizations of $\varphi$ with
$J'=\operatorname{Ker}(\varphi')$ and $J''=\operatorname{Ker}(\varphi'')$. We may assume that
$R''=R'/I'$ and $J''=J'/I'$, where $I'$ is an ideal
generated by an $R'$-regular sequence
that extends to a minimal set of generators of $J'$. Then we have
$$
\mu_{R'}(J')-\operatorname{edim} (R'/\ideal{m} R')=\mu_{R''}(J'')-\operatorname{edim} (R''/\ideal{m} R'')=
\varepsilon_2(\varphi)-\operatorname{edim}(S/\ideal{m} S).
$$

This fact and~\cite[Corollary 1.6.13.(b)]{BH} enable us to define
the Koszul homology module of a local ring homomorphism as follows:

Let $R\to R'\xrightarrow{\varphi'} S$ be an arbitrary
Cohen factorization of $\varphi$ with
$J'=\operatorname{Ker}(\varphi')$. We define
the \emph{$n$-th Koszul homology module of $\varphi$}, denoted $\operatorname{H}_n(K(\varphi))$, by
setting $\operatorname{H}_n(K(\varphi)):=\operatorname{H}_n(K^{R'}(J'))$, in which $K^{R'}(J')$ is
the Koszul complex associated to an arbitrary set of generators
of $J'$.
\end{para}

\begin{para}
Let $M$ be a finitely generated $R$-module. The \emph{complexity of $M$
over $R$}, denoted $\operatorname{cx}_R M$,
is the number
$$
\operatorname{cx}_R M:=\inf\{d\in \mathbb{N}\mid \text{there exists}\ \gamma\in \mathbb{R}\ \text{such that}\
 \beta^R_n(M)\leq \gamma n^{d-1}\ \text{for all $n\gg 0$}\}
$$
where $\beta^R_n(M):=\rank_k(\Tor[R]nMk)$ is the $n$-th \emph{Betti number}. The \emph{Poincar\'{e} series
of $M$}, denoted $P^R_M(t)$, is defined to be $P^R_M(t):=\sum_{n\geq 0}\beta^R_n(M)t^n$.
\end{para}

\section{Theorem~\ref{thm130316b} and Problem~\ref{question130612a}}
\label{sec130315a}
This section contains the proof of Theorem~\ref{thm130316b} and
a counter-example to
Problem~\ref{question130612a} from the introduction. We start by posing the following question, which was originally asked by Foxby in his personal
communication about the relation between complete intersection dimension and complete intersection flat dimension.

\begin{question}\label{question130615a}
Let $R\xrightarrow{\dot{\varphi}} R'\xrightarrow{\varphi'} S$ be a Cohen factorization of
$\varphi$, and let $N$ be a finitely generated $S$-module. Do the following inequalities hold?
$$
\operatorname{CI*-fd}_{R} N\leq \operatorname{CI*\text{-}dim}_{R'}N\leq \operatorname{CI*-fd}_{R}N+\operatorname{edim}(R'/\ideal{m} R').
$$
\end{question}

Next lemma provides an affirmative answer to the first inequality in Question~\ref{question130615a}, while the second inequality is still open. It is worth noting that by slightly modifying the proof and using the same techniques, we can get the first inequality in the original question of Foxby.
This lemma is the key to the proof of Theorem~\ref{thm130316b}.

\begin{lem}\label{prop130607a}
Let $R\xrightarrow{\dot{\varphi}} R'\xrightarrow{\varphi'} S$ be a Cohen factorization of
$\varphi$, and let $N$ be a finitely generated $S$-module. Then $\operatorname{CI*-fd}_{R} N\leq \operatorname{CI*\text{-}dim}_{R'}N$.
\end{lem}

\begin{proof}
Assume without loss of generality that $\operatorname{CI*\text{-}dim}_{R'} N<\infty$. Then, by definition, there exists an upper quasi-deformation $R'\xrightarrow{\alpha}
R''\xleftarrow{} Q$ for which we have $\operatorname{CI*\text{-}dim}_{R'} N=\pd_{Q}(R''\otimes_{R'} N)-\pd_Q(R'')$.
Now, the third step in the next display comes from~\cite[Theorem 4.1 (F)]{AF} and the fact that $\dot{\varphi}$ and $\alpha$ are flat:
\begin{align*}
\operatorname{CI*\text{-}dim}_{R'} N&=\pd_{Q}(R''\otimes_{R'} N)-\pd_Q(R'')\\
&\geq \operatorname{fd}_{Q}(R''\otimes_{R'} N)-\pd_Q(R'')\\
&\geq\operatorname{fd}_{Q}((R''\otimes_{R'} N)\otimes_R R')-\pd_Q(R'')\\
&= \operatorname{fd}_{Q}(R''\otimes_{R} N)-\pd_Q(R'')\\
&\geq \operatorname{CI*-fd}_{R} N.
\end{align*}
Associativity and tensor cancellation give the forth step. The last step follows from the definition of $\operatorname{CI*-fd}$ and the fact that $R\xrightarrow{\alpha\dot{\varphi}} R''\xleftarrow{} Q$ is an upper quasi-deformation; see~\cite[Fact 2.2]{NS}.
\end{proof}

Next, we recall a construction used by Iyengar and
Sather-Wagstaff~\cite{IW}, essentially given by Avramov, Foxby, and B. Herzog~\cite{AFH}. We use this construction in the proof of Theorem~\ref{thm130316b}.

\begin{construction}\label{fact130607c}
Let $R\xrightarrow{\dot{\varphi}}R'\xrightarrow{\varphi'} S$ and $R'\xrightarrow{\dot{\rho}}
R''\xrightarrow{\rho'} T$
be Cohen factorizations of $\varphi$ and $\sigma\varphi'$,
respectively. Then $\rho'$ factors through the tensor
product $S'=R''\otimes_{R'}S$ and gives the following commutative
diagram of local ring homomorphisms
\[
\xymatrixrowsep{2.5pc}
\xymatrixcolsep{2.5pc}
\xymatrix{
&& R''
\ar@{->}[dr]^{\varphi''}
\ar@/^2.5pc/[ddrr]^{\rho'=\sigma'\varphi''}
\\
& R'
\ar@{->}[dr]^{\varphi'}
\ar@{->}[ur]^{\dot\rho}
&& S'
\ar@{->}[dr]^{\sigma'}
\\
R
\ar@{->}[rr]^{\varphi}
\ar@/^2.5pc/[uurr]^{\dot\rho \dot\varphi}
\ar@{->}[ur]^{\dot\varphi}
&& S
\ar@{->}[rr]^{\sigma}
\ar@{->}[ur]^{\dot\sigma}
&& T
}
\]
in which $\dot{\sigma}$ and $\varphi''$ are the natural maps to
the tensor product and the diagrams
$S\to S'\to T$,
$R\to R''\to T$, and
$R'\to R''\to S'$ are Cohen factorizations.
\end{construction}

Here is the proof of Theorem~\ref{thm130316b}.

\begin{para}[Proof of Theorem~\ref{thm130316b}]\label{para130611a}
Using the notation from Construction~\ref{fact130607c}, we get the diagram
\begin{equation}\label{eq130607a}
R''\xrightarrow{\varphi''} S'\xrightarrow{\sigma'}T
\end{equation}
of surjective local ring homomorphisms.
Since $\sigma\varphi$ is complete intersection at $\ideal{r}$, from~\cite[(1.7), (1.8)]{Av} we get that
$\sigma'\varphi''$ is complete intersection at
$\ideal{r}$. Hence, by~\cite[Corollary (4.9)]{AI2} we conclude that
$\varphi''$ is an almost small ring homomorphism. Again,
using~\cite[Lemma (1.7)]{Av} and our assumption, we have $\operatorname{D}_n(T\mid S',v)=0$
for all $n\gg 0$. From the Jacobi-Zariski exact sequence arising
from diagram~\eqref{eq130607a}, we find that $\operatorname{D}_n(S'\mid R'',v)=0$ for all $n\gg 0$.
Since $\varphi''$ is almost small, it follows from~\cite[(6.4)]{AI2}
that $\varphi''$ is complete intersection at $\ideal{r}$. Thus, $\operatorname{Ker}(\varphi'')$ is generated by an
$R''$-regular sequence.

To prove $\operatorname{CI*-fd}_{S} T<\infty$, by Lemma~\ref{prop130607a}, it
suffices to show $\operatorname{CI*\text{-}dim}_{S'} T<\infty$. For this, consider
the diagram $S'\xrightarrow{\id} S'\xleftarrow{\varphi''} R''$ of local ring homomorphisms, that is an upper quasi-deformation
by Construction~\ref{fact130607c}.
Note that $\ker(\sigma'\varphi'')$ is generated by an
$R''$-regular sequence because $\sigma'\varphi''$ is surjective and complete intersection at $\ideal{r}$.
Hence, we conclude that $\pd_{R''}(T\otimes_{S'} S')=\pd_{R''} T<\infty$. Therefore,
$\operatorname{CI*\text{-}dim}_{S'} T<\infty$, as desired. \qed
\end{para}

As our first application to Theorem~\ref{thm130316b}, we show that the answer to Problem~\ref{question130612a}
from the introduction is negative in general.
For this we use a short ring constructed in~\cite{AGP}, used also in~\cite[Theorem 4.5]{AHS}.

\begin{ex}\label{example130316a}
Let $k$ be a field with $\ch(k)\neq 2$. Consider the complete local ring
$R:=k[w,x,y,z]/I$
where the ideal $I$ is generated by the elements
$$
w^2, wx-y^2, wy-xz, wz, x^2+yz, xy, z^2.
$$
Let $a$ be the image of $x$ in
$R$, and let $S:=R/aR$. By~\cite[Theorem 4.5]{AHS} and~\cite{BMR} we have $\operatorname{D}_n(S\mid R,\ell)=0$ for all $n\geq 3$.

Consider the natural surjection
$\varphi\colon R\to S$. Suppose that there exists a surjective local ring homomorphism $\psi\colon Q\to R$
such that $\ker(\varphi\psi)$ is generated by a $Q$-regular sequence.
Then from Theorem~\ref{thm130316b} and~\ref{fact130625a},
we must have
$\operatorname{CI\text{-}dim}_{R} S<\infty$, which is a contradiction; see~\cite[Theorem 4.5]{AHS}.
\end{ex}

\section{Theorem~\ref{thm130316c}}\label{sec130612}

This section is devoted almost
entirely to the proof of Theorem~\ref{thm130316c} that extends a result of Soto~\cite[Proposition 12]{S} and of Avramov,
Henriques, and \c{S}ega~\cite[(2.1)(3)]{AHS}.

Recall that there exists a sequence $\{V_n(R)\}_{n\geq 0}$ of $k$-vector spaces associated to the local ring $R$, where $V_n(R)$ is the $n$-th component of the graded $k$-space of the indecomposable elements of the Hopf algebra with divided powers $\Tor[R]{}kk$; see~\cite{av} for details. Andr\'{e} and Quillen~\cite[19.21, 20.26, and 20.27]{An2} show that there exist isomorphisms $V_n(R)\cong \operatorname{D}_n(k\mid R, k)$ for all $n\leq \pi(R)$, where $\pi(R)=\infty$ if $k$ has characteristic 0 and $\pi(R)=2p$ if $k$ has characteristic $p$; see~\cite[(1.3) and (1.4)]{av}.

The following lemma is an
extension of~\cite[Lemma 1(2)]{R1}.

\begin{lem}\label{lem130316a}
If $\operatorname{fd}_{R}S <\infty$, then the homomorphism
$\operatorname{D}_m(S\mid R,\ell)\xrightarrow{\alpha} \operatorname{D}_m(\ell\mid R,\ell)$ is
trivial for $m=2, 4$.
\end{lem}

\begin{proof}
For each $n\geq 0$, the local ring homomorphism $\varphi$ induces the homomorphism $V_n(R)\otimes_k \ell\to V_n(S)$ as $\ell$-vector spaces; see~\cite{av}. Since $\operatorname{fd}_RS<\infty$, by~\cite[Th\'{e}or\`{e}me]{Avramov} we have $V_{2n}(R)\otimes_k \ell\to V_{2n}(S)$ is injective for all $n\geq 0$. This implies that the map
$\operatorname{D}_m(k\mid R, k)\otimes_k \ell\to \operatorname{D}_m(\ell\mid S, \ell)$ is injective for $m=2, 4$. It follows from~\cite[Lemme 3.20]{An2} that the map $\operatorname{D}_m(k\mid R, \ell)\to \operatorname{D}_m(\ell\mid S, \ell)$ is injective for $m=2, 4$. From the Jacobi-Zariski exact sequence of $R\to k\to \ell$ and the fact that $\operatorname{D}_n(\ell\mid k, \ell)=0$ for all $n\geq 2$ we conclude that $\operatorname{D}_m(k\mid R, \ell)\cong \operatorname{D}_m(\ell\mid R, \ell)$ for $m=2, 4$. Therefore, the map $\beta$ in the Jacobi-Zariski exact sequence
$$
\operatorname{D}_m(S\mid R, \ell)\xrightarrow{\alpha} \operatorname{D}_m(\ell\mid R, \ell)\xrightarrow{\beta} \operatorname{D}_m(\ell\mid S, \ell)
$$
of $R\to S\to \ell$ is injective for $m=2, 4$. This implies that $\alpha$ is trivial, as desired.
\end{proof}

In the proof of Theorem~\ref{thm130316c}, we will use the above lemma when $m=2$. The case where $m=4$ gets used in the proof of Theorem~\ref{thm130528a} in the next section.

\begin{lem}\label{prop130720a}
If $\operatorname{AQ-dim}_{R} S\leq 2$, then
$\operatorname{H}_1(K(\varphi))$ is a free $S$-module.
\end{lem}

\begin{proof}
Let $R\xrightarrow{\dot{\varphi}} R'\xrightarrow{\varphi'} S$ be a Cohen factorization of $\varphi$.
By assumption we get $\operatorname{D}_n(S\mid R,\ell)=0$ for all $n\geq 3$. Hence, $\operatorname{D}_n(S\mid R',\ell)=0$ for all $n\geq 3$ by~\cite[Lemma (1.7)]{Av}. This implies that $\operatorname{D}_n(S\mid R',-)=0$ for all $n\geq 3$. Now~\cite[Corollary 3]{BMR} implies that $\operatorname{H}_1(K(\varphi'))$ is a free $S$-module. The assertion now follows from 2.7.
\end{proof}

Here is the proof of Theorem~\ref{thm130316c}.

\begin{para}[Proof of Theorem~\ref{thm130316c}]\label{para130611b}
Assume that
$\operatorname{H}_1(K(\varphi))$ is a free $S$-module.
Since $\varphi$ is essentially of finite type, it admits a regular
factorization $R\to R[X]_{\frak M}\to S$ in which
$R[X]:=R[x_1,x_2,...,x_n]$ for some $n\geq 1$, and
$\frak M$ is
a prime ideal of $R[X]$ lying over $\ideal{m}$.

Since $\operatorname{CI-fd}_{R} S<\infty$, there is a quasi-deformation
$R\to R''\xleftarrow{\eta} Q$ of $R$ such
that $\operatorname{fd}_{Q}(S\otimes_{R} R'')<\infty$. Set $R':=R[X]_{\frak M}$,
$P:=R'\otimes_{R} R''$, $U:=S\otimes_{R} R''$, and consider the diagram
$Q\xrightarrow{\alpha} P
\xrightarrow{\beta} U$ of natural ring
homomorphisms in which $\beta$ is surjective.
Let $\frak u\in \operatorname{Spec}(U)$, and set
$\ideal{p}:=\beta^{-1}(\frak u)$ and
$\ideal{q}:=\alpha^{-1}(\ideal{p})$. Then we have the diagram
\begin{equation}\label{eq130610a}
Q_{\ideal{q}}\xrightarrow{\alpha_{\ideal{q}}}
P_{\ideal{p}}\xrightarrow{\beta_{\ideal{p}}}
U_{\frak u}
\end{equation}
of local ring homomorphisms
that gives us the
commutative diagram
$$\xymatrix{
Q_{\ideal{q}}\ar[r]^{\alpha_{\ideal{q}}} \ar[d]_{\beta_{\ideal{p}}\alpha_{\ideal{q}}} & P_{\ideal{p}}\ar[r]^{\beta_{\ideal{p}}} \ar[d]^{\beta_{\ideal{p}}} & U_{\frak u}\ar[d] \\
U_{\frak u}\ar[r]^{\id}\ar[d] & U_{\frak u}\ar[r]\ar[d] & k(\frak u)\\
k(\frak u)\ar[r]^{\id} & k(\frak u)}
$$
of local ring homomorphisms.
This diagram induces the following commutative
diagram of $k(\frak u)$-vector spaces
\begin{equation}\label{eq130610b}
\begin{split}
\xymatrix{
\operatorname{D}_3(k(\frak u)\mid U_{\frak u},k(\frak u))\ar[r]^{f} & \operatorname{D}_2(U_{\frak u}\mid P_{\ideal{p}},k(\frak u))\ar[r] & \operatorname{D}_2(k(\frak u)\mid P_{\ideal{p}},k(\frak u))\\
\operatorname{D}_3(k(\frak u)\mid U_{\frak u},k(\frak u))\ar[r]^{g}\ar@{=}[u]& \operatorname{D}_2(U_{\frak u}\mid Q_{\ideal{q}},k(\frak u))\ar[r]^{\theta}\ar[u]^{h} & \operatorname{D}_2(k(\frak u)\mid Q_{\ideal{q}},k(\frak u))\\
& \operatorname{D}_2(P_{\ideal{p}}\mid Q_{\ideal{q}},k(\frak u))\ar[u]^{\lambda}}
\end{split}\end{equation}

Since $\operatorname{fd}_{Q_{\ideal{q}}} U_{\frak u}<\infty$, it follows from Lemma~\ref{lem130316a} that
$\theta$ is trivial.

It is also straightforward to see that
$\operatorname{H}_1(K^{P_{\ideal{p}}}(\operatorname{Ker}(\beta_{\ideal{p}})))$ is a free $U_{\frak u}$-module. Thus,
from~\cite[Theorem 1]{R2} we conclude that $f$ is trivial.

Since $\operatorname{D}_n(R[X]\mid R,-)=0$ for all $n\geq 1$, we get
$\operatorname{D}_n(R'\mid R,-)=0$ for all $n\geq 1$. The
faithful flatness of $R''$ over $R$ also yields $\operatorname{D}_n(P\mid R'',-)=0$
for all $n\geq 1$.
Hence, setting $\ideal{p}'':=\ideal{p}\cap R''$, we get $\operatorname{D}_n(P_{\ideal{p}}\mid R''_{\ideal{p}''}, k(\ideal{p}))=0$ for all $n\geq 1$.

Consider the diagram $Q_{\ideal{q}}\xrightarrow{\eta_{\ideal{q}}} R''_{\ideal{p}''}\xrightarrow{}
P_{\ideal{p}}$ of local ring homomorphisms. Since $\operatorname{Ker}(\eta_{\ideal{q}})$ is generated by a $Q_{\ideal{q}}$-regular
sequence, from the Jacobi-Zariski exact sequence we get
$\operatorname{D}_n(P_{\ideal{p}}\mid Q_{\ideal{q}},k(\ideal{p}))=0$ for all $n\geq 2$. Thus,
$\lambda$ in diagram~\eqref{eq130610b} is injective. Commutativity of
diagram~\eqref{eq130610b} implies that $\operatorname{D}_2(U_{\frak u}\mid Q_{\ideal{q}},k(\frak u))=0$. Hence,
by~\cite[Proposition (1.8)]{Av} we get $\operatorname{D}_n(U_{\frak u}\mid Q_{\ideal{q}},k(\frak u))=0$
for all $n\geq 2$. Now, from the Jacobi-Zariski exact sequence of
diagram~\eqref{eq130610a} we conclude that $\operatorname{D}_n(U_{\frak u}\mid P_{\ideal{p}},k(\frak u))=0$
for all $n\geq 3$.
Since $\frak u$ was an arbitrary prime ideal of $U$,
we conclude that $\operatorname{D}_n(U\mid P,-)=0$ for all
$n\geq 3$; see~\cite{An2}. Now, faithful flatness of $R''$ over $R$ implies that
$\operatorname{D}_n(S\mid R',-)=0$ for all $n\geq 3$. Thus, from~\cite[Lemma (1.7)]{Av} we have
$\operatorname{D}_n(S\mid R,\ell)=0$ for all $n\geq 3$. Since
$\varphi$ is essentially of finite type, from~\cite[Lemma 8.7]{I} we
conclude that $\operatorname{AQ-dim}_{R} S\leq 2$.

Converse follows immediately from Lemma~\ref{prop130720a}. \qed
\end{para}

\begin{disc}
Let $R\xrightarrow{\dot{\varphi}} R'\xrightarrow{\varphi'} S$ be a Cohen factorization of $\varphi$. If either the Foxby's inequality $\cidim_{R'} S\leq \operatorname{CI-fd}_R S+\operatorname{edim}(R'/\ideal{m} R')$, or the inequality
$\operatorname{CI*\text{-}dim}_{R'} S\leq \operatorname{CI*-fd}_R S+\operatorname{edim}(R'/\ideal{m} R')$ in Question~\ref{question130615a} from Section~\ref{sec130315a} holds, then we can give a short proof to Theorem~\ref{thm130316c}. In fact, the assumption
$\operatorname{CI-fd}_R S<\infty$ (or $\operatorname{CI*-fd}_R S<\infty$) implies that $\cidim_{R'} S<\infty$. Since $\operatorname{H}_1(K^{R'}(\ker (\varphi')))$ is a free $S$-module, from \cite[Proposition 12]{S} we conclude that
$\operatorname{D}_n(S\mid R',\ell)=0$ for all $n\geq 3$. Now, the assertion follows from~\cite[Lemma (1.7)]{Av} and~\cite[Lemma 8.7]{I}.
\end{disc}

\section{Algebra retracts and Theorem~\ref{thm130528a}}\label{sec130314b}

In this section, we prove Theorem~\ref{thm130528a} as an application of Theorems~\ref{thm130316b} and~\ref{thm130316c}.

Recall that $S$ is called an \emph{algebra retract of
$R$} if there exists a local ring homomorphism $\psi\colon S\to R$ such that
$\varphi\psi=\id_S$.

We start with the next result that contains a part of Theorem~\ref{thm130528a}.

\begin{thm}\label{thm130719a}
Let $S$ be an algebra retract of $R$. Then the following  are equivalent:
\begin{itemize}
\item[(i)]
$\operatorname{AQ-dim}_R S < \infty$.
\item[(ii)]
$\operatorname{AQ-dim}_R S\leq 2$.
\item[(iii)]
$\operatorname{CI*\text{-}dim}_R S<\infty$.
\end{itemize}
If $\ch(k)=0$, then these conditions are equivalent to the following:
\begin{itemize}
\item[(iv)]
$\operatorname{cx}_R S<\infty$.
\end{itemize}
\end{thm}

\begin{proof}
(i)$\implies$(ii) follows from~\cite[Theorem I]{AI2}.
(ii)$\implies$(iii)
follows from Theorem~\ref{thm130316b} and~\ref{fact130625a}.
(iii)$\implies$(iv)
follows from~\ref{fact130625a}, and~\cite[Theorem (5.3)]{AGP1}.

(iii)$\implies$(i)
Assume that $\operatorname{CI*\text{-}dim}_R S<\infty$. Let $R\to R'\leftarrow Q$ be an upper quasi-deformation such that $\pd_Q(S\otimes_R R')<\infty$. Let $S':=S\otimes_R R'$, and let $\ell'$ be the residue field of $S'$. The vanishing of $\operatorname{D}_n(Q\mid R',-)$ for all $n\geq 2$ implies that $\operatorname{D}_n(S'\mid Q,\ell')\cong \operatorname{D}_n(S'\mid R',\ell')$ for all $n\geq 3$. Therefore, we get a commutative diagram
$$
\xymatrix{
&&\operatorname{D}_4(S'\mid Q,\ell')\ar[r]^{\alpha}& \operatorname{D}_4(\ell'\mid Q,\ell')\ar[d]\\
&&\operatorname{D}_4(S'\mid R',\ell')\ar[r]\ar[u]^{\cong}& \operatorname{D}_4(\ell'\mid R',\ell')\ar[d]^{g}\\
\operatorname{D}_5(\ell'\mid R,\ell')\ar[r]^{\gamma}&\operatorname{D}_5(\ell'\mid S,\ell')\ar[r]^{\delta}&\operatorname{D}_4(S\mid R,\ell')\ar[r]^{\beta}\ar[u]^{f}&
\operatorname{D}_4(\ell'\mid R,\ell')
}
$$
in which the bottom row is the Jacobi-Zariski exact sequence of $R\to S\to \ell'$. It follows from Lemma~\ref{lem130316a} that $\alpha=0$. Also, by flat base change $f$ is an isomorphism, and $g$ is an isomorphism by~\cite[Lemma 18]{JM}. Therefore, $\beta=0$. On the other hand, since $S$ is a retract of $R$ and $\operatorname{D}_5(\ell'\mid -,\ell')$ is a functor, $\gamma$ is surjective. This implies that $\delta=0$, and hence, $\operatorname{D}_4(S\mid R,\ell')=0$. Therefore by~\cite[Thorem I]{AI2} (see also \cite[Remark 25]{JM}) we get $\operatorname{AQ-dim}_R S<\infty$, as desired.

(iv)$\implies$(i)
Let $\psi\colon S\to R$ be local homomorphisms such
that $\varphi\psi=\id_S$.
Assume that $\ch(k)=0$ and $\operatorname{AQ-dim}_R S=\infty$. Then using the
Jacobi-Zariski exact sequence of $S\xrightarrow{\psi} R\xrightarrow{\varphi} S$,
it follows that $\psi$ is not
complete intersection at $\ideal{m}$. However, it follows from~\cite[Corollary 4.9]{AI2}
that $\psi$ is an almost small homomorphism. Hence, by~\cite[Theorem 5.6]{AI2} it
has finite weak category;
see, e.g., ~\cite[\S 5]{AI2}
for background on this. Thus, from~\cite[Theorem 5.4 (iv)]{AI2} there is an increasing sequence of
natural numbers $n_j$ such that
the sequence $\{\varepsilon_{n_j}(\psi)\}$ has exponential growth. Since $\ch(k)=0$,
it follows from the Jacobi-Zariski exact sequence of $S\to R\to S$ and~\cite[Corollary (4.3)]{Av} that
the sequence $\{\varepsilon_{n_j+1}(\varphi)\}$ also has exponential growth.

Now let
$R\langle Y\rangle\to S$ be the acyclic closure of $S$ over
$R$. Since $\varphi$ is large,
it follows from~\ref{para130711a} and~\cite[3.3.1]{AI3} that the sequence $\{\operatorname{card}(Y_{n_j})\}$
has exponential growth. By~\cite[Corollary 2.7]{AI3}, we find that
$R\langle Y\rangle$ is the minimal free resolution of $S$ over $R$.
Therefore,
$$
\beta_{n_j}^R(S)=\dim_{k}\operatorname{H}_{n_j}(R\langle
Y\rangle\otimes_{R}k)=\dim_{k}(k\langle
Y\rangle_{n_j}).
$$
It is clear that $\operatorname{card}(Y_n)\leq \dim_k(k\langle
Y\rangle_n)$. Thus the sequence $\{\beta_{n_j}^R(S)\}$ has exponential growth, which is
a contradiction. This shows that $\operatorname{AQ-dim}_R S<\infty$.
\end{proof}

The next result contains the rest of Theorem~\ref{thm130528a}.\footnote{This result has already been obtained by Soto~\cite[Proposition 23]{S}. However, we state it as a corollary of our main results. It is worth mentioning that as we see in Example~\ref{example130316a} this result does not hold in general.}

\begin{cor}\label{cor130719a}
Let $S$ be an algebra retract of $R$. Then $\operatorname{AQ-dim}_R S\leq 2$ if and only if $\cidim_R S<\infty$ and $\operatorname{H}_1(K(\varphi))$ is a free $S$-module.
\end{cor}

\begin{proof}
Proof follows from~\ref{fact130625a}, Theorem~\ref{thm130719a}, and Theorem~\ref{thm130316c}.
\end{proof}

\begin{disc}\label{disc130711a}
At this time, we do not know if the assumption $\ch(k)=0$
is necessary in Theorem~\ref{thm130528a}. However, as we will see in Proposition~\ref{cor130528b}, when we work with $R$ as an algebra retract of its trivial extension, we are able to remove this assumption. This can be done using a result of Herzog.
\end{disc}

In the rest of this section, we work with a specific algebra retract.
Recall that the \emph{trivial extension of $R$  by an $R$-module $M$}, denoted $R\ltimes M$, is the underlying  $R$-module  $R\oplus M$ equipped with a ring structure given by the multiplication rule
$(r,m)\cdot (r',m')=(rr',rm'+r'm)$.
There are ring homomorphisms $\rho\colon R\to R\ltimes M$ with $\rho(r)=(r,0)$ and $\pi\colon R\ltimes M\to R$ with $\pi(r,m)=r$.
Note that the composition $\pi\rho$ is the identity on $R$, that is, $R$ is an algebra retract of $R\ltimes M$.

\begin{lem}\label{lem130711a}
Let $M$ be a finitely generated $R$-module. Then for each non-negative integer $i$ we have $(\mu_R(M))^i\leq\beta^{R\ltimes M}_i(R)$.
\end{lem}

\begin{proof}
By~\cite[Corollary 1]{He} we have $P^{R\ltimes M}_R(t)=1+tP_R^{R\ltimes M}(t)P^R_M(t)$. Hence, by induction on $i$, there exists a sequence $\{\gamma_i\}$ of natural numbers such that $\beta^{R\ltimes M}_i(R)=\gamma_i+(\mu_R(M))^i$. Therefore, $(\mu_R(M))^i\leq\beta^{R\ltimes M}_i(R)$.
\end{proof}

The following result gives a characterization of local
rings admitting non-trivial semidualizing modules. Recall that a finitely generated $R$-module $M$ is called \emph{semidualizing} if $R\cong \Hom[R]MM$ and $\Ext[R]{i}MM=0$ for all $i>0$. For instance, every finitely generated projective $R$-module of rank 1 is
semidualizing. Also, every dualizing module is semidualizing with finite injective dimension.

\begin{prop}\label{cor130528b}
Let $M$ be a finitely generated $R$-module with $\operatorname{Ann}_R(M)=0$ (e.g., $M$ is semidualizing). Then the following conditions are equivalent:
\begin{itemize}
\item[(i)]
$M\cong R$.
\item[(ii)]
$\operatorname{AQ-dim}_{R\ltimes M}R=2$.
\item[(iii)]
$\operatorname{CI*\text{-}dim}_{R\ltimes M}R<\infty$.
\item[(iv)]
$\cidim_{R\ltimes M}R<\infty$.
\item[(v)]
$\operatorname{cx}_{R\ltimes M}R<\infty$.
\end{itemize}
If one of the above conditions holds, then $\operatorname{CI*\text{-}dim}_{R\ltimes M}R=\cidim_{R\ltimes M}R=0$ and $\operatorname{cx}_{R\ltimes M}R=1$.
\end{prop}

\begin{proof}
We  prove the implications (i)$\implies$(ii) and (v)$\implies$(i). The other implications
follow as we wrote in the proof of Theorem~\ref{thm130528a}.

(i)$\implies$(ii)
Assume that $M\cong R$.
It is straightforward to see that $\operatorname{Ker}(\pi)=(x)$, where $x$
is an exact zero divisor in the sense of~\cite{HS}, that is, $\operatorname{Ann}_{R\ltimes M}(x)\cong (R\ltimes M)/x(R\ltimes M)$. Hence,
$\operatorname{AQ-dim}_{R\ltimes M} R=2$ by~\cite[1.7, 1.9]{AHS}.

(v)$\implies$(i)
Assume that $\operatorname{cx}_{R\ltimes M} R<\infty$. Hence, the sequence of the Betti numbers of $R$ over $R\ltimes M$ has polynomial growth. Since, by Lemma~\ref{lem130711a}, for each non-negative integer $i$ we have $(\mu_R(M))^i\leq\beta^{R\ltimes M}_i(R)$,
we conclude that $\mu_R(M)=1$, which implies that $M\cong R$.

Note that when $\operatorname{CI*\text{-}dim}_{R\ltimes M}R<\infty$, then $\operatorname{CI*\text{-}dim}_{R\ltimes M}R=\cidim_{R\ltimes M}R=0$ by~\cite[Lemma 3.14]{SSW} and~\cite{RT}. Note also that when $M\cong R$, $\ker(\pi)$ is generated by an exact zero divisor $x$. Therefore, $$\cdots\xrightarrow{x} R\ltimes R\xrightarrow{x}R\ltimes R\xrightarrow{\pi} R\to 0$$
is a free resolution of $R$ over $R\ltimes R$, that is, $\operatorname{cx}_{R\ltimes R}R=1$.
\end{proof}

\begin{disc}\label{disc130707a}
Let $M$ be a semidualizing $R$-module. If $\operatorname{cx}_{R\ltimes M}R<\infty$, then by Proposition~\ref{cor130528b} we have $\operatorname{cx}_RM=0$. So, a natural question to ask is:\vspace{2mm}

\emph{Does
$\operatorname{cx}_RM<\infty$ imply that $\operatorname{cx}_{R\ltimes M}R<\infty$? In other words, does
$\operatorname{cx}_RM<\infty$ imply that $M\cong R$?\vspace{2mm}}

We do not know the answer of this question at this moment. However, if we remove the semidualizing assumption, then the answer is obviously negative; let $M$ be a free $R$-module of rank $>1$.

When $R$ is Cohen-Macaulay with dualizing module $M$, this question has been asked by Jorgensen and Leuschke~\cite{JL}. In this case, an affirmative answer to this question provides an affirmative answer to the following question of C. Huneke.\vspace{2mm}\footnote{This question has not been posed in any of Huneke's papers and is still open. One can find a different approach to this question in~\cite{BSW}.}

\emph{If $R$ is not Gorenstein, must the sequence $\{\dim_k(\Ext[R]ikR)\}$ of the Bass numbers of $R$ be unbounded?}\vspace{2mm}

In fact, if $R$ is not Gorenstein, then $\operatorname{cx}_R M=\infty$, that is, the sequence of the Betti numbers of $M$ is not bounded. Therefore, our claim follows from the fact that the $\depth(R)+i$-th Bass number of $R$ equals to the $i$-th Betti number of $M$.
\end{disc}

\section*{Acknowledgments}
We are deeply grateful to Javier Majadas for sharing implication (iii)$\implies$(i) in Theorem~\ref{thm130528a}, and for his valuable comments on the first version of this paper, and to Sean Sather-Wagstaff
for for his comments on some parts of this paper.

\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}