Related papers: Compact sets with large projections and nowhere de…

We give a construction of integrable complex structures on the total space of a smooth principal bundle over a complex manifold, with an even dimensional compact Lie group as structure group, under certain conditions. This generalizes the…

Let K and L be compact convex sets in R^n. The following two statements are shown to be equivalent: (i) For every polytope Q inside K having at most n+1 vertices, L contains a translate of Q. (ii) L contains a translate of K. Let 1 <= d <=…

Many deep, mysterious connections have been observed between collections of mutually unbiased bases (MUBs) and combinatorial designs called $k$-nets (and in particular, between complete collections of MUBs and finite affine - or…

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…

It is consistent that the continuum be arbitrary large and no absolute $\kappa$-Borel set $X$ of density $\kappa$, $\aleph_1<\kappa<\mathfrak{c}$, condenses onto a compact metric space. It is consistent that the continuum be arbitrary large…

We discuss generalizations of the well-known theorem of Hilbert that there is no complete isometric immersion of the hyperbolic plane into Euclidean 3-space. We show that this problem is expressed very naturally as the question of the…

A packing by a body $K$ is collection of congruent copies of $K$ (in either Euclidean or hyperbolic space) so that no two copies intersect nontrivially in their interiors. A covering by $K$ is a collection of congruent copies of $K$ such…

We prove that if $K$ is a compact subset of an affine variety O = P^n - D (where D is a projective hypersuface), and if K is a compact subset of a closed analytic subvariety V \subset O, then the projective hull K^ of K has the property…

We apply the recent results of Galkin et al. [GKMS15] to study some geometrical features of Keum's fake projective planes. Among other things, we show that the bicanonical map of Keum's fake projective planes is always an embedding.…

We give an elementary proof of a compact embedding theorem in abstract Sobolev spaces. The result is first presented in a general context and later specialized to the case of degenerate Sobolev spaces defined with respect to nonnegative…

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…

We discuss homogeneity and universality issues in the theory of abstract linear spaces, namely, structures with points and lines satisfying natural axioms, as in Euclidean or projective geometry. We show that the two smallest projective…

In this paper we construct strong exceptional collections of vector bundles on smooth projective varieties that have a prescribed endomorphism algebra. We prove the construction problem always have a solution. We consider some applications…

It is conjectured that the question of the existence of projective planes whose order is not a power of prime is intimately linked with the problem whether there exists a set of d+1 mutually unbiased bases in a d-dimensional Hilbert space…

For every nonempty compact convex subset $K$ of a normed linear space a (unique) point $c_K \in K$, called the generalized Chebyshev center, is distinguished. It is shown that $c_K$ is a common fixed point for the isometry group of the…

The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of…

We prove that for every compact, convex subset $K\subset\mathbb{R}^2$ the operator system $A(K)$, consisting of all continuous affine functions on $K$, is hyperrigid in the C*-algebra $C(\mathrm{ex}(K))$. In particular, this result implies…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…