Related papers: Smooth Selection for Infinite Sets

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…

In this paper, we consider the so-called "Furstenberg set problem" in high dimensions. First, following Wolff's work on the two dimensional real case, we provide "reasonable" upper bounds for the problem for $\mathbb{R}$ or $\mathbb{F}_p$.…

In this paper we provide a complete answer to the question whether Frobenius' Theorem can be generalized to surfaces below the $C^{1,1}$ threshold. We study the fine structure of the tangency set in terms of involutivity of a given…

Necessary and sufficient conditions of uniform consistency are explored. A hypothesis is simple. Nonparametric sets of alternatives are bounded convex sets in $\mathbb{L}_p$, $p >1$ with "small" balls deleted. The "small" balls have the…

Since their introduction by Erd\H{o}s in 1950, covering systems (that is, finite collections of arithmetic progressions that cover the integers) have been extensively studied, and numerous questions and conjectures have been posed regarding…

We formalize the ``metric bundle'' viewpoint by defining, for any smooth $n$--manifold $M$, the open fiberwise cones $\mathcal{G}^{p,q}\subset S^2\Tstar M$ of nondegenerate symmetric bilinear forms with fixed signature $(p,q)$, and we…

We prove a variant of the standard Whitney extension theorem for $\mathcal C^m(\mathbb R^n)$, in which the norm of the extension operator has polynomial growth in $n$ for fixed $m$.

We prove that any complex analytic set in $\mathbb{C}^n$ which is Lipschitz normally embedded at infinity and has tangent cone at infinity that is a linear subspace of $\mathbb{C}^n$ must be an affine linear subspace of $\mathbb{C}^n$…

We study the embedding property in the category of sorted profinite groups. We introduce a notion of the sorted embedding property (SEP), analogous to the embedding property for profinite groups. We show that any sorted profinite group has…

For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$…

Let $X\subset \mathbb{C}^n$ be a smooth irreducible affine variety of dimension $k$ and let $F: X\to \mathbb{C}^m$ be a polynomial mapping. We prove that if $m\ge k$, then there is a Zariski open dense subset $U$ in the space of linear…

We study integral points on varieties with infinite \'etale fundamental groups. More precisely, for a number field $F$ and $X/F$ a smooth projective variety, we prove that for any geometrically Galois cover $\varphi\colon Y \to X$ of degree…

Using Fourier analysis, we prove that the limiting distribution of the standardized random number of comparisons used by Quicksort to sort an array of n numbers has an everywhere positive and infinitely differentiable density f, and that…

This article explores several fundamental aspects of fuzzy $\mathscr{F}$-metric spaces and their applications in mathematical analysis. We investigate some essential properties concerning compactness and total boundedness in fuzzy…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

We address the question of existence of sections of fibrations in two settings. First, we show that a bundle with base a finite 2-complex admits a section if and only if the inclusion of the fiber is $\pi_1$-injective and the associated…

We study ultrafilters from the perspective of the algebra in the \v{C}ech-Stone compactification of the natural numbers, and idempotent elements therein. The first two results that we prove establish that, if $p$ is a Q-point (resp. a…

A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then…

In our [Higher-order preconnections in synthetic differential geometry of jet bundles, Beitr\"{a}ge zur Algebra und Geometrie, 45 (2004), 677-696] we have established the affine bundle theorem in the synthetic approach to jet bundles in…