Related papers: CM-trivial structures without the canonical base p…
We classify completely the surfaces of general type whose canonical map is 3-to-1 onto a surface of minimal degree in projective space. These surfaces fall into 5 distinct classes and we give explicit examples belonging to each of these…
We continue our investigation =of Shelah's interpretability orders $\trianglelefteq^*_\kappa$ as well as the new orders $\trianglelefteq^\times_\kappa$. In particular, we give streamlined proofs of the existence of minimal unstable,…
In this note, we construct nine families of projective complex minimal surfaces of general type having the canonical map of degree 8 and irregularity 0 or 1. For six of these families the canonical system has a non trivial fixed part.
We generalize Hrushovski's Group Configuration Theorem to quasiminimal classes. As an application, we present Zariski-like structures, a generalization of Zariski geometries, and show that a group can be found there if the pregeometry…
We consider topologically non-trivial Higgs bundles over elliptic curves with marked points and construct corresponding integrable systems. In the case of one marked point we call them the modified Calogero-Moser systems (MCM systems).…
We show that the automorphism groups of certain countable structures obtained using the Hrushovski amalgamation method are simple groups. The structures we consider are the 'uncollapsed' structures of infinite Morley rank obtained by the ab…
Let C $\rightarrow$ Spec(R) be a relative proper flat curve over an henselian base. Let G be a reductive C-group scheme. Under mild technical assumptions, we show that a G-torsor over C which is trivial on the closed fiber of C is locally…
We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…
In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple…
We study fourfolds with trivial canonical bundle which are zero loci of sections of homogeneous, completely reducible bundles over ordinary and classical complex Grassmannians. We prove that the only HyperK{\"a}hler fourfolds among them are…
In this note we show that if a compact Kahler manifold with trivial canonical bundle is the total space of a holomorphic fibration without singular fibers, then the fibration is a holomorphic fiber bundle. In the algebraic case, the…
For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${\rm CM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and…
Let $\D$ be a $(d-1)$-dimensional pure $f$-simplicial complex over vertex set $[n]$. In this paper, it is proved that $n=2d$ holds true if $\D$ is minimal Cohen-Macaulay. It is also indicated that the recent work of \cite{Dao2020} implies…
We define a notion of a weak canonical base for a partial type. This notion is weaker than the usual canonical base for an amalgamation base. We prove that certain family of partial types have a weak canonical base. This family clearly…
The $r$-KdV-CH hierarchy is a generalization of the Korteweg-de Vries and Camassa-Holm hierarchies parametrized by $r+1$ constants. In this paper we clarify some properties of its multi-Hamiltonian structures, prove the semisimplicity of…
We show that, under suitable hypotheses, the coned-off spaces associated to $C(9)$ cubical small-cancellation presentations are aspherical, and use this to provide classifying spaces, or classifying spaces for proper actions, for their…
We start an analysis of geometric properties of a structure relative to a reduct. In particular, we look at definability of groups and fields in this context. In the relatively one-based case, every definable group is isogenous to a…
The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's…
Let $\text{Ch}$ be the category of (possibly unbounded) chain complexes of abelian groups. In this note we construct the standard Quillen model structure on $\text{Ch}$, by a method that is somewhat different from the standard one.…
What are simplest ways to construct a finite group from its atomic constituents? To understand part-whole relations between finite simple groups and the global structure of finite groups, we axiomatize complexity measures on finite groups.…