Related papers: Smooth Hyperbolicity Cones are Spectrahedral Shado…

A smooth curve in the real projective plane is hyperbolic if its ovals are maximally nested. By the Helton-Vinnikov Theorem, any such curve admits a definite symmetric determinantal representation. We use polynomial homotopy continuation to…

In this paper we study the properties of the normal cone to the proximally smooth set. We give the complete characterization of the proximally smooth set through the monotony properties of its normal cone in an arbitrary uniformly convex…

In general relativity, isolated black holes are invisible due to an infinitely large redshift of photons propagating from the event horizon to the remote observer. However, the dark shadow (silhouette) of a black hole can be visible on the…

We show that the standard method for constructing closed hyperbolic manifolds of arbitrary dimension possessing reflective symmetries typically produces reflections whose fixed point sets are nonseparating.

A beyond Horndeski theory is considered that admits wormholes, black holes and naked singularities. In this theory the shadow images of the black holes and the exotic compact objects (ECOs), illuminated by an optically and geometrically…

The isoperimetric problem with a density or weighting seeks to enclose prescribed weighted area with minimum weighted perimeter. According to Chambers' recent proof of the Log Convex Density Conjecture, for many densities on $\mathbb{R}^n$…

We smooth the singularities of a strictly hyperbolized smooth cube manifold.

This paper is devoted to superlensing using hyperbolic metamaterials: the possibility to image an arbitrary object using hyperbolic metamaterials without imposing any conditions on size of the object and the wave length. To this end, two…

We classify hyperbolic polynomials in two real variables that admit a transitive action on some component of their hyperbolic level sets. Such surfaces are called special homogeneous surfaces, and they are equipped with a natural Riemannian…

Recall that the moduli space of smooth (that is, stable) cubic curves is isomorphic to the quotient of the upper half plane by the group of fractional linear transformations with integer coefficients. We establish a similar result for…

The strip map is a natural map from the arc complex of a bordered hyperbolic surface $S$ to the vector space of infinitesimal deformations of $S$. We prove that the image of the strip map is a convex hypersurface when $S$ is a surface of…

We classify the 3-dimensional hyperbolic polyhedral orbifolds that contain no embedded essential 2-suborbifolds, up to decomposition along embedded hyperbolic triangle orbifolds (turnovers). We give a necessary condition for a 3-dimensional…

Hyperbolic polynomials are real multivariate polynomials with only real roots along a fixed pencil of lines. Testing whether a given polynomial is hyperbolic is a difficult task in general. We examine different ways of translating…

We show that for every $\epsilon>0$, there exists a compact lamination by $\epsilon$-holomorphic surfaces in the complex projective plane, minimal, and that carries hyperbolic holonomy. We call $\epsilon$-holomorphic a real 2-dimensional…

In this paper, we introduce discrete conics, polygonal analogues of conics. We show that discrete conics satisfy a number of nice properties analogous to those of conics, and arise naturally from several constructions, including the…

A complete mathematical framework for coalgebraic formulation of supergeometry and its infinite-dimensional extension is proposed. Within this approach a supermanifold is defined as a graded coalgebra endowed with a smooth structure. The…

We show that the copolarity of pseudo-cones has analogous properties as the usual polarity of convex bodies.

Let $Z$ be a projective hypersurface such that its underlying reduced variety has only isolated singularities. In case its irreducible components have constant multiplicities, for instance if $\dim Z>1$, we show that the spectrum of its…

An $S$-hypersimplex for $S \subseteq \{0,1, \dots,d\}$ is the convex hull of all $0/1$-vectors of length $d$ with coordinate sum in $S$. These polytopes generalize the classical hypersimplices as well as cubes, crosspolytopes, and…

The Hodge Conjecture is equivalent to a statement about conditions under which a complex vector bundle on a smooth complex projective variety admits a holomorphic structure. I advertise a class of abelian four-folds due to Mumford where…