Related papers: Coideals of block sequences

We develop a general framework for infinite-dimensional Ramsey theory with and without pigeonhole principle, inspired by Gowers' Ramsey-type theorem for block sequences in Banach spaces and by its exact version proved by Rosendal. In this…

We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple…

We prove that in some cases definable thin sets (including chains) of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic thin sets, ROD thin sets in the Solovay model, and $\Sigma^1_2$…

Thomason's \'{e}tale descent theorem for Bott periodic algebraic $K$-theory \cite{aktec} is generalized to any $MGL$ module over a regular Noetherian scheme of finite dimension. Over arbitrary Noetherian schemes of finite dimension, this…

Let $A$ be a Dedekind domain of characteristic zero such that for each height one prime ideal $\mathfrak{p}$ in $A$, the local ring $A_{\mathfrak{p}}$ has mixed characteristic with finite residue field. Suppose that $R=A[X_1,\ldots,X_n]$ is…

We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein…

We prove a local duality for some schemes associated to a 2-dimensional complete local ring whose residue field is an n-dimensional local field in the sense of Kato-Parshin. Our results generalize the Saito works in the case n=0 and are…

Let $\mathcal{I}$ be a meager ideal on $\mathbf{N}$. We show that if $x$ is a sequence with values in a separable metric space then the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-cluster points…

By a theorem of Roberts, the integral closure of a regular local ring in a finite abelian extension of its fraction field is Cohen-Macaulay, provided that the degree of the extension is coprime to the characteristic of the residue field. We…

We investigate the formal principle for holomorphic line bundles on neighborhoods of an analytic subset of a complex manifold mainly in the case where it can be realized as an open subset of a compact K\"ahler manifold. Our approach…

Let $L/K$ be a finite Galois extension of local fields. The Hasse-Arf theorem says that if Gal$(L/K)$ is abelian then the upper ramification breaks of $L/K$ must be integers. We prove the following converse to the Hasse-Arf theorem: Let $G$…

A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category…

We prove a Ramsey theorem for finite sets equipped with a partial order and a fixed number of linear orders extending the partial order. This is a common generalization of two recent Ramsey theorems due to Soki\'c. As a bonus, our proof…

We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…

It is well known that Barr and Beck's definition of comonadic homology makes sense also with a functor of coefficients taking values in a semi-abelian category instead of an abelian one. The question arises whether such a homology theory…

For symplectic Lie algebras $\mathfrak{sp}(2n,\mathbb{C})$, denote by $\mathfrak{b}$ and $\mathfrak{n}$ its Borel subalgebra and maximal nilpotent subalgebra, respectively. We construct a relationship between the abelian ideals of…

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fra\"iss\'e classes of finite relational structures satisfying the Ramsey property. The…

We study global dynamical properties of the isometry group of the Borel randomization of a separable complete structure. In particular, we show that if properties such as the Rohklin property, topometric generics, extreme amenability hold…

Consider the algebraic dynamics on a torus T=G_m^n given by a matrix M in GL_n(Z). Assume that the characteristic polynomial of M is prime to all polynomials X^m-1. We show that any finite equivariant map from another algebraic dynamics…

In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…