Related papers: Adjointness of Suspension and Shape Path Functors

Let $X$ be a complex, irreducible, quasi-projective variety, and $\pi:\widetilde X\to X$ a resolution of singularities of $X$. Assume that the singular locus ${\text{Sing}}(X)$ of $X$ is smooth, that the induced map…

Let $X=Spec{A}$ denote a regular affine scheme, over a field $k$, with $1/2\in k$ and $\dim X=d$. Let $P$ denote a projective $A$-module of rank $n\geq 2$. Let $\pi_0\left({\mathcal LO}(P)\right)$ denote the (Nori) Homotopy Obstruction set,…

The Shi arrangement ${\mathcal S}_n$ is the arrangement of affine hyperplanes in ${\mathbb R}^n$ of the form $x_i - x_j = 0$ or $1$, for $1 \leq i < j \leq n$. It dissects ${\mathbb R}^n$ into $(n+1)^{n-1}$ regions, as was first proved by…

We are developing tools for working with arbitrary left-exact localizations of $\infty$-topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $\Sigma$ in an $\infty$-topos $\mathscr{E}$. We show that the full…

Uchillo-Ibanez et al. introduced a topology on the sets of shape morphisms between arbitrary topological spaces in 1999. In this paper, applying a similar idea, we introduce a topology on the set of coarse shape morphisms $Sh^*(X,Y)$, for…

We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient…

Let $A$ be a regular ring over a field $k$, with $1/2\in k$ and dimension $d$. We discuss the Homotopy Conjecture of Madhav V. Nori, in the complete intersection case (meaning when the projective module in question if free, of rank at least…

Topologies $\tau , \sigma \in \mathop{{\mathrm{Top}}}\nolimits _X$ are bijectively related, in notation $\tau \sim \sigma$, if there are continuous bijections $f: (X, \tau )\rightarrow (X, \sigma )$ and $g: (X, \sigma)\rightarrow (X,…

Let $W$ be an irreducible Weyl group and $W_a$ its affine Weyl group. In this article we show that there exists a bijection between $W_a$ and the integral points of an affine variety, denoted $\widehat{X}_{W_a}$, which we call the Shi…

We construct a lift of the $p$-complete sphere to the universal height $1$ higher semiadditive stable $\infty$-category tsade-$1$ of Carmeli--Schlank--Yanovski, providing a counterexample, at height $1$, to their conjecture that the natural…

In this paper, using the topology on the set of shape morphisms between arbitrary topological spaces $X$, $Y$, $Sh(X,Y)$, defined by Cuchillo-Ibanez et al. in 1999, we consider a topology on the shape homotopy groups of arbitrary…

Let $W_a$ be an affine Weyl group with corresponding finite root system $\Phi$. In \cite{JYS1} Jian-Yi Shi characterized each element $w \in W_a$ by a $ \Phi^+$-tuple of integers $(k(w,\alpha))_{\alpha \in \Phi^+}$ subject to certain…

In this paper, given two Banach spaces $X, Y$ and a $C^1$ functional $\Phi:X\times Y\to {\bf R}$, under general assumptions, we show that either $\Phi$ has a saddle-point in $X\times Y$ or, for each convex and dense set $S\subseteq Y$,…

Let $G$ be a connected finite graph. Backman, Baker, and Yuen have constructed a family of explicit and easy-to-describe bijections $g_{\sigma,\sigma^*}$ between spanning trees of $G$ and $(\sigma,\sigma^*)$-compatible orientations, where…

For a scheme X, denote by SH(X_et^hyp) the stabilization of the hypercompletion of its etale infty-topos, and by SH_et(X) the localization of the stable motivic homotopy category SH(X) at the (desuspensions of) etale hypercovers. For a…

Let A be an abelian variety over a number field K. An identity between the L-functions L(A/K_i,s) for extensions K_i of K induces a conjectural relation between the Birch-Swinnerton-Dyer quotients. We prove these relations modulo finiteness…

We address pairs $(X, Y)$ of metric spaces with the following property: for every mapping $f: X \to Y$ the existence of points $x, y \in X$ with $d(f(x),f(y)) > d(x,y)$ implies the existence of $\widetilde{x}, \widetilde{y}\in X$ for which…

Let $X$ and $Y$ be real analytic manifolds and let $\Lambda \subseteq T^*X$ and $\Sigma \subseteq T^*Y$ be closed conic subanalytic singular isotropics. Given a sheaf $K \in \mathrm{Sh}_{-\Lambda \times \Sigma}(X \times Y)$ microsupported…

For a path-connected metric space $(X,d)$, the $n$-th homotopy group $\pi_n(X)$ inherits a natural pseudometric from the $n$-th iterated loop space with the uniform metric. This pseudometric gives $\pi_n(X)$ the structure of a topological…

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…