scholarly journals The Minkowski Property and Reflexivity of Marked Poset Polytopes

10.37236/8144 ◽  
2020 ◽  
Vol 27 (1) ◽  
Author(s):  
Xin Fang ◽  
Ghislain Fourier ◽  
Christoph Pegel
Keyword(s):  
Toric Varieties ◽  
Reflexive Polytopes ◽  
Coordinate Rings

We study the Minkowski property and reflexivity of marked poset polytopes. Both are relevant to the study of toric varieties associated to marked poset polytopes: the Minkowski property can be used to obtain generators of coordinate rings, while reflexive polytopes correspond to Gorenstein–Fano toric varieties.

The Convex Polytopes and Homogeneous Coordinate Rings of Bivariate Polynomials

2019 ◽  
Vol 16 (2) ◽  
pp. 1
Author(s):  
Shamsatun Nahar Ahmad ◽  
Nor’Aini Aris ◽  
Azlina Jumadi
Keyword(s):  
Convex Polytopes ◽  
Polynomial Systems ◽  
Matrix Formulation ◽  
Bivariate Polynomials ◽  
Homogeneous Coordinates ◽  
The Matrix ◽  
Projective Vector ◽  
Coordinate Rings ◽  
Resultant Matrix ◽  
The Given

Concepts from algebraic geometry such as cones and fans are related to toric varieties and can be applied to determine the convex polytopes and homogeneous coordinate rings of multivariate polynomial systems. The homogeneous coordinates of a system in its projective vector space can be associated with the entries of the resultant matrix of the system under consideration. This paper presents some conditions for the homogeneous coordinates of a certain system of bivariate polynomials through the construction and implementation of the Sylvester-Bèzout hybrid resultant matrix formulation. This basis of the implementation of the Bèzout block applies a combinatorial approach on a set of linear inequalities, named 5-rule. The inequalities involved the set of exponent vectors of the monomials of the system and the entries of the matrix are determined from the coefficients of facets variable known as brackets. The approach can determine the homogeneous coordinates of the given system and the entries of the Bèzout block. Conditions for determining the homogeneous coordinates are also given and proven.

scholarly journals Codimension bounds for the Noether–Lefschetz components for toric varieties

2021 ◽  
Author(s):  
Ugo Bruzzo ◽  
William D. Montoya
Keyword(s):  
Irreducible Component ◽  
Toric Variety ◽  
Toric Varieties ◽  
Ample Divisor ◽  
Smooth Hypersurface

AbstractFor a quasi-smooth hypersurface X in a projective simplicial toric variety $$\mathbb {P}_{\Sigma }$$ P Σ , the morphism $$i^*:H^p(\mathbb {P}_{\Sigma })\rightarrow H^p(X)$$ i ∗ : H p ( P Σ ) → H p ( X ) induced by the inclusion is injective for $$p=\dim X$$ p = dim X and an isomorphism for $$p<\dim X-1$$ p < dim X - 1 . This allows one to define the Noether–Lefschetz locus $$\mathrm{NL}_{\beta }$$ NL β as the locus of quasi-smooth hypersurfaces of degree $$\beta $$ β such that $$i^*$$ i ∗ acting on the middle algebraic cohomology is not an isomorphism. We prove that, under some assumptions, if $$\dim \mathbb {P}_{\Sigma }=2k+1$$ dim P Σ = 2 k + 1 and $$k\beta -\beta _0=n\eta $$ k β - β 0 = n η , $$n\in \mathbb {N}$$ n ∈ N , where $$\eta $$ η is the class of a 0-regular ample divisor, and $$\beta _0$$ β 0 is the anticanonical class, every irreducible component V of the Noether–Lefschetz locus quasi-smooth hypersurfaces of degree $$\beta $$ β satisfies the bounds $$n+1\leqslant \mathrm{codim}\,Z \leqslant h^{k-1,\,k+1}(X)$$ n + 1 ⩽ codim Z ⩽ h k - 1 , k + 1 ( X ) .

