Related papers: A surjection from square onto power

In the present paper we show that there exist infinitely many consecutive square-free numbers of the form $[\alpha n]$, $[\alpha n]+1$, where $\alpha>1$ is irrational number with bounded partial quotient or irrational algebraic number.

Let $M$ be a random matrix chosen according to Haar measure from the unitary group $\mathrm{U}(n,\mathbb{C})$. Diaconis and Shahshahani proved that the traces of $M,M^2,\ldots,M^k$ converge in distribution to independent normal variables as…

Given a family of complex affine planes, we show that it is trivial over a Zariski open subset of the base. The proof relies upon a relative version of the contraction theorem.

We show that every automorphism of a thick twin building interchanging the halves of the building maps some residue to an opposite one. Furthermore we show that no automorphism of a locally finite 2-spherical twin building of rank at least…

We present a system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK…

In this paper we prove a conjecture of J. Andrade, S. J. Miller, K. Pratt and M. Trinh, showing the existence of a non trivial infinite $F$-set over $\mathbb F_q[x]$ for every fixed $q$. We also provide the proof of a refinement of the…

We prove that the set of all endpoints of the Julia set of $f(z)=\exp(z)-1$ which escape to infinity under iteration of $f$ is not homeomorphic to the rational Hilbert space $\mathfrak E$. As a corollary, we show that the set of all points…

It is established that there exists an absolute constant $c>0$ such that for any finite set $A$ of positive real numbers $$|AA+A| \gg |A|^{\frac{3}{2}+c}.$$ On the other hand, we give an explicit construction of a finite set $A \subset…

We prove that when $q$ is a power of $2$, every complex irreducible representation of $\mathrm{Sp}(2n, \mathbb{F}_q)$ may be defined over the real numbers, that is, all Frobenius-Schur indicators are 1. We also obtain a generating function…

There exists a homomorphism from the affine super Yangian to the completion of the universal enveloping algebra of $\widehat{\mathfrak{gl}}(m|n)$, called the evaluation map. In this paper, we show that this homomorphism is surjective. Via…

We show that the function sheaf of a $\mathbb{Z}_2^n$-manifold is a nuclear Fr\'echet sheaf of $\mathbb{Z}_2^n$-graded $\mathbb{Z}_2^n$-commutative associative unital algebras. Further, we prove that the components of the pullback sheaf…

This document seeks to prove there are infinitely many primes whose difference is 2, referred to as twin prime pairs. This proof's methodology involves constructing a function that approximates the number of positive integers, less than a…

We demonstrate that theories $\text{Z}^-$, $\text{ZF}^-$, $\text{ZFC}^-$ (minus means the absence of the Power Set axiom) and $\text{PA}_2$, $\text{PA}_2^-$ (minus means the absence of the Countable Choice schema) are equiconsistent to each…

It is known that, for an infinite field F, the indecomposable part of K_3(F) and the third homology of SL_2(F) are closely related. In fact, there is a canonical map \alpha: H_3(SL_2(F),Z)_F* --> K_3(F)^ind. Suslin has raised the question…

We show that for a polynomial mapping F = (f_1,...,f_m): C^n \to C^m the Lojasiewicz exponent at infinity of F is attained on the set {z \in C^n : f_1(z)...f_m(z) = 0}

We prove that for any open Riemann surface $N$ and finite subset $Z\subset \mathbb{S}^1=\{z\in\mathbb{C}\,|\;|z|=1\},$ there exist an infinite closed set $Z_N \subset \mathbb{S}^1$ containing $Z$ and a null holomorphic curve…

We prove that every smooth subelliptic variety admits a surjective morphism from an affine space. This result gives partial answers to the questions of Arzhantsev and Forstneri\v{c}. As an application, we characterize open images of…

A folk theorem says higher order arithmetic has the proof theoretic strength of set theory with limited power set. This paper makes the theorem precise in terms of several axiom system based on ZF.

Given a faithful finite-dimensional representation $V$ of a finite group $G$ over any field $\mathbb{F}$, we show that any irreducible ${\mathbb{F}}G$-module $W$ appears, as a submodule or a quotient, in $\mathrm{Sym}^m(V)$ for some integer…

Let $P$ be a finite simplicial comple with underlying space (union of simplices in $P$) $|P|$. Let $Q$ be a subcomplex of $P$. Let $a \geq 0$. Then there exists $K < \infty$, \emph{depending only on $a$ and $Q$,} with the following…