相关论文: On function field Mordell-Lang and Manin-Mumford

Motivated by the Shapiro Shapiro conjecture, we consider the following: given a field $k$, under what conditions must a rational function with only $k$-rational ramification points be equivalent (after post-composition with a fractional…

We present a straightforward embedding of quantified multimodal logic in simple type theory and prove its soundness and completeness. Modal operators are replaced by quantification over a type of possible worlds. We present simple…

We develop the basic formalism of complex $q$-analysis to study the solutions of second order $q$-difference equations which reduce, in the $q\rightarrow 1$ limit, to the ordinary Laplace equation in Euclidean and Minkowski space. After…

Although in general there is no meaningful concept of factorization in fields, that in free associative algebras (over a commutative field) can be extended to their respective free field (universal field of fractions) on the level of…

We prove $p$-adic versions of a classical result in arithmetic geometry stating that an irreducible subvariety of an abelian variety with dense torsion has to be the translate of a subgroup by a torsion point. We do so in the context of…

We estimate the proportion of function fields satisfying certain conditions which imply a function-field analogue of the Fontaine-Mazur conjecture. As a byproduct, we compute the fraction of abelian varieties (or even Jacobians) over a…

The purpose of this paper is to show that the reflex fields of a given CM-field is equipped with a certain combinatorial structure that has not been exploited yet. We prove three theorems using this structure; the first theorem is on the…

We formulate explicitly the necessary and sufficient conditions for the local invertibility of a field transformation involving derivative terms. Our approach is to apply the method of characteristics of differential equations, by treating…

In [7], Liu and Wang generalized the Han-Liu-Zhang cancellation formulas to the (a, b) type cancellation formulas. In this note, we prove some another (a, b) type cancellation formulas for even-dimensional Riemannian manifolds. And by…

We prove a multilinear local $T(b)$ theorem that differs from previously considered multilinear local $T(b)$ theorems in using exclusively general testing functions $b$ as opposed to a mix of general testing functions and indicator…

We show that the semi-simplicity conjecture for finitely generated fields follows from the conjunction of the semi-simplicity conjecture for finite fields and for the maximal abelian extension of the field of rational numbers.

Adjoining to the language of rings the function symbols for splitting coefficients, the function symbols for relative $p$-coordinate functions, and the division predicate for a valuation, some theories of pseudo-algebraically closed…

We extend the formalism and results on motivic integration from ["Constructible motivic functions and motivic integration", Invent. Math., Volume 173, (2008) 23-121] to mixed characteristic discretely valued Henselian fields with bounded…

An alternative characterization of Minkowski--Lyapunov functions is derived. The derived characterization enables a computationally efficient utilization of Minkowski--Lyapunov functions in arbitrary finite dimensions. Due to intrinsic…

We give a new proof of the Hansen-Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree $n$ in the support of functions on finite fields. This…

We intend to investigate the metalogical property of 'omitting types' for a wide variety of quantifier logics (that can also be seen as multimodal logics upon identifying existential quantifiers with modalities syntactically and…

In this paper we establish the convergence case of Khintchine's theorem for affine hyperplanes in function field of positive characteristic. Along with that, we also prove a quantitative version of the same. The main technique used in the…

This article presents simple and easy proofs of the Implicit Function Theorem and the Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean space, that employ only the Intermediate Value Theorem and the…

We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory,…

Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the N\'eron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the…