Related papers: A Fulton-Hansen theorem for almost homogeneous spa…
Let G be a group of type FP_n and let p>1. In this paper we show that the reduced l^p-homology of G is dual to the reduced l^q-cohomology for \frac{1}{p}+\frac{1}{q}=1. In our main theorem we show that for a group of type FP_n with a…
The properties of the space $\A$ of regular connections as a subset of the space $\Ab$ of generalized connections in the Ashtekar framework are studied. For every choice of compact structure group and smoothness category for the paths it is…
We prove that the complex of proper non-trivial non-degenerate subspaces of a finite-dimensional vector space endowed with a non-degenerate sesquilinear form is homotopy equivalent to a wedge of spheres. Additionally, we show that the same…
We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…
The type-PQ adjacency polytope associated to a simple graph is a $0/1$-polytope containing valuable information about an underlying power network. Chen and the first author have recently demonstrated that, when the underlying graph $G$ is…
We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…
We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…
The algebra and calculus of generalized differential forms are reviewed and employed to construct a class of generalized connections and to investigate their properties. The class includes generalized connections which are flat when…
Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…
Leighton's graph covering theorem says that two finite graphs with a common cover have a common finite cover. We present a new proof of this using groupoids, and use this as a model to prove two generalisations of the theorem. The first…
It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories…
Using results of Hironaka-Matsumura and Faltings, we prove a strong version of the well known Fulton-Hansen connectivity theorem for weighted projective spaces. As a consequence we get the following result. If $Y$ is an irreducible…
We construct a theory in which the gravitational interaction is described only by torsion, but that generalizes the Teleparallel Theory still keeping the invariance of local Lorentz transformations in one particular case. We show that our…
Let $P$ be a polytope with rational vertices. A classical theorem of Ehrhart states that the number of lattice points in the dilations $P(n) = nP$ is a quasi-polynomial in $n$. We generalize this theorem by allowing the vertices of P(n) to…
We generalize several comparison results between algebraic, semi-topological and topological K-theories to the equivariant case with respect to a finite group.
We prove a generalization of the quantum de Finetti theorem when the local space is an infinite-dimensional Fock space. In particular, instead of considering the action of the permutation group on $n$ copies of that space, we consider the…
Let $\ell$ be a commutative ring with unit. To every pair of $\ell$-algebras $A$ and $B$ one can associate a simplicial set $\hom(A,B^\Delta)$ so that $\pi_0\hom(A,B^\Delta)$ equals the set of polynomial homotopy classes of morphisms from…
In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant,…
Let U be a unipotent group over the field of complex numbers C, acting on a complex algebraic variety X. Assume that there exists a surjective morphism of complex algebraic varieties f: X --> Y whose fibres are orbits of U. We show that if…
Let $G$ be the Grassmannian $G(d,n)$, let $X$ and $Y$ be complete irreducible varieties, and let $X\rightarrow G$ and $Y\rightarrow G$ be morphisms. Hansen proved that $X \times_G Y$ is connected when $codim f(X) + codim g(Y) < n$. We show…