
TL;DR
This paper introduces and studies toric P-difference varieties, establishing their algebraic structure, categorical equivalences, and geometric correspondences, extending concepts from classical toric geometry into difference algebra.
Contribution
It defines toric P-difference varieties, proves their categorical equivalence with P[x]-semimodules, and develops a divisor theory for these varieties.
Findings
Categorical equivalence between affine toric P-difference varieties and P[x]-semimodules
Correspondence between invariant subvarieties and faces of semimodules
Development of a divisor theory for abstract toric P-difference varieties
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 algebra 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 affine toric P-difference variety and the faces of the corresponding affine P[x]-semimodule. We also define abstract toric P-difference varieties associated with fans by gluing affine toric P-difference varieties. The irreducible invariant P-difference subvarieties-faces correspondence is generalized to abstract toric P-difference varieties. By virtue of this correspondence, a divisor…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Algebraic Geometry and Number Theory · Algebraic structures and combinatorial models
