On double Danielewski varieties

In this paper, we study the double Danielewski varieties which arose from the research on the classical Cancellation Problem. We describe the Makar-Limanov invariant and locally nilpotent derivations of these varieties. And in a subsequent paper we will describe the automorphisms groups of the varieties and verify that the varieties are counterexamples to the Cancellation Problem.