Related papers: A Positivstellensatz for projective real varieties

Let $\mathbf{G}$ be a connected reductive complex algebraic group with split real form $(G,\sigma)$. Consider a strict wonderful $\mathbf{G}$-variety $\bf{X}$ equipped with its $\sigma$-equivariant real structure, and let $X$ be the…

A smooth scheme X over a field k of positive characteristic is said to be strongly liftable, if X and all prime divisors on X can be lifted simultaneously over W_2(k). In this paper, first we prove that smooth toric varieties are strongly…

For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a…

Weighted projective space arises when we consider the usual geometric definition for projective space and allow for non-trivial weights. On its own, this extra freedom gives rise to more than enough interesting phenomena, but it is the fact…

We say that a random vector $X=(X_1,...,X_n)$ in $R^n$ is an $n$-dimensional version of a random variable $Y$ if for any $a\in R^n$ the random variables $\sum a_iX_i$ and $\gamma(a) Y$ are identically distributed, where $\gamma:R^n\to…

One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomials that are sums of squares of polynomials and satisfy some…

Let $X\subset P^N$ be a variety (respectively a patch of an analytic submanifold) and let $x\in X$ be a general point. We show that if the projective second fundamental form of $X$ at $x$ is isomorphic to the second fundamental form of a…

Every convex homogeneous polynomial (or form) is nonnegative. Blekherman has shown that there exist convex forms that are not sums of squares via a nonconstructive argument. We provide an explicit example of a convex form of degree four in…

Schm\"udgen's Theorem says that if a basic closed semialgebraic set K = {g_1 \geq 0, ..., g_s \geq 0} in R^n is compact, then any polynomial f which is strictly positive on K is in the preordering generated by the g_i's. Putinar's Theorem…

We extend results of Chang and Ran regarding large dimensional families of immersed curves of positive genus in projective space in two directions. In one direction, we prove a sharp bound for the dimension of a complete family of smooth…

We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares…

We say a positive integer is a sum of three nonunit squares if it is a sum of three squares of integers other than one. In this article, we find all integers which are sums of three nonunit squares assuming that the Generalized Riemann…

We prove that in every variety of $G$-groups, every $G$-existentially closed element satisfies nullstellensatz for finite consistent systems of equations. This will generalize {\bf Theorem G} of \cite{BMR1}. As a result we see that every…

We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…

Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ of $\dim X\geq 4$ and Picard number $\rho(X)=1$. Suppose that $X$ satisfies $H^i(X,F^{m*}_X(\Omg^j_X)\otimes\Ls^{-1})=0$ for any ample…

Max Noether's Theorem asserts that if $\ww$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. This is true for…

If $X$ is a projective variety and $G$ is an algebraic group acting algebraically on $X$, we provide a counter-example to the existence of a $G$-equivariant extension on the formal semi-universal deformation of $X$.

Let $X$ be a complex quasiprojective variety. A result of Noguchi-Winkelmann-Yamanoi shows that if $X$ admits a Zariski dense entire curve, then its quasi-Albanese map is a fiber space. We show that the orbifold structure induced by a…

The equivariant nonnegativity versus sums of squares question has been solved for any infinite series of essential reflection groups but type A. As a first step to a classification, we analyse $A_n$-invariant quartics. We prove that the…

Finding the maximal dimension of complete subvarieties of the moduli space of smooth $n$-pointed curves of genus $g$ is a long-standing open problem. Here we show that for $g\ge 3\cdot 2^{d-1}$, if the characteristic of the base field is…