Related papers: On identities in connected topological groups

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. Let…

We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…

It is well-known that for certain local connectivity assumptions the fundamental groupoid of a topological space can be equipped with a topology making it a topological groupoid. In other words, the fundamental groupoid functor can be…

We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then the group generated by $X$ contains a…

We prove that the automorphism group of a topological parallelism on real projective 3-space is compact. In a preceding article it was proved that at least the connected component of the identity is compact. The present proof does not…

Let $(R,m)$ be a complete local ring of positive dimension, which contains a separably closed coefficient field of prime characteristic. Using a vanishing theorem of Peskine-Szpiro, Lyubeznik proved that every element of the local…

We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide…

An almost Abelian Lie group is a non-Abelian Lie group with a codimension 1 Abelian subgroup. We show that all discrete subgroups of complex simply connected almost Abelian groups are finitely generated. The topology of connected almost…

The classical Neukirch-Uchida theorem states that the absolute Galois group determines a number field up to isomorphism. We prove an analogue of this theorem for 3-manifolds in the framework of arithmetic topology. We study infinite links…

The curvature tensor of a symplectic connection, as well as its covariant derivatives, satisfy certain identities that hold on any manifold of dimension less than or equal to a fixed n. In this paper, we prove certain results regarding…

Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use…

Suppose $\rho_1, \rho_2$ are two $\ell$-adic Galois representations of the absolute Galois group of a number field, such that the algebraic monodromy group of one of the representations is connected and the representations are locally…

A group $G$ is called hereditarily non-topologizable if, for every $H\le G$, no quotient of $H$ admits a non-discrete Hausdorff topology. We construct first examples of infinite hereditarily non-topologizable groups. This allows us to prove…

Two non-discrete Hausdorff group topologies $\tau, \delta$ on a group $G$ are called {\it transversal} if the least upper bound $\tau\vee \delta$ of $\tau$ and $\delta$ is the discrete topology. In this paper, we discuss the existence of…

A topological space $X$ has the strong Pytkeev property at a point $x\in X$ if there exists a countable family $\mathcal N$ of subsets of $X$ such that for each neighborhood $O_x\subset X$ and subset $A\subset X$ accumulating at $x$, there…

We propose a fixed-point property for group actions on cones in topological vector spaces. In the special case of equicontinuous actions, we prove that this property always holds; this statement extends the classical Ryll-Nardzewski theorem…

An identifying code of a graph is a subset of its vertices such that every vertex of the graph is uniquely identified by the set of its neighbours within the code. We study the edge-identifying code problem, i.e. the identifying code…

Consider the framework of topological aggregation introduced by Chichilnisky (1980). We prove that in this framework the Twin Paradox and the No Show Paradox cannot be avoided. Anonymity and unanimity are not needed to obtain these results.

A graph G is locally isometric if the subgraph induced by the neighbourhood of every vertex is an isometric subgraph of G. It is shown that the hamilton cycle problem for locally isometric graphs with maximum degree at most 8 is…

The Hilbert-Smith Conjecture states that if G is a locally compact group which acts effectively on a connected manifold as a topological transformation group, then G is a Lie group. A rather straightforward proof of this conjecture is…