Abstract
In this paper, we introduce the concept of P-difference varieties and study the properties of toric P-difference varieties. Toric P-difference varieties are analogues of toric varieties in difference algebraic geometry. The category of affine toric P-difference varieties with toric morphisms is shown to be antiequivalent to the category of affine P[x]-semimodules with P[x]-semimodule morphisms. Moreover, there is a one-to-one correspondence between the irreducible invariant P-difference subvarieties of an afne toric P-difference variety and the faces of the corresponding affine P[x]-semimodule. We also define abstract toric P-difference varieties by gluing affine toric P-difference varieties. The irreducible invariant P-difference subvariety-face correspondence is generalized to abstract toric P-difference varieties. By virtue of this correspondence, a divisor theory for abstract toric P-difference varieties is developed.
Similar content being viewed by others
References
Cohn R M. Difference Algebra. New York: Interscience Publishers, 1965
Cox D, Little J, Schenck H. Toric Varieties. New York: Springer-Verlag, 2010
Fulton W. Introduction to Toric Varieties. Princeton: Princeton University Press, 1993
Gao X S, Huang Z, Wang J, et al. Toric difference variety. J Syst Sci Complex, 2017, 30: 173–195
Gelfand I M, Kapranov M, Zelevinsky A. Discriminants, Resultants and Multidimensional Determinants. Boston: Birkhäauser, 1994
Hartshorne R. Algebraic Geometry. New York: Springer-Verlag, 1977
Hrushovski E. The elementary theory of the Frobenius automorphisms. https://doi.org/www.ma.huji.ac.il/~ehud/, 2012
Jing R J, Yuan C M. A modular algorithm to compute the generalized Hermite normal form for ℤ[x]-lattices. J Symbolic Comput, 2017, 81: 97–118
Levin A. Difference Algebra. New Work: Springer-Verlag, 2008
Li W, Li Y H. Difference chow form. J Algebra, 2015, 428: 67–90
Li W, Yuan C M, Gao X S. Sparse difference resultant. J Symbolic Comput, 2015, 68: 169–203
Oda T. Convex Bodies and Algebraic Geometry. New York: Springer, 1988
Ritt J F, Doob J L. Systems of algebraic difference equations. Amer J Math, 1933, 55: 505–514
Rotman J J. An Introduction to Homological Algebra. New Work: Springer-Verlag, 2008
Wibmer M. Algebraic difference equations. https://doi.org/www.math.upenn.edu/~wibmer/AlgebraicDifferenceEquations.pdf, 2013
Wibmer M. Affine difference algebraic groups. ArXiv:1405.6603, 2014
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wang, J. Toric P-difference varieties. Sci. China Math. 63, 643–670 (2020). https://doi.org/10.1007/s11425-018-9319-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11425-018-9319-7