Related papers: A note on fierce ramification
Abhyankar showed that for a finite tame extension $L_1/K$ and a finite extension $L_2/K$ of $\mathfrak{P}$-adic fields, the condition $[\nu L_1 : \nu K]$ divides $[\nu L_2 : \nu K]$ is sufficient to eliminate ramification, that is, $L_1…
Suppose that $\pi \: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map)…
We establish bounds on a finite separable extension of function fields in terms of the relative class number, thus reducing the problem of classifying extensions with a fixed relative class number to a finite computation. We also solve the…
Let $E$ be an elliptic curve defined over a number field $K$ with fixed non-archimedean absolute value $v$ of split-multiplicative reduction, and let $f$ be an associated Latt\`es map. Baker proved in 2003 that the N\'eron-Tate height on…
We establish nontrivial bounds for general bilinear forms with a given periodic function, which are thought of as an analogue of van der Corput differencing for exponential sums. The proof employs Poisson summation, Cauchy-Schwarz, and the…
We investigate existence and uniqueness of bounded solutions of parabolic equations with unbounded coefficients in $M\times \mathbb R_+$, where $M$ is a complete noncompact Riemannian manifold. Under specific assumptions, we establish…
We study relative differential closure in the context of Hardy fields. Using our earlier work on algebraic differential equations over Hardy fields, this leads to a proof of a conjecture of Boshernitzan (1981): the intersection of all…
In this paper we prove that in a three-manifold with finitely many expansive ends, such that each end has a neighborhood where the curvature is bounded above by a negative constant, the Dirichlet problem at infinity is solvable, and hence…
In this paper, we prove some foundational results on the deformation theory of E-infinity ring spectra.
We prove that the uniform recurrence of morphic sequences is decidable. For this we show that the number of derived sequences of uniformly recurrent morphic sequences is bounded. As a corollary we obtain that uniformly recurrent morphic…
We consider the Gelfand problem with rapidly growing nonlinearities in the two-dimensional bounded strictly convex domains. In this paper, we prove the uniformly boundedness of finite Morse index solutions. As a result, we show that there…
In this paper we consider big Ramsey degrees of finite chains in countable ordinals. We prove that a countable ordinal has finite big Ramsey degrees if and only if it is smaller than $\omega^\omega$. Big Ramsey degrees of finite chains in…
We study the heat equation on a half-space with a linear dynamical boundary condition. Our main aim is to show that, if the diffusion coefficient tends to infinity, then the solutions converge (in a suitable sense) to solutions of the…
In Theorem 3.1 of [12], we proved a rigidity result for self-shrinkers under the integral condition on the norm of the second fundamental form. In this paper, we relax the such bound to any finite constant (see Theorem 4.4 for details).
For $B \subseteq \mathbb F_q^m$, the $n$-th affine extremal number of $B$ is the maximum cardinality of a set $A \subseteq \mathbb F_q^n$ with no subset which is affinely isomorphic to $B$. Furstenberg and Katznelson proved that for any $B…
Deligne's regularity criterion for an integrable connection $\nabla$ on a smooth complex algebraic variety $X$ says that $\nabla$ is regular along the irreducible divisors at infinity in some fixed normal compactification of $X$ if and only…
We explore the relation between various versions of Ramsey theorem and bounding schemes in model ${N}$ of a fragment of arithmetic $F$. Our goal is to recast, in a different framework, and extend some results of Hirst \cite{Hirst-1987}, see…
We study the resonant prescribed T-curvature problem on a compact 4-dimensional Riemannian manifold with boundary. We derive sharp energy and gradient estimates of the associated Euler-Lagrange functional to characterize the critical points…
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definition of branching bisimilarity with explicit divergence in…
We prove that every finite dimensional algebra over an algebraically closed field is either derived tame or derived wild. We also prove that any deformation of a derived tame algebra is derived tame.