Related papers: Diophantine problems over tamely ramified fields
Based on the MRDP theorem, we introduce the ideas of the proof equation of a formula and universal proof equation of Peano Arithmetic (PA); and then, combining universal proof equation and G\"odel's Second Incompleteness Theorem, it is…
In this paper, we introduce and develop the concept of \emph{ramification} in a given modulus. We study some properties in relation to this concept and it's connection to some important problems in mathematics, particularly the Goldbach…
Let $p$ be a rational prime, let $F$ denote a finite, unramified extension of $\mathbb{Q}_p$, let $K$ be the completion of the maximal unramified extension of $\mathbb{Q}_p$, and let $\overline{K}$ be some fixed algebraic closure of $K$.…
We carry out an investigation of the existence of infinitely many solutions to a fractional $p$-Kirchhoff type problem with a singularity and a superlinear nonlinearity with a homogeneous Dirichlet boundary condition. Further the…
We prove that the theory of a Henselian valued field of characteristic zero, with finite ramification, and whose value group is a $Z$-group, is model-complete in the language of rings if the theory of its residue field is model-complete in…
We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several…
Let F be a non-archimedean local field of odd residual characteristic p. Let G be a (connected) reductive group that splits over a tamely ramified field extension of F. We show that a construction analogous to Yu's construction of complex…
As an application of P. Delgine's theorem (Esnault and Kerz in Acta Math. Vietnam. 37:531-562, 2012) on a finiteness of $l$-adic sheaves on a variety over a finite field, we show the finiteness of \'etale coverings of such a variety with…
We show that mixed-characteristic and equi-characteristic small deformations of 3-dimensional canonical (resp. terminal) singularities with perfect residue field of characteristic $p>5$ are canonical (resp. terminal). We discuss…
In this paper we study extension problems for torsors in positive characteristic. Let $F$ be a field of characteristic $p>0$ and $U/F$ be a unipotent algebraic group. As our first main result, we prove that every $U$-torsor defined over the…
The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in…
Using the ramification theory of tame and Kaplansky fields, we show that maximal Kaplansky fields contain maximal immediate extensions of each of their subfields. Likewise, algebraically maximal Kaplansky fields contain maximal immediate…
We give a characterizations of Ramsey ultrafilters on $\mathscr P(\omega)$ in terms of functions $f:\omega^n\to\omega$ and their ultrafilter extensions. To do this, we prove that for any partition $\mathcal P$ of $[\omega]^n$ there is a…
Let $F$ be a nonarchimedean local field, let $E$ be a Galois quadratic extension of $F$ and let $G$ be a quasisplit group defined over $F$; a conjecture by Dipendra Prasad states that the Steinberg representation of $G(E)$ is then…
Consider a smooth vector field $f\colon \mathbb{R}^n\to\mathbb{R}^n$ and a maximal solution $\gamma\colon \,]a,b[\,\to \mathbb{R}^n$ to the ordinary differential equation $x'=f(x)$. It is a well-known fact that, if $\gamma$ is bounded, then…
Given a normal $\mathbb{Q}$-Gorenstein complex variety $X$, we prove that if one spreads it out to a normal $\mathbb{Q}$-Gorenstein scheme $\mathcal{X}$ of mixed characteristic whose reduction $\mathcal{X}_p$ modulo $p$ has normal $F$-pure…
In this note, we offer a short proof of V. V. Shchigolev's result that over any field k of characteristic p>2, the T-space generated by x_1^p,x_1^px_2^p,... is finitely based, which answered a question raised by A. V. Grishin. More…
Groups associated to surfaces isogenous to a higher product of curves can be characterised by a purely group-theoretic condition, which is the existence of a so-called ramification structure. In this paper, we prove that infinitely many…
To any compact K\"ahler manifold $(X, \omega)$ one may associate a bundle of affine spaces $Z_X\rightarrow X$ called a \emph{canonical extension} of $X$. In this paper we prove that if the tangent bundle of $X$ is nef, then the total space…
We extend the classical Heisenberg uncertainty principle to a fractional $L^p$ setting by investigating a novel class of uncertainty inequalities derived from the fractional Schr\"odinger equation. In this work, we establish the existence…