Related papers: Local Ramsey theory. An abstract approach

Let $K$ be a complete discrete valued field with residue field $k$ and $F$ the function field of a curve over $K$. Let $A \in {}_2Br(F)$ be a central simple algebra with an involution $\sigma$ of any kind and $F_0 =F^{\sigma}$. Let $h$ be…

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…

This paper extends the fundamental results of frame theory to a non-commutative setting where the role of locales is taken over by \'etale localic categories. This involves ideas from quantale theory and from semigroup theory, specifically…

Generalised indiscernibles highlight a strong link between model theory and structural Ramsey theory. In this paper, we use generalised indiscernibles as tools to prove results in both these areas. More precisely, we first show that a…

We characterize strong $p$-point ultrafilters by showing that they are exactly those $p$-points that are not Tukey above $(\omega^\omega,\leq)$; or equivalently, those $p$-points that are not Tukey-idempotent. Moreover, we show that there…

Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension…

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme…

We prove that hypergraphs defined by low-degree polynomial inequalities contain large homogeneous subsets. Formally, let $H$ be an $r$-uniform hypergraph on $N$ vertices that is semialgebraic of constant description complexity, and each…

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of…

We consider Lie algebroids over an algebraic space (or topological ringed space) as quasicoherent sheaves of Lie-Rinehart algebras. We express hypercohomology for a locally free Lie algebroid (not necessarily of finite rank) as a derived…

Suppose that \Delta, \Delta' are two buildings each arising from a semisimpe algebraic group over a field, a topological field in the former case, and that for both the buildings the Coxeter diagram has no isolated nodes. We give conditions…

Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $\mathfrak m$ of $R$ we have $f\notin\mathfrak m^2$. Let $\mathbf G$ be a reductive group scheme…

We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures,extending Zheng's work for the profinite graph to the setting of Fra\"{\i}ss\'{e} classes of finite ordered binary relational…

Ramsey theory looks for regularities in large objects. Model theory studies algebraic structures as models of theories. The structural Ramsey theory combines these two fields and is concerned with Ramsey-type questions about certain…

Let $(R,\mathfrak{m})$ be a Noetherian local ring and $\widehat{R}$ its $\mathfrak{m}$-adic completion. We study the problem of determining when a finitely generated $\widehat{R}$-module arises from an $R$-module, i.e., when it is…

This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey…

A nearly logarithmic lower bound on the randomized competitive ratio for the metrical task systems problem is presented. This implies a similar lower bound for the extensively studied k-server problem. The proof is based on Ramsey-type…

For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing…

We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear…

Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H'$ of $G$; one…