Related papers: A surjection from square onto power

Given a finite and connected two-dimensional $CW$-complex $K$ with fundamental group $\Pi$ and second integer cohomology group $H^2(K;\mathbb{Z})$ finite of odd order, we prove that: (1) for each local integer coefficient system…

Let $K$ be a compact set with connected complement on the half-plane Re$(s)>0$, and let $f$ be a continuous function on $K$ which is analytic in its interior. We prove that for any parameter $0<\alpha<1, \alpha \neq \frac 1 2$ then $f(s)$…

We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed…

We prove that for an arbitrary subtree $T$ of $2^{<\omega}$ with each element extendable to a path, a given countable class $\mathcal{M}$ closed under disjoint union, and any set $A$, if none of the members of $\mathcal{M}$ strongly…

In this paper we introduce a new infinite set of transcendental integrals. Each of them is expressed by corresponding value of the function $|\zf|^{-2}$. Such a property is another argument about universality of the Riemann zeta-function…

It is shown that a polynomial map $(P,Q)\in \mathbb{Q}[x,y]^2$ with $P_xQ_y-P_yQ_x \equiv 1$ has an inverse map in $\mathbb{Q}[x,y]^2$ if the fiber $P=0$ contains an infinite subset of $ d^{-1}\mathbb{Z}^2$ for an integer $d$.

We prove a conjecture of Zuber on the signature of intersection froms associated with affine algebras of type A.

We show that in the theory ZF + DC + for every cardinal {\lambda}, the set of infinite subsets of {\lambda} is well-ordered (i.e., Shelah's AX4), the {\theta}-function measuring the surjective size of the powersets P({\kappa}) can take…

This note concerns exponential sheaves and the "universal" Fourier transform on them. Fourier invertibility and the subsequent Fourier miracle is demonstrated. Further, t-structures and realizations are constructed and shown to have…

In this paper we study set mappings on 4-tuples. We continue a previous work of Komjath and Shelah by getting new finite bounds on the size of free sets in a generic extension. This is obtained by an entirely different forcing construction.…

We prove (and improve) the Muir-Suffridge conjecture for holomorphic convex maps. Namely, let $F:\mathbb B^n\to \mathbb C^n$ be a univalent map from the unit ball whose image $D$ is convex. Let $\mathcal S\subset \partial \mathbb B^n$ be…

We show that a finite group $G$ admitting an automorphism $\alpha$ such that the function $G\rightarrow G$, $g\mapsto g\alpha(g)$, is bijective is necessarily solvable.

We prove a conjecture of Zagier about the inverse of a $(K-1)\times (K-1)$ matrix $A=A_{K}$ using elementary methods. This formula allows one to express the the product of single zeta values $\zeta(2r)\zeta(2K+1-2r)$, $1\leq r\leq K-1$, in…

Let $\gamma$ be a bounded convex curve on a plane. Then $\sharp (\gamma\cap (\Z/n)^2)=o(n^{2/3})$. It streghtens the classical result of Jarn\'\i k (an upper estimate $O(n^{2/3})$) and disproves a conjecture of Vershik on existence of the…

We prove surjectivity of certain word maps on finite non-abelian simple groups. More precisely, we prove the following: if N is a product of two prime powers, then the word map sending (x,y) to the product of the Nth powers of x and y is…

Let $f$ be Fatou's function, that is, $f(z)= z+1+e^{-z}$. We prove that the escaping set of $f$ has the structure of a `spider's web' and we show that this result implies that the non-escaping endpoints of the Julia set of $f$ together with…

We show that the number of positive integers $n\leq N$ such that $\mathbb{Z}/(n^2+n+1)\mathbb{Z}$ contains a perfect difference set is asymptotically $N/\log{N}$.

We prove a dynamical Shafarevich theorem on the finiteness of the set of isomorphism classes of rational maps with fixed degeneracies. More precisely, fix an integer d at least 2 and let K be either a number field or the function field of a…

Jambor--Liebeck--O'Brien showed that there exist non-proper-power word maps which are not surjective on $\mathrm{PSL}_{2}(\mathbb{F}_{q})$ for infinitely many $q$. This provided the first counterexamples to a conjecture of Shalev which…

Let $f$ be a smooth real function with strictly monotone first $k$ derivatives. We show that for a finite set $A$, with $|A+A|\leq K|A|$, $|2^kf(A)-(2^k-1)f(A)|\gg_k |A|^{k+1-o(1)}/K^{O_k(1)}$. We deduce several new sum-product type…