scholarly journals On the Hodge conjecture for quasi-smooth intersections in toric varieties

2021 ◽  
Author(s):  
Ugo Bruzzo ◽  
William Montoya
Keyword(s):  
Complete Intersection ◽  
Toric Variety ◽  
Toric Varieties ◽  
Picard Group ◽  
Hodge Conjecture ◽  
Smooth Hypersurface ◽  
Suitable Notion

AbstractWe establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in Bruzzo and Grassi (Commun Anal Geom 28: 1773–1786, 2020). We also show that the Hodge Conjecture holds asymptotically for suitable quasi-smooth hypersurface in the Noether–Lefschetz locus, where “asymptotically” means that the degree of the hypersurface is big enough, under the assumption that the ambient variety $${{\mathbb {P}}}_\Sigma ^{2k+1}$$ P Σ 2 k + 1 has Picard group $${\mathbb {Z}}$$ Z . This extends to a class of toric varieties Otwinowska’s result in Otwinowska (J Alg Geom 12: 307–320, 2003).

scholarly journals Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings

2021 ◽  
Vol 9 ◽  
Author(s):  
Alex Chirvasitu ◽  
Ryo Kanda ◽  
S. Paul Smith
Keyword(s):  
Elliptic Curve ◽  
Symmetric Power ◽  
Canonical Homomorphism ◽  
Coordinate Ring ◽  
Characteristic Variety ◽  
Closed Subvariety ◽  
Coordinate Rings ◽  
Cubic Hypersurfaces ◽  
Elliptic Algebras ◽  
Twisted Homogeneous Coordinate Ring

Abstract The elliptic algebras in the title are connected graded $\mathbb {C}$ -algebras, denoted $Q_{n,k}(E,\tau )$ , depending on a pair of relatively prime integers $n>k\ge 1$ , an elliptic curve E and a point $\tau \in E$ . This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau )$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau )$ . When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ , we show that the homomorphism $Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ is surjective, the relations for $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ are generated in degrees $\le 3$ and the noncommutative scheme $\mathrm {Proj}_{nc}(Q_{n,k}(E,\tau ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$ , respectively. When $X_{n/k}=E^g$ and $\tau =0$ , the results about $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ show that the morphism $\Phi _{|\mathcal {L}_{n/k}|}:E^g \to \mathbb {P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.

scholarly journals Embedding the Picard group inside the class group: the case of $$\mathbb {Q}$$-factorial complete toric varieties

2021 ◽  
Author(s):  
Michele Rossi ◽  
Lea Terracini
Keyword(s):  
Free Group ◽  
Toric Variety ◽  
Class Group ◽  
Abelian Groups ◽  
Toric Varieties ◽  
Picard Group ◽  
Closed Field ◽  
Finitely Generated ◽  
Free Part ◽  
Canonical Injection

AbstractLet X be a $$\mathbb {Q}$$ Q -factorial complete toric variety over an algebraic closed field of characteristic 0. There is a canonical injection of the Picard group $$\mathrm{Pic}(X)$$ Pic ( X ) in the group $$\mathrm{Cl}(X)$$ Cl ( X ) of classes of Weil divisors. These two groups are finitely generated abelian groups; while the first one is a free group, the second one may have torsion. We investigate algebraic and geometrical conditions under which the image of $$\mathrm{Pic}(X)$$ Pic ( X ) in $$\mathrm{Cl}(X)$$ Cl ( X ) is contained in a free part of the latter group.

scholarly journals Complete intersections in simplicial toric varieties

2015 ◽  
Vol 68 ◽  
pp. 265-286 ◽  
Author(s):  
Isabel Bermejo ◽  
Ignacio García-Marco
Keyword(s):  
Toric Varieties ◽  
Complete Intersections
Sign in / Sign up

Export Citation Format

Share Document