-
Looking Beyond The Top-1: Transformers Determine Top Tokens In Order
Authors:
Daria Lioubashevski,
Tomer Schlank,
Gabriel Stanovsky,
Ariel Goldstein
Abstract:
Understanding the inner workings of Transformers is crucial for achieving more accurate and efficient predictions. In this work, we analyze the computation performed by Transformers in the layers after the top-1 prediction has become fixed, which has been previously referred to as the "saturation event". We expand the concept of saturation events for top-k tokens, demonstrating that similar satura…
▽ More
Understanding the inner workings of Transformers is crucial for achieving more accurate and efficient predictions. In this work, we analyze the computation performed by Transformers in the layers after the top-1 prediction has become fixed, which has been previously referred to as the "saturation event". We expand the concept of saturation events for top-k tokens, demonstrating that similar saturation events occur across language, vision, and speech models. We find that these saturation events happen in order of the corresponding tokens' ranking, i.e., the model first decides on the top ranking token, then the second highest ranking token, and so on. This phenomenon seems intrinsic to the Transformer architecture, occurring across different architectural variants (decoder-only, encoder-only, and to a lesser extent full-Transformer), and even in untrained Transformers. We propose an underlying mechanism of task transition for this sequential saturation, where task k corresponds to predicting the k-th most probable token, and the saturation events are in fact discrete transitions between the tasks. In support of this we show that it is possible to predict the current task from hidden layer embedding. Furthermore, using an intervention method we demonstrate that we can cause the model to switch from one task to the next. Finally, leveraging our findings, we introduce a novel token-level early-exit strategy, which surpasses existing methods in balancing performance and efficiency.
△ Less
Submitted 26 October, 2024;
originally announced October 2024.
-
Arithmetic Kei Theory
Authors:
Ariel Davis,
Tomer M Schlank
Abstract:
A kei, or 2-quandle, is an algebraic structure one can use to produce a numerical invariant of links, known as coloring invariants. Motivated by Mazur's analogy between prime numbers and knots, we define for every finite kei $\mathcal{K}$ an analogous coloring invariant $\textrm{col}_{\mathcal K}(n)$ of square-free integers. This is achieved by defining a fundamental kei for every such $n$. We con…
▽ More
A kei, or 2-quandle, is an algebraic structure one can use to produce a numerical invariant of links, known as coloring invariants. Motivated by Mazur's analogy between prime numbers and knots, we define for every finite kei $\mathcal{K}$ an analogous coloring invariant $\textrm{col}_{\mathcal K}(n)$ of square-free integers. This is achieved by defining a fundamental kei for every such $n$. We conjecture that the asymptotic average order of $\textrm{col}_{\mathcal K}$ can be predicted to some extent by the colorings of random braid closures. This conjecture is fleshed out in general, building on previous work, and then proven for several cases.
△ Less
Submitted 13 August, 2024; v1 submitted 10 August, 2024;
originally announced August 2024.
-
On Hopkins' Picard group
Authors:
Tobias Barthel,
Tomer M. Schlank,
Nathaniel Stapleton,
Jared Weinstein
Abstract:
We compute the algebraic Picard group of the category of $K(n)$-local spectra, for all heights $n$ and all primes $p$. In particular, we show that it is always finitely generated over $\mathbb{Z}_p$ and, whenever $n \geq 2$, is of rank $2$, thereby confirming a prediction made by Hopkins in the early 1990s. In fact, with the exception of the anomalous case $n=p=2$, we provide a full set of topolog…
▽ More
We compute the algebraic Picard group of the category of $K(n)$-local spectra, for all heights $n$ and all primes $p$. In particular, we show that it is always finitely generated over $\mathbb{Z}_p$ and, whenever $n \geq 2$, is of rank $2$, thereby confirming a prediction made by Hopkins in the early 1990s. In fact, with the exception of the anomalous case $n=p=2$, we provide a full set of topological generators for these groups. Our arguments rely on recent advances in $p$-adic geometry to translate the problem to a computation on Drinfeld's symmetric space, which can then be solved using results of Colmez--Dospinescu--Niziol.
△ Less
Submitted 30 July, 2024;
originally announced July 2024.
-
On the rationalization of the $K(n)$-local sphere
Authors:
Tobias Barthel,
Tomer M. Schlank,
Nathaniel Stapleton,
Jared Weinstein
Abstract:
We compute the rational homotopy groups of the $K(n)$-local sphere for all heights $n$ and all primes $p$, verifying a prediction that goes back to the pioneering work of Morava in the early 1970s. More precisely, we show that the inclusion of the Witt vectors into the Lubin-Tate ring induces a split injection on continuous stabilizer cohomology with torsion cokernel of bounded exponent, thereby p…
▽ More
We compute the rational homotopy groups of the $K(n)$-local sphere for all heights $n$ and all primes $p$, verifying a prediction that goes back to the pioneering work of Morava in the early 1970s. More precisely, we show that the inclusion of the Witt vectors into the Lubin-Tate ring induces a split injection on continuous stabilizer cohomology with torsion cokernel of bounded exponent, thereby proving Hopkins' chromatic splitting conjecture and the vanishing conjecture of Beaudry-Goerss-Henn rationally. The key ingredients are the equivalence between the Lubin-Tate tower and the Drinfeld tower due to Faltings and Scholze-Weinstein, integral $p$-adic Hodge theory, and an integral refinement of a theorem of Tate on the Galois cohomology of non-archimedean fields.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
$K$-theoretic counterexamples to Ravenel's telescope conjecture
Authors:
Robert Burklund,
Jeremy Hahn,
Ishan Levy,
Tomer M. Schlank
Abstract:
At each prime $p$ and height $n+1 \ge 2$, we prove that the telescopic and chromatic localizations of spectra differ. Specifically, for $\mathbb{Z}$ acting by Adams operations on $\mathrm{BP}\langle n \rangle$, we prove that the $T(n+1)$-localized algebraic $K$-theory of $\mathrm{BP}\langle n \rangle^{h\mathbb{Z}}$ is not $K(n+1)$-local. We also show that Galois hyperdescent, $\mathbb{A}^1$-invari…
▽ More
At each prime $p$ and height $n+1 \ge 2$, we prove that the telescopic and chromatic localizations of spectra differ. Specifically, for $\mathbb{Z}$ acting by Adams operations on $\mathrm{BP}\langle n \rangle$, we prove that the $T(n+1)$-localized algebraic $K$-theory of $\mathrm{BP}\langle n \rangle^{h\mathbb{Z}}$ is not $K(n+1)$-local. We also show that Galois hyperdescent, $\mathbb{A}^1$-invariance, and nil-invariance fail for the $K(n+1)$-localized algebraic $K$-theory of $K(n)$-local $\mathbb{E}_{\infty}$-rings. In the case $n=1$ and $p \ge 7$ we make complete computations of $T(2)_*\mathrm{K}(R)$, for $R$ certain finite Galois extensions of the $K(1)$-local sphere. We show for $p\geq 5$ that the algebraic $K$-theory of the $K(1)$-local sphere is asymptotically $L_2^{f}$-local.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Chromatic Cardinalities via Redshift
Authors:
Shay Ben-Moshe,
Shachar Carmeli,
Tomer M. Schlank,
Lior Yanovski
Abstract:
Using higher descent for chromatically localized algebraic $K$-theory, we show that the higher semiadditive cardinality of a $π$-finite $p$-space $A$ at the Lubin-Tate spectrum $E_n$ is equal to the higher semiadditive cardinality of the free loop space $LA$ at $E_{n-1}$. By induction, it is thus equal to the homotopy cardinality of the $n$-fold free loop space $L^n A$. We explain how this allows…
▽ More
Using higher descent for chromatically localized algebraic $K$-theory, we show that the higher semiadditive cardinality of a $π$-finite $p$-space $A$ at the Lubin-Tate spectrum $E_n$ is equal to the higher semiadditive cardinality of the free loop space $LA$ at $E_{n-1}$. By induction, it is thus equal to the homotopy cardinality of the $n$-fold free loop space $L^n A$. We explain how this allows one to bypass the Ravenel-Wilson computation in the proof of the $\infty$-semiadditivity of the $T(n)$-local categories.
△ Less
Submitted 2 June, 2024; v1 submitted 30 September, 2023;
originally announced October 2023.
-
Descent and cyclotomic redshift for chromatically localized algebraic K-theory
Authors:
Shay Ben-Moshe,
Shachar Carmeli,
Tomer M. Schlank,
Lior Yanovski
Abstract:
We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for finite $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of…
▽ More
We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for finite $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of height $n$ to cyclotomic extensions of height $n+1$, extending a result of Bhatt-Clausen-Mathew for $n=0$. As a consequence, we deduce that $K(n+1)$-localized $K$-theory satisfies hyperdescent along the cyclotomic tower of any $T(n)$-local ring. Counterexamples to such cyclotomic hyperdescent for $T(n+1)$-localized $K$-theory were constructed by Burklund, Hahn, Levy and the third author, thereby disproving the telescope conjecture.
△ Less
Submitted 26 November, 2024; v1 submitted 13 September, 2023;
originally announced September 2023.
-
The Hilbert Polynomial of Quandles and Colorings of Random Links
Authors:
Ariel Davis,
Tomer M. Schlank
Abstract:
Given a finite quandle $Q$, we study the average number of $Q$-colorings of the closure of a random braid in $B_n$ as $n$ varies. In particular we show that this number coincides with some polynomial $P_Q\in \mathbb{Q}[x]$ for $n\gg 0$. The degree of this polynomial is readily computed in terms of $Q$ as a quandle and these invariants are computed for all quandles with $|Q|\le 4$. Additionally we…
▽ More
Given a finite quandle $Q$, we study the average number of $Q$-colorings of the closure of a random braid in $B_n$ as $n$ varies. In particular we show that this number coincides with some polynomial $P_Q\in \mathbb{Q}[x]$ for $n\gg 0$. The degree of this polynomial is readily computed in terms of $Q$ as a quandle and these invariants are computed for all quandles with $|Q|\le 4$. Additionally we show that the methods in this paper allow to improve on the stability results of arXiv:0912.0325 from "periodic stability" to "stability".
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
The Chromatic Fourier Transform
Authors:
Tobias Barthel,
Shachar Carmeli,
Tomer M. Schlank,
Lior Yanovski
Abstract:
We develop a general theory of higher semiadditive Fourier transforms that includes both the classical discrete Fourier transform for finite abelian groups at height $n=0$, as well as a certain duality for the $E_n$-(co)homology of $π$-finite spectra, established by Hopkins and Lurie, at heights $n\ge 1$. We use this theory to generalize said duality in three different directions. First, we extend…
▽ More
We develop a general theory of higher semiadditive Fourier transforms that includes both the classical discrete Fourier transform for finite abelian groups at height $n=0$, as well as a certain duality for the $E_n$-(co)homology of $π$-finite spectra, established by Hopkins and Lurie, at heights $n\ge 1$. We use this theory to generalize said duality in three different directions. First, we extend it from $\mathbb{Z}$-module spectra to all (suitably finite) spectra and use it to compute the discrepancy spectrum of $E_n$. Second, we lift it to the telescopic setting by replacing $E_n$ with $T(n)$-local higher cyclotomic extensions, from which we deduce various results on affineness, Eilenberg--Moore formulas and Galois extensions in the telescopic setting. Third, we categorify their result into an equivalence of two symmetric monoidal $\infty$-categories of local systems of $K(n)$-local $E_n$-modules, and relate it to (semiadditive) redshift phenomena.
△ Less
Submitted 23 October, 2022;
originally announced October 2022.
-
The Chromatic Nullstellensatz
Authors:
Robert Burklund,
Tomer M. Schlank,
Allen Yuan
Abstract:
We show that Lubin--Tate theories attached to algebraically closed fields are characterized among $T(n)$-local $\mathbb{E}_{\infty}$-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$, the collection of $\mathbb{E}_\infty$-ring maps from $R$ to such Lubin-Tate theories jointly detect nilpotence. In p…
▽ More
We show that Lubin--Tate theories attached to algebraically closed fields are characterized among $T(n)$-local $\mathbb{E}_{\infty}$-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$, the collection of $\mathbb{E}_\infty$-ring maps from $R$ to such Lubin-Tate theories jointly detect nilpotence. In particular, we deduce that every non-zero $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$ admits an $\mathbb{E}_\infty$-ring map to such a Lubin-Tate theory. As consequences, we construct $\mathbb{E}_{\infty}$ complex orientations of algebraically closed Lubin-Tate theories, compute the strict Picard spectra of such Lubin-Tate theories, and prove redshift for the algebraic $\mathrm{K}$-theory of arbitrary $\mathbb{E}_{\infty}$-rings.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
The $\infty$-Categorical Reflection Theorem and Applications
Authors:
Shaul Ragimov,
Tomer M. Schlank
Abstract:
In this paper we prove an $\infty$-categorical version of the reflection theorem of Adámek-Rosický. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $κ$-filtered colimits is a presentable $\infty$-category. We then use this theorem in order to classify subcategories of a symmetric monoidal $\infty$-category which are equivalent to a category of mo…
▽ More
In this paper we prove an $\infty$-categorical version of the reflection theorem of Adámek-Rosický. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $κ$-filtered colimits is a presentable $\infty$-category. We then use this theorem in order to classify subcategories of a symmetric monoidal $\infty$-category which are equivalent to a category of modules over an idempotent algebra.
△ Less
Submitted 19 July, 2022;
originally announced July 2022.
-
Higher Semiadditive Algebraic K-Theory and Redshift
Authors:
Shay Ben-Moshe,
Tomer M. Schlank
Abstract:
We define higher semiadditive algebraic K-theory, a variant of algebraic K-theory that takes into account higher semiadditive structure, as enjoyed for example by the $K(n)$- and $T(n)$-local categories. We prove that it satisfies a form of the redshift conjecture. Namely, that if $R$ is a ring spectrum of height $\leq n$, then its semiadditive K-theory is of height $\leq n+1$. Under further hypot…
▽ More
We define higher semiadditive algebraic K-theory, a variant of algebraic K-theory that takes into account higher semiadditive structure, as enjoyed for example by the $K(n)$- and $T(n)$-local categories. We prove that it satisfies a form of the redshift conjecture. Namely, that if $R$ is a ring spectrum of height $\leq n$, then its semiadditive K-theory is of height $\leq n+1$. Under further hypothesis on $R$, which are satisfied for example by the Lubin-Tate spectrum $E_n$, we show that its semiadditive algebraic K-theory is of height exactly $n+1$. Finally, we connect semiadditive K-theory to $T(n+1)$-localized K-theory, showing that they coincide for any $p$-invertible ring spectrum and for the completed Johnson-Wilson spectrum $\widehat{E(n)}$.
△ Less
Submitted 29 August, 2023; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Evaluation maps and transfers for free loop spaces II
Authors:
Sune Precht Reeh,
Tomer M. Schlank,
Nathaniel Stapleton
Abstract:
In our previous paper, we constructed and studied a functorial extension of the evaluation map $S^1 \times \mathcal{L}X \to X$ to transfers along finite covers. In this paper, we show that this induces a natural evaluation map on the full subcategory of the homotopy category of spectra consisting of $p$-completed classifying spectra of finite groups. To do this, we leverage the close relationship…
▽ More
In our previous paper, we constructed and studied a functorial extension of the evaluation map $S^1 \times \mathcal{L}X \to X$ to transfers along finite covers. In this paper, we show that this induces a natural evaluation map on the full subcategory of the homotopy category of spectra consisting of $p$-completed classifying spectra of finite groups. To do this, we leverage the close relationship between this full subcategory and the Burnside category of fusion systems.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Evaluation maps and transfers for free loop spaces I
Authors:
Sune Precht Reeh,
Tomer M. Schlank,
Nathaniel Stapleton
Abstract:
We construct and study a functorial extension of the evaluation map $S^1 \times \mathcal{L} X \to X$ to transfers along finite covers. For finite covers of classifying spaces of finite groups, we provide algebraic formulas for this extension in terms of bisets. In the sequel, we show that this induces a natural evaluation map on the full subcategory of the homotopy category of spectra consisting o…
▽ More
We construct and study a functorial extension of the evaluation map $S^1 \times \mathcal{L} X \to X$ to transfers along finite covers. For finite covers of classifying spaces of finite groups, we provide algebraic formulas for this extension in terms of bisets. In the sequel, we show that this induces a natural evaluation map on the full subcategory of the homotopy category of spectra consisting of $p$-completed classifying spectra of finite groups.
△ Less
Submitted 14 August, 2021;
originally announced August 2021.
-
Chromatic Cyclotomic Extensions
Authors:
Shachar Carmeli,
Tomer M. Schlank,
Lior Yanovski
Abstract:
We construct Galois extensions of the T(n)-local sphere, lifting all finite abelian Galois extensions of the K(n)-local sphere. This is achieved by realizing them as higher semiadditive analogues of cyclotomic extensions. Combining this with a general form of Kummer theory, we lift certain elements from the K(n)-local Picard group to the T(n)-local Picard group.
We construct Galois extensions of the T(n)-local sphere, lifting all finite abelian Galois extensions of the K(n)-local sphere. This is achieved by realizing them as higher semiadditive analogues of cyclotomic extensions. Combining this with a general form of Kummer theory, we lift certain elements from the K(n)-local Picard group to the T(n)-local Picard group.
△ Less
Submitted 24 May, 2023; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra
Authors:
Gregory Arone,
Ilan Barnea,
Tomer M. Schlank
Abstract:
In a companion paper [ABS1] we introduced the stable $\infty$-category of noncommutative CW-spectra, which we denoted $\mathtt{NSp}$. Let $\mathcal{M}$ denote the full spectrally enriched subcategory of $\mathtt{NSp}$ whose objects are the non-commutative suspension spectra of matrix algebras. In [ABS1] we proved that $\mathtt{NSp}$ is equivalent to the $\infty$-category of spectral presheaves on…
▽ More
In a companion paper [ABS1] we introduced the stable $\infty$-category of noncommutative CW-spectra, which we denoted $\mathtt{NSp}$. Let $\mathcal{M}$ denote the full spectrally enriched subcategory of $\mathtt{NSp}$ whose objects are the non-commutative suspension spectra of matrix algebras. In [ABS1] we proved that $\mathtt{NSp}$ is equivalent to the $\infty$-category of spectral presheaves on $\mathcal{M}$. In this paper we investigate the structure of $\mathcal{M}$, and derive some consequences regarding the structure of $\mathtt{NSp}$.
To begin with, we introduce a rank filtration of $\mathcal{M}$. We show that the mapping spectra of $\mathcal{M}$ map naturally to the connective $K$-theory spectrum $ku$, and that the rank filtration of $\mathcal{M}$ is a lift of the classical rank filtration of $ku$. We describe the subquotients of the rank filtration in terms of complexes of direct-sum decompositions which also arose in the study of $K$-theory and of Weiss's orthogonal calculus. We prove that the rank filtration stabilizes rationally after the first stage. Using this we give an explicit model of the rationalization of $\mathtt{NSp}$ as presheaves of rational spectra on the category of finite-dimensional Hilbert spaces and unitary transformations up to scaling. Our results also have consequences for the $p$-localization and the chromatic localization of $\mathcal{M}$.
△ Less
Submitted 26 January, 2021; v1 submitted 24 January, 2021;
originally announced January 2021.
-
Noncommutative CW-spectra as enriched presheaves on matrix algebras
Authors:
Gregory Arone,
Ilan Barnea,
Tomer M. Schlank
Abstract:
Motivated by the philosophy that $C^*$-algebras reflect noncommutative topology, we investigate the stable homotopy theory of the (opposite) category of $C^*$-algebras. We focus on $C^*$-algebras which are non-commutative CW-complexes in the sense of [ELP]. We construct the stable $\infty$-category of noncommutative CW-spectra, which we denote by $\mathtt{NSp}$. Let $\mathcal{M}$ be the full spect…
▽ More
Motivated by the philosophy that $C^*$-algebras reflect noncommutative topology, we investigate the stable homotopy theory of the (opposite) category of $C^*$-algebras. We focus on $C^*$-algebras which are non-commutative CW-complexes in the sense of [ELP]. We construct the stable $\infty$-category of noncommutative CW-spectra, which we denote by $\mathtt{NSp}$. Let $\mathcal{M}$ be the full spectral subcategory of $\mathtt{NSp}$ spanned by "noncommutative suspension spectra" of matrix algebras. Our main result is that $\mathtt{NSp}$ is equivalent to the $\infty$-category of spectral presheaves on $\mathcal{M}$.
To prove this we first prove a general result which states that any compactly generated stable $\infty$-category is naturally equivalent to the $\infty$-category of spectral presheaves on a full spectral subcategory spanned by a set of compact generators. This is an $\infty$-categorical version of a result by Schwede and Shipley [ScSh1]. In proving this we use the language of enriched $\infty$-categories as developed by Hinich [Hin2,Hin3].
We end by presenting a "strict" model for $\mathcal{M}$. That is, we define a category $\mathcal{M}_s$ strictly enriched in a certain monoidal model category of spectra $\mathtt{Sp^M}$. We give a direct proof that the category of $\mathtt{Sp^M}$-enriched presheaves $\mathcal{M}_s^{op}\to\mathtt{Sp^M}$ with the projective model structure models $\mathtt{NSp}$ and conclude that $\mathcal{M}_s$ is a strict model for $\mathcal{M}$.
△ Less
Submitted 26 January, 2021; v1 submitted 24 January, 2021;
originally announced January 2021.
-
Ambidexterity and Height
Authors:
Shachar Carmeli,
Tomer M. Schlank,
Lior Yanovski
Abstract:
We introduce and study the notion of \emph{semiadditive height} for higher semiadditive $\infty$-categories, which generalizes the chromatic height. We show that the higher semiadditive structure trivializes above the height and prove a form of the redshift principle, in which categorification increases the height by one. In the stable setting, we show that a higher semiadditive $\infty$-category…
▽ More
We introduce and study the notion of \emph{semiadditive height} for higher semiadditive $\infty$-categories, which generalizes the chromatic height. We show that the higher semiadditive structure trivializes above the height and prove a form of the redshift principle, in which categorification increases the height by one. In the stable setting, we show that a higher semiadditive $\infty$-category decomposes into a product according to height, and relate the notion of height to semisimplicity properties of local systems. We place the study of higher semiadditivity and stability in the general framework of smashing localizations of $Pr^{L}$, which we call \emph{modes}. Using this theory, we introduce and study the universal stable $\infty$-semiadditive $\infty$-category of semiadditive height $n$, and give sufficient conditions for a stable $1$-semiadditive $\infty$-category to be $\infty$-semiadditive.
△ Less
Submitted 25 September, 2020; v1 submitted 26 July, 2020;
originally announced July 2020.
-
Brauer and Etale Homotopy Obstructions to Rational Points on Open Covers
Authors:
David Corwin,
Tomer Schlank
Abstract:
In 2010, Poonen gave the first example of failure of the local-global principle that cannot be explained by Skorobogatov's étale Brauer-Manin obstruction. Motivated by this example, we show that the Brauer-Manin obstruction detects non-existence of rational points on a sufficiently fine Zariski open cover of any variety over an imaginary quadratic or totally real field. We provide some evidence fo…
▽ More
In 2010, Poonen gave the first example of failure of the local-global principle that cannot be explained by Skorobogatov's étale Brauer-Manin obstruction. Motivated by this example, we show that the Brauer-Manin obstruction detects non-existence of rational points on a sufficiently fine Zariski open cover of any variety over an imaginary quadratic or totally real field. We provide some evidence for why this is expected to happen more generally over any number field, some of which relates to the section conjecture in anabelian geometry. We then prove a result about the behavior of the étale Brauer obstruction in fibrations of varieties using the étale homotopy obstruction of Harpaz and the second author. We finally use that result and other techniques to further analyze Poonen's example in light of our general results.
△ Less
Submitted 15 August, 2020; v1 submitted 20 June, 2020;
originally announced June 2020.
-
Monochromatic homotopy theory is asymptotically algebraic
Authors:
Tobias Barthel,
Tomer M. Schlank,
Nathaniel Stapleton
Abstract:
In previous work, we used an $\infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $\infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this paper, we prove the analogous result for the symmetric monoidal $\infty$-categories of $K_{p}(n)$-local spectra, where $K_{p}(n)$ is Morava $K$-theory at height…
▽ More
In previous work, we used an $\infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $\infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this paper, we prove the analogous result for the symmetric monoidal $\infty$-categories of $K_{p}(n)$-local spectra, where $K_{p}(n)$ is Morava $K$-theory at height $n$ and the prime $p$. This requires $\infty$-categorical tools suitable for working with compactly generated symmetric monoidal $\infty$-categories with non-compact unit. The equivalences that we produce here are compatible with the equivalences for the $E_{n,p}$-local $\infty$-categories.
△ Less
Submitted 24 March, 2019;
originally announced March 2019.
-
On d-Categories and d-Operads
Authors:
Tomer M. Schlank,
Lior Yanovski
Abstract:
We extend the theory of d-categories, by providing an explicit description of the right mapping spaces of the d-homotopy category of an $\infty$-category. Using this description, we deduce an invariant $\infty$-categorical characterization of the d-homotopy category. We then proceed to develop an analogous theory of d-operads, which model $\infty$-operads with (d -1)-truncated multi-mapping spaces…
▽ More
We extend the theory of d-categories, by providing an explicit description of the right mapping spaces of the d-homotopy category of an $\infty$-category. Using this description, we deduce an invariant $\infty$-categorical characterization of the d-homotopy category. We then proceed to develop an analogous theory of d-operads, which model $\infty$-operads with (d -1)-truncated multi-mapping spaces, and prove analogous results for them.
△ Less
Submitted 9 February, 2019;
originally announced February 2019.
-
Étale Homotopy Obstructions of Arithmetic Spheres
Authors:
Edo Arad,
Shachar Carmeli,
Tomer M. Schlank
Abstract:
Let $K$ be a field of characteristic $\ne 2$ and let $X$ be the affine variety over $K$ defined by the equation $$ X:\ a_0x_0^2 + \cdots + a_nx_n^2 = 1 $$ where $n\ge 0$ and $a_i\in K$. In this paper we compute the lowest mod 2 étale homological obstruction class to the existence of a $K$-rational point on $X$, and show that it is the cup product of the form…
▽ More
Let $K$ be a field of characteristic $\ne 2$ and let $X$ be the affine variety over $K$ defined by the equation $$ X:\ a_0x_0^2 + \cdots + a_nx_n^2 = 1 $$ where $n\ge 0$ and $a_i\in K$. In this paper we compute the lowest mod 2 étale homological obstruction class to the existence of a $K$-rational point on $X$, and show that it is the cup product of the form $$ o_{n+1} = [a_0]\cup\cdots\cup[a_n]. $$
Our computation is an étale-homotopy analogue of the topological fact that Stiefel-Whitney classes are the homological obstructions to find a section to the unit sphere bundle of a real vector bundle.
△ Less
Submitted 9 February, 2019;
originally announced February 2019.
-
Morphisms of rational motivic homotopy types
Authors:
Ishai Dan-Cohen,
Tomer Schlank
Abstract:
We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a nonabelian analog of motivic cohomology. Just as abelian motivic cohomology is a homotopy group of a spectrum coming from K-theory, the space of morphisms of motivic d…
▽ More
We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a nonabelian analog of motivic cohomology. Just as abelian motivic cohomology is a homotopy group of a spectrum coming from K-theory, the space of morphisms of motivic dga's is a certain limit of such spectra; we give an explicit formula for this limit --- a possible first step towards explicit computations or dimension bounds. We also consider commutative comonoids in Chow motives, which we call ``motivic Chow coalgebras''. We discuss the relationship between motivic Chow coalgebras and motivic dga's of smooth proper schemes.
As a small first application of our results, we show that among schemes which are finite étale over a number field, morphisms of associated motivic dga's are no different than morphisms of schemes. This may be regarded as a small consequence of a plausible generalization of Kim's relative unipotent section conjecture, hence as an ounce of evidence for the latter.
△ Less
Submitted 26 November, 2019; v1 submitted 15 November, 2018;
originally announced November 2018.
-
Ambidexterity in Chromatic Homotopy Theory
Authors:
Shachar Carmeli,
Tomer M. Schlank,
Lior Yanovski
Abstract:
We extend the theory of ambidexterity developed by M. J. Hopkins and J. Lurie and show that the $\infty$-categories of $T(n)$-local spectra are $\infty$-semiadditive for all $n$, where $T(n)$ is the telescope on a $v_{n}$-self map of a type $n$ spectrum. This extends and provides a new proof for the analogous result of Hopkins-Lurie on $K(n)$-local spectra. Moreover, we show that $K(n)$-local and…
▽ More
We extend the theory of ambidexterity developed by M. J. Hopkins and J. Lurie and show that the $\infty$-categories of $T(n)$-local spectra are $\infty$-semiadditive for all $n$, where $T(n)$ is the telescope on a $v_{n}$-self map of a type $n$ spectrum. This extends and provides a new proof for the analogous result of Hopkins-Lurie on $K(n)$-local spectra. Moreover, we show that $K(n)$-local and $T(n)$-local spectra are respectively, the minimal and maximal $1$-semiadditive localizations of spectra with respect to a homotopy ring, and that all such localizations are in fact $\infty$-semiadditive. As a consequence, we deduce that several different notions of "bounded chromatic height" for homotopy rings are equivalent, and in particular, that $T(n)$-homology of $π$-finite spaces depends only on the $n$-th Postnikov truncation. A key ingredient in the proof of the main result is a construction of a certain power operation for commutative ring objects in stable $1$-semiadditive $\infty$-categories. This is closely related to some known constructions for Morava $E$-theory and is of independent interest. Using this power operation we also give a new proof, and a generalization, of a nilpotence conjecture of J.P. May, which was proved by A. Mathew, N. Naumann, and J. Noel.
△ Less
Submitted 16 September, 2020; v1 submitted 5 November, 2018;
originally announced November 2018.
-
The $\infty$-Categorical Eckmann-Hilton Argument
Authors:
Tomer Schlank,
Lior Yanovski
Abstract:
We define a reduced $\infty$-operad $\mathcal{P}$ to be $d$-connected if the spaces $\mathcal{P}\left(n\right)$, of $n$-ary operations, are $d$-connected for all $n\ge0$. Let $\mathcal{P}$ and $\mathcal{Q}$ be two reduced $\infty$-operads. We prove that if $\mathcal{P}$ is $d_{1}$-connected and $\mathcal{Q}$ is $d_{2}$-connected, then their Boardman-Vogt tensor product…
▽ More
We define a reduced $\infty$-operad $\mathcal{P}$ to be $d$-connected if the spaces $\mathcal{P}\left(n\right)$, of $n$-ary operations, are $d$-connected for all $n\ge0$. Let $\mathcal{P}$ and $\mathcal{Q}$ be two reduced $\infty$-operads. We prove that if $\mathcal{P}$ is $d_{1}$-connected and $\mathcal{Q}$ is $d_{2}$-connected, then their Boardman-Vogt tensor product $\mathcal{P}\otimes\mathcal{Q}$ is $\left(d_{1}+d_{2}+2\right)$-connected. We consider this to be a natural $\infty$-categorical generalization of the classical Eckmann-Hilton argument.
△ Less
Submitted 21 May, 2019; v1 submitted 17 August, 2018;
originally announced August 2018.
-
On Bias and Rank
Authors:
David Kazhdan,
Tomer M. Schlank
Abstract:
Given a hypersurface $X\subset \mathbb{P}^{N+1}_{\mathbb{C}}$ Dimca gave a proof showing that the cohomologies of X are the same as the projective space in a range determined by the dimension of the singular locus of X. We prove the analog of Dimca's result case when $\mathbb{C}$ is replaced with an algebraically closed field of finite characteristic and singular cohomology is replaced with…
▽ More
Given a hypersurface $X\subset \mathbb{P}^{N+1}_{\mathbb{C}}$ Dimca gave a proof showing that the cohomologies of X are the same as the projective space in a range determined by the dimension of the singular locus of X. We prove the analog of Dimca's result case when $\mathbb{C}$ is replaced with an algebraically closed field of finite characteristic and singular cohomology is replaced with $\ell$-adic étale cohomology. The Weil conjectures allow relating results about éatle cohomology to counting problems over a finite field. Thus by applying this result, we are able to get a relationship between the algebraic properties of certain polynomials and the size of their zero set.
△ Less
Submitted 17 August, 2018;
originally announced August 2018.
-
Contractibility of the space of generic opers for classical groups
Authors:
Dario Beraldo,
David Kazhdan,
Tomer M. Schlank
Abstract:
Let $G$ be a reductive group and $X$ a smooth projective curve. We prove that, for $G$ classical and $σ$ an arbitrary $G$-local system on $X$, the space $\overline{\operatorname{Op}}^{gen}_{G,σ}$ of generic extended oper structures on $σ$ is homologically contractible. This contractibility result is crucial for the proof of the geometric Langlands conjecture.
Let $G$ be a reductive group and $X$ a smooth projective curve. We prove that, for $G$ classical and $σ$ an arbitrary $G$-local system on $X$, the space $\overline{\operatorname{Op}}^{gen}_{G,σ}$ of generic extended oper structures on $σ$ is homologically contractible. This contractibility result is crucial for the proof of the geometric Langlands conjecture.
△ Less
Submitted 28 November, 2022; v1 submitted 2 January, 2018;
originally announced January 2018.
-
Chromatic homotopy theory is asymptotically algebraic
Authors:
Tobias Barthel,
Tomer Schlank,
Nathaniel Stapleton
Abstract:
Inspired by the Ax--Kochen isomorphism theorem, we develop a notion of categorical ultraproducts to capture the generic behavior of an infinite collection of mathematical objects. We employ this theory to give an asymptotic solution to the approximation problem in chromatic homotopy theory. More precisely, we show that the ultraproduct of the $E(n,p)$-local categories over any non-prinicipal ultra…
▽ More
Inspired by the Ax--Kochen isomorphism theorem, we develop a notion of categorical ultraproducts to capture the generic behavior of an infinite collection of mathematical objects. We employ this theory to give an asymptotic solution to the approximation problem in chromatic homotopy theory. More precisely, we show that the ultraproduct of the $E(n,p)$-local categories over any non-prinicipal ultrafilter on the set of prime numbers is equivalent to the ultraproduct of certain algebraic categories introduced by Franke. This shows that chromatic homotopy theory at a fixed height is asymptotically algebraic.
△ Less
Submitted 19 January, 2020; v1 submitted 2 November, 2017;
originally announced November 2017.
-
A formula for $p$-completion by way of the Segal conjecture
Authors:
Sune Precht Reeh,
Tomer M. Schlank,
Nathaniel Stapleton
Abstract:
The Segal conjecture describes stable maps between classifying spaces in terms of (virtual) bisets for the finite groups in question. Along these lines, we give an algebraic formula for the p-completion functor applied to stable maps between classifying spaces purely in terms of fusion data and Burnside modules.
The Segal conjecture describes stable maps between classifying spaces in terms of (virtual) bisets for the finite groups in question. Along these lines, we give an algebraic formula for the p-completion functor applied to stable maps between classifying spaces purely in terms of fusion data and Burnside modules.
△ Less
Submitted 8 January, 2022; v1 submitted 2 April, 2017;
originally announced April 2017.
-
Rational motivic path spaces and Kim's relative unipotent section conjecture
Authors:
Ishai Dan-Cohen,
Tomer Schlank
Abstract:
We initiate a study of path spaces in the nascent context of "motivic dga's", under development in doctoral work by Gabriella Guzman. This enables us to reconstruct the unipotent fundamental group of a pointed scheme from the associated augmented motivic dga, and provides us with a factorization of Kim's relative unipotent section conjecture into several smaller conjectures with a homotopical flav…
▽ More
We initiate a study of path spaces in the nascent context of "motivic dga's", under development in doctoral work by Gabriella Guzman. This enables us to reconstruct the unipotent fundamental group of a pointed scheme from the associated augmented motivic dga, and provides us with a factorization of Kim's relative unipotent section conjecture into several smaller conjectures with a homotopical flavor. Based on a conversation with Joseph Ayoub, we prove that the path spaces of the punctured projective line over a number field are concentrated in degree zero with respect to Levine's t-structure for mixed Tate motives. This constitutes a step in the direction of Kim's conjecture.
△ Less
Submitted 16 July, 2021; v1 submitted 31 March, 2017;
originally announced March 2017.
-
The unramified inverse Galois problem and cohomology rings of totally imaginary number fields
Authors:
Magnus Carlson,
Tomer M. Schlank
Abstract:
We employ methods from homotopy theory to define new obstructions to solutions of embedding problems. By using these novel obstructions we study embedding problems with non-solvable kernel. We apply these obstructions to study the unramified inverse Galois problem. That is, we show that our methods can be used to determine that certain groups cannot be realized as the Galois groups of unramified e…
▽ More
We employ methods from homotopy theory to define new obstructions to solutions of embedding problems. By using these novel obstructions we study embedding problems with non-solvable kernel. We apply these obstructions to study the unramified inverse Galois problem. That is, we show that our methods can be used to determine that certain groups cannot be realized as the Galois groups of unramified extensions of certain number fields. To demonstrate the power of our methods, we give an infinite family of totally imaginary quadratic number fields such that $\text{Aut}(\text{PSL}(2,q^2))$ for $q$ an odd prime power, cannot be realized as an unramified Galois group over $K,$ but its maximal solvable quotient can. To prove this result, we determine the ring structure of the étale cohomology ring $H^*(\text{Spec }\mathcal{O}_K;\mathbb{Z}/ 2\mathbb{Z})$ where $\mathcal{O}_K$ is the ring of integers of an arbitrary totally imaginary number field $K.$
△ Less
Submitted 19 November, 2017; v1 submitted 6 December, 2016;
originally announced December 2016.
-
From weak cofibration categories to model categories
Authors:
Ilan Barnea,
Tomer M. Schlank
Abstract:
In [BaSc2] the authors introduced a much weaker homotopical structure than a model category, called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way a model category structure on its ind-category, provided the ind-category satisfies a certain two out of three property. The purpose of this paper is to serve as a companion to the papers…
▽ More
In [BaSc2] the authors introduced a much weaker homotopical structure than a model category, called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way a model category structure on its ind-category, provided the ind-category satisfies a certain two out of three property. The purpose of this paper is to serve as a companion to the papers above, proving results which say that if a certain property or structure exists in the weak cofibration category, then the same property or structure also holds in the induced model structure on the ind-category. Namely, we consider the property of being left proper and the structures of a monoidal category and a category tensored over a monoidal category (in a way that is compatible with the weak cofibration structure). For the purpose of future reference, we consider the more general situation where we only have an "almost model structure" on the ind-category.
△ Less
Submitted 25 October, 2016;
originally announced October 2016.
-
The Brauer-Manin obstruction to the local-global principle for the embedding problem
Authors:
Ambrus Pal,
Tomer M. Schlank
Abstract:
We study an analogue of the Brauer-Manin obstruction to the local-global principle for embedding problems over global fields. We will prove the analogues of several fundamental structural results. In particular we show that the (algebraic) Brauer-Manin obstruction is the only one to weak approximation when the embedding problem has abelian kernel. As a part of our investigations we also give a new…
▽ More
We study an analogue of the Brauer-Manin obstruction to the local-global principle for embedding problems over global fields. We will prove the analogues of several fundamental structural results. In particular we show that the (algebraic) Brauer-Manin obstruction is the only one to weak approximation when the embedding problem has abelian kernel. As a part of our investigations we also give a new, elegant description of the Tate duality pairing and prove a new theorem on the cup product.
△ Less
Submitted 15 May, 2017; v1 submitted 16 February, 2016;
originally announced February 2016.
-
Sylow theorems for $\infty$-groups
Authors:
Matan Prasma,
Tomer M. Schlank
Abstract:
Viewing Kan complexes as $\infty$-groupoids implies that pointed and connected Kan complexes are to be viewed as $\infty$-groups. A fundamental question is then: to what extent can one "do group theory" with these objects? In this paper we develop a notion of a finite $\infty$-group: an $\infty$-group with finitely many non-trivial homotopy groups which are all finite. We prove a homotopical analo…
▽ More
Viewing Kan complexes as $\infty$-groupoids implies that pointed and connected Kan complexes are to be viewed as $\infty$-groups. A fundamental question is then: to what extent can one "do group theory" with these objects? In this paper we develop a notion of a finite $\infty$-group: an $\infty$-group with finitely many non-trivial homotopy groups which are all finite. We prove a homotopical analog of the Sylow theorems for finite $\infty$-groups. We derive two corollaries: the first is a homotopical analog of the Burnside's fixed point lemma for $p$-groups and the second is a "group-theoretic" characterization of (finite) nilpotent spaces.
△ Less
Submitted 8 March, 2017; v1 submitted 14 February, 2016;
originally announced February 2016.
-
Sieves and the Minimal Ramification Problem
Authors:
Lior Bary-Soroker,
Tomer M. Schlank
Abstract:
The minimal ramification problem may be considered as a quantitative version of the inverse Galois problem. For a nontrivial finite group $G$, let $m(G)$ be the minimal integer $m$ for which there exists a Galois extension $N/\mathbb{Q}$ that is ramified at exactly $m$ primes (including the infinite one). So, the problem is to compute or to bound $m(G)$.
In this paper, we bound the ramification…
▽ More
The minimal ramification problem may be considered as a quantitative version of the inverse Galois problem. For a nontrivial finite group $G$, let $m(G)$ be the minimal integer $m$ for which there exists a Galois extension $N/\mathbb{Q}$ that is ramified at exactly $m$ primes (including the infinite one). So, the problem is to compute or to bound $m(G)$.
In this paper, we bound the ramification of extensions $N/\mathbb{Q}$ obtained as a specialization of a branched covering $φ\colon C\to \mathbb{P}^1_{\mathbb{Q}}$. This leads to novel upper bounds on $m(G)$, for finite groups $G$ that are realizable as the Galois group of a branched covering. Some instances of our general results are: $$ 1\leq m(S_m)\leq 4 \quad \mbox{and} \quad n\leq m(S_m^n) \leq n+4, $$ for all $n,m>0$. Here $S_m$ denotes the symmetric group on $m$ letters, and $S_m^n$ is the direct product of $n$ copies of $S_m$. We also get the correct asymptotic of $m(G^n)$, as $n \to \infty$ for a certain class of groups $G$.
Our methods are based on sieve theory results, in particular on the Green-Tao-Ziegler theorem on prime values of linear forms in two variables, on the theory of specialization in arithmetic geometry, and on finite group theory.
△ Less
Submitted 11 February, 2016;
originally announced February 2016.
-
Exact maximum-entropy estimation with Feynman diagrams
Authors:
Tomer M. Schlank,
Ran J. Tessler,
Amitai Netser Zernik
Abstract:
A classical longstanding open problem in statistics is finding an explicit expression for the probability measure which maximizes entropy with respect to given constraints. In this paper a solution to this problem is found, using perturbative Feynman calculus. The explicit expression is given as a sum over weighted trees.
A classical longstanding open problem in statistics is finding an explicit expression for the probability measure which maximizes entropy with respect to given constraints. In this paper a solution to this problem is found, using perturbative Feynman calculus. The explicit expression is given as a sum over weighted trees.
△ Less
Submitted 23 September, 2018; v1 submitted 1 December, 2015;
originally announced December 2015.
-
Normal amenable subgroups of the automorphism group of the full shift
Authors:
Joshua Frisch,
Tomer Schlank,
Omer Tamuz
Abstract:
We show that every normal amenable subgroup of the automorphism group of the full shift is contained in its center. This follows from the analysis of this group's Furstenberg topological boundary, through the construction of a minimal and strongly proximal action.
We extend this result to higher dimensional full shifts. This also provides a new proof of Ryan's Theorem and of the fact that these…
▽ More
We show that every normal amenable subgroup of the automorphism group of the full shift is contained in its center. This follows from the analysis of this group's Furstenberg topological boundary, through the construction of a minimal and strongly proximal action.
We extend this result to higher dimensional full shifts. This also provides a new proof of Ryan's Theorem and of the fact that these groups contain free groups.
△ Less
Submitted 26 June, 2017; v1 submitted 2 December, 2015;
originally announced December 2015.
-
Model Structures on Ind Categories and the Accessibility Rank of Weak Equivalences
Authors:
Ilan Barnea,
Tomer M. Schlank
Abstract:
In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model category structure on its pro-category, provided the pro-category satisfies a certain two out of three property. In the present paper we give sufficient intrinsic co…
▽ More
In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model category structure on its pro-category, provided the pro-category satisfies a certain two out of three property. In the present paper we give sufficient intrinsic conditions on a weak fibration category for this two out of three property to hold. We apply these results to prove theorems giving sufficient conditions for the finite accessibility of the category of weak equivalences in combinatorial model categories. We apply these theorems to the standard model structure on the category of simplicial sets, and deduce that its class of weak equivalences is finitely accessible. The same result on simplicial sets was recently proved also by Raptis and Rosický, using different methods.
△ Less
Submitted 2 July, 2015; v1 submitted 7 July, 2014;
originally announced July 2014.
-
A new model for pro-categories
Authors:
Ilan Barnea,
Tomer M. Schlank
Abstract:
In this paper we present a new way to construct the pro-category of a category. This new model is very convenient to work with in certain situations. We present a few applications of this new model, the most important of which solves an open problem of Isaksen [Isa] concerning the existence of functorial factorizations in what is known as the strict model structure on a pro-category. Additionally…
▽ More
In this paper we present a new way to construct the pro-category of a category. This new model is very convenient to work with in certain situations. We present a few applications of this new model, the most important of which solves an open problem of Isaksen [Isa] concerning the existence of functorial factorizations in what is known as the strict model structure on a pro-category. Additionally we explain and correct an error in one of the standard references on pro-categories.
△ Less
Submitted 24 June, 2014;
originally announced June 2014.
-
A transchromatic proof of Strickland's theorem
Authors:
Tomer M. Schlank,
Nathaniel Stapleton
Abstract:
In "Morava E-theory of symmetric groups", Strickland proved that the Morava E-theory of the symmetric group has an algebro-geometric interpretation after taking the quotient by a certain transfer ideal. This result has influenced most of the work on power operations in Morava E-theory and provides an important calculational tool. In this paper we give a new proof of this result as well as a genera…
▽ More
In "Morava E-theory of symmetric groups", Strickland proved that the Morava E-theory of the symmetric group has an algebro-geometric interpretation after taking the quotient by a certain transfer ideal. This result has influenced most of the work on power operations in Morava E-theory and provides an important calculational tool. In this paper we give a new proof of this result as well as a generalization by using transchromatic character theory. The character maps are used to reduce Strickland's result to representation theory.
△ Less
Submitted 2 April, 2014;
originally announced April 2014.
-
Functorial Factorizations in Pro Categories
Authors:
Ilan Barnea,
Tomer M. Schlank
Abstract:
In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our way we explain and correct an error in one of the standard references on pro categories.
In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our way we explain and correct an error in one of the standard references on pro categories.
△ Less
Submitted 20 May, 2013;
originally announced May 2013.
-
Homotopy Obstructions to Rational Points
Authors:
Yonatan Harpaz,
Tomer M. Schlank
Abstract:
In this paper we propose to use a relative variant of the notion of the étale homotopy type of an algebraic variety in order to study the existence of rational points on it. In particular, we use an appropriate notion of homotopy fixed points in order to construct obstructions to the local-global principle. The main results in this paper are the connections between these obstructions and the class…
▽ More
In this paper we propose to use a relative variant of the notion of the étale homotopy type of an algebraic variety in order to study the existence of rational points on it. In particular, we use an appropriate notion of homotopy fixed points in order to construct obstructions to the local-global principle. The main results in this paper are the connections between these obstructions and the classical obstructions, such as the Brauer-Manin, the étale-Brauer and certain descent obstructions. These connections allow one to understand the various classical obstructions in a unified framework.
△ Less
Submitted 2 October, 2011;
originally announced October 2011.
-
A Projective Model Structure on Pro Simplicial Sheaves, and the Relative Étale Homotopy Type
Authors:
Ilan Barnea,
Tomer M. Schlank
Abstract:
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of étale homotopy. Using this model structure we define a pro-space associated to a topos, as a result of applying a derived functor. We show that our construction lifts Artin and Mazur's étale homotopy type [AM] in the relevant special case. Our definition extend…
▽ More
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of étale homotopy. Using this model structure we define a pro-space associated to a topos, as a result of applying a derived functor. We show that our construction lifts Artin and Mazur's étale homotopy type [AM] in the relevant special case. Our definition extends naturally to a relative notion, namely, a pro-object associated to a map of topoi. This relative notion lifts the relative étale homotopy type that was used in [HaSc] for the study of obstructions to the existence of rational points. This relative notion enables to generalize these homotopical obstructions from fields to general base schemas and general maps of topoi.
Our model structure is constructed using a general theorem that we prove. Namely, we introduce a much weaker structure than a model category, which we call a "weak fibration category". Our theorem says that a weak fibration category can be "completed" into a full model category structure on its pro-category, provided it satisfies some additional technical requirements. Our model structure is obtained by applying this result to the weak fibration category of simplicial sheaves over a Grothendieck site, where the weak equivalences and the fibrations are local in the sense of Jardine [Jar].
△ Less
Submitted 2 December, 2015; v1 submitted 26 September, 2011;
originally announced September 2011.
-
A Note on the Entropy/Influence Conjecture
Authors:
Nathan Keller,
Elchanan Mossel,
Tomer Schlank
Abstract:
The entropy/influence conjecture, raised by Friedgut and Kalai in 1996, seeks to relate two different measures of concentration of the Fourier coefficients of a Boolean function. Roughly saying, it claims that if the Fourier spectrum is "smeared out", then the Fourier coefficients are concentrated on "high" levels. In this note we generalize the conjecture to biased product measures on the discret…
▽ More
The entropy/influence conjecture, raised by Friedgut and Kalai in 1996, seeks to relate two different measures of concentration of the Fourier coefficients of a Boolean function. Roughly saying, it claims that if the Fourier spectrum is "smeared out", then the Fourier coefficients are concentrated on "high" levels. In this note we generalize the conjecture to biased product measures on the discrete cube, and prove a variant of the conjecture for functions with an extremely low Fourier weight on the "high" levels.
△ Less
Submitted 13 May, 2011;
originally announced May 2011.
-
A cohomological obstruction to weak approximation for homogeneous spaces
Authors:
Mikhail Borovoi,
Tomer M. Schlank
Abstract:
Let X be a homogeneous space, X = G/H, where G is a connected linear algebraic group over a number field k, and H is a k-subgroup of G (not necessarily connected). Let S be a finite set of places of k. We compute the Brauer-Manin obstruction to weak approximation for X in S in terms of Galois cohomology.
Let X be a homogeneous space, X = G/H, where G is a connected linear algebraic group over a number field k, and H is a k-subgroup of G (not necessarily connected). Let S be a finite set of places of k. We compute the Brauer-Manin obstruction to weak approximation for X in S in terms of Galois cohomology.
△ Less
Submitted 23 September, 2011; v1 submitted 7 December, 2010;
originally announced December 2010.
-
The Étale Homotopy Type and Obstructions to the Local-Global Principle
Authors:
Yonatan Harpaz,
Tomer M. Schlank
Abstract:
In 1969 Artin and Mazur defined the étale homotopy type of an algebraic variety \cite{AMa69}. In this paper we define various obstructions to the local-global principle on a variety $X$ over a global field using the étale homotopy type of $X$ and the concept of homotopy fixed points. We investigate relations between those "homotopy obstructions" and connect them to various known obstructions such…
▽ More
In 1969 Artin and Mazur defined the étale homotopy type of an algebraic variety \cite{AMa69}. In this paper we define various obstructions to the local-global principle on a variety $X$ over a global field using the étale homotopy type of $X$ and the concept of homotopy fixed points. We investigate relations between those "homotopy obstructions" and connect them to various known obstructions such as the Brauer -Manin obstruction, the étale-Brauer obstruction and finite descent obstructions. This gives a reinterpretation of known arithmetic obstructions in terms of homotopy theory.
△ Less
Submitted 30 November, 2011; v1 submitted 6 February, 2010;
originally announced February 2010.
-
On the Brauer-Manin Obstruction Applied to Ramified Covers
Authors:
Tomer M. Schlank
Abstract:
The Brauer-Manin obstruction is used to explain the failure of the local-global principle for algebraic varieties. In 1999 Skorobogatov gave the first example of a variety that does not satisfy the local-global principle which is not explained by the Brauer-Manin obstruction. He did so by applying the Brauer-Manin obstruction to étale covers of the variety, and thus defining a finer obstruction. I…
▽ More
The Brauer-Manin obstruction is used to explain the failure of the local-global principle for algebraic varieties. In 1999 Skorobogatov gave the first example of a variety that does not satisfy the local-global principle which is not explained by the Brauer-Manin obstruction. He did so by applying the Brauer-Manin obstruction to étale covers of the variety, and thus defining a finer obstruction. In 2008 Poonen gave the first example of failure of the local-global principle which cannot be explained for by Skorobogatov's étale-Brauer obstruction. However, Poonen's construction was not accompanied by a definition of a new finer obstruction. In this paper I shall present a possible definition for such an obstruction by allowing to apply the Brauer-Manin obstruction to some ramified covers as well, and show that this new obstruction can explain Poonen counterexample in the case of a totally imaginary number field.
△ Less
Submitted 30 November, 2011; v1 submitted 30 November, 2009;
originally announced November 2009.
