scholarly journals Sums of squares and quadratic persistence on real projective varieties

2021 ◽  
Author(s):  
Grigoriy Blekherman ◽  
Rainer Sinn ◽  
Gregory G. Smith ◽  
Mauricio Velasco
Keyword(s):  
Sums Of Squares ◽  
Projective Varieties

Cohomological Conditions on Endomorphisms of Projective Varieties

2017 ◽  
Vol 145 (3) ◽  
pp. 449-468 ◽  
Author(s):  
Holly Krieger ◽  
Paul Reschke
Keyword(s):  
Projective Varieties

scholarly journals Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares

2021 ◽  
Vol 107 ◽  
pp. 67-105
Author(s):  
Elisabeth Gaar ◽  
Daniel Krenn ◽  
Susan Margulies ◽  
Angelika Wiegele
Keyword(s):  
Semidefinite Programming ◽  
Sums Of Squares

scholarly journals The Kodaira Problem for Kähler Spaces with Vanishing First Chern Class

2021 ◽  
Vol 9 ◽  
Author(s):  
Patrick Graf ◽  
Martin Schwald
Keyword(s):  
Chern Class ◽  
Cohomology Group ◽  
Canonical Bundle ◽  
Deformation Space ◽  
Projective Varieties ◽  
Quotient Singularities ◽  
Finite Quotient ◽  
First Chern Class ◽  
Small Deformations

Abstract Let X be a normal compact Kähler space with klt singularities and torsion canonical bundle. We show that X admits arbitrarily small deformations that are projective varieties if its locally trivial deformation space is smooth. We then prove that this unobstructedness assumption holds in at least three cases: if X has toroidal singularities, if X has finite quotient singularities and if the cohomology group ${\mathrm {H}^{2} \!\left ( X, {\mathscr {T}_{X}} \right )}$ vanishes.

scholarly journals Optimization Over the Boolean Hypercube Via Sums of Nonnegative Circuit Polynomials

2021 ◽  
Author(s):  
Mareike Dressler ◽  
Adam Kurpisz ◽  
Timo de Wolff
Keyword(s):  
Computer Science ◽  
Affine Transformation ◽  
Optimization Problems ◽  
Polynomial Optimization ◽  
Theoretical Computer Science ◽  
Sums Of Squares ◽  
Theoretical Computer ◽  
Complexity Bounds ◽  
Polynomial Optimization Problems ◽  
Transformation Of Variables

AbstractVarious key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems is based on sums of squares (SOS) as nonnegativity certificates. In this article, we initiate optimization problems over the boolean hypercube via a recent, alternative certificate called sums of nonnegative circuit polynomials (SONC). We show that key results for SOS-based certificates remain valid: First, for polynomials, which are nonnegative over the n-variate boolean hypercube with constraints of degree d there exists a SONC certificate of degree at most $$n+d$$ n + d . Second, if there exists a degree d SONC certificate for nonnegativity of a polynomial over the boolean hypercube, then there also exists a short degree d SONC certificate that includes at most $$n^{O(d)}$$ n O ( d ) nonnegative circuit polynomials. Moreover, we prove that, in opposite to SOS, the SONC cone is not closed under taking affine transformation of variables and that for SONC there does not exist an equivalent to Putinar’s Positivstellensatz for SOS. We discuss these results from both the algebraic and the optimization perspective.

scholarly journals COHERENT SYSTEMS AND MODULAR SUBAVRIETIES OF $\mathcal{SU}_C(r)$

2012 ◽  
Vol 23 (04) ◽  
pp. 1250037 ◽  
Author(s):  
MICHELE BOLOGNESI ◽  
SONIA BRIVIO
Keyword(s):  
Moduli Spaces ◽  
Vector Bundles ◽  
Low Rank ◽  
Coherent Systems ◽  
Projective Varieties ◽  
Complex Curve ◽  
Smooth Complex ◽  
Moduli Theory ◽  
Modular Varieties ◽  
Small Genus

Let C be an algebraic smooth complex curve of genus g > 1. The object of this paper is the study of the birational structure of certain moduli spaces of vector bundles and of coherent systems on C and the comparison of different type of notions of stability arising in moduli theory. Notably we show that in certain cases these moduli spaces are birationally equivalent to fibrations over simple projective varieties, whose fibers are GIT quotients (ℙr-1)rg// PGL (r), where r is the rank of the considered vector bundles. This allows us to compare different definitions of (semi-)stability (slope stability, α-stability, GIT stability) for vector bundles, coherent systems and point sets, and derive relations between them. In certain cases of vector bundles of low rank when C has small genus, our construction produces families of classical modular varieties contained in the Coble hypersurfaces.

Sign in / Sign up

Export Citation Format

Share Document