Related papers: Filtered colimit elimination from Birkhoff's varie…

A completeness theorem is proved involving a system of integro-differential equations with some $\lambda$-depending boundary conditions. Also some sufficient conditions for the root functions to form a Riesz basis are established.

A variety of groups does not contain all metabelian groups if and only if there is an absolute bound for the nilpotency classes of powerful $p$-groups in the given variety. Similarly, a variety contains only finitely many finite $p$-groups…

A result of Braverman and Gaitsgory from 1996 gives necessary and sufficient conditions for a filtered algebra to be a Poincar\'e-Birkhoff-Witt (PBW) deformation of a Koszul algebra. The main theorem in this paper establishes conditions…

The separation theorem of Kirchberger can be proven using a combination of Farkas' Lemma and Caratheodory's Theorem. Since those theorems are at the heart of oriented matroids, we are interested in a generalization of Kirchberger's Theorem…

The paper extends Birkhoff's theorem on doubly stochastic matrices to some countable families of discrete probability spaces with nonempty intersections. We join every two elements lying in the same probability space by an edge and…

Existence theorem is proven for the generating equations of the split involution constraint algebra. The structure of the general solution is established, and the characteristic arbitrariness in generating functions is described.

Schmidt's theorem is significantly generalized, to partitions in which periodic but otherwise arbitrary subsets of parts are counted or uncounted. The identification of such sets of partitions with colored partitions satisfying certain…

We consider Birkhoff sums of functions with a singularity of type 1/x over rotations and prove the following limit theorem. Let $S_N= S_N(\alpha,x)$ be the N^th non-renormalized Birkhoff sum, where $x in [0,1)$ is the initial point,…

This short note gives a positive answer to an old question in elementary probability theory that arose in Furstenberg's seminal article "Disjointness in Ergodic Theory." As a consequence, Furstenberg's filtering theorem holds without any…

In universal algebra, it is well known that varieties admitting a majority term admit several Mal'tsev-type characterizations. The main aim of this paper is to establish categorical counterparts of some of these characterizations for…

We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structure. To this end we define inductively how to build a valid…

We show that there are infinitely many distinct closed classes of colimits (in the sense of the Galois connection induced by commutation of limits and colimits in Set) which are intermediate between the class of pseudo-filtered colimits and…

Let k be an algebraically closed field of characteristic p > 0. Let H be a subgroup of GL(n,k). We are interested in the determination of the vector invariants of H. When the characteristic of k is 0, it is known that the invariants of d…

Let $A$ be abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and a certain effective horizontal divisor $\DD \subset \mathcal{A}$. We give a sufficient condition…

We improve Izumi's inequality, which states that any divisorial valuation v centered at a closed point 0 on an algebraic variety Y is controlled by the order of vanishing at 0. More precisely, as v ranges through valuations that are…

The aim of this note is to provide a variant statement of Mumford's theorem. This variant states that for a general variety, all Chow groups are "as large as possible", in the sense that they cannot be supported on a divisor.

Filter convergence of vector lattice-valued measures is considered, in order to deduce theorems of convergence for their decompositions. First the $\sigma$-additive case is studied, without particular assumptions on the filter; later the…

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

We present a self-contained proof of a strong version of van der Waerden's Theorem. By using translation invariant filters that are maximal with respect to inclusion, a simple inductive argument shows the existence of "piecewise…

In this note we compare the a-invariant of a homogeneous algebra B to the a-invariant of a subalgebra A. In particular we show that if $A \subset B$ is a finite homogeneous inclusion of standard graded domains over an algebraically closed…