We study $A_{\infty}$-structures extending the natural algebra structure on the cohomology of $\oplus_n L^n$, where $L$ is a very ample line bundle on a projective $d$-dimensional variety $X$ such that $H^i(X,L^n)=0$ for $0<i<d$ and all $n$. We prove that there exists a unique such nontrivial $A_{\infty}$-structure up to homotopy and rescaling. In the case when $X$ is a curve we also compute the group of self-homotopies of this $A_{\infty}$-structure.
We associate to every divisorial (e.g. smooth) variety $X$ with only constant invertible global functions and finitely generated Picard group a $Pic(X)$-graded homogeneous coordinate ring. This generalizes the usual homogeneous coordinate ring of the projective space and constructions of Cox and Kajiwara for smooth and divisorial toric varieties. We show that the homogeneous coordinate ring defines in fact a fully faithful functor. For normal complex varieties $X$ with only constant global functions, we even obtain an equivalence of categories. Finally, the homogeneous coordinate ring of a loc…
Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas $\QQ$-Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.
The following corollary has been added: for general tetragonal curve $C$ of genus $g\ge 9$ the homogeneous coordinate ring of $C$ defined by the line bundle $K(-T)$, where $K$ is the canonical class, $T$ is the tetragonal series, is Koszul. Also some misprints are corrected.
Using reduction to positive characteristic and the method of Frobenius splitting of diagonals, due to Mehta and Ramanathan, it is shown that homogeneous coordinate rings for either proper and smooth toric varieties or Schubert varieties are Koszul algebras.
Given a smooth toric variety X and an ample line bundle O(1), we construct a sequence of Lagrangian submanifolds of (C^*)^n with boundary on a level set of the Landau-Ginzburg mirror of X. The corresponding Floer homology groups form a graded algebra under the cup product which is canonically isomorphic to the homogeneous coordinate ring of X.
In this work, we introduce the point parameter ring B, a generalized twisted homogeneous coordinate ring associated to a degenerate version of the three-dimensional Sklyanin algebra. The surprising geometry of these algebras yields an analogue to a result of Artin-Tate-van den Bergh, namely that B is generated in degree one and thus is a factor of the corresponding degenerate Sklyanin algebra.
In this article, we prove that for any indecomposable dominant character of a maximal torus $T$ of a simple adjoint group $G$ such that there is a Coxeter element $w \in W$ for which $X(w)^{ss}_T(\mathcal L_χ) \neq \emptyset$. If further, for any dominant character $χ_1$ of $T$ such that $χ_1\lneqq χ$ with respect to the dominant ordering, $dim(H^0(G/B, \mathcal L_{χ_1})^T) < dim (H^0(G/B, \mathcal L_χ)^T)$, then the graded algebra $\oplus_{d \in \mathbb Z_{\geq 0}}H^0(G/B, \mathcal L_χ^{\otimes d})^T$ is a polynomial ring in $r$ variables where $r\geq 2$.
We study the question of when a ring can be realized as a direct summand of a regular ring by examining the case of homogeneous coordinate rings. We present very strong obstacles to expressing a graded ring with isolated singularity as a finite graded direct summand. For several classes of examples (del Pezzo surfaces, hypersurfaces), we give a complete classification of which coordinate rings can be expressed as direct summands (not necessarily finite), and in doing so answer a question of Hara about the FFRT property of the quintic del Pezzo. We also examine what happens in the case where th…
This submission consists of two papers: 1) an erratum that corrects an error in the proof of Proposition 4.3 in my paper "The Homogeneous Coordinate Ring of a Toric Variety", and 2) the original (unchanged) version of the paper, published in 1995. The original paper introduced the homogeneous coordinate ring of a toric variety (now called the total coordinate ring or Cox ring) and gave a quotient construction. The paper also studied sheaves on a toric variety, and in Section 4 described its automorphism group. The error in the proof of Proposition 4.3 resulted from the faulty assumption that a…
Given a projective scheme $X$ over a field $k$, an automorphism $σ$ of $X$, and a $σ$-ample invertible sheaf $L$, one may form the twisted homogeneous coordinate ring $B = B(X, L, σ)$, one of the most fundamental constructions in noncommutative projective algebraic geometry. We study the primitive spectrum of $B$, as well as that of other closely related algebras such as skew and skew-Laurent extensions of commutative algebras. Over an algebraically closed, uncountable field $k$ of characteristic zero, we prove that that the primitive ideals of $B$ are characterized by the usual Dixmier-Moegli…
The purpose of the present paper is twofold: to introduce the notion of a generalized flag in an infinite dimensional vector space $V$ (extending the notion of a flag of subspaces in a vector space), and to give a geometric realization of homogeneous spaces of the ind--groups $SL(\infty)$, $SO(\infty)$ and $Sp(\infty)$ in terms of generalized flags. Generalized flags in $V$ are chains of subspaces which in general cannot be enumerated by integers. Given a basis $E$ of $V$, we define a notion of $E$--commensurability for generalized flags, and prove that the set $\cFl (\cF, E)$ of generalized f…
There is an error in the computation of the truncated point schemes of the degenerate Sklyanin algebra S(1, 1, 1); they are larger than was claimed in Proposition 3.13 of the above paper. We provide a description of the correct truncated point schemes. Results about the corresponding point parameter ring associated to these schemes are given afterward.
We introduce the Cox homotopy algorithm for solving a sparse system of polynomial equations on a compact toric variety $X_Σ$. The algorithm lends its name from a construction, described by Cox, of $X_Σ$ as a GIT quotient $X_Σ= (\mathbb{C}^k \setminus Z) // G$ of a quasi-affine variety by the action of a reductive group. Our algorithm tracks paths in the total coordinate space $\mathbb{C}^k$ of $X_Σ$ and can be seen as a homogeneous version of the standard polyhedral homotopy, which works on the dense torus of $X_Σ$. It furthermore generalizes the commonly used path tracking algorithms in (mult…
Any rational map between affine spaces, projective spaces or toric varieties can be described in terms of their affine, homogeneous, or Cox coordinates. We show an analogous statement in the setting of Mori Dream Spaces. More precisely (in the case of regular maps) we show there exists a finite extension of the Cox ring of the source, such that the regular map lifts to a morphism from the Cox ring of the target to the finite extension. Moreover the extension only involves roots of homogeneous elements. Such a description of the map can be applied in practical computations.
The cusp was recently shown to admit the structure of a quantum homogeneous space, that is, its coordinate ring $B$ can be embedded as a right coideal subalgebra into a Hopf algebra $A$ such that $A$ is faithfully flat as a $B$-module. In the present article such a Hopf algebra $A$ is constructed for the coordinate ring $B$ of the nodal cubic, thus further motivating the question which affine varieties are quantum homogeneous spaces.
We recall first some basic facts on weighted homogeneous functions and filtrations in the ring $A$ of formal power series. We introduce next their analogues for weighted homogeneous diffeomorphisms and vector fields. We show that the Milnor algebra is a complete invariant for the classification of weighted homogeneous polynomials with respect to right-equivalence, i.e. change of coordinates in the source and target by diffeomorphism.
The Cox ring provides a coordinate system on a toric variety analogous to the homogeneous coordinate ring of projective space. Rational maps between projective spaces are described using polynomials in the coordinate ring, and we generalise this to toric varieties, providing a unified description of arbitrary rational maps between toric arieties in terms of their Cox coordinates. Introducing formal roots of polynomials is necessary even in the simplest examples.
The twisted homogeneous coordinate ring is one of the basic constructions of the noncommutative projective geometry of Artin, Van den Bergh, and others. Chan generalized this construction to the multi-homogeneous case, using a concept of right ampleness for a finite collection of invertible sheaves and automorphisms of a projective scheme. From this he derives that certain multi-homogeneous rings, such as tensor products of twisted homogeneous coordinate rings, are right noetherian. We show that right and left ampleness are equivalent and that there is a simple criterion for such ampleness. Th…
Let Cox(S) be the homogeneous coordinate ring of the blow-up S of P^2 in r general points, i.e., a smooth Del Pezzo surface of degree 9-r. We prove that for r=6 and 7, Proj(Cox(S)) can be embedded into G/P, where G is an algebraic group with root system given by the primitive Picard lattice of S and P is a certain maximal parabolic subgroup in G.
Let R be the free algebra on x and y modulo the relations x^5=yxy and y^2=xyx endowed with the grading deg x=1 and deg y=2. Let B_3 denote the blow up of the projective plane at three non-colliear points. The main result in this paper is that the category of quasi-coherent sheaves on B_3 is equivalent to the quotient of the category of graded R-modules modulo the full subcategory of modules M such that for each m in M, $(x,y)^nm=0$ for n sufficiently large. This is proved by showing the R is a twisted homogeneous coordinate ring (in the sense of Artin and Van den Bergh) for B_3. This reduces a…
Polynomial log-volume growth in slow dynamics and the GK-dimensions of twisted homogeneous coordinate rings
National Taiwan University（国立台湾大学）；National Center for Theoretical Sciences（国家理论科学中心）；the University of Tokyo（东京大学）；National Center for Theoretical Sciences, Mathematics Division, National Taiwan University（国立台湾大学国家理论科学中心数学组）；National University of Singapore（新加坡国立大学）
We determine which tangential varieties of homogeneously embedded rational homogeneous varieties are spherical. We determine the homogeneous coordinate rings and rings of covariants of the tangential varieties of homogenously embedded compact Hermitian symmetric spaces (CHSS). We give bounds on the degrees of generators of the ideals of tangential varieties of CHSS and obtain more explicit infomation about the ideals in certain cases.
The elliptic algebras in the title are connected graded $\mathbb{C}$-algebras, denoted $Q_{n,k}(E,τ)$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,τ)$ to the twisted homogeneous coordinate ring $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,τ)$. When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ we show the homomorphism $Q_{n,k}(E,τ) \to B(X_{n/k},σ',\mathcal{L}'_{n/k})$ is surjective, that the relations for $B(X_…
We obtain a geometric construction of a ``standard monomial basis'' for the homogeneous coordinate ring associated with any ample line bundle on any flag variety. This basis is compatible with Schubert varieties, opposite Schubert varieties, and unions of intersections of these varieties. Our approach relies on vanishing theorems and a degeneration of the diagonal ; it also yields a standard monomial basis for the multi-homogeneous coordinate rings of flag varieties of classical type.
