Related papers: Smooth hyperbolicity cones are second-order cone r…
In this paper we discuss the notion of smoothness in complex algebraic supergeometry and we prove that all affine complex algebraic supergroups are smooth. We then prove the stabilizer theorem in the algebraic context, providing some useful…
We show that for every smooth hyperbolic polynomial h there is another hyperbolic polynomial q such that qh has a definite determinantal representation. This is proved by considering sum-of-squares decompositions of certain bilinear forms…
Let (M,g) be a compact Riemannian manifold with boundary. This paper is concerned with the set of scalar-flat metrics which are in the conformal class of g and have the boundary as a constant mean curvature hypersurface. We prove that this…
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…
Let $G$ be a strictly pseudoconvex domain in $\mathbb{C}^2$ with $C^\infty$-smooth boundary $\partial G$. Let $S$ be a 2-dimensional sphere embedded into $\partial G$. Denote by $\mathcal{E}$ the set of all complex points on $S$. We study…
A spectrahedron is a set defined by a linear matrix inequality. A projection of a spectrahedron is often called a semidefinitely representable set. We show that the convex hull of a finite union of such projections is again a projection of…
In this paper, we prove that a two-dimensional self-shrinker, homeomorphic to the sphere, immersed in the three dimensional Euclidean space is a round sphere, provided its mean curvature and the norm of its position vector have an upper…
We give a spinorial representation of a submanifold of any dimension and co-dimension in a symmetric space $G/H,$ where $G$ is a complex semi-simple Lie group and $H$ is a compact real form of $G.$ This in particular includes…
We study Kaehlerian manifolds with Norden metric $g$ and develop the theory of their holomorphic hypersurfaces with constant totally real sectional curvatures. We prove a classification theorem for the holomorphic hypersurfaces of…
We classify hypersurfaces with rotational symmetry and positive constant $r$-th mean curvature in $\mathbb H^n \times \mathbb R$. Specific constant higher order mean curvature hypersurfaces invariant under hyperbolic translation are also…
A spectrahedron is a set defined by a linear matrix inequality. Given a spectrahedron we are interested in the question of the smallest possible size $r$ of the matrices in the description by linear matrix inequalities. We show that for the…
To help resolve issues of non-realizability and restriction to homogeneity faced by analytical theories of turbulence, we explore three-dimensional homogeneous shear turbulence of incompressible Newtonian fluids via optimal control and…
We show that closed hypersurfaces in Euclidean space with nonnegative scalar curvature are weakly mean convex. In contrast, the statement is no longer true if the scalar curvature is replaced by the k-th mean curvature, for k greater than…
A notable example due to Heier, Lu, Wong, and Zheng shows that there exist compact complex K\"ahler manifolds with ample canonical line bundle such that the holomorphic sectional curvature is negative semi-definite and vanishes along…
For encompassing the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, Ehrhard and al. introduced a model of probabilistic higher order…
This paper studies sum-of-squares (SOS) representations for structured biquadratic forms. We prove that diagonally dominated symmetric biquadratic tensors are always SOS. For the special case of symmetric biquadratic forms, we establish…
We give explicit polynomial-sized (in $n$ and $k$) semidefinite representations of the hyperbolicity cones associated with the elementary symmetric polynomials of degree $k$ in $n$ variables. These convex cones form a family of…
We prove a general representation stability result for polynomial coefficient systems which lets us prove representation stability and secondary homological stability for many families of groups with polynomial coefficients. This gives two…
This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincar\'e duality…
We describe a new method for constructing a spectrahedral representation of the hyperbolicity region of a hyperbolic curve in the real projective plane. As a consequence, we show that if the curve is smooth and defined over the rational…