Here is a three-paragraph summary of the paper for an intelligent non-specialist.
The paper is concerned with a deep question in number theory about how complicated certain mathematical objects called "motives" can be. Motives are abstract algebraic structures that capture essential arithmetic and geometric information about curves and other shapes defined by polynomial equations. A key measure of this complexity is something called the Faltings height, which roughly measures how arithmetically intricate an elliptic curve (a type of smooth, looping curve with a special algebraic structure) is. The paper focuses on elliptic curves that do not have "complex multiplication," meaning they lack a certain extra symmetry, and considers families of such curves whose Faltings height grows without bound.
The central object of study is a "motivic Vojta inequality," a statement inspired by Vojta's conjectures, which are themselves a far-reaching generalization of Faltings' famous theorem that certain equations have only finitely many rational solutions. In rough terms, the inequality relates the arithmetic complexity of a motive to a quantity called the discriminant, which tracks how and where the motive "goes wrong" or ramifies. The authors work in a bounded-degree setting, meaning they restrict attention to motives of a fixed algebraic degree, and they aim to verify that the discriminant is large enough to control the height.
The key insight the authors exploit is that for non-CM elliptic curves, the j-invariant (a number that essentially classifies the shape of the curve) can have poles at certain finite places, meaning it blows up in a precise algebraic sense at specific prime numbers. This blowing-up forces enough ramification to produce the discriminant bound required by the inequality. By carefully analyzing this ramification, the authors confirm the motivic Vojta inequality for infinitely many non-CM elliptic curves, providing concrete evidence for a general conjecture posed by the mathematician Kato.