arXiv · 0709.1448
The special case of closed subsets of C^n is briefly discussed.
Explore connections, maps & timelines
Stephen Semmes. 2007-09-10. A few remarks concerning complex-analytic metric spaces. https://arxiv.org/abs/0709.1448
Cite the original work for its findings. Save a collection to share your selection of sources.
KEEP EXPLORING
We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in $\mathcal{A}$ that is an immediate generalization of Mac Lane's cubical $Q$-complex computing the stable homology of abelian groups.
Visual paradoxes like the Penrose staircase present a fundamental tension: locally coherent geometric relationships that cannot be realized globally. Inspired by Penrose's observations connecting such paradoxes to cohomology, we develop a mathematical framework that characterizes this phenomenon through network torsors and sheaf cohomology. Network torsors capture the essential nature of visual paradoxes by formalizing relative geometric attributes (height changes, orientation flips) without requiring absolute measures. We demonstrate that a significant class of visual paradoxes can be characterized as non-trivial network torsors, with their obstruction to global consistency quantified by elements of first cohomology $H^1$. This framework enables analysis of classical paradoxes and construction of novel examples on various topological spaces. Key contributions include the first visual paradox with nonabelian holonomy (the Klein ladder, whose holonomy takes values in the infinite dihedral group), and paradoxes driven by boundary conditions rather than loops, analyzable via non-constant structure sheaves and relative cohomology. Our approach unifies diverse visual paradoxes under a single mathematical principle: the obstruction to globalizing locally consistent geometric relationships.
We construct two toric manifolds of complex dimension four, which are not homotopy equivalent but have isomorphic integral cohomology rings.