On finiteness of log canonical models

Let [Formula: see text] be klt pairs with [Formula: see text] a convex set of divisors. Assuming that the relative Kodaira dimensions of such pairs are non-negative, then there are only finitely many log canonical models when the boundary divisors vary in a rational polytope in [Formula: see text]. As a consequence, we show the existence of the log canonical model for a klt pair [Formula: see text] with real coefficients.

Axiomatization of Some Basic and Modal Boolean Connexive Logics

Boolean connexive logic is an extension of Boolean logic that is closed under Modus Ponens and contains Aristotle’s and Boethius’ theses. According to these theses (i) a sentence cannot imply its negation and the negation of a sentence cannot imply the sentence; and (ii) if the antecedent implies the consequent, then the antecedent cannot imply the negation of the consequent and if the antecedent implies the negation of the consequent, then the antecedent cannot imply the consequent. Such a logic was first introduced by Jarmużek and Malinowski, by means of so-called relating semantics and tableau systems. Subsequently its modal extension was determined by means of the combination of possible-worlds semantics and relating semantics. In the following article we present axiomatic systems of some basic and modal Boolean connexive logics. Proofs of completeness will be carried out using canonical models defined with respect to maximal consistent sets.

ℤ3-actions on Horikawa surfaces

Minimal algebraic surfaces of general type [Formula: see text] such that [Formula: see text] are called Horikawa surfaces. In this note, [Formula: see text]-actions on Horikawa surfaces are studied. The main result states that given an admissible pair [Formula: see text] such that [Formula: see text], all the connected components of Gieseker’s moduli space [Formula: see text] contain surfaces admitting a [Formula: see text]-action. On the other hand, the examples considered allow us to produce normal stable surfaces that do not admit a [Formula: see text]-Gorenstein smoothing. This is illustrated by constructing non-smoothable normal surfaces in the KSBA-compactification [Formula: see text] of Gieseker’s moduli space [Formula: see text] for every admissible pair [Formula: see text] such that [Formula: see text]. Furthermore, the surfaces constructed belong to connected components of [Formula: see text] without canonical models.

Quantifying invasibility

Invasibility, the chance of a population to grow from rarity and to establish a large-abundance colony, plays a fundamental role in population genetics, ecology, and evolution. For many decades, the mean growth rate when rare has been employed as an invasion criterion. Recent analyses have shown that this criterion fails as a quantitative metric for invasibility, with its magnitude sometimes even increasing while the invasibility decreases. Here we employ a new large-deviations (Wentzel-Kramers-Brillouin, WKB) approach and derive a novel and easy-to-use formula for the chance of invasion in terms of the mean growth rate and its variance. We also explain how to extract the required parameters from abundance time series. The efficacy of the formula, including its accompanying data analysis technique, is demonstrated using synthetic and empirically-calibrated time series from a few canonical models.

ON THE FIRST STEPS OF THE MINIMAL MODEL PROGRAM FOR THE MODULI SPACE OF STABLE POINTED CURVES

The aim of this paper is to study all the natural first steps of the minimal model program for the moduli space of stable pointed curves. We prove that they admit a modular interpretation, and we study their geometric properties. As a particular case, we recover the first few Hassett–Keel log canonical models. As a by-product, we produce many birational morphisms from the moduli space of stable pointed curves to alternative modular projective compactifications of the moduli space of pointed curves.

Growth and long-run sustainability

From any state of economic and environmental assets, the maximin value defines the highest level of utility that can be sustained forever. Along any development path, the maximin value evolves over time according to investment decisions. If the current level of utility is lower than this value, there is room for growth of both the utility level and the maximin value. For any resource allocation mechanism (ram) and economic dynamics, growth is limited by the long-run level of the maximin value, which is an endogenous dynamic sustainability constraint. If utility reaches this limit, sustainability imposes growth to stop, and the adoption of maximin decisions instead of the current ram. We illustrate this pattern in two canonical models, the simple fishery and a two-sector economy with a nonrenewable resource. We discuss what our results imply for the assessment of sustainability in the short and the long run in non-optimal economies.

The origin of the Moon’s Earth-like tungsten isotopic composition from dynamical and geochemical modeling

The Earth and Moon have identical or very similar isotopic compositions for many elements, including tungsten. However, canonical models of the Moon-forming impact predict that the Moon should be made mostly of material from the impactor, Theia. Here we evaluate the probability of the Moon inheriting its Earth-like tungsten isotopes from Theia in the canonical giant impact scenario, using 242 N-body models of planetary accretion and tracking tungsten isotopic evolution, and find that this probability is <1.6–4.7%. Mixing in up to 30% terrestrial materials increases this probability, but it remains <10%. Achieving similarity in stable isotopes is also a low-probability outcome, and is controlled by different mechanisms than tungsten. The Moon’s stable isotopes and tungsten isotopic composition are anticorrelated due to redox effects, lowering the joint probability to significantly less than 0.08–0.4%. We therefore conclude that alternate explanations for the Moon’s isotopic composition are likely more plausible.

CM liftings of surfaces over finite fields and their applications to the Tate conjecture

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of $K3$ surfaces over finite fields. We prove that every $K3$ surface of finite height over a finite field admits a characteristic $0$ lifting whose generic fibre is a $K3$ surface with complex multiplication. Combined with the results of Mukai and Buskin, we prove the Tate conjecture for the square of a $K3$ surface over a finite field. To obtain these results, we construct an analogue of Kisin’s algebraic group for a $K3$ surface of finite height and construct characteristic $0$ liftings of the $K3$ surface preserving the action of tori in the algebraic group. We obtain these results for $K3$ surfaces over finite fields of any characteristics, including those of characteristic $2$ or $3$ .