Related papers: Descent for Shimura Varieties

We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in…

We prove the finiteness of $B$-representations of generalised log canonical pairs. As a consequence, we prove that, the (relative) abundance for a generalised semi-log canonical pair is implied by the abundance for its normalisation.…

We prove the Singer conjecture for varieties with semismall Albanese map and residually finite fundamental group.

We prove the existence of integral canonical models of unitary Shimura varieties in arbitrary unramified mixed characteristic. Errata to [Va1] are also included.

Nakayama showed that deformation invariance of plurigenera for smooth complex varieties follows from the MMP and Abundance Conjectures. We generalize his result to families of singular pairs over DVRs of positive or mixed characteristic. As…

We prove the Mumford--Tate conjecture for those abelian varieties over number fields whose extensions to C have attached adjoint Shimura varieties that are products of simple, adjoint Shimura varieties of certain Shimura types. In…

We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show…

Using a new technique, we prove a rich family of special cases of the matroid intersection conjecture. Roughly, we prove the conjecture for pairs of tame matroids which have a common decomposition by 2-separations into finite parts.

This paper presents a formalization of decreasing diagrams in the theorem prover Isabelle. It discusses mechanical proofs showing that any locally decreasing abstract rewrite system is confluent. The valley and the conversion version of…

A now-classical cyclic extension of the descent set of a permutation has been introduced by Klyachko and Cellini. Following a recent axiomatic approach to this notion, it is natural to ask which sets of permutations admit such an extension.…

This paper generalizes Shelah's generic pair conjecture (now theorem) for the measurable cardinal case from first order theories to finite diagrams. We use homogeneous models in the place of saturated models.

In this note, we study the infinitesimal forms of Deligne cycle class maps. As an application, we prove that the infinitesimal form of a conjecture by Beilinson is true.

We prove, e.g., that if lambda=chi^+=2^chi and S subseteq {delta<lambda:cf(delta) neq cf(chi)} is stationary then diamondsuit_lambda holds true.

In this paper, we study the Landis-type conjecture, i.e., unique continuation property from infinity, of the fractional Schr\"{o}dinger equation with drift and potential terms. We show that if any solution of the equation decays at a…

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

The works of Commichau--Grauert and Hirschowitz showed that a formal equivalence between embeddings of a compact complex manifold is convergent, if the embeddings have sufficiently positive normal bundles in a suitable sense. We show that…

We prove that the M\"obius disjointness conjecture holds for graph maps and for all monotone local dendrite maps. We further show that this also hold for continuous map on certain class of dendrites. Moreover, we see that there is a…

We introduce linearly decomposable (LD) generalized pairs, which serve as a workable substitute for rational decompositions in the non-NQC setting. Using LD generalized pairs, together with a refinement of special termination and…

The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…

We use orthogonality calculus to prove a downward transfer from categoricity in a successor in abstract elementary classes (AECs) that have a good frame (a forking-like notion for types of singletons) on an interval of cardinals:…