Related papers: Strong Projective Witnesses

We obtain a complete characterization of \emph{topologically exact patterns} on \emph{triods}. Based on their \emph{rotation number} $\rho$, these \emph{exact patterns} are grouped into three classes: \emph{slow} ($\rho < \frac{1}{3}$),…

Let $X$ be any scheme defined over a Dedekind scheme $S$ with a given section $x\in X(S)$. We prove the existence of a pro-finite $S$-group scheme $\aleph(X,x)$ and a universal $\aleph(X,x)$-torsor dominating all the pro-finite pointed…

In this paper we show that forcings which are strongly proper for stationarily many countable elementary submodels preserve each of the following properties of topological spaces: countably tight; Lindel\"of; Rothberger; Menger; and a…

It is shown that the strong Atiyah conjecture and the L\"uck approximation conjecture in the space of marked groups hold for locally indicable groups. In particular, this implies that one-relator groups satisfy both conjectures. We also…

Any model of ZFC + GCH has a generic extension (made with a poset of size aleph_2) in which the following hold: MA + 2^{aleph_0}= aleph_2+ there exists a Delta^2_1-well ordering of the reals. The proof consists in iterating posets designed…

I study definable sets in affine continuous logic. Let $T$ be an affine theory. After giving some general results, it is proved that if $T$ has a first order model, its extremal theory is a complete first order theory and first order…

We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence classes with respect to this embeddability relation. This is an…

We discover a host of infinite periodic families in the 2-primary stable homotopy groups of spheres. We also confirm the existence of many families predicted by Hopkins--Mahowald. These families appear in nineteen different congruence…

We prove that a wide class of strongly proper forcing posets have quotients with strong properties. Specifically, we prove that quotients of forcing posets which have simple universal strongly generic conditions on a stationary set of…

Let $f$ be a newform of weight $2$, square-free level and trivial character, let $A_f$ be the abelian variety attached to $f$ and for every good ordinary prime $p$ for $f$ let $\boldsymbol f^{(p)}$ be the $p$-adic Hida family through $f$.…

In characteristic zero, Bezrukavnikov has shown that the category of perverse coherent sheaves on the nilpotent cone of a simply connected semisimple algebraic group is quasi-hereditary, and that it is derived-equivalent to the category of…

We prove that successors of singular limits of strongly compact cardinals have the strong tree property. We also prove that aleph_{omega+1} can consistently satisfy the strong tree property.

We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality…

We characterize the separated schemes for which the derived category of perfect complexes is strongly generated, proving a conjecture of Bondal and Van den Bergh. And we also prove the strong generation of the bounded derived category of…

Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is…

Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…

This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We…

We describe a sufficient condition for the localization functor to be a categorical equivalence. Using this result we explain how to simplify the test for projectivity. This leads to a description of the strictly simple algebras which are…

Let $\pi: X \to Y$ be a morphism of projective varieties and suppose that $\alpha$ is a pseudo-effective numerical cycle class satisfying $\pi_*\alpha = 0$. A conjecture of Debarre, Jiang, and Voisin predicts that $\alpha$ is a limit of…

We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…