相关论文: Symbolic Integration in Prime Characteristic

We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several…

We characterize symbolic powers of prime ideals in polynomial rings over any field in terms of $\mathbb{Z}$-linear differential operators, and of prime ideals in polynomial rings over complete discrete valuation rings with a $p$-derivation…

Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…

In this article, we give a largely self-contained proof that the quartic extension $\mathbb{F}_{q^4}$ of the finite field $\mathbb{F}_q$ contains a primitive element $\alpha $ such that the element $\alpha+\alpha^{-1}$ is also a primitive…

An explicit lattice point realization is provided for the primary components of an arbitrary binomial ideal in characteristic zero. This decomposition is derived from a characteristic-free combinatorial description of certain primary…

We prove that every place of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension F' of F. We show that F'|F can be chosen to be normal. If K is perfect and P is of rank 1, then…

Let $H$ be a finite-dimensional Hopf algebra. We study the behaviou r of primitive and maximal ideals in certain types of ring extensions determined by $H$. The main focus is on the class of faithfully flat Galois extensions, which includes…

We derive new cases of conjectures of Rubin and of Burns--Kurihara--Sano concerning derivatives of Dirichlet $L$-series at $s = 0$ in $p$-elementary extensions of number fields for arbitrary prime numbers $p$. In naturally arising examples…

All Darboux integrable difference equations on the quad-graph are described in the case of the equations that possess autonomous first-order integrals in one of the characteristics. A generalization of the discrete Liouville equation is…

We establish the existence of infinitely many \emph{polynomial} progressions in the primes; more precisely, given any integer-valued polynomials $P_1, >..., P_k \in \Z[\m]$ in one unknown $\m$ with $P_1(0) = ... = P_k(0) = 0$ and any $\eps…

The Lemma on the Logarithmic Derivative of a meromorphic function has many applications in the study of meromorphic functions and ordinary differential equations. In this paper, a difference analogue of the Logarithmic Derivative Lemma is…

We prove some Liouville properties for sub- and supersolutions of fully nonlinear degenerate elliptic equations in the whole space. Our assumptions allow the coefficients of the first order terms to be large at infinity, provided they have…

We define a variant of normal basis, called a {\em Galois scaffolding}, that allows for an easy determination of valuation, and has implications for Galois module structure. We identify fully ramified, elementary abelian extensions of local…

We prove a sufficient condition for the existence of explicit first integrals for vector fields which admit an integrating factor. This theorem recovers and extends previous results in the literature on the integrability of vector fields…

In this paper we prove some results on the possible multiplicative orders of $\alpha + \alpha^{-1}$ when $\alpha$ is a non-zero element of a finite field of characteristic 2. The results of the paper rely on a previous investigation on the…

The characteristic variety plays an important role in the analysis of the solution space of partial differential equations and exterior differential systems. This article studies the linear span of this variety, measuring its dimension via…

Liouville closed $H$-fields are ordered differential fields whose ordering and derivation interact in a natural way and where every linear differential equation of order $1$ has a nontrivial solution. (The introduction gives a precise…

The space of derivations of finite dimensional evolution algebras associated to graphs over a field with characteristic zero has been completely characterized in the literature. In this work we generalize that characterization by describing…

We investigate integration of classes of real-valued continuous functions on (0,1]. Of course difficulties arise if there is a non-$L^1$ element in the class, and the Hadamard finite part integral ({\em p.f.}) does not apply. Such singular…

We estimate the $1$-level density of low-lying zeros of $L(s,\chi)$ with $\chi$ ranging over primitive Dirichlet characters of conductor $\in [Q/2,Q]$ and for test functions whose Fourier transform is supported in $[- 2 - 50/1093, 2 +…