Related papers: Singular chains and the fundamental group

It is argued that a nonsingular elliptic curve admits a natural or fundamental abelian heap structure uniquely determined by the curve itself. It is shown that the set of complex analytic or rational functions from a nonsingular elliptic…

A connected algebraic group in characteristic 0 is uniquely determined by its Lie algebra. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its Lie algebra. Using this an algorithm is…

We discuss the relationship between (co)homology groups and categorical diagonalization. We consider the category of chain complexes in the category of finitely generated free modules on a commutative ring. For a fixed chain complex with…

We introduce the chain geometry $\Sigma(K,R)$ over a ring $R$ with a distinguished subfield $K$, thus extending the usual concept where $R$ has to be an algebra over $K$. A chain is uniquely determined by three of its points, if, and only…

The core group is an invariant of unoriented virtual links. We introduce a peripheral structure for the core group, in which the longitudes are sensitive to orientations. We show that the combination of the core group and its peripheral…

We initiate in this article the study of weakly exact structures, a generalization of Quillen exact structures. We introduce weak counterparts of one-sided exact structures and show that a left and a right weakly exact structure generate a…

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

An equivalence structure is a set with a single binary relation, satisfying sentences stating that the relation is an equivalence relation. A computable structure A is said to be $\Delta^0_\alpha$ categorical if for any computable structure…

We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology.

In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.

Let $X$ be a compact K\"ahler manifold. The set $\cha(X)$ of one-dimensional complex valued characters of the fundamental group of $X$ forms an algebraic group. Consider the subset of $\cha(X)$ consisting of those characters for which the…

Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.

Complex systems are usually represented as an intricate set of relations between their components forming a complex graph or network. The understanding of their functioning and emergent properties are strongly related to their structural…

We study the notion of fundamental group in the framework of descent-exact homological categories. This setting is sufficiently wide to include several categories of "algebraic" nature such as the almost abelian categories, the semi-abelian…

A finite subgroup of the conformal group SL(2,C) can be related to invariant polynomials on a hypersurface in C^3. The latter then carries a simple singularity, which resolves by a finite iteration of basic cycles of deprojections. The…

We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular…

We consider the unitary group $\U$ of complex, separable, infinite-dimensional Hilbert space as a discrete group. It is proved that, whenever $\U$ acts by isometries on a metric space, every orbit is bounded. Equivalently, $\U$ is not the…

We analyse the structure of the quotient $\mathrm{A}_\sim(\Gamma,X,\mu)$ of the space of measure-preserving actions of a countable discrete group by the relation of weak equivalence. This space carries a natural operation of convex…

Let $k$ be an algebraically closed field of characteristic $p>0$ and let $\mathbb{F}$ be an algebraically closed field of characteristic $0$. Recently, together with Bouc, we introduced the notion of functorial equivalences between blocks…

We prove that if a group scheme of multiplicative type acts on an algebraic stack with affine, finitely presented diagonal then the stack of fixed points is algebraic. For this, we extend two theorems of [SGA3.2] on functors of subgroups of…