Related papers: Convex separably rationally connected complete int…

I make some remarks on Hodge symmetry, and prove for instance that if $k$ is a perfect field of characteristic $p>0$ and $X/k$ smooth, proper and Hodge-Witt scheme, and Hodge de Rham sequence of $X$ degenerates at $E_1$ and $X$ has…

We consider surfaces $X$ defined by plane divisorial valuations $\nu$ of the quotient field of the local ring $R$ at a closed point $p$ of the projective plane $\mathbb{P}^2$ over an arbitrary algebraically closed field $k$ and centered at…

Quantum states that remain separable (i.e., not entangled) under any global unitary transformation are known as absolutely separable and form a convex set. Despite extensive efforts, the complete characterization of this set remains largely…

Let X be a rational nonsingular compact connected real algebraic surface. Denote by Aut(X) the group of real algebraic automorphisms of X. We show that the group Aut(X) acts n-transitively on X, for all natural integers n. As an application…

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…

We consider the problem of computing homogeneous coordinates of points in a zero-dimensional subscheme of a compact, complex toric variety $X$. Our starting point is a homogeneous ideal $I$ in the Cox ring of $X$, which in practice might…

Let X be a smooth, connected, closed subvariety of a complex vector space V. The asymptotic cone as(X) is naturally equipped with a nearby cycles sheaf P coming from the specialization of X to as(X). We show that if X is transverse to…

Tverberg's theorem is one of the cornerstones of discrete geometry. It states that, given a set $X$ of at least $(d+1)(r-1)+1$ points in $\mathbb R^d$, one can find a partition $X=X_1\cup \ldots \cup X_r$ of $X$, such that the convex hulls…

We prove that a homogeneous 0-dimensional complete intersection satisfies the Strong Lefschetz Property (SLP) in degree 1 if and only if its associated form has nonzero Hessian. The result is essentially known in the literature, but our…

This paper studies algebraic residual intersections in rings with Serre's condition \( S_{s} \). It demonstrates that residual intersections admit free approaches i.e. perfect subideal with the same radical. This fact leads to determining a…

Let $(A,\mathfrak{m})$ be an abstract complete intersection and let $P$ be a prime ideal of $A$. In [1] Avramov proved that $A_P$ is an abstract complete intersection. In this paper we give an elementary proof of this result.

Suppose that M is an infinite structure with finite relational vocabulary such that every relation symbol has arity at most 2. If M is simple and homogeneous then its complete theory is supersimple with finite SU-rank which cannot exceed…

Let $\Hol_{x_0}^{{\bf n}} (\C\P^1, X)$ be the space of based holomorphic maps of degree ${\bf n}$ from $\C\P^1$ into a simply connected algebraic variety $X$. Under some condition we prove that the map $\map \Hol_{x_0}^{{\bf n}} (\C\P^1,…

Let $k$ be an arbitrary field, $P = P_k^{m_1} \times_k \cdots \times_k P_k^{m_p}$ be a multiprojective space over $k$, and $X \subseteq P$ be a closed subscheme of $P$. We provide necessary and sufficient conditions for the positivity of…

In this paper we give conditions on a homogeneous polynomial for which the associated graded Artin algebra is a complete intersection.

A convex cone $\mathcal{K}$ is said to be homogeneous if its group of automorphisms acts transitively on its relative interior. Important examples of homogeneous cones include symmetric cones and cones of positive semidefinite (PSD)…

We show that if X is a smooth rationally connected threefold and C is a smooth projective curve then C can be embedded in X. Furthermore, a version of this property characterises rationally connected varieties of dimension at least 3. We…

Let $X:=\mathrm{Spec}(R)$ be an affine Noetherian scheme, and $\mathcal{M} \subset \mathcal{N}$ be a pair of finitely generated $R$-modules. Denote their Rees algebras by $\mathcal{R}(\mathcal{M})$ and $\mathcal{R}(\mathcal{N})$. Let…

Given a complex analytic singularity $(X, 0)$, we show that if there exists an automorphism $F: (X, 0) \to (X, 0)$ that is contracting, then $(X, 0)$ is quasi-homogeneous.

It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…