Related papers: Local Ramsey theory. An abstract approach

Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…

The cohomological dimension of a field is the largest degree with non-vanishing Galois cohomology. Serre's "Conjecture II" predicts that for every perfect field of cohomological dimension $2$, every torsor over the field for a semisimple,…

We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional…

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…

Let a Lie algebra $\mathfrak q$ be a linear sum of two complementary subalgebras $\mathfrak h$ and $\mathfrak r$. We continue our investigations initiated in (J. London Math. Soc. 103 (2021), 1577-1595), where compatible Poisson brackets…

In this paper we focus on the set-open topologies on the group $\mathcal{H}(X)$ of all self-homeomorphisms of a topological space $X$ which yield continuity of both the group operations, product and inverse function. As a consequence, we…

Let S denote the family of all subspaces of the plane that are graphs of functions from the real line R to itself. We prove that S has two subfamilies G,H of spaces such that the cardinality of G is c (the cardinality of the continuum) and…

Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb{V} = R^{2k} f_{*} \mathbb{Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$…

In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…

It is shown that certain lower semi-continuous maps from a paracompact space to the family of closed subsets of the bundle space of a Banach bundle admit continuous selections. This generalization of the theorem of Douady, dal…

Let $R$ be a semilocal Dedekind domain. Under certain assumptions, we show that two (not necessarily unimodular) hermitian forms over an $R$-algebra with involution, which are rationally ismorphic and have isomorphic semisimple coradicals,…

In a recent paper, Colliot-Th\'el\`ene, Parimala and Suresh conjectured that a local-global principle holds for projective homogeneous spaces of connected linear algebraic groups over function fields of p-adic curves. In this paper, we show…

For any (not necessarily perfect) field $k$ we obtain equivalences of $\infty$-categories \[\mathbf{H}^{\mathrm{fr},\mathrm{gp}}(k)\simeq \mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(k) \text{ and }…

We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…

We prove that, on a smooth, connected variety in characteristic zero admitting a rational point, local systems of geometric origin are stable under extension in the category of all local systems. As a consequence of this, we obtain a (Nori)…

When $\mathfrak h$ is a toral subalgebra of a Lie algebra $\mathfrak g$ over a field $\mathbf k$, and $M$ a $\mathfrak g$-module on which $\mathfrak h$ also acts torally, the Hochschild-Serre filtration of the Chevalley-Eilenberg cochain…

We introduce here a method which uses etale neighborhoods to extend results from smooth semi-local rings to arbitrary semi-local rings A by passing to the henselization of a smooth presentation of A. The technique is used to show that etale…

Let F be a non-archimedean local field of odd residual characteristic p. Let G be a (connected) reductive group that splits over a tamely ramified field extension of F. We show that a construction analogous to Yu's construction of complex…

A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of…

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$…