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

In this paper, we give a new proof of the splitting theorem on manifolds with nonnegative spectral Ricci curvature proved in [APX24, CMMR24, HW26]. Furthermore, by constructing weighted minimizing geodesics at infinity, we show that minimal…

Let f be a generically finite morphism from X to Y. The purpose of this paper is to show how the O_Y algebra structure on the push forward of O_X controls algebro-geometric aspects of X like the ring generation of graded rings associated to…

Given nontrivial finite groups $A$ and $B$, not both of order 2, we prove that every finite simple group of sufficiently large rank is an image of the free product $A \ast B$. To show this, we prove that every finite simple group of…

We prove that the set of limit groups is recursive, answering a question of Delzant. One ingredient of the proof is the observation that a finitely presented group with local retractions (a la Long and Reid) is coherent and, furthermore,…

Unique continuation results are proved for metrics with prescribed Ricci curvature in the setting of bounded metrics on compact manifolds with boundary, and in the setting of complete, conformally compact metrics. Related to this issue, an…

We construct new examples of immersed minimal surfaces with catenoid ends and finite total curvature, of both genus zero and higher genus. In the genus zero case, we classify all such surfaces with at most $2n+1$ ends, and with symmetry…

We investigate the structure of return-time sets determined by orbits along polynomial tuples in minimal topological dynamical systems. Building on the topological characteristic factor theory of Glasner, Huang, Shao, Weiss, and Ye, we…

We describe a bound on the degree of the generators for some adjoint rings on surfaces and threefolds.

We establish a general min-max type theorem that produces minimal surfaces with prescribed genus in 3-manifolds with positive Ricci curvature. An important intermediate step is to show that, in a generic metric with positive Ricci…

The general setting of this work is the constraint-based synthesis of termination arguments. We consider a restricted class of programs called lasso programs. The termination argument for a lasso program is a pair of a ranking function and…

We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our…

Using algebraic geometry methods, the third author proved that the group ring of a surjunctive group with coefficients in a field is always stably finite. In other words, every group satisfying Gottschalk's conjecture also satisfies…

In this note we show that finitely generated unit $O_X[\sigma]$--modules for $X$ regular and $F$--finite have a minimal root (in the sense of [Lyubeznik, F-modules] Definition~3.6). This problem was posed by Lyubeznik and answered by…

We obtain several fundamental results on finite index ideals and additive subgroups of rings as well as on model-theoretic connected components of rings, which concern generating in finitely many steps inside additive groups of rings. Let…

We will prove the following results for $3$-fold pairs $(X,B)$ over an algebraically closed field $k$ of characteristic $p>5$: log flips exist for $\Q$-factorial dlt pairs $(X,B)$; log minimal models exist for projective klt pairs $(X,B)$…

We answer in the affirmative a conjecture of Berarducci, Peterzil and Pillay \cite{BPP10} for solvable groups, which is an o-minimal version of a particular case of Milnor's isomorphism conjecture \cite{jM83}. We prove that every abstract…

This set of notes provides some additional explanatory material on the analytic proof of the finite generation of the canonical ring for a compact complex algebraic manifold of general type.

Manin's conjecture predicts the distribution of rational points on Fano varieties. Using explicit parameterizations of rational points by integral points on universal torsors and lattice-point-counting techniques, it was proved for several…

Consider the blow-up Y of a weighted projective plane at a point in the open orbit over a field of characteristic 0. We assume that there exists a curve C on Y such that C^2<0 and C.E=1, where E is the exceptional curve. In this paper we…

We study generalized splines from the perspective of the representation theory of the category of graphs with contractions. Our main theorem proves a kind of finite generation, which in turn implies the existence of a ``universal generating…