Related papers: Type decomposition in NIP theories

In this paper we explain how to convert discrete invariants into stable ones via what we call hierarchical stabilization. We illustrate this process by constructing stable invariants for multi-parameter persistence modules with respect to…

We study the decomposition of a generic element $g \in G$ of a connected reductive complex algebraic group $G$ in the form $g = N(g) B(g) \bar{u} N(g)^{-1}$ where $N: G \dashrightarrow \mathcal{N}_-$ and $B : G \dashrightarrow…

Let p be a positive prime number and X be a Severi-Brauer variety of a central division algebra D of degree p^n, with n>0. We describe all shifts of the motive of X in the complete motivic decomposition of a variety Y, which splits over the…

We show that certain subrings of the cohomology of a finite p-group P may be realised as the images of restriction from suitable virtually free groups. We deduce that the cohomology of P is a finite module for any such subring. Examples…

We show that the theory $T_{\log}$ of the asymptotic couple of the field of logarithmic transseries is distal. As distal theories are NIP (= the non-independence property), this provides a new proof that $T_{\log}$ is NIP. Finally, we show…

In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory we introduce definition of a group, which is both general and…

We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.

We show a homotopy decomposition of $p$-localized suspension $\Sigma M_{(p)}$ of a quasitoric manifold $M$ by constructing power maps. As an application we investigate the $p$-localized suspension of the projection $\pi$ from the…

We develop a theory of $P$-trivial MMP whose each step is $P$-trivial for a given nef divisor $P$. As an application, we prove that, given a projective generalised klt pair $(X,B+M)$ with data $M'$ being just a nef $\mathbb{R}$-divisor, if…

We make explicit in terms of categories a number of statements from the theory of partial inner product spaces (PIP spaces) and operators on them. In particular, we construct sheaves and cosheaves of operators on certain PIP spaces of…

We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.

This article discuss a class of tractable model in the form of polynomial type.

We establish a version of a semistable reduction theorem over a log point with a non-trivial nilpotent structure. In order to do this we extend the classical desingularization theories to non-reduced schemes with generically principal…

We prove that any compact surface with constant positive curvature and conical singularities can be decomposed into irreducible components of standard shape, glued along geodesic arcs connecting conical singularities. This is a spherical…

We show that all density operators of 2$\times N$--dimensional quantum systems that remain invariant after partial transposition with respect to the first system are separable. Based on this criterion, we derive a sufficient separability…

We examine the dynamics of a particle in a general rotating quadratic potential, not necessarily stable or isotropic, using a general complex mode formalism. The problem is equivalent to that of a charged particle in a quadratic potential…

We define deformation rings for potentially semi-stable deformations of fixed discrete series inertial type in dimension $2$. In the case of representations of the Galois group of $\mathbf{Q}_p$, we prove an analogue of the Breuil-M\'ezard…

We prove a comparison isomorphism between the De Rham rational homotopy type of a smooth proper log variety defined over a p-adic field and the crystalline rational homotopy type of a semi-stable reduction mod p.

We prove a categorification of the stable elements formula of Cartan and Eilenberg. Our formula expresses the derived category and the stable module category of a group as a bilimit of the corresponding categories for the $p$-subgroups.

We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders…