Related papers: Smooth hyperbolicity cones are second-order cone r…
We prove by induction on dimension the Hodge conjecture for smooth complex projective varieties. Let $X$ be a smooth complex projective variety. Then $X$ is birational to a possibly singular projective hypersurface, hence to a smooth…
We analyze self-dual polyhedral cones and prove several properties about their slack matrices. In particular, we show that self-duality is equivalent to the existence of a positive semidefinite (PSD) slack. Beyond that, we show that if the…
We prove global smooth continuation for smooth finite-energy solutions of the three-dimensional incompressible Navier--Stokes equations by a two-part first-threshold argument. Part I proves the axisymmetric-with-swirl theorem in the exact…
In this article we prove a global result in the spirit of Basener's theorem regarding the relation between q-pseudoconvexity and q-holomorphic convexity: we prove that any smoothly bounded strictly q-pseudoconvex open subset of the complex…
As a continuation of a previous work, here we examine the admittance of Birkhoff's theorem in a class of higher derivative theories of gravity. This class is contained in a larger class of theories which are characterized by the property…
For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot…
We prove that any smooth Riemannian manifold of non-negative scalar curvature and with a strictly mean convex and compact boundary component can be (C^2) extended beyond the component to have non-negative scalar curvature and to enjoy…
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…
We prove that for any smooth polarized complex $n$-dimensional manifold $(X, L_X)$ which admits an extremal K\"ahler metric in $c_1(L_X)$, and for any integer $k$ large enough (in terms of a bound depending on $(X, L_X)$), the…
The Solomon-Tits theorem says that the poset of proper non-trivial subspaces of a finite-dimensional vector space has realisation equivalent to a wedge of spheres. In this paper we prove a variant of this result for collections of geodesic…
We consider normal compact surfaces $Y$ obtained from a minimal class VII surface $X$ by contraction of a cycle $C$ of $r$ rational curves with $C^2<0$. Our main result states that, if the obtained cusp is smoothable, then $Y$ is globally…
We study the Carath\'eodory number of homogeneous convex cones via their spectrahedral representations. A characterization of homogeneous convex cones whose ranks match their Carath\'eodory numbers is given. This characterization is then…
Let $\mathbb{D}$ be the category of pro-sets (or abelian pro-groups). It is proved that for any Grothendieck site $X$, there exists a reflector from the category of precosheaves on $X$ with values in $\mathbb{D}$ to the full subcategory of…
Using the language of twisted skew-commutative algebras, we define \emph{secondary representation stability}, a stability pattern in the {\it unstable} homology of spaces that are representation stable in the sense of Church, Ellenberg, and…
We prove geometric and cohomological stabilization results for the universal smooth degree $d$ hypersurface section of a fixed smooth projective variety as $d$ goes to infinity. We show that relative configuration spaces of the universal…
The symmetric group S_n possesses a nontrivial central extension, whose irreducible representations, different from the irreducible representations of S_n itself, coincide with the irreducible representations of a certain algebra A_n.…
We prove that every two-dimensional quasisphere is the limit of a sequence of smooth spheres that are uniform quasispheres. In the case of metric spheres of finite area we provide necessary and sufficient geometric conditions for a…
In this note, we discuss the concept of pseudoeffective vector bundle and also introduce pseudoeffective torsion-free sheaves over compact K\"ahler manifolds. We show that a pseudoeffective reflexive sheaf over a compact K\"ahler manifold…
Hankel spectrahedra are the dual convex cones to the cone of sums of squares of real polynomials, and we study them from the point of view of convex algebraic geometry. We show that the Zariski closure of the union of all extreme rays of…
We show that under suitable hypotheses, the second homotopy group of the coned-off space associated to a $C(9)$ cubical presentation is trivial, and use this to provide classifying spaces for proper actions for the fundamental groups of…