Related papers: The Splitting Lemma in any Characteristic

Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run. Building the full type…

The issue addressed in this paper is that of testing for common breaks across or within equations of a multivariate system. Our framework is very general and allows integrated regressors and trends as well as stationary regressors. The null…

In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…

The paper develops the result of second Thomae theorem in hyperelliptic case. The main formula, called general Thomae formula, provides expressions for values at zero of the lowest non-vanishing derivatives of theta functions with singular…

We present a hypersurface singularity in positive characteristic which is defined by a purely inseparable power series, and a sequence of point blowups so that, after applying the blowups to the singularity, the same type of singularity…

This paper is a further contribution to the extensive study by a number of authors of the subalgebra lattice of a Lie algebra. It is shown that, in certain circumstances, including for all solvable algebras, for all Lie algebras over…

Numerous results on self-reciprocal polynomials over finite fields have been studied. In this paper we generalize some of these to a-self reciprocal polynomials defined in [4]. We consider some properties of the divisibility of a-reciprocal…

Abstract separation systems provide a simple general framework in which both tree-shape and high cohesion of many combinatorial structures can be expressed, and their duality proved. Applications range from tangle-type duality and tree…

We give a self-contained treatment of the theory of persistence modules indexed over the real line. We give new proofs of the standard results. Persistence diagrams are constructed using measure theory. Linear algebra lemmas are simplified…

Recently, symbolic structures were proposed as finite representations of potentially infinite first-order structures, where Linear Integer Arithmetic terms and formulas define the domain and interpretations of a structure. We generalize…

For $m\geq 2$, we study derivations on symbol algebras of degree $m$ over fields with characteristic not dividing $m$. A differential central simple algebra over a field $k$ is split by a finitely generated extension of $k$. For certain…

In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…

We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…

We establish a simple generalization for the famous theorem of Morley about trisectors in triangle with a purely synthetic proof using only angle chasing and similar triangles. Furthermore, based on the converse construction, another simple…

We study generic holomorphic families of dynamical systems presenting problems of small divisors with fixed arithmetic. We prove that we have convergence for all parameter values or divergence everywhere except for an exceptional set in the…

The integrability (solvability via an associated single-valued linear problem) of a differential equation is closely related to the singularity structure of its solutions. In particular, there is strong evidence that all integrable…

We define a generalization of the winding number of a piecewise $C^1$ cycle in the complex plane which has a geometric meaning also for points which lie on the cycle. The computation of this winding number relies on the Cauchy principal…

We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…

We discuss some examples in which symplectic monodromy (provably or conjecturally) splits off the symplectic mapping class group, hoping to illustrate different techniques and inputs to the arguments. Along the way we formulate several open…

We introduce the notion of Differential Sequences of ordinary differential equations. This is motivated by related studies based on evolution partial differential equations. We discuss the Riccati Sequence in terms of symmetry analysis,…