Related papers: New outlook on the Minimal Model Program, I

The log canonical ring of a projective plt pair with the Kodaira dimension two is finitely generated.

The purpose of this paper is to prove that the symbolic Rees rings of ideals defining certain finite sets of points in the projective plane over an algebraically closed field are finitely generated using a ring theoretical criterion which…

Let $(G_n,X_n)$ be a sequence of finite transitive permutation groups with uniformly bounded number of generators. We prove that the infinitely iterated permutational wreath product $...\wr G_2\wr G_1$ is topologically finitely generated if…

We explore residually finite and profinite quandles. We prove that the endomorphism monoid and the automorphism group of finitely generated residually finite quandles are residually finite. In fact, we establish the similar result for a…

Let $d \geq 2$ be an integer. We conjecture that there is a finitely generated perfect group whose homomorphic images include all finite $d$-generated perfect groups. We prove a special case of this conjecture for the finite perfect groups…

We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…

Let $C$ be a smooth curve which is complete intersection of a quadric and a degree $k>2$ surface in $\mathbb{P}^3$ and let $C^{(2)}$ be its second symmetric power. In this paper we study the finite generation of the extended canonical ring…

We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite…

Let R be a commutative ring. If P is a maximal ideal of R whose a power is finitely generated then we prove that P is finitely generated if R is either locally coherent or arithmetical or a polynomial ring over a ring of global dimension…

In this note we prove that every finite collection of connected algebraic subgroups of the group of triangular automorphisms of the affine space generates a connected solvable algebraic subgroup.

Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every…

We prove that the log canonical ring of a klt pair of dimension $3$ with $\mathbb{Q}$-boundary over an algebraically closed field of characteristic $p>5$ is finitely generated. In the process we prove log abundance for such pairs in the…

Let G be a finite group and let k be a field of characteristic p. Given a finitely generated indecomposable non-projective kG-module M, we conjecture that if the Tate cohomology $\HHHH^*(G, M)$ of G with coefficients in M is finitely…

We obtain tight bounds for the minimal number of generators of an ideal with bounded-degree generators in a polynomial ring $K[X_1,\dots,X_n],$ as well as a sharp quantification of the maximum possible size of a minimal generating set of…

We prove two approximations of the open problem of whether the adjoint group of a non-nilpotent nil ring can be finitely generated: We show that the adjoint group of a non-nilpotent Jacobson radical cannot be boundedly generated, and on the…

If A is a strongly noetherian graded algebra generated in degree one, then there is a canonically constructed graded ring homomorphism from A to a twisted homogeneous coordinate ring B(X, L, sigma), which is surjective in large degree. This…

The existence of an infinite simple boundedly generated 2-generated group and the existence of a boundedly simple 2-generated group containing a free non-cyclic subgroup are proved.

We prove that the canonical ring of a canonical variety in the sense of de Fernex and Hacon is finitely generated. We prove that canonical varieties are klt if and only if R(-K_X) is finitely generated. We introduce a notion of nefness for…

Let $G$ be the linear algebraic group $SL_3$ over a field $k$ of characteristic two. Let $A$ be a finitely generated commutative $k$-algebra on which $G$ acts rationally by $k$-algebra automorphisms. We show that the full cohomology ring…

We show that every finitely generated residually finite torsion group $G$ embeds in a finitely generated torsion group $\Gamma$ that is residually finite simple. In particular we show the existence of finitely generated infinite torsion…