BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Yonatan Harpaz contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a limiting bifinal object in the category of cones. Everything is developed in the context of marked 2-categories, so that the machinery can be applied to different levels of laxity, including pseudo-limits.
The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial complicial sets is equivalent to Lurie's model of $\infty$-bicategories, which, in turn, has been shown to be equivalent to all other known models for $(\infty,2)$-categories. A key technical input is given by identifying the notion of $\infty$-bicategories with that of weak $\infty$-bicategories, a step which allows us to understand Lurie's model structure in terms of Cisinski--Olschok's theory. This description of $\infty$-bicategories, which may be of independent interest, is proved using tools coming from a new theory of outer (co)cartesian fibrations, further developed in a companion paper. In the last part of the paper we construct a homotopically fully faithful scaled simplicial nerve functor for $2$-categories, we give two equivalent descriptions of it, and we show that the homotopy $2$-category of an $\infty$-bicategory retains enough information to detect thin $2$-simplices.
We give a definition of the Gray tensor product in the setting of scaled simplicial sets which is associative and forms a left Quillen bifunctor with respect to the bicategorical model category of Lurie. We then introduce a notion of oplax functor in this setting, and use it in order to characterize the Gray tensor product by means of a universal property. A similar characterization was used by Gaitsgory and Rozenblyum in their definition of the Gray product, thus giving a promising lead for comparing the two settings.
Pursuing the notions of ambidexterity and higher semiadditivity as developed by Hopkins and Lurie, we prove that the span $\infty$-category of $m$-finite spaces is the free $m$-semiadditive $\infty$-category generated by a single object. Passing to presentable $\infty$-categories we obtain a description of the free presentable $m$-semiadditive $\infty$-category in terms of a new notion of $m$-commutative monoids, which can be described as spaces in which families of points parameterized by $m$-finite spaces can be coherently summed. Such an abstract summation procedure can be used to give a formal $\infty$-categorical definition of the finite path integral described by Freed, Hopkins, Lurie and Teleman in the context of 1-dimensional topological field theories.
In this work we study the homotopy theory of coherent group actions from a global point of view, where we allow both the group and the space acted upon to vary. Using the model of Segal group actions and the model categorical Grothendieck construction we construct a model category encompassing all Segal group actions simultaneously. We then prove a global rectification result in this setting. We proceed to develop a general truncation theory for the model-categorical Grothendieck construction and apply it to the case of Segal group actions. We give a simple characterization of $n$-truncated Segal group actions and show that every Segal group action admits a convergent Postnikov tower.
Let $k$ be a field of characteristic $0$. In this paper we describe a classification of smooth log K3 surfaces $X$ over $k$ whose geometric Picard group is trivial and which can be compactified into del Pezzo surfaces. We show that such an $X$ can always be compactified into a del Pezzo surface of degree $5$, with a compactifying divisor $D$ being a cycle of five $(-1)$-curves, and that $X$ is completely determined by the action of the absolute Galois group of $k$ on the dual graph of $D$. When $k=\mathbb{Q}$ and the Galois action is trivial, we prove that for any integral model $\mathcal{X}/\mathbb{Z}$ of $X$, the set of integral points $\mathcal{X}(\mathbb{Z})$ is not Zariski dense. We also show that the Brauer-Manin obstruction is not the only obstruction for the integral Hasse principle on such log K3 surfaces, even when their compactification is "split".
Conjectures on the existence of zero-cycles on arbitrary smooth projective varieties over number fields were proposed by Colliot-Thélène, Sansuc, Kato and Saito in the 1980's. We prove that these conjectures are compatible with fibrations, for fibrations into rationally connected varieties over a curve. In particular, they hold for the total space of families of homogeneous spaces of linear groups with connected geometric stabilisers. We prove the analogous result for rational points, conditionally on a conjecture on locally split values of polynomials which a recent work of Matthiesen establishes in the case of linear polynomials over the rationals.
The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As a main result, we establish an equivalence between suitable diagrams of model categories indexed by $\mathcal{M}$ and a new notion of \textbf{model fibrations} over $\mathcal{M}$. When $\mathcal{M}$ is a model category, our construction endows the Grothendieck construction with a model structure which gives a presentation of Lurie's $\infty$-categorical Grothendieck construction and enjoys several good formal properties. We apply our construction to various examples, yielding model structures on strict and weak group actions and on modules over algebra objects in suitable monoidal model categories.
Schinzel's Hypothesis (H) was used by Colliot-Thélène and Sansuc, and later by Serre, Swinnerton-Dyer and others, to prove that the Brauer-Manin obstruction controls the Hasse principle and weak approximation on pencils of conics and similar varieties. We show that when the ground field is Q and the degenerate geometric fibres of the pencil are all defined over Q, one can use these methods to obtain unconditional results by replacing Hypothesis (H) with the finite complexity case of the generalised Hardy-Littlewood conjecture recently established by Green, Tao and Ziegler.
Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital structure once suitable candidates for units have been identified. The main result of this paper can be used to produce a proof for the 1-dimensional cobordism hypothesis, as described in a forthcoming paper.
We construct a smooth and projective surface over an arbitrary number field that is a counterexample to the Hasse principle but has the infinite etale Brauer-Manin set. We also construct a surface with a unique rational point and the infinite etale Brauer-Manin set. The key new ingredient is the arithmetic of singular projective curves.
In this paper we formulate and prove a combinatorial version of the section conjecture for finite groups acting on finite graphs. We apply this result to the study of rational points and show that finite descent is the only obstruction to the Hasse principle for mildly singular curves whose components are all geometrically rational.
In 2009 Lurie published an expository article outlining a proof for a higher version of the cobordism hypothesis conjectured by Baez and Dolan in 1995. In this note we give a proof for the 1-dimensional case of this conjecture. The proof follows most of the outline given in Lurie's paper, but differs in a few crucial details. In particular, the proof makes use of the theory of quasi-unital $\infty$-categories as developed by the author in a previous note.
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.
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.