Search arXivSearch

arXiv · 2208.12481

On rank 3 quadratic equations of projective varieties

Abstract

Let $X \subset ¶^r$ be a linearly normal variety defined by a very ample line bundle $L$ on a projective variety $X$. Recently it is shown in \cite{HLMP} that there are many cases where $(X,L)$ satisfies property $\textsf{QR} (3)$ in the sense that the homogeneous ideal $I(X,L)$ of $X$ is generated by quadratic polynomials of rank $3$. The locus $Φ_3 (X,L)$ of rank $3$ quadratic equations of $X$ in $¶\left( I(X,L)_2 \right)$ is a projective algebraic set, and property $\textsf{QR} (3)$ of $(X,L)$ is equivalent to that $Φ_3 (X)$ is nondegenerate in $¶\left( I(X)_2 \right)$. In this paper we study geometric structures of $Φ_3 (X,L)$ such as its minimal irreducible decomposition. Let \begin{equation*} Σ(X,L) = \{ (A,B) ~|~ A,B \in {\rm Pic}(X),~L = A^2 \otimes B,~h^0 (X,A) \geq 2,~h^0 (X,B) \geq 1 \}. \end{equation*} We first construct a projective subvariety $W(A,B) \subset Φ_3 (X,L)$ for each $(A,B)$ in $Σ(X,L)$. Then we prove that the equality \begin{equation*} Φ_3 (X,L) ~=~ \bigcup_{(A,B) \in Σ(X,L)} W(A,B) \end{equation*} holds when $X$ is locally factorial. Thus this is an irreducible decomposition of $Φ_3 (X,L)$ when ${\rm Pic} (X)$ is finitely generated and hence $Σ(X,L)$ is a finite set. Also we find a condition that the above irreducible decomposition is minimal. For example, it is a minimal irreducible decomposition of $Φ_3 (X,L)$ if ${\rm Pic}(X)$ is generated by a very ample line bundle.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Euisung Park. 2023-10-26. On rank 3 quadratic equations of projective varieties. https://arxiv.org/abs/2208.12481

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Shrinking dynamic on multidimensional tropical series

Let $Ω\subset\mathbb R^n$ be a compact convex domain. An $Ω$-tropical series is a nonnegative, concave, integral-slope, piecewise-affine function on $Ω$ that vanishes on $\partialΩ$. For a finite set $P\subsetΩ^\circ$, we study the least such function above prescribed initial data whose corner locus contains $P$. It is obtained by repeatedly applying one-point shrinking operators $G_p$. We prove that every fair order of these operators stabilizes after finitely many nontrivial steps. We also describe an event-driven implementation that records the lowest monomials at each point and updates only affected watcher lists. Finally, we show that, on every compact subset of $Ω^\circ$, the resulting dynamics can be approximated by a finite path whose intermediate tropical hypersurfaces have only mild singularities on that compact set; equivalently, the corresponding local cells of the dual regular subdivision contain no lattice points other than their vertices.

math.AG

A stacky $p$-adic Riemann--Hilbert correspondence on Hitchin-small locus

Let $C$ be an algebraically closed perfectoid field over $\mathbb{Q}_p$ with the ring of integer $\mathcal{O}_C$ and the infinitesimal thickening $\Ainf$. Let $\mathfrak X$ be a semi-stable formal scheme over $\mathcal{O}_C$ with a fixed flat lifting $\widetilde{\mathfrak X}$ over $\Ainf$. Let $X$ be the generic fiber of $\mathfrak{X}$ and $\widetilde X$ be its lifting over $\BdRp$ induced by $\widetilde{\mathfrak X}$. Let $\MIC_r(\widetilde X)^{{\rm H}\text{-small}}$ and $\rL\rS_r(X,\BBdRp)^{{\rm H}\text{-small}}$ be the $v$-stacks of rank-$r$ Hitchin-small integrable connections on $X_{\et}$ and $\BBdRp$-local systems on $X_{v}$, respectively. In this paper, we establish an equivalence between these two stacks by introducing a new period sheaf with connection $(\calO\bB_{\dR,\pd}^+,\rd)$ on $X_{v}$.

math.AG

A refinement of the coherence conjecture of Pappas and Rapoport

The coherence conjecture of Pappas and Rapoport, proved by Zhu, asserts the equality of dimensions for the global sections of a line bundle over a spherical Schubert variety in the affine Grassmannian and those of another line bundle over a certain union of Schubert varieties in a partial affine flag variety. We refine this equality of dimensions to an isomorphism of representations. The comparison is established by introducing a parahoric Bruhat-Tits group scheme $\mathcal{G}$ over the affine line, ramified at 0. We further strengthen this comparison by equipping any line bundle on the global Schubert variety of $\mathcal{G}$ with a unique equivariant structure under the global jet group scheme. As an application, we obtain new relations among affine Demazure modules.

math.AG