Related papers: Bounded tiles in $\mathbb{Q}_p$ are compact open s…

We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…

Let $T:= T(A, {\mathcal D})$ be a disk-like self-affine tile generated by an integral expanding matrix $A$ and a consecutive collinear digit set ${\mathcal D}$, and let $f(x)=x^{2}+px+q$ be the characteristic polynomial of $A$. In the…

Let $p\equiv1\pmod3$ be a prime . We study several topics on additive decompositions concerning the set $C_p$ of all non-zero cubes in the finite field of $p$ elements. For example, we show that when $p>184291$ , the set $C_p$ has no…

We prove that for any countable set $A$ of real numbers, the set of binary indefinite quadratic forms $Q$ such that the closure of $Q(\mathbb{Z}^2)$ is disjoint from $A$ has full Hausdorff dimension.

In this paper, we study tilings of $\mathbb Z$, that is, coverings of $\mathbb Z$ by disjoint sets (tiles). Let $T=\{d_1,\ldots, d_s\}$ be a given multiset of distances. Is it always possible to tile $\mathbb Z$ by tiles, for which the…

We study the image of the Hodge-Tate logarithm map (in any cohomological degree), defined by Heuer, in the case of smooth Stein varieties. Heuer, motivated by the computations for the affine space of any dimension, raised the question…

We show that in the space of all convex billiard boundaries, the set of boundaries with rational caustics is dense. More precisely, the set of billiard boundaries with caustics of rotation number $1/q$ is polynomial sense in the smooth…

For a general open set, we characterize the compactness of the embedding $W^{1,p}_0\hookrightarrow L^q$ in terms of the summability of its torsion function. In particular, for $1\le q<p$ we obtain that the embedding is continuous if and…

Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…

In this paper we solve in the positive the question of whether any finite set of integers, containing the zero, is the mapping degree set between two oriented closed connected manifolds of the same dimension. We extend this question to the…

In this paper, we show that VC-minimal ordered fields are real closed. We introduce a notion, strictly between convexly orderable and dp-minimal, that we call dp-small, and show that this is enough to characterize many algebraic theories.…

The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z^d}$ which tiles that lattice by translations, in fact tiles periodically. We announce here a disproof of this conjecture for sufficiently large $d$, which…

Let $\widetilde{\mathbb{Q}_p}$ be the field of $p$-adic numbers in the language of rings. In this paper we consider the theory of $\widetilde{\mathbb{Q}_p}$ expanded by two predicates interpreted by multiplicative subgroups…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

For an abelian variety $A$ over an algebraically closed non-archimedean field of residue characteristic $p$, we show that there exists a perfectoid space which is the tilde-limit of $\varprojlim_{[p]}A$. Our proof also works for the larger…

A cubic polyhedron is a polyhedral surface whose edges are exactly all the edges of the cubic lattice. Every such polyhedron is a discrete minimal surface, and it appears that many (but not all) of them can be relaxed to smooth minimal…

We consider the restricted subsets of $\mathbb{N}_n=\{1,2,\ldots,n\}$ with $q\geq1$ being the largest member of the set $\mathcal{Q}$ of disallowed differences between subset elements. We obtain new results on various classes of problem…

By means of appropriate sparse bounds, we deduce compactness on weighted $L^p(w)$ spaces, $1<p<\infty$, for all Calder\'on-Zygmund operators having compact extensions on $L^2(\mathbb{R}^n)$. Similar methods lead to new results on…

Assume M is a 3-dimensional real manifold without boundary, A is an abelian Lie algebra of analytic vector fields on M, and X is an element of A. The following result is proved: If K is a locally maximal compact set of zeroes of X and the…

I announce a solution of the conjecture about the measure of periodic points for planar billiard tables. The theorem says that if $\Om\subset\R^2$ is a compact domain with piecewise $C^3$ boundary, then the set of periodic orbits for the…