Search

Let \Lambda (f) = K[x][y; f\frac {d}{dx} ] be an Ore extension of a polynomial algebra K[x] over a field K of characteristic zero where f\in K[x]. For a given polynomial f, the automorphism group of the algebra \Lambda (f) is explicitly described. The polynomial case \Lambda (0) = K[x,y] and the case of the Weyl algebra A_1= K[x][y; \frac {d}{dx} ] were done by Jung [J. Reine Angew. Math. 184 (1942), pp. 161–174] and van der Kulk [Nieuw Arch. Wisk. (3) 1 (1953), pp. 33–41], and Dixmier [Bul. Soc. Math. France 96 (1968), pp. 209–242], respectively. Alev and Dumas [Comm. Algebra 25 (1997), pp. 1655–1672] proved that the algebras \Lambda (f) and \Lambda (g) are isomorphic iff g(x) = \lambda f(\alpha x+\beta) for some \lambda, \alpha \in K\backslash \{ 0\} and \beta \in K. Benkart, Lopes and Ondrus [Trans. Amer. Math. Soc. 367 (2015), pp. 1993–2021] gave a complete description of the set of automorphism groups of algebras \Lambda (f). In this paper we complete the picture, i.e. given the polynomial f we have the explicit description of the automorphism group of \Lambda (f). The key concepts in finding the automorphism groups are the eigenform, the eigenroot and the eigengroup of a polynomial (introduced in the paper; they are of independent interest). [ABSTRACT FROM AUTHOR]

The notion of initial ideal for an ideal of a polynomial ring appears in the theory of Gröbner basis. Similarly to the initial ideals, we can define the initial algebra for a subalgebra of a polynomial ring, or more generally of a Laurent polynomial ring, which is used in the theory of SAGBI (Subalgebra Analogue to Gröbner Bases for Ideals) basis. The initial algebra of a finitely generated subalgebra is not always finitely generated, and no general criterion for finite generation is known. The aim of this paper is to present a new class of finitely generated subalgebras having non-finitely generated initial algebras. The class contains a subalgebra for which the set of initial algebras is uncountable, as well as a subalgebra with finitely many distinct initial algebras. [ABSTRACT FROM AUTHOR]

Let \mathcal {A} denote a central hyperplane arrangement of rank n in affine space \mathbb {K}^n over a field \mathbb {K} of characteristic zero and let l_1,\ldots, l_m\in R≔\mathbb {K}[x_1,\ldots,x_n] denote the linear forms defining the corresponding hyperplanes, along with the corresponding defining polynomial f≔l_1\cdots l_m\in R. The focus of the paper is on the ideal J_f\subset R generated by the partial derivatives of f. We conjecture that J_f is a minimal reduction of the ideal \mathbb {I}\subset R generated by the (m-1)-fold products of distinct forms among l_1,\ldots, l_m. We prove this conjecture for an almost generic \mathcal {A} (i.e., any n-1 among the defining linear forms are linearly independent). In this case we obtain a stronger version of a result by Dimca and Papadima, and we confirm the conjecture unconditionally for n=3. We also conjecture that J_f is an ideal of linear type (i.e., the respective symmetric and Rees algebras coincide). We prove this conjecture for n=3. In the sequel we explain the tight relationship between the two ideals J_f, \mathbb {I}\subset R; in particular, we show that in the generic case (J_f)^{\text {sat}}=\mathbb I. As a consequence, we can provide a simpler proof of a conjectured result of Yuzvinsky, proved by Rose and Terao, on the vanishing of the depth of R/J_f. [ABSTRACT FROM AUTHOR]