Related papers: Subgroups of profinite surface groups

Let $\Sigma$ be a closed surface other than the sphere, the torus, the projective plane or the Klein bottle. We construct a continuum of p.m.p. ergodic minimal profinite actions for the fundamental group of $\Sigma$, that are topologically…

On $X$ projective smooth over an algebraically closed field, we show that if Nori's fundamental group scheme is trivial, then there are no nontrivial Nori semistable bundles of degree 0, that is the group scheme $\pi^S(X)$ studied in…

The purpose of this paper is to link anisotropy properties of an algebraic group together with compactness issues in the topological group of its rational points. We nd equivalent conditions on a smooth ane algebraic group scheme over a…

We classify the pairs $(C,G)$ where $C$ is a seminormal curve over an arbitrary field $k$ and $G$ is a smooth connected algebraic group acting faithfully on $C$ with a dense orbit, and we determine the equivariant Picard group of $C$. We…

The main result in this paper is as follows: Let S be the branch curve (in the projective plan) of a generic projection of a Veronese surface. Then the fundamental group of the complement of S is an extension of a solvable group by a…

The first author has associated in a natural way a profinite group to each irreducible subshift. The group in question was initially obtained as a maximal subgroup of a free profinite semigroup. In the case of minimal subshifts, the same…

It is well known that inverse semigroups are closely related to \'etale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between localic \'etale groupoids, on one hand, and complete and…

We provide elementary proofs of the Nielsen-Schreier Theorem and the Kurosh Subgroup Theorem via wreath products. Our proofs are diagrammatic in nature and work simultaneously in the abstract and profinite categories. A new proof that open…

We give a simplified proof of Tits' classification of semisimple algebraic groups that remains valid over semilocal rings. In particular, we provide explicit necessary and sufficient conditions that anisotropic groups of a given type appear…

In this paper we discuss some properties of fundamental groups and Alexander polynomials of plane curves. We discuss the relationship of the non-triviality of Alexander polynomials and the notion of (nearly) freeness for irreducible plane…

We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely…

We say that a nonselfadjoint operator algebra is partly free if it contains a free semigroup algebra. Motivation for such algebras occurs in the setting of what we call free semigroupoid algebras. These are the weak operator topology closed…

The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be…

The set of all closed subgroups of a profinite carries a natural profinite topology. This space of subgroups can be classified up to homeomorphism in many cases, and tight bounds placed on its complexity as expressed by its scattered…

We develop a new framework for analysing finite connected, oriented graphs of valency 4, which admit a vertex-transitive and edge-transitive group of automorphisms preserving the edge orientation. We identify a sub-family of "basic" graphs…

For profinite branch groups, we first demonstrate the equivalence of the Bergman property, uncountable cofinality, Cayley boundedness, the countable index property, and the condition that every non-trivial normal subgroup is open; compact…

We study the property of a normal scheme, that the complement of every hypersurface is an affine scheme. To this end we introduce the affine class group. It is a factor group of the divisor class group and measures the deviation from this…

The topological fundamental group $\pi_{1}^{top}$ is a homotopy invariant finer than the usual fundamental group. It assigns to each space a quasitopological group and is discrete on spaces which admit universal covers. For an arbitrary…

A perforated surface is the complement $\mathring\Sigma:=\Sigma\setminus A$ of a countable dense subset $A$ in a connected paracompact surface $\Sigma$. It is known that the topological type of $\Sigma\setminus A$ is independent of the…

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…