Related papers: Characterization and enumeration on Lam\'e equatio…
Let $R$ be a complete discrete valuation ring with perfect residue field $k$ of positive characteristic $p$ and field of fractions $K$ of characteristic 0. In this paper we consider a $K$-1-motive $M_K$ as in [Ra] and its associated…
We introduce the concept of topological finite-determinacy for germs of analytic functions within a fixed ideal $I$, which provides a notion of topological finite-determinacy of functions with non-isolated singularities. We prove the…
We define a class of monoidal categories whose morphisms are diagrams, and which are enhancements and generalisations of the Brauer category obtained by adjoining infinitesimal braids, "coupons" and poles. Properties of these categories are…
'Skolem arithmetic' is the complete theory $T$ of the multiplicative monoid $(\mathbb{N},\cdot)$. We give a full characterization of the $\varnothing$-definable stably embedded sets of $T$, showing in particular that, up to the relation of…
We formalize the Gauss-Landau theorem, providing a unified prime factorization approach to computing the GCD and LCM of finite nonzero integer sets. Although commonly used as a heuristic or technique in elementary number theory education,…
Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…
A matrix formalism is proposed for computations based on Picard--Lefschetz theory in a 2D case. The formalism is essentially equivalent to the computation of the intersection indices necessary for the Picard--Lefschetz formula and enables…
We introduce a generalisation $LH_n$ of the ordinary Hecke algebras informed by the loop braid group $LB_n$ and the extension of the Burau representation thereto. The ordinary Hecke algebra has many remarkable arithmetic and representation…
This is a draft of a book submitted for publication by the AMS. Its theme is the remarkable interplay, accelerating in the last few decades, between topology and the theory of orderable groups, with applications in both directions. It…
In graph theory, the Szemer\'edi regularity lemma gives a decomposition of the indicator function for any graph $G$ into a structured component, a uniform part, and a small error. This result, in conjunction with a counting lemma that…
The usual product $m\cdot n$ on $\mathbb{Z}$ can be viewed as the sum of $n$ terms of an arithmetic progression whose first term is $a_{1}=m-n+1$ and whose difference is $d=2$. Generalizing this idea, we define new similar product mappings,…
For an integer $m\geq 1$, a combinatorial manifold $\widetilde{M}$ is defined to be a geometrical object $\widetilde{M}$ such that for $\forall p\in\widetilde{M}$, there is a local chart $(U_p,\phi_p)$ enable $\phi_p:U_p\to…
We consider the finite $W$-superalgebra $U(\mathfrak{g_\bbf},e)$ for a basic Lie superalgebra ${\ggg}_\bbf=(\ggg_\bbf)_\bz+(\ggg_\bbf)_\bo$ associated with a nilpotent element $e\in (\ggg_\bbf)_{\bar0}$ both over the field of complex…
In this paper we investigate using the methodology of algebraic logic, deep algebraic results to prove three new omitting types theorems for finite variable fragments of first order logic. As a sample, we show that it T is an L_n theory and…
We prove that if a closed Riemannian manifold $(M^n,g)$ has finite fundamental group and satisfies the curvature condition \begin{equation*} R_{1313} +R_{1414} +R_{2323} + R_{2424} > \tfrac{1}{2}\left(R_{1212} + R_{3434}\right)…
We study an infinite system of ordinary differential equations that models the evolution of coagulating and fragmenting clusters, which we assume to be composed of identical units. Under very mild assumptions on the coefficients we prove…
For finite sets A and B in the plane, we write A+B to denote the set of sums of the elements of A and B. In addition, we write tr(A) to denote the common number of triangles in any triangulation of the convex hull of A using the points of A…
A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…
The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study…
We show the existence of families of orthonormal, future directed bases which allow to cast every skew-symmetric endomorphism of $\mathbb{M}^{1,n}$ ($\mathrm{SkewEnd}(\mathbb{M}^{1,n})$) in a single canonical form depending on a minimal…