13,569 research outputs found
Small Inductive Dimension of Topological Spaces. Part II
In this paper we present basic properties of n-dimensional topological spaces according to the book [10]. In the article the formalization of Section 1.5 is completed.Institute of Computer Science, University of Białystok, PolandGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. König's theorem. Formalized Mathematics, 1(3):589-593, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Leszek Borys. Paracompact and metrizable spaces. Formalized Mathematics, 2(4):481-485, 1991.Agata Darmochwał. Families of subsets, subspaces and mappings in topological spaces. Formalized Mathematics, 1(2):257-261, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.Ryszard Engelking. Teoria wymiaru. PWN, 1981.Robert Milewski. Bases of continuous lattices. Formalized Mathematics, 7(2):285-294, 1998.Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.Karol Pąk. Small inductive dimension of topological spaces. Formalized Mathematics, 17(3):207-212, 2009, doi: 10.2478/v10037-009-0025-7.Andrzej Trybulec. A Borsuk theorem on homotopy types. Formalized Mathematics, 2(4):535-545, 1991.Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Mirosław Wysocki and Agata Darmochwał. Subsets of topological spaces. Formalized Mathematics, 1(1):231-237, 1990
Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds
Let be a separated, -shifted symplectic
derived -scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie
arXiv:1111.3209, of complex virtual dimension , and the underlying complex analytic topological
space. We prove that can be given the structure of a derived
smooth manifold , of real virtual dimension . This is not canonical,
but is independent of choices up to bordisms fixing the underlying topological
space . There is a 1-1 correspondence between orientations on
and orientations on .
Because compact, oriented derived manifolds have virtual classes, this means
that proper, oriented -shifted symplectic derived -schemes have
virtual classes, in either homology or bordism. This is surprising, as
conventional algebro-geometric virtual cycle methods fail in this case. Our
virtual classes have half the expected dimension, and from purely complex
algebraic input, can yield a virtual class of odd real dimension.
Now derived moduli schemes of coherent sheaves on a Calabi-Yau 4-fold are
expected to be -shifted symplectic (this holds for stacks). We propose to
use our virtual classes to define new Donaldson-Thomas style invariants
'counting' (semi)stable coherent sheaves on Calabi-Yau 4-folds over
, which should be unchanged under deformations of .Comment: (v2) 69 pages. Final version, to appear in Geometry and Topolog
Some applications of the ultrapower theorem to the theory of compacta
The ultrapower theorem of Keisler-Shelah allows such model-theoretic notions
as elementary equivalence, elementary embedding and existential embedding to be
couched in the language of categories (limits, morphism diagrams). This in turn
allows analogs of these (and related) notions to be transported into unusual
settings, chiefly those of Banach spaces and of compacta. Our interest here is
the enrichment of the theory of compacta, especially the theory of continua,
brought about by the immigration of model-theoretic ideas and techniques
Orientation and symmetries of Alexandrov spaces with applications in positive curvature
We develop two new tools for use in Alexandrov geometry: a theory of ramified
orientable double covers and a particularly useful version of the Slice Theorem
for actions of compact Lie groups. These tools are applied to the
classification of compact, positively curved Alexandrov spaces with maximal
symmetry rank.Comment: 34 pages. Simplified proofs throughout and a new proof of the Slice
Theorem, correcting omissions in the previous versio
- …