Related papers: Concrete constructions of non-pavable projections

We study the possible structures which can be carried by sets which have no countable subset, but which fail to be `surjectively Dedekind finite', in two possible senses, that there is a surjection to $\omega$, or alternatively, that there…

In the Kerr geometry, we calculate various surfaces of constant curvature invariants. These extend well beyond the Kerr horizon, and we argue that they might be of observational significance in connection with non-minimally coupled matter…

The first undecidability result on the tiling is the undecidability of translational tiling of the plane with Wang tiles, where there is an additional color matching requirement. Later, researchers obtained several undecidability results on…

Let B be a thick spherical building equipped with its natural CAT(1) metric and let M be a proper, convex subset of B. If M is open or if M is a closed ball of radius pi/2, then the maximal subcomplex supported by the complement of M is…

We prove that any non-commutative smooth projective variety with a Bridgeland stability condition of dimension less than $\frac{6}{5}$ must be a smooth projective curve. As a consequence, we deduce the non-existence of such categories with…

In this talk we review the problem of constructing a developable surface patch bounded by two rational or NURBS (Non-Uniform Rational B-spline) curves.

For polyhedral convex cones in ${\mathbb R}^d$, we give a proof for the conic kinematic formula for conic curvature measures, which avoids the use of characterization theorems. For the random cones defined as typical cones of an isotropic…

This paper considers projection and convolution operations for integrally convex functions, which constitute a fundamental function class in discrete convex analysis. It is shown that the class of integrally convex functions is stable under…

Given two general rational curves of the same degree in two projective spaces, one can ask whether there exists a third rational curve of the same degree that projects to both of them. We show that, under suitable assumptions on the degree…

The planar embedding conjecture asserts that any planar metric admits an embedding into L_1 with constant distortion. This is a well-known open problem with important algorithmic implications, and has received a lot of attention over the…

We prove the Nonvanishing conjecture for uniruled projective log canonical pairs of dimension $n$, assuming the Nonvanishing conjecture for smooth projective varieties in dimension $n-1$. We also show that the existence of good minimal…

In this note, we prove a concrete variant of the twistor theorem of Hitchin--Karlhede--Lindstr\"om--Ro\v{c}ek which applies when one already has the real manifold on which one wishes to construct a hyper-K\"ahler structure, and so one does…

We establish sufficient conditions for finite convergence of the alternating projections method for two non-intersecting and potentially nonconvex sets. Our results are based on a generalization of the concept of intrinsic transversality,…

The first examples of complete projective connections are uncovered: normal projective connections on surfaces whose geodesics are all closed and embedded are complete, as are normal projective connections induced from complete affine…

There are no known failures of Bounded Negativity in characteristic 0. In the light of recent work showing the Bounded Negativity Conjecture fails in positive characteristics for rational surfaces, we propose new characteristic free…

O. H. Keller conjectured in 1930 that in any tiling of $\Bbb R^n$ by unit $n$-cubes there exist two of them having a complete facet in common. O. Perron proved this conjecture for $n\le 6$. We show that for all $n\ge 10$ there exists a…

It is shown that a trace invariant projection map, i.e. a positive unital idempotent map, of a finite dimensional C*-algebra into itself is non-decomposable if and only if it is atomic, or equivalently not the sum of a 2-positive and a…

Let X be a smooth projective curve of genus g \geq 2 defined over a field of characteristic two. We give examples of stable orthogonal bundles with unstable underlying vector bundles and use them to give counterexamples to Behrend's…

For any integer $n \geq 5$, we construct an $n$-dimensional $C^1$ vector field exhibiting a robustly transitive singular attractor which is not sectional-hyperbolic. Nevertheless, the attractor is singular-hyperbolic. This provides the…

We give an elementary proof of the fact that any orientable 3-manifold admits a framing (i.e. is parallelizable) and any non-orientable 3-manifold admits a projective framing. The proof uses only basic facts about immersions of surfaces in…