Related papers: Symbolic Integration in Prime Characteristic
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
We discuss the problem of constructing a small subset of a finite field containing primitive elements of the field. Given a finite field, $\mathbb{F}_{q^n}$, small $q$ and large $n$, we show that the set of all low degree polynomials…
In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are…
Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some of the difficulties related to ramification and small residue…
In this review paper, we present several results on central extensions of the Lie algebra of symplectic (Hamiltonian) vector fields, and compare them to similar results for the Lie algebra of (exact) divergence free vector fields. In…
The behavior of objects associated with general extended affine Lie algebras is typically distinct from their counterparts in affine Lie algebras. Our research focuses on studying characters and Cartan automorphisms, which appear in the…
An extremal element $x$ in a Lie algebra $\mathfrak{g}$ is an element for which the space $[x, [x, \mathfrak{g}]]$ is contained in the linear span of $x$. Long root elements in classical Lie algebras are examples of extremal elements. Lie…
Recently, a strong exponential character bound has been established in [3] for all elements $g \in \mathbf{G}^F$ of a finite reductive group $\mathbf{G}^F$ which satisfy the condition that the centraliser $C_{\mathbf{G}}(g)$ is contained in…
We prove that every non-trivial valuation on an infinite superrosy field of positive characteristic has divisible value group and algebraically closed residue field. In fact, we prove the following more general result. Let $K$ be a field…
We show that a generic vector field on an affine space of positive characteristic admits an invariant algebraic hypersurface. This contrast with Jouanolou's Theorem that shows that in characteristic zero the situation is completely…
Over a field of characteristic $p>2,$ the first cohomology of the 3-dimensional simple Lie algebra $\frak{sl}(2)$ with coefficients in all simple modules is determined, which implies Whitehead's first lemma is not true in prime…
We construct $p$-adic $L$-functions interpolating critical $L$-values of algebraic Hecke characters for arbitrary unramified primes $p$ and any totally imaginary field. For non-ordinary primes, the only previously known case was that of…
We study simple Lie algebras generated by extremal elements, over arbitrary fields of arbitrary characteristic. We show: (1) If the extremal geometry contains lines, then the Lie algebra admits a $5 \times 5$-grading that can be…
Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ represents a finite extension of degree $n$ of the finite field ${\mathbb{F}_{q}}$. In this article, we investigate the existence of $m$ elements in arithmetic…
The purpose of this paper is to study nonnegative self-adjoint extensions associated with singular Sturm-Liouville expressions with strictly positive minimal operators. We provide a full characterization of all possible nonnegative…
The notion of a separable extension is an important concept in Galois theory. Traditionally, this concept is introduced using the minimal polynomial and the formal derivative. In this work, we present an alternative approach to this…
Let $r,n>1$ be integers and $q$ be any prime power $q$ such that $r\mid q^n-1$. We say that the extension $\mathbb{F}_{q^n}/\mathbb{F}_q$ possesses the line property for $r$-primitive elements property if, for every…
In this paper, we introduce $\phi$-$\delta$-primary elements in a compactly generated multiplicative lattice $L$ and obtain its characterizations. We prove many of its properties and investigate the relations between these structures. By a…
Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…
We study complex Lie algebras spanned by pairs \left(Z,Y\right) of germs of a meromorphic vector field of the complex plane satisfying \left[Z,Y\right]=\delta Y for some \delta\in\ww C . This topic relates to Liouville-integrability of the…