Related papers: Affine thickness: Patterns and a Gap Lemma

We propose a notion of depth with respect to a finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$ which we call $\text{dep}_\mathcal{F}$. We begin showing that $\text{dep}_\mathcal{F}$ satisfies some expected properties for a…

We prove in Theorem $2.2$ that the multiplicatively closed subset generated by at most two elements in the set of natural numbers $\mathbb{N}$ has arbitrarily large gaps by explicitly constructing large integer intervals with known prime…

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

The fundamental theorem of affine geometry says that a self-bijection $f$ of a finite-dimensional affine space over a possibly skew field takes left affine subspaces to left affine subspaces of the same dimension, then $f$ of the expected…

This work developes a quantitative framework for describing the overcompleteness of a large class of frames. A previous paper introduced notions of localization and approximation between two frames $\mathcal{F} = \{f_i\}_{i \in I}$ and…

Whitney's extension problem asks the following: Given a compact set $E\subset\mathbb{R}^n$ and a function $f:E\to \mathbb{R}$, how can we tell whether there exists $F\in C^m(\mathbb{R}^n)$ such that $F=f$ on $E$? A 2006 theorem of Charles…

Let $a_{i1}x_1+\cdots+a_{ik}x_k=0$, $i\in[m]$ be a balanced homogeneous system of linear equations with coefficients $a_{ij}$ from a finite field $\mathbb{F}_q$. We say that a solution $x=(x_1,\ldots, x_k)$ with $x_1,\ldots, x_k\in…

I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…

We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine,…

The celebrated Johnson-Lindenstrauss lemma states that for all $\varepsilon \in (0,1)$ and finite sets $X \subseteq \mathbb{R}^N$ with $n>1$ elements, there exists a matrix $\Phi \in \mathbb{R}^{m \times N}$ with…

We answer a question of Serre from the 1980s on rational points of bounded height on projective thin sets, in degree at least $4$. For degrees $2$ and $3$ we improve the known bounds in general. The focus is on thin sets of type II, namely…

There are many combinatorial games in which a move can terminate the game, such as a checkmate in chess. These moves give rise to diverse situations that fall outside the scope of the classical normal play structure. To analyze these games,…

In this paper we consider existence and multiplicity results concerning affine connections on $C^{k}$-manifolds $M$ whose coefficients are as regular as one needs, following the regularity theory introduced in arXiv:1908.04442. We show that…

We show that badly approximable matrices are exactly those that, for any inhomogeneous parameter, can not be inhomogeneous approximated at every monotone divergent rate, which generalizes Ram\'irez's result (2018). We also establish some…

In this paper we consider a general way of constructing profinite struc- tures based on a given framework - a countable family of objects and a countable family of recognisers (e.g. formulas). The main theorem states: A subset of a family…

We give a sketch for an alternative proof of a recent result by J. Tseng.

By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its…

In the present paper, we study a purely inseparable counterpart of Abhyankar's conjecture for the affine line in positive characteristic, and prove its validity for all the finite local non-abelian simple group schemes in characteristic…

We prove that finite sets of mutual neighbor points in an affine scheme admit affine combinations, preserved by any map. Furthermore, such combination has a value which is neighbor point of all the original points.

This paper focuses on the equidimensional decomposition of affine varieties defined by sparse polynomial systems. For generic systems with fixed supports, we give combinatorial conditions for the existence of positive dimensional components…