Ax-Schanuel for the Drinfeld $j$-function
We prove an analog of the Ax-Schanuel theorem for the Drinfeld $j$-function in odd characteristic. Roughly speaking, if the graph of $\boldsymbol{j}\colon\Omega^n\rightarrow\mathbb{A}^n_{\mathbb{C}_\infty}$ and its derivatives has an atypical intersection $\mathcal{V}$ with an algebraic variety, then $\mathcal{V}$ proj...