Related papers: The Parallel Wall Theorem for CAT(0) even 2-comple…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
The Circle Pattern Theorem characterizes the existence and rigidity of circle patterns with prescribed intersection angles on simplicial triangulations of closed surfaces. In this paper we extend the theorem to quasi-simplicial…
We define strict C(n) small-cancellation complexes, intermediate to C(n) and C(n+1), and we prove groups acting properly cocompactly on a simply-connected strict C(6) complex are hyperbolic relative to a collection of maximal virtually free…
We study the theory of convergence for CAT$(0)$-lattices (that is groups $\Gamma$ acting geometrically on proper, geodesically complete CAT$(0)$-spaces) and their quotients (CAT$(0)$-orbispaces). We describe some splitting and collapsing…
In this paper we prove that the number of partitions into squares with an even number of parts is asymptotically equal to that of partitions into squares with an odd number of parts. We further show that, for $ n $ large enough, the two…
The doubling conjecture predicts that a manifold admits positive scalar curvature with mean convex boundary if and only if its double admits positive scalar curvature. We show that it holds true for manifolds where the inclusion of the…
A decomposition theorem is established for a class of closed Riemannian submanifolds immersed in a space form of constant sectional curvature. In particular, it is shown that if $M$ has nonnegative sectional curvature and admits a Codazzi…
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…
Monsky proved that a square cannot be dissected into an odd number of triangles of equal area. Stein conjectured that the same holds for any polygon whose edges can be paired into parallel and equal-length segments. We prove Stein's…
We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…
In this paper, by refining approximation theorems for holomorphic sections of adjoint line bundles, it is proved that the regular locus of a weakly pseudoconvex complex space admitting a positive line bundle can be holomorphically embedded…
This is the third installment in our series of articles (dg-ga/9712005, dg-ga/9710032) on the application of the PU(2) monopole equations to prove Witten's conjecture (hep-th/9411102) concerning the relation between the Donaldson and…
This paper is the continuation of the work in~\cite{Yin}. In that paper we generalized the definition of $W$-graph ideal in the weighted Coxeter groups, and showed how to construct a $W$-graph from a given $W$-graph ideal in the case of…
We consider parabolic operators of the form $$\partial_t+\mathcal{L},\ \mathcal{L}:=-\mbox{div}\, A(X,t)\nabla,$$ in $\mathbb R_+^{n+2}:=\{(X,t)=(x,x_{n+1},t)\in \mathbb R^{n}\times \mathbb R\times \mathbb R:\ x_{n+1}>0\}$, $n\geq 1$. We…
An important "stability" theorem in shape theory, due to D.A. Edwards and R. Geoghegan, characterizes those compacta having the same shape as a finite CW complex. In this note we present straightforward and self-contained proof of that…
We identify the physics behind the results of recent measurements [W. Kang et al., Nature 403, 59 (2000)] of electron transfer between the edges of two two-dimensional electron systems (2DES). We find that a consistent explanation of all of…
It is broadly known that any parallelepiped tiles space by translating copies of itself along its edges. In earlier work relating to higher-dimensional sandpile groups, the second author discovered a novel construction which fragments the…
The famous van der Waerden theorem states that if partition N into finitely many cells then one of them will contain arbitrary length arithmetic progressions. It has a polynomial version also. In this article we will prove the near 0…
The process of collision of two parallel domain walls in a supersymmetric model is studied both in effective Lagrangian approximation and by numerical solving of the exact classical field problem. For small initial velocities we find that…
We prove an equivariant version of the local splitting theorem for tame Poisson structures and Poisson actions of compact Lie groups. As a consequence, we obtain an equivariant linearization result for Poisson structures whose transverse…