(As suggested by Tobias, I shall indicate that I will write "IQHE" for "Integer quantum Hall effect" and "FQHE" for "Fractional quantum Hall effect" below.)
I am a mathematical physicist (with a more math-driven mind), working in the operator algebraic aspect. From my personal viewpoint, mathematicians have already achieved a fairly comprehensive understanding of the geometry of the Integer Quantum Hall Effect (IQHE for short below) after the work of Bellissard, van Elst and Schulz-Baldes. The geometry of IQHE is encoded by a noncommutative Brillouin zone, whose noncommutativity is essential and inevitable due to impurity and defects of the crystal. Then the physical observables (edge conductance) are expressed as an index pairing between a carefully constructed finitely summable Fredholm module, and a cyclic cocycle which is a semifinite trace. I hope I did not make a mistake here.
It is unclear to me whether there is already a nice and satisfying rigorous mathematical understanding of the geometry of the Fractional Quantum Hall Effect (FQHE). Topological orders seem to be essential here. But if I were understanding correctly, topological orders aim at classifying the geometry of the real space. This makes already a huge difference as IQHE cares only about the noncommutative geometry of the momentum space. Also crucial is that FQHE is sensitive to disorder whereas IQHE is not. So I have the following doubts in mind:
Can IQHE be interpreted as a "degenerate" case of FQHE? Namely, let the interaction tend to $0$, does IQHE emerge naturally? In that case: why does disorder and weak external magnetic field lead to this degeneracy?
What is the role of topological orders in FQHE? More precisely, is there an intuitive understanding why topological orders give rise to Laughlin states?
Development in recent years claims that topological orders should be understood in terms of higher categories and tensor categories. How is FQHE understood within this new framework? (As a mathematician, and since I have quite some knowledge on higher category theory, I will be happy to look at a "mathematically clear" and "rigorous" account of the story).