Counter-examples to the minimal model theory in characteristic two

Hiromu Tanaka

DOI: https://doi.org/10.48550/arXiv.1311.6352

2013-12-15

Abstract:In this paper, we show that the minimal model theory does not hold in characteristic two. More precisely, we construct counter-examples to the relative abundance conjecture.

Algebraic Geometry

What problem does this paper attempt to address?

Constructing Quasiminimal Structures

Levon Haykazyan

DOI: https://doi.org/10.48550/arXiv.1507.07731

2015-10-20

Abstract:Quasiminimal structures play an important role in non-elementary categoricity. In this paper we explore possibilities of constructing quasiminimal models of a given first-order theory. We present several constructions with increasing control of the properties of the outcome using increasingly stronger assumptions on the theory. We also establish an upper bound on the Hanf number of the existence of arbitrarily large quasiminimal models.

Logic
On the computability-theoretic complexity of trivial, strongly minimal models

Bakhadyr M. Khoussainov,Michael C. Laskowski,Steffen Lempp,Reed Solomon

DOI: https://doi.org/10.1090/S0002-9939-07-08865-X

IF: 0.9709

2007-01-01

Proceedings of the American Mathematical Society

Abstract:We show the existence of a trivial, strongly minimal ( and thus uncountably categorical) theory for which the prime model is computable and each of the other countable models computes 0". This result shows that the result of Goncharov/ Harizanov/ Laskowski/ Lempp/ McCoy ( 2003) is best possible for trivial strongly minimal theories in terms of computable model theory. We conclude with some remarks about axiomatizability.
Minimal Finite Models

Jonathan Ariel Barmak,Elias Gabriel Minian

DOI: https://doi.org/10.48550/arXiv.math/0611156

2006-11-07

Abstract:We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study classical invariants of general topological spaces.

Algebraic Topology
Strong minimal model theorem and Massey products

Martin Markl

2024-05-14

Abstract:Kadeishvili's minimal model theorem establishes the existence of an $A_\infty$-structure, unique up to isomorphism, on the cohomology of a dg associative algebra, which captures its homotopy type. In this note we prove the existence of minimal models that are unique up to isotopy, a stronger result obviously known to T. Kadeishvili and certainly to others, yet seemingly overlooked by mankind. We will explore how this stronger result can help in the study of Massey products. First, we show that the attempts to extract a local information from the ternary operation $\mu_3$ of our minimal model leads directly to the rediscovery of the triple Massey product. The motto is: "The triple Massey product is an invariant manifestation of $\mu_3$." We then prove that, under reasonable assumptions, the higher Massey product $\langle x_1,\ldots,x_n\rangle$ equals the set of all values $\mu_n(x_1,\ldots,x_n)$, where $\mu_n$ runs over the $n$-ary products of our minimal models. We believe that this note will help to elucidate the still somewhat enigmatic relationship between minimal models and Massey products.

Algebraic Topology
The theory of tracial von Neumann algebras does not have a model companion

Isaac Goldbring,Bradd Hart,Thomas Sinclair

DOI: https://doi.org/10.48550/arXiv.1207.0169

2012-07-27

Abstract:In this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDuff II_1 factor does not have quantifier elimination. We also show how a positive solution to the Connes Embedding Problem implies that there can be no model-complete theory of II_1 factors.

Logic,Operator Algebras
The Minimal Model Program for threefolds in characteristic five

Christopher Hacon,Jakub Witaszek

DOI: https://doi.org/10.48550/arXiv.1911.12895

2019-11-29

Abstract:We show the validity of the Minimal Model Program for threefolds in characteristic five.

Algebraic Geometry
Remarks on the existence of minimal models of log canonical generalized pairs

Nikolaos Tsakanikas,Lingyao Xie

DOI: https://doi.org/10.1007/s00209-024-03489-6

2024-04-27

Mathematische Zeitschrift

Abstract:Given an NQC log canonical generalized pair whose underlying variety X is not necessarily -factorial, we show that one may run a -MMP with scaling of an ample divisor which terminates, provided that has a minimal model in a weaker sense or that is not pseudo-effective. We also prove the existence of minimal models of pseudo-effective NQC log canonical generalized pairs under various additional assumptions, for instance when the boundary contains an ample divisor.

mathematics
Partial Model Theory -- Ultraproducts and Compactness

Rodolfo Cunha Carnier

2024-05-17

Abstract:In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures approach, which is a philosophical conception that emerged in the context of contemporary philosophy of science. Nevertheless, the notions developed within this conception, in particular the two mentioned, have a model-theoretic content that has not been explored so far, so that this paper is part of a project where we intend to analyze their formal properties by means of the development of a partial model theory, which is an extension of traditional model theory to partial structures.

Logic
Computable Models of Theories with Few Models.

Bakhadyr Khoussainov,André Nies,Richard A. Shore

DOI: https://doi.org/10.1305/ndjfl/1039724885

1997-01-01

