Related papers: Adjoint rings are finitely generated
This article is written for the Proceedings of the Conference on Current Developments in Mathematics in Harvard University, November 16-17, 2007. It is an exposition of the analytic proof of the finite generation of the canonical ring for a…
Let $R_1$ be a commutative ring, let $R_2$ be a finitely generated extension ring of $R_1$, and let $S$ be a ring that is intermediate between $R_1$ and $R_2$. For $R_1 = R[x]$ and $R_2 = R[x,y]$, this paper gives simple combinatorial…
We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…
We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite…
We provide an alternative proof that the finite rational linear combination of radicals, under certain constraint, are linearly independent over $\mathbb{Q}$.
Let $G$ be a finite connected simple graph and $I_{G}$ the toric ideal of the edge ring $K[G]$ of $G$. In the present paper, we study finite graphs $G$ with the property that $I_{G}$ is generated by quadratic binomials and $I_{G}$ possesses…
We give an elementary proof of a result which is not as well known as it should be: a ring with a specified finite number of zero divisors is finite, with a precise bound on its order.
We prove that the Cox ring of the blowing-up of a minimal toric surface of Picard rank two is finitely generated. As part of our proof of this result we provide a necessary and sufficient condition for finite generation of Cox rings of…
We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring $A$ is bi-interpretable with $(\mathbb N,{+},{\times})$ if and only if the space…
It was proved by Beligiannis and Krause that over certain Artin algebras, there are Gorenstein flat modules which are not direct limits of finitely generated Gorenstein projective modules. That is, these algebras have no Gorenstein analogue…
We give a non-constructive proof that fusion rings attached to a simple complex Lie algebra of rank 2 are complete intersections.
We construct a 2-generated 2-related group without non-trivial finite factors. That answers a question of J. Button.
We prove that the group of rational points of a non-isotrivial elliptic curve defined over the perfect closure of a function field in one variable over a finite field is finiteley generated.
We provide an infinite family of sofic one-relator groups that are not residually solvable nor residually finite. The proof is essentially different from the one in [1], as it does not require just Magnus' decompositions.
We construct an infinite family of connected, 2-generated Cayley digraphs Cay(G;a,b) that do not have hamiltonian paths, such that the orders of the generators a and b are arbitrarily large. We also prove that if G is any finite group with…
The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…
We determine the structure of automorphism groups of finite graphs of bounded Hadwiger number. Our proof includes a structural analysis of finite edge-transitive graphs. In particular, we show that for connected, $K_{h+1}$-minor-free,…
We prove that the Andre-Quillen homology and cohomology modules of F-finite Z(p)-algebras are finitely generated.
In this expository note we discuss a class of graded algebras named Cox rings, which are naturally associated to algebraic varieties generalizing the homogeneous coordinate rings of projective spaces. Whenever the Cox ring is finitely…
We show that every non-trivial compact connected group and every non-trivial general or special linear group over an infinite field admits a generating set such that the associated Cayley graph has infinite diameter.