Who introduced the Strong Atiyah Conjecture? 


Recall that the conjecture says the following. Let $G$ be a group, $A$ a $n\times n$-matrix over ${\mathbb Z}G$. We view $A$ as a bounded operator $l^2(G)^n\to l^2(G)^n$. Let $K$ be the kernel of that operator and $p$ be the orthogonal projection onto $K$. Let $\delta$ be the function of $l^2(G)$ which is 1 on $1\in G$, and 0 everywere else. Let $e\_i$ be the vector from $l^2(G)^n$ with $i$-th coordinate $\delta$, all other coordinates $0$, and $t\_A$ be the sum of dot products $\sum\_i \langle p(e\_i), e\_i\rangle$. The conjecture says that $t\_A$ always belongs to $\frac1g\mathbb{Z}$ where $g$ is the least common multiple of the orders of finite subgroups of $G$ (so if $G$ is torsion-free, $t\_A$ must be an integer). 



Strong Atiyah conjecture
I received a message from Thomas Schick, which answers my question. The strong 
Atiyah conjecture was introduced jointly by Lueck and Schick (this was also one of the alternatives in Wolfgang Lueck's email to me), and Thomas Schick is responsible for the super-strong one. He was a postdoc working with Wolfgang Lueck at that time. Peter Linnell came to the $l\_2$-Betti theory via Kaplansky's zero divisors conjecture (these are related) and learned about various forms of Atiyah conjectures from Wolfgang Lueck. In any case, the various forms of Atiyah's conjecture have generated a lot of interesting mathematics already and probably will generate more. 


If there are no other answers, I will then accept this one. 