Abstract:In this paper we investigate computable models of $\aleph_1$-categorical theories and Ehrenfeucht theories. For instance, we give an example of an $\aleph_1$-categorical but not $\aleph_0$-categorical theory $T$ such that all the countable models of $T$ except its prime model have computable presentations. We also show that there exists an $\aleph_1$-categorical but not $\aleph_0$-categorical theory $T$ such that all the countable models of $T$ except the saturated model, have computable presentations.
The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

Shiji Lyu,Takumi Murayama

2023-08-29

Abstract:We establish the relative minimal model program with scaling for projective morphisms of quasi-excellent algebraic spaces admitting dualizing complexes, quasi-excellent formal schemes admitting dualizing complexes, semianalytic germs of complex analytic spaces, rigid analytic spaces, Berkovich spaces, and adic spaces locally of weakly finite type over a field, all in equal characteristic zero. To do so, we prove finite generation of relative adjoint rings associated to projective morphisms of such spaces using the strategy of Cascini and Lazić and the generalization of the Kawamata-Viehweg vanishing theorem to the scheme setting recently established by the second author. To prove these results uniformly, we prove GAGA theorems for Grothendieck duality and dualizing complexes to reduce to the algebraic case. In addition, we apply our methods to establish the relative minimal model program with scaling for spaces of the form above in dimensions $\le 3$ in positive and mixed characteristic, and to show that one can run the relative minimal model program with scaling for complex analytic spaces without shrinking the base at each step.

Algebraic Geometry
On Existence of Log Minimal Models II

Caucher Birkar

DOI: https://doi.org/10.1515/crelle.2011.062

2011-01-01

Journal für die reine und angewandte Mathematik (Crelles Journal)

Abstract:We prove that the existence of log minimal models in dimension $d$ essentially implies the LMMP with scaling in dimension $d$. As a consequence we prove that a weak nonvanishing conjecture in dimension $d$ implies the minimal model conjecture in dimension $d$.
Model Theory of Compact Complex Manifolds with an Automorphism

Martin Bays,Martin Hils,Rahim Moosa

DOI: https://doi.org/10.1090/tran/6941

2017-03-03

Abstract:Motivated by possible applications to meromorphic dynamics, and generalising known properties of difference-closed fields, this paper studies the theory CCMA of compact complex manifolds with a generic automorphism. It is shown that while CCMA does admit geometric elimination of imaginaries, it cannot eliminate imaginaries outright: a counterexample to 3-uniqueness in CCM is exhibited. Finite-dimensional types are investigated and it is shown, following the approach of Pillay and Ziegler, that the canonical base property holds in CCMA. As a consequence the Zilber dichotomy is deduced: finite-dimensional types of SU-rank one are either one-based or almost internal to the fixed field. In addition, a general criterion for stable embeddedness in TA (when it exists) is established, and used to determine the full induced structure of CCMA on projective varieties, simple nonalgebraic complex tori, and simply connected nonalgebraic strongly minimal manifolds.

Logic,Complex Variables
Model Theory for Real-valued Structures

H. Jerome Keisler

DOI: https://doi.org/10.48550/arXiv.2005.11851

2020-10-26

Abstract:We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly continuous with respect to a distance predicate. Every general structure can be expanded to a pre-metric structure by adding a distance predicate that is a uniform limit of formulas. Moreover, that distance predicate is unique up to uniform equivalence. We use this to extend the central notions in the model theory of metric structures to general structures, and show that many model-theoretic results from the literature about metric structures have natural analogues for general structures.

Logic
The Total Rank Conjecture in Characteristic Two

Keller VandeBogert,Mark E. Walker

2024-04-11

Abstract:The Total Rank Conjecture is a coarser version of the Buchsbaum-Eisenbud-Horrocks conjecture which, loosely stated, predicts that modules with large annihilators must also have ``large'' syzygies. This conjecture was proved by the second author for rings of odd characteristic by taking advantage of the Adams operations on the category of perfect complexes with finite length homology. In this paper, we prove a stronger form of the Total Rank Conjecture for rings of characteristic two. This result may be seen as evidence that the Generalized Total Rank Conjecture (which is known to be false in odd characteristic) actually holds in characteristic two. We also formulate a meaningful extension of the Total Rank Conjecture over non Cohen-Macaulay rings and prove that this conjecture holds for any ring containing a field (independent of characteristic).

Algebraic Topology
Existence of minimal models for threefold generalized pairs in positive characteristic

Tianle Yang,Zelin Ye,Zhiyao Zhang

2024-08-22

Abstract:Let $\mathbb{K}$ be an algebraically closed field of characteristic $p>5$. We show the existence of minimal models for pseudo-effective NQC klt generalized pairs in dimension three over $\mathbb{K}$. As a consequence, we prove the termination of flips for pseudo-effective threefold NQC klt generalized pairs over $\mathbb{K}$. This provides a new proof on the termination of flips for pseudo-effective pairs over $\mathbb{K}$ without using the non-vanishing theorems. A key ingredient of our proof is the ACC for lc thresholds in dimension $\leq 3$ and the global ACC in dimension $\leq 2$ for generalized pairs over $\mathbb{K}$.

