Related papers: Day's Theorem is sharp for $n$ even

We show that doubling at some large scale in a Cayley graph implies uniform doubling at all subsequent scales. The proof is based on the structure theorem for approximate subgroups proved by Green, Tao and the first author. We also give a…

It is shown that space-time may possess the differentiability properties of manifolds as well as the ultraviolet finiteness properties of lattices. Namely, if a field's amplitudes are given on any sufficiently dense set of discrete points…

We introduce stacks classifying \'etale germs of pointed n-dimensional varieties. We show that quasi-coherent sheaves on these stacks are universal D- and O-modules. We state and prove a relative version of Artin's approximation theorem,…

The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using…

In 1948, Erd\"{o}s and Straus formulated a conjecture : for any positive integer $n>2$, there exist positive integers $n_1,n_2$ and $n_3$ such that…

In this paper we examine four-element and five-element digraphs for existence of certain polymorphisms that imply congruence meet-semidistributivity in a locally finite variety. The results presented here occurred as an integral part of my…

Using the celebrated Witten-Kontsevich theorem, we prove a recursive formula of the $n$-point functions for intersection numbers on moduli spaces of curves. It has been used to prove the Faber intersection number conjecture and motivated us…

Due to recent developments of Malliavin calculus for rough differential equations, it is now known that, under natural assumptions, the law of a unique solution at a fixed time has a smooth density function. Therefore, it is quite natural…

We consider the problem of evaluating certain exponential sums. These sums take the form $\sum_{x_1,...,x_n \in Z_N} e^{f(x_1,...,x_n) {2 \pi i / N}} $, where each x_i is summed over a ring Z_N, and f(x_1,...,x_n) is a multivariate…

Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally,…

We show that for a real polynomial of degree $n$ in two variables $x$ and $y$, any local "sharp turn" must have its "size" $\gtrsim e^{-Cn^{2}}$. We also show that there is indeed an example that has a sharp turn of size $\lesssim e^{-Cn}$.…

Fix $n\in\mathbb{N}$. Let $\mathbf{T}_n$ be the set of rooted trees $(T,o)$ whose vertices are labeled by elements of $\{1,...,n\}$. Let $\nu$ be a strongly connected multi-type Galton-Watson measure. We give necessary and sufficient…

In the acyclic case, we establish a one-to-one correspondence between the tilting objects of the cluster category and the clusters of the associated cluster algebra. This correspondence enables us to solve conjectures on cluster algebras.…

Polynomial completeness results aim at characterizing those functions that are induced by polynomials. Each polynomial function is congruence preserving, but the opposite need not be true. A finite algebraic structure $\mathbf{A}$ is called…

A theorem of Jannsen asserts that if a smooth projective variety has injective cycle class maps, it has surjective cycle class maps. The object of this note is to present a version of Jannsen's theorem for singular quasi--projective…

We describe a family of decidable propositional dynamic logics, where atomic modalities satisfy some extra conditions (for example, given by axioms of the logics K5, S5, or K45 for different atomic modalities). It follows from recent…

Let $\mathcal M=(M,<,...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders…

In this paper, we prove some rigidity theorems for compact Bach-flat $n$-manifold with the positive constant scalar curvature. In particular, our conditions in Theorem 1.4 have the additional properties of being sharp.

Let R be a locally finitely generated algebra over a discrete valuation ring V of mixed characteristic. For any of the homological properties, the Direct Summand Theorem, the Monomial Theorem, the Improved New Intersection Theorem, the…

Given a brane tiling on a torus, we provide a new way to prove and generalise the recent results of Szendroi, Mozgovoy and Reineke regarding the Donaldson-Thomas theory of the moduli space of framed cyclic representations of the associated…