In this paper, the concept of toric difference varieties is defined and four equivalent descriptions for toric difference varieties are presented in terms of difference rational parametrization,difference coordinate r...In this paper, the concept of toric difference varieties is defined and four equivalent descriptions for toric difference varieties are presented in terms of difference rational parametrization,difference coordinate rings, toric difference ideals, and group actions by difference tori. Connections between toric difference varieties and affine N[x]-semimodules are established by proving the one-to-one correspondence between irreducible invariant difference subvarieties and faces of N[x]-semimodules and the orbit-face correspondence. Finally, an algorithm is given to decide whether a binomial difference ideal represented by a Z[x]-lattice defines a toric difference variety.展开更多
The generalized noncommutative torus Tkp of rank n was defined in [4] by the crossed product Am/k ×a3 Z ×a4 … ×an Z, where the actions ai of Z on the fibre Mk(C) of a rational rotation algebra Am/k are...The generalized noncommutative torus Tkp of rank n was defined in [4] by the crossed product Am/k ×a3 Z ×a4 … ×an Z, where the actions ai of Z on the fibre Mk(C) of a rational rotation algebra Am/k are trivial, and C*(kZ × kZ) ×a3 Z ×a4 ... ×an Z is a completely irrational noncommutative torus Ap of rank n. It is shown in this paper that Tkp is strongly Morita equivalent to Ap, and that Tkp (?) Mp∞ is isomorphic to Ap (?) Mk(C) (?) Mp∞ if and only if the set of prime factors of k is a subset of the set of prime factors of p.展开更多
基金supported by the National Natural Science Foundation of China under Grant No.11688101
文摘In this paper, the concept of toric difference varieties is defined and four equivalent descriptions for toric difference varieties are presented in terms of difference rational parametrization,difference coordinate rings, toric difference ideals, and group actions by difference tori. Connections between toric difference varieties and affine N[x]-semimodules are established by proving the one-to-one correspondence between irreducible invariant difference subvarieties and faces of N[x]-semimodules and the orbit-face correspondence. Finally, an algorithm is given to decide whether a binomial difference ideal represented by a Z[x]-lattice defines a toric difference variety.
基金Project supported by Grant No.1999-2-102-001-3 from the Interdisciplinary Research Program Year of the KOSEF.
文摘The generalized noncommutative torus Tkp of rank n was defined in [4] by the crossed product Am/k ×a3 Z ×a4 … ×an Z, where the actions ai of Z on the fibre Mk(C) of a rational rotation algebra Am/k are trivial, and C*(kZ × kZ) ×a3 Z ×a4 ... ×an Z is a completely irrational noncommutative torus Ap of rank n. It is shown in this paper that Tkp is strongly Morita equivalent to Ap, and that Tkp (?) Mp∞ is isomorphic to Ap (?) Mk(C) (?) Mp∞ if and only if the set of prime factors of k is a subset of the set of prime factors of p.