Abstract We prove Farber’s conjecture on the stable topological complexity of configuration spaces of graphs. The conjecture follows from a general lower bound derived from recent insights into the topological complexity of aspherical spaces. Our arguments apply equally to higher topological complexity.
more »
« less
The AD+ Conjecture and the Continuum Hypothesis
We show that Woodin’s AD+ Conjecture follows from various hypotheses extending the Continuum Hypothesis (CH). These results complement Woodin’s original result that the AD+ Conjecture follows from MM(c).
more »
« less
- Award ID(s):
- 1945592
- PAR ID:
- 10410050
- Date Published:
- Journal Name:
- Proceedings of the American Mathematical Society
- Volume:
- 151
- ISSN:
- 0002-9939
- Page Range / eLocation ID:
- 1775-1786
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We formulate a categorification of Robertson’s conjecture analogous to the categorical graph minor conjecture of Miyata–Proudfoot–Ramos. We show that these conjectures imply the existence of a finite list of atomic graphs generating the homology of configuration spaces of graphs—in fixed degree, with a fixed number of particles, under topological embeddings. We explain how the simplest case of our conjecture follows from work of Barter and Proudfoot–Ramos, implying that the category of cographs is Noetherian, a result of potential independent interest.more » « less
-
The local sum conjecture is a variant of some of Igusa’s questions on exponential sums put forward by Denef and Sperber. In a remarkable paper by Cluckers, Mustata and Nguyen, this conjecture has been established in all dimensions, using sophisticated, powerful techniques from a research area blending algebraic geometry with ideas from logic. The purpose of this paper is to give an elementary proof of this conjecture in two dimensions which follows Varčenko’s treatment of Euclidean oscillatory integrals based on Newton polyhedra for good coordinate choices. Another elementary proof is given by Veys from an algebraic geometric perspective.more » « less
-
This paper studies structural consequences of supercompact- ness of ω1 under ZF. We show that the Axiom of Dependent Choice (DC) follows from “ω1 is supercompact”. “ω1 is supercompact” also implies that AD+, a strengthening of the Axiom of Determinacy (AD), is equiv- alent to ADR. It is shown that “ω1 is supercompact” does not imply AD. The most one can hope for is Suslin co-Suslin determinacy. We show that this follows from “ω1 is supercompact” and Hod Pair Capturing (HPC), an inner-model theoretic hypothesis that imposes certain smallness con- ditions on the universe of sets. “ω1 is supercompact” on its own implies that every Suslin co-Suslin set is the projection of a determined (in fact, homogenously Suslin) set. “ω1 is supercompact” also implies all sets in the Chang model have all the usual regularity properties, like Lebesgue measurability and the Baire property.more » « less
-
null (Ed.)In this article, we study the problem of obtaining Lebesgue space inequalities for the Fourier restriction operator associated to rectangular pieces of the paraboloid and perturbations thereof. We state a conjecture for the dependence of the operator norms in these inequalities on the sidelengths of the rectangles, prove that this conjecture follows from (a slight reformulation of the) restriction conjecture for elliptic hypersurfaces, and prove that, if valid, the conjecture is essentially sharp. Such questions arise naturally in the study of restriction inequalities for degenerate hypersurfaces; we demonstrate this connection by using our positive results to prove new restriction inequalities for a class of hypersurfaces having some additive structure.more » « less
An official website of the United States government