Algebraic Geometry
A model theoretic proof for o-minimal coherence theorem

Yayi Fu

2024-09-16

Abstract:Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site $\underline{\mathbb{C}^n}$, where the coverings are finite coverings by definable open sets. In general, let $\mathcal{K}$ be an algebraically closed field of characteristic zero. We give another proof of the coherence of $\mathcal{O}_{\mathcal{K}^n}$ as a sheaf of $\mathcal{O}_{\mathcal{K}^n}$-modules on the site $\underline{\mathcal{K}^n}$ using spectral topology on the type space $S_n(\mathcal{K})$. (Here $S_n(\mathcal{K})$ means $S_{2n}(\mathcal{R})$ for some real closed field $\mathcal{R}$.) It also gives an example of how the intuition that sheaves on the type space are the same as sheaves on the site with finite coverings (see \cite[Proposition~3.2]{edmundo2006sheaf}) can be applied.

Logic,Complex Variables
Anticanonical minimal models and Zariski decomposition

Sungwook Jang

2024-05-17

Abstract:Birkar and Hu showed that if a pair $(X,\Delta)$ is lc and $K_{X}+\Delta$ admits a birational Zariski decomposition, then $(X,\Delta)$ has a minimal model. Analogously, we prove that if a pair $(X,\Delta)$ is pklt and $-(K_{X}+\Delta)$ admits a birational Zariski decomposition, then $(X,\Delta)$ has an anticanonical minimal

Algebraic Geometry
Countable Models of Complete Ordered Theories

T. S. Zambarnaya,B. S. Baizhanov

DOI: https://doi.org/10.1134/s106456242360077x

2024-02-01

Doklady Mathematics

Abstract:The article consists of observations regarding complete theories of countable signatures and their countable models. We provide a construction of a countable linearly ordered theory that has the same number of countable non-isomorphic models as the given countable, not necessarily linearly ordered, theory.

mathematics
A few remarks on effectivity and good minimal models

Vladimir Lazić

2024-01-25

Abstract:We prove several results relating the nonvanishing and the existence of good minimal models of different pairs that have the same underlying variety.

Algebraic Geometry
ABSTRACTS OF LECTURES MODULI 2007

Caucher Birkar,Ching-Li Chai

2007-01-01

Abstract:First, I will quickly recall some of the basic elements of the minimal model program. Then, I concentrate on the interactions between the minimal model program and some moduli problems. In particular, I explain the construction of moduli spaces of varieties of general type via the minimal model program. Abstract. The Hecke symmetry is a salient feature of Shimura varieties. In the more recent past these symmetries have led to the notion of leaves, a global structure on the reduction of modular varieties of PEL type defined by Oort, and conjecturally for all Shimura varieties with good reduction. The Hecke symmetry also led to the notion of canonical coordinates on leaves, generalizing the classical Serre-Tate coordinates. We will discuss some recent works related to the Hecke symmetry : (1) -adic and p-adic monodromy of leaves, and irreducibility of leaves (joint work with F. Oort). One of the methods for showing that the p-adic monodromy is big is inspired by H. Hida. (2) CM lifting modulo Hecke symmetry (joint work with B. Conrad and F. Oort). Abstract. In this lecture we explain how to attach a p-adic representation to a vector bundle with strongly semistable reduction of degree zero on a p-adic curve. We also discuss higher dimensional generalizations. This is a report on joint work with Annette Werner. Abstract. Since the proof of Iwasawa's main conjecture in the classical case (the- orem of Mazur and Wiles), automorphic forms on GL(2) have played an essential role to understand GL(1)-problems. After the breakthrough by A. Wiles ((1)), there has been a substantial progress in the class field theory for GL2. In this talk, open problems in classical Iwasawa theory are discussed from this perspective, based on Galois deformations.

Counter-examples to the minimal model theory in characteristic two

Constructing Quasiminimal Structures

On the computability-theoretic complexity of trivial, strongly minimal models

Minimal Finite Models

Strong minimal model theorem and Massey products

The theory of tracial von Neumann algebras does not have a model companion

The Minimal Model Program for threefolds in characteristic five

Remarks on the existence of minimal models of log canonical generalized pairs

Partial Model Theory -- Ultraproducts and Compactness

Computable Models of Theories with Few Models.

The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

On Existence of Log Minimal Models II

Model Theory of Compact Complex Manifolds with an Automorphism

Model Theory for Real-valued Structures

The Total Rank Conjecture in Characteristic Two

Existence of minimal models for threefold generalized pairs in positive characteristic

A model theoretic proof for o-minimal coherence theorem

Anticanonical minimal models and Zariski decomposition

Countable Models of Complete Ordered Theories

A few remarks on effectivity and good minimal models

ABSTRACTS OF LECTURES MODULI 2007