I teach high school physics and I'm trying to put together a correct explanation for the levitation of a superconductor above a magnet without a high level of quantum mechanics (but consistent). I have seen several explanations online and in text books. Many of them say Lenz's law is not part of the explanation for the situation. I'll propose an explanation and hopefully someone can comment on what is correct and incorrect about it.
A superconductor is sitting on top of a magnet and the superconductor is cooled below its critical temperature. The Meissner effect results in the exclusion of the external magnetic field from the superconductor.
The exclusion of the internal magnetic field creates a changing magnetic field on the surface of the superconductor which induces a current in accordance with Lenz's law (many sources I have found say that a surface current is created on the superconductor).
The induced magnetic field from the surface of the superconductor repels the magnetic field of the magnet and the superconductor rises above the magnet until the force of gravity is balanced by the magnetic repulsion.
Note: I know that flux pinning is at play to contribute to the stability of the situation but I am just interested in clearing up the basic physics of how the levitation is possible.
So, are there surface currents? Is my explanation above consistent with current understanding of the situation? If anyone knows someone who I should contact directly who could help me that would be wonderful.