Related papers: Smooth hyperbolicity cones are second-order cone r…

We establish the following Hadamard--Stoker type theorem: Let $f:M^n\rightarrow\mathscr{H}^n\times\mathbb R$ be a complete connected hypersurface with positive definite second fundamental form, where $\mathscr H^n$ is a Hadamard manifold.…

This is the revised version of our previous preprint. In this paper, we establish a generic smoothness result for moduli space of semistable sheaves of arbitrary rank over surfaces provided that the second Chern class of the sheaves is…

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on…

Given a knot K and an irreducible metabelian SL(n,C) representation we establish an equality for the dimension of the first twisted cohomology. In the case of equality, we prove that the representation must have finite image and that it is…

Hopf algebras, most generally in a semisimple abelian symmetric monoidal category, are here supposed to be commutative but not to be of finite-type, and their (equivariant) smoothness are discussed. Given a Hopf algebra $H$ in a category…

We say that the set of $y$-smooth numbers $\mathcal{S}(N,y)$ up to $N$ is super smooth if $y=\log^KN$ for a large fixed constant $K$. We show that the Roth's theorem on arithmetic progressions is true in super smooth numbers case. This…

We develop a ready-to-use comprehensive theory for (super) 2-vector bundles over smooth manifolds. It is based on the bicategory of (super) algebras, bimodules, and intertwiners as a model for 2-vector spaces. We discuss symmetric monoidal…

Convex or concave sequences of $n$ positive terms, viewed as vectors in $n$-space, constitute convex cones with $2n-2$ and $n$ extreme rays, respectively. Explicit description is given of vectors spanning these extreme rays, as well as of…

Let S be a subsemigroup of an abelian torsion-free group G. If S is a positive cone of G, then all C*-algebras generated by faithful isometrical non-unitary representations of S are canonically isomorphic. Proved by Murphy, this statement…

We show a closed Bach-flat Riemannian manifold with a fixed positive constant scalar curvature has to be locally spherical if its Weyl and traceless Ricci tensors are small in the sense of either $L^\infty$ or $L^{\frac{n}{2}}$-norm.…

We consider compact, aspherical solenoids obtained as the inverse limit of a system of CW~complexes and covering maps. This includes $P$-adic solenoids, as well as the universal hyperbolic solenoid of Teichm\"{u}ller theory. Using ideas…

The shuffle of a non-empty countable set $ S $ of linear orders is the (unique up to isomorphism) linear order $ \Xi(S) $ obtained by fixing a coloring function $ \chi: \mathbb{Q} \to S $ having fibers dense in $ \mathbb{Q} $ and replacing…

In this paper, we describe the structural properties of the cone of $\mathcal{Z}$-transformations on the second order cone in terms of the semidefinite cone and copositive/completely positive cones induced by the second order cone and its…

Let $G$ be a Lie group with real semisimple Lie algebra $\mathfrak{g}$. Further let $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ be a Cartan decomposition. The maximal compact subgroup $K \subseteq G$ acts on $\mathfrak{p}$ via the…

We study a system of equations on a compact complex manifold, that couples the scalar curvature of a Kaehler metric with a spectral function of a first-order deformation of the complex structure. The system comes from an…

We know that semi-regular sub-varieties satisfy the variational Hodge conjecture i.e., given a family of smooth projective varieties $\pi:\mathcal{X} \to B$, a special fiber $\mathcal{X}_o$ and a semi-regular subvariety $Z \subset…

This paper is a sequel to \cite{Berndtsson}. In that paper we studied the vector bundle associated to the direct image of the relative canonical bundle of a smooth K\"ahler morphism, twisted with a semipositive line bundle. We proved that…

We prove that every complete, minimally immersed submanifold $f\: M^n \to \mathbb{S}^{n+p}$ whose second fundamental form satisfies $|A|^2 \le np/(2p-1)$, is either totally geodesic, or (a covering of) a Clifford torus or a Veronese surface…

We prove, under a certain representation theoretic assumption, that the set of real symmetric matrices, whose eigenvalues satisfy a linear matrix inequality, is itself a spectrahedron. The main application is that derivative relaxations of…

We study cyclic sieving phenomena (CSP) on combinatorial objects from an abstract point of view by considering a rational polyhedral cone determined by the linear equations that define such phenomena. Each lattice point in the cone…