Related papers: Set-Theoretic Geology
Fixed point theorems are one of the many tools used to prove existence and uniqueness of differential equations. When the data involved contains products of distributions, some of these tools may not be useful. Thus rises the necessity to…
Suppose that f:V->W is an embedding of closed oriented manifolds whose normal bundle has the structure of a complex vector bundle. It is well known in both complex and symplectic geometry that one can then construct a manifold W' which is…
A strong generalized topological space is an ordered pair $\mathbf{X}=\langle X, \mathcal{T}\rangle$ such that $X$ is a set and $\mathcal{T}$ is a collection of subsets of $X$ such that $\emptyset, X\in \mathcal{T}$ and $\mathcal{T}$ is…
Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a…
The following results are proved: Theorem 1. A totally real semiparallel submanifold of constant curvature with parallel f-structure in the normal bundle of a K\"ahler manifold N is flat or a totally geodesic submanifold of N. Theorem 2. A…
A certain vector-tensor (VT) theory of gravitation was tested in previous papers. In the background universe, the vector field of the theory has a certain energy density, which is appropriate to play the role of vacuum energy (cosmological…
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…
We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself),…
The Euler characteristic is the only additive topological invariant for spaces of certain sort, in particular, for manifolds with some finiteness properties. A generalization of the notion of a manifold is the notion of a V-manifold. Here…
A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…
Given a submanifold Z inside X, let Y be the blow-up of X along Z. When the normal bundle of Z in X is convex with a minor assumption, we prove that genus-zero GW-invariants of Y with cohomology insertions from X, are identical to…
This study first provides a brief overview of the structure of typical Grassmann manifolds. Then a new type of supergrassmannians is construced using an odd involution in a super ringed space and by gluing superdomains together. Next,…
We give a full classification of vertex-transitive zonotopes. We prove that a vertex-transitive zonotope is a $\Gamma$-permutahedron for some finite reflection group $\Gamma\subset\mathrm{O}(\mathbb R^d)$. The same holds true for zonotopes…
The fundamental ideas and tools of the global geometric formulation of stress and hyper-stress theory of continuum mechanics are introduced. The proposed framework is the infinite dimensional counterpart of statics of systems having finite…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…
We prove the Moore and the Myhill property for strongly irreducible subshifts over right amenable and finitely right generated left homogeneous spaces with finite stabilisers. Both properties together mean that the global transition…
Let $Y\to X$ be a finite normal cover of a wedge of $n\geq 3$ circles. We prove that for any $v\neq 0\in H_1(Y;\mathbb{Q})$ there exists a lift $\widetilde{F}$ to $Y$ of a homotopy equivalence $F:X\to X$ so that the set of iterates…
The Earth's magnetic field is generated by a dynamo in the outer core and is crucial for shielding our planet from harmful radiation. Despite the established importance of the core-mantle boundary heat flux as driver for the dynamo, open…
This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…