Related papers: Log Fundamental Group Scheme
In this paper, we give the rigidity theorem for a log morphism as an extension of a fixed scheme morphism. We also give several applications of the rigidity theorem.
The notion of a Hopf module over a Hopf (co)quasigroup is introduced and a version of the fundamental theorem for Hopf (co)quasigroups is proven.
We introduce the notion of algebraic cogroup over a subfield $k$ of the complex numbers, and use it to prove that every Nori motive over $k$ is isomorphic to a quotient of a motive of the form $H^n(X, Y)(i)$.
The classification of elliptic curves E over the rationals Q is studied according to their torsion subgroups E_{tors}(Q) of rational points. Explicit criteria for the classification are given when E_{tors}(Q) are cyclic groups with even…
Let $R$ be a discrete valuation ring of field of fractions $K$ and of residue field $k$ of characteristic $p > 0$. In an earlier work, we studied the question of extending torsors on $K$-curves into torsors over $R$-regular models of the…
We introduce a class of singular log schemes in three dimensions and conjecture that log schemes in this class admit log crepant log resolutions. We provide examples as evidence and relate this conjecture to the conjecture made in [4] and…
We characterize co-Hopfian finitely generated torsion free nilpotent groups in terms of their Lie algebra automorphisms, and construct many examples of such groups.
The main result of the paper is a formula for the fundamental group of the coarse moduli space of a topological stack. As an application, we find simple general formulas for the fundamental group of the coarse quotient of a group action on…
In previous work, the authors introduced the ozone group of an associative algebra as the subgroup of automorphisms which fix the center pointwise. The authors studied PI skew polynomial algebras, using the ozone group to understand their…
We define higher pro-Albanese functors for every effective log motive over a field $k$ of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline{X}, \partial X)$. The result involves an inverse system of…
We define graded group schemes and graded group varieties and develop their theory. Graded group schemes are the graded analogue of group schemes and are in correspondence with graded Hopf algebra. In this setting, graded group varieties…
We first prove the Grinberg-Kazhdan formal arc theorem without any assumptions on the characteristic. This part of the article is equivalent to arXiv:math-AG/0203263. Then we try to clarify the geometric ideas behind the proof by…
Let R be a discrete valuation ring of unequal characteristic with fraction field K which contains a primitive p^2-th root of unity. Let X be a faithfully flat R-scheme and G be a finite abstract group. Let us consider a G-torsor Y_K\to X_K…
This paper constructs cospecialization homomorphisms between the (p') versions of the tempered fundamental group of the fibers of a smooth morphism with polystable reduction (the tempered fundamental group is a sort of analog of the…
We follow the pattern in a recent paper of Otabe [Ota15] to define an action of the \'etale fundamental group scheme $\pi^\text{et}(X)$ on the local component of the essentially finite fundamental group scheme $\pi^{\mathrm{EF}}(X)$ of…
In order to make the fundamental group, one of the most well known invariants in algebraic topology, more useful and powerful some researchers have introduced and studied various topologies on the fundamental group from the beginning of the…
We show that the fundamental groups of normal complex algebraic varieties share many properties of the fundamental groups of smooth varieties. The jump loci of rank one local systems on a normal variety are related to the jump loci of a…
Given a relative faithfully flat pointed scheme over the spectrum of a discrete valuation ring $X \to S$ this paper is motivated by the study of the natural morphism from the fundamental group scheme of the generic fiber $X_\eta $ to the…
In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal…
We describe an algorithm to compute the Schur multipliers of all nilpotent Lie $p$-rings in the family defined by a symbolic nilpotent Lie $p$-ring. Symbolic nilpotent Lie $p$-rings can be used to describe the isomorphism types of…