Abstract:The Mukhin-Tarasov-Varchenko Theorem (previously the Shapiro Conjecture) asserts that a Schubert problem has all solutions distinct and real if the Schubert varieties involved osculate a rational normal curve at real points. This sparked interest in real osculating Schubert calculus, and computations played a large role in developing the surrounding theory. We uncover generalizations of the Mukhin-Tarasov-Varchenko Theorem, proving them when possible. We also improve the state of the art of computationally solving Schubert problems, allowing us to more effectively study ill-understood phenomena in Schubert calculus. We use supercomputers to methodically solve real osculating instances of Schubert problems. By studying over 300 million instances of over 700 Schubert problems, we amass data significant enough to reveal possible generalizations of the Mukhin-Tarasov-Varchenko Theorem and compelling enough to support our conjectures. Combining algebraic geometry and combinatorics, we prove some of these conjectures. To improve the efficiency of solving Schubert problems, we reformulate an instance of a Schubert problem as the solution set to a square system of equations in a higher-dimensional space. During our investigation, we found the number of real solutions to an instance of a symmetrically defined Schubert problem is congruent modulo four to the number of complex solutions. We prove this congruence, giving a new invariant in enumerative real algebraic geometry. We also discovered a family of Schubert problems whose number of real solutions to a real osculating instance has a lower bound depending only on the number of defining flags with real osculation points.

The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

Probabilistic Effectivity in the Subspace Theorem

A further improvement of the quantitative Subspace Theorem

On qualitative aspects of the quantitative subspace theorem

Reality and Computation in Schubert Calculus

From Subdirect Sums to Virtuality

On non-Zariski density of $(D,S)$-integral points in forward orbits and the Subspace Theorem

Around the Van Daele--Schmüdgen theorem

The legacy of Bolzano-Miranda-Poincaré intermediate value theorem

Sublinear Bilipschitz Equivalence and the Quasiisometric Classification of Solvable Lie Groups

A variational principle in the parametric geometry of numbers

Topics Surrounding The Combinatorial Anabelian Geometry Of Hyperbolic Curves Iv: Discreteness And Sections

Intersections of sets, diophantine equations and Fourier analysis

Independence of the Diophantine exponents associated with linear subspaces

On the theorem of Amitsur--Levitzki

Certain Extensions of Results of Siegel, Wilton and Hardy

Complex analogues of the Tverberg--Vrećica conjecture and central transversal theorems

Subspace Profiles over Finite Fields and $q$-Whittaker Expansions of Symmetric Functions

Perfect kernel and dynamics: from Bass-Serre theory to hyperbolic groups

A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products