Related papers: Goldblatt-Thomason for LE-logics

A univariate polynomial equation is presented. It provides models of the thermal lattice Boltzmann equation. The models can be accurate up to any required level and can be applied to regular lattices, which allow efficient and accurate…

We prove a uniform effective density theorem as well as an effective counting result for a generic system comprising a polynomial with a mild homogeneous condition and several linear forms using Roger's second moment formula for the Siegel…

Using theory of props we prove a formality theorem associated with universal quantizations of (strongly homotopy) Lie bialgebras.

A composition of birational maps given by Laurent polynomials need not be given by Laurent polynomials; however, sometimes---quite unexpectedly---it does. We suggest a unified treatment of this phenomenon, which covers a large class of…

Using methods from the theory of uniform algebras, we give a simple proof of an approximation result of Sahutoglu and Tikaradze with $L^\infty$-pseudoconvex domains replaced by the open sets for which Gleason's problem is solvable.

In this paper we prove that Loday--Quillen--Tsygan Theorem generalizes to the case of coalgebras. Specifically, we show that the Chevalley--Eilenberg--Lie homology of the Lie coalgebra of infinite matrices over a coassociative coalgebra $C$…

We establish a generalized Cassels-Tate dual exact sequence for 1-motives over global fields. We thereby extend the main theorem of [4] from abelian varieties to arbitrary 1-motives.

We show how the classical Moser Lemma from symplectic geometry extends to generalized complex structures (GCS) on arbitrary Courant algebroids. For this, we extend the notion of Lie derivative to sections of the tensor bundle $(\otimes^i…

We prove the uniform interpolation theorem in modal provability logics GL and Grz by a proof-theoretical method, using analytical and terminating sequent calculi for the logics. The calculus for G\"odel-L\"ob's logic GL is a variant of the…

We investigate the representation of lattices as sublattices of the lattice of all convex subsets (intervals) of a linearly ordered set $(X,\le)$. We introduce the purely lattice-theoretic notion of a \textit{loc-lattice} and prove that…

The classical Bott-Samelson theorem states that if on a Riemannian manifold all geodesics issuing from a certain point return to this point, then the universal cover of the manifold has the cohomology ring of a compact rank one symmetric…

A lattice Boltzmann method is proposed based on the expansion of the equilibrium distribution function in powers of a new set of generalized orthonormal polynomials which are here presented. The new polynomials are orthonormal under the…

In this paper, we prove a general version of Thomsen-Li's Theorem--a Krein-Milman type theorem for C*-algebras. To be precise, for a Markov operator on $C[0,1]$ which preserves certain subspace of $C[0,1]$, we approximate it by an average…

We classify central extensions of the dg Lie algebra of derived global sections of the tangent sheaf on the punctured, formal 2-disk. We then prove a local and universal form of the Grothendieck--Rieman--Roch theorem for families of…

The main result of this work is a new proof and generalization of Lazard's comparison theorem of locally analytic group cohomology with Lie algebra cohomology for K-Lie groups, where K is a finite extension of the p-adic numbers. We show…

In this article we apply ideas from homotopy theory to the study of singular foliations. We verify that a technical lemma remains valid for left semi-model categories. When applied to the category of $L_\infty$-algebroids thanks to the work…

We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary…

We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…

We prove that solutions to the Boltzmann equation without cut-off satisfying pointwise bounds on some observables (mass, pressure, and suitable moments) enjoy a uniform bound in $L^\infty$ in the case of hard potentials. As a consequence,…

We give very precise bounds for the congruence subgroup growth of arithmetic groups. This allows us to determine the subgroup growth of irreducible lattices of semisimple Lie groups. In the most general case our results depend on the…