The homotopy sequence of the algebraic fundamental group

Lei Zhang

DOI: https://doi.org/10.1093/imrn/rnt163

2013-07-14

Abstract:In this note, we prove that the homotopy sequence of the algebraic fundamental group is exact if the base field is of characteristic 0.

Algebraic Geometry

What problem does this paper attempt to address?

The Homotopy Sequence of Nori's Fundamental Group

Lei Zhang

DOI: https://doi.org/10.1016/j.algebra.2013.07.010

2013-07-14

Abstract:In this paper, we investigate the necessary sufficient conditions for the exactness of the homotopy sequence of Nori's fundamental group and apply these to various special situations to regain some classical theorems and give a counter example to show the conditions are not always satisfied. This work partially bases on the earlier work of <a class="link-external link-http" href="http://H.Esnault" rel="external noopener nofollow">this http URL</a>, <a class="link-external link-http" href="http://P.H.Hai" rel="external noopener nofollow">this http URL</a>, <a class="link-external link-http" href="http://E.Viehweg" rel="external noopener nofollow">this http URL</a>.

Algebraic Geometry
The cyclic bar construction and fundamental groups

Nir Gadish

2024-10-18

Abstract:We determine the 0-th Hochschild homology of the associative algebra of simplicial cochains valued in a PID: it consists of the ``finite-type" homotopy invariants of free loops, equivalently finite-type class functions on the fundamental group. One major motivation for this calculation is joint work in progress aiming to geometrically construct invariants of links in the 3-sphere as well as other $3$-manifolds, and to realize Milnor's linking numbers as evaluations of 0-th Hochschild homology classes.

Algebraic Topology,Rings and Algebras
Bialgebra cohomology and exact sequences

Julien Bichon

2023-09-19

Abstract:We show how the bialgebra cohomologies of two Hopf algebras involved in an exact sequence are related, when the third factor is finite-dimensional cosemisimple. As an application, we provide a short proof of the computation of the bialgebra cohomology of the universal cosovereign Hopf algebras in the generic (cosemisimple) case, done recently by Baraquin, Franz, Gerhold, Kula and Tobolski.

K-Theory and Homology,Quantum Algebra
On the algebraic fundamental group of smooth varieties in characteristic $p>0$

Hélène Esnault,Amit Hogadi

DOI: https://doi.org/10.1090/s0002-9947-2012-05470-5

IF: 1.3529

2012-05-01

Transactions of the American Mathematical Society

Abstract:We define an analog in characteristic p>0p>0 of the proalgebraic completion of the topological fundamental group of a complex manifold.

mathematics
Algebraic homotopy classes

Juliusz Banecki

2024-02-08

Abstract:We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic to a regular one. Furthermore we prove that algebraic homotopy classes of spheres form a subgroup of the homotopy group, and that a similar result holds also for cohomotopy groups of arbitrary varieties.

Algebraic Geometry
Homology and Derived p-Series of Groups

Tim D. Cochran,Shelly Harvey

DOI: https://doi.org/10.2140/agt.2008.8.1593

2007-04-06

Abstract:We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology equivalent have fundamental groups that are isomorphic modulo any term of their p-derived series. Various authors have related the ranks of the successive quotients of the lower central p-series and of the derived p-series of the fundamental group of a 3-manifold M to the volume of M, to whether certain subgroups of the fundamental group of M are free, whether finite index subgroups of the fundamental group of M map onto non-abelian free groups, and to whether finite covers of M are ``large'' in various other senses. Specifically, let A be a finitely-generated group and B be a finitely presented group. If a homomorphism induces an isomorphism (respectively monomorphism) on H_1(- ;Z_p) and an epimorphism on H_2(- ;Z_p), then for each finite n, it induces an isomorphism (respectively monomorphism) between the quotients of A and B by the n-th terms of their respective p-derived series. In fact we prove a stronger version that is analogous to Dwyer's extension of Stallings' theorem.

Geometric Topology,Group Theory
A Note on the Fundamental Group of A Triangular Algebra

Fan Xu

DOI: https://doi.org/10.1142/s1005386708000369

2008-01-01

Algebra Colloquium

Abstract:Let A be a finite dimensional basic connected algebra over a field k of characteristic zero. We generalize the result of [5], and show that if the quiver of A has no oriented cycles, then the fundamental group of any presentation of A by quiver and relations (as defined in [6]) is the quotient of the fundamental group of a privileged presentation of A. In a more general case, we cite and analyze the example given in [3].
Simplicial homotopy theory of algebraic varieties over real closed fields, Part 1

Ambrus Pál

DOI: https://doi.org/10.48550/arXiv.2207.01316

2022-07-04

Abstract:We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur comparing the real homotopy type with the étale homotopy type. This paper is part one of a sequence of papers on this topic.

Algebraic Geometry
Trivial unit conjecture and homotopy theory

Shengkui Ye

DOI: https://doi.org/10.1016/j.jalgebra.2013.12.019

IF: 0.908

2014-03-01

Journal of Algebra

Abstract:A homotopy theoretic description is given for trivial unit conjecture in the group ring ZG.

mathematics
On the motivic description of truncated fundamental group rings

Eduard Looijenga

2024-06-23

Abstract:A topological theorem that appears in a paper by Deligne-Goncharov (and which they attribute to Beilinson) states the following. Let $(X,*)$ be a path connected pointed space with a reasonable topology and denote by $I$ the augmentation ideal of its fundamental group ring. Then for every field F and positive integer n, the space of F-valued linear forms on $ I/I^{n+1}$ is naturally isomorphic to $H^n(X^n,X(n,*); F)$, where $X(n,*)$ is an explicitly defined subspace of $X^n$. We here construct a simple isomorphism between $I/I^{n+1}$ and $H_n(X^n,X(n,*); \mathbf{Z})$ and express the maps that define the Hopf algebra structure on the $I$-adic completion of the fundamental group ring of $(X,*)$ in these terms.

Algebraic Geometry,Geometric Topology
An explicit infinite homotopy in nonabelian Hodge theory in positive characteristic

Mao Sheng,Zebao Zhang

DOI: https://doi.org/10.48550/arxiv.2302.09231

2023-01-01

Abstract: This short note is extracted from Section 3 and Appendix of the paper entitled with Intersection de Rham complexes in positive characteristic by the same named authors, where an explicit infinite homotopy from a Higgs complex to the Frobenius pushforward of the corresponding de Rham complex in positive characteristic has been provided. The verification details, which are omitted therein, are provided here.
On the first relative Hochschild cohomology and contracted fundamental group

Jonathan Lindell,Lleonard Rubio y Degrassi

2024-11-05

Abstract:In this paper we investigate the Lie algebra structure of the first relative Hochschild cohomology and its relation with the relative notion of fundamental group. Let $A,B$ be finite-dimensional basic $k$-algebras over an algebraically closed field of characteristic zero, such that $Q_B$ is a subquiver of $Q_A$. We show that if the complement of $Q_A$ by the arrows of $Q_B$ is a simple directed graph, then the first relative Hochschild cohomology $\text{HH}^1(A|B)$ is a solvable Lie algebra. We also compute the Lie algebra structure of the first relative Hochschild cohomology for radical square zero algebras and for dual extension algebras of directed monomial algebras. Finally, we introduce the notion of fundamental group for a pair of an algebra $A$ and a subalgebra $B$ and we construct the relative version of the map from the dual fundamental group into the first Hochschild cohomology.

Representation Theory,K-Theory and Homology
Homotopy theory of smooth compactifications of algebraic varieties

Gereon Quick

DOI: https://doi.org/10.48550/arXiv.1305.1777

2013-08-31

Abstract:In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that the functor sending a variety to the p-th step of the Hodge filtration of its complex cohomology is representable in the homotopy category of simplicial presheaves on smooth complex varieties. The main motivation are recent applications of homotopy theory to Deligne-Beilinson cohomology theories.

Algebraic Geometry,Algebraic Topology
Loop homology of spheres and complex projective spaces

Nora Seeliger

DOI: https://doi.org/10.1515/FORM.2011.161

2011-11-14

Abstract:In his Inventiones paper, Ziller (Invent. Math: 1-22, 1977) computed the integral homology as a graded abelian group of the free loop space of compact, globally symmetric spaces of rank 1. Chas and Sullivan (String Topology, 1999)showed that the homology of the free loop space of a compact closed orientable manifold can be equipped with a loop product and a BV-operator making it a Batalin-Vilkovisky algebra. Cohen, Jones and Yan (The loop homology algebra of spheres and projective spaces, 2004) developed a spectral sequence which converges to the loop homology as a spectral sequence of algebras. They computed the algebra structure of the loop homology of spheres and complex projective spaces by using Ziller's results and the method of Brown-Shih (Ann. of Math. 69:223-246, 1959, Publ. Math. Inst. Hautes Études Sci. 3: 93-176, 1962). In this note we compute the loop homology algebra by using only spectral sequences and the technique of universal examples. We therefore not only obtain Zillers' and Brown-Shihs' results in an elementary way, we also replace the roundabout computations of Cohen, Jones and Yan (The loop homology algebra of spheres and projective spaces, 2004) making them independent of Ziller's and Brown-Shihs' work. Moreover we offer an elementary technique which we expect can easily be generalized and applied to a wider family of spaces, not only the globally symmetric ones.

Algebraic Topology,Mathematical Physics,Geometric Topology
Some remarks on algebraic fundamental groups

Raja Sridharan,Sumit Kumar Upadhyay,Sunil Kumar Yadav

DOI: https://doi.org/10.1016/j.jpaa.2024.107719

IF: 0.834

2024-05-18

Journal of Pure and Applied Algebra

Abstract:In this article, we explore several properties of the algebraic fundamental group of a ring and give a surjective group homomorphism from the algebraic fundamental group of the field of real numbers to the group of integers. At the end of the paper, we also propose some problems related to the algebraic fundamental group of some particular rings.

mathematics, applied
Homogeneity in the free group

Chloé Perin,Rizos Sklinos

DOI: https://doi.org/10.1215/00127094-1813068

2010-03-22

Abstract:We show that any non abelian free group $\F$ is strongly $\aleph_0$-homogeneous, i.e. that finite tuples of elements which satisfy the same first-order properties are in the same orbit under $\Aut(\F)$. We give a characterization of elements in finitely generated groups which have the same first-order properties as a primitive element of the free group. We deduce as a consequence that most hyperbolic surface groups are not $\aleph_0$-homogeneous.

Group Theory,Logic
Homological representations of low genus mapping class groups

Trent Lucas

2024-03-14

Abstract:Given a finite group $G$ acting on a surface $S$, the centralizer of G in the mapping class group $\textrm{Mod}(S)$ has a natural representation given by its action on the homology $H_1(S; \mathbb{Q})$. We consider the question of whether this representation has arithmetic image. Several authors have given positive and negative answers to this question. We give a complete answer when S has genus at most 3.

Geometric Topology,Group Theory,Representation Theory
Homotopy theory of algebraic quantum field theories

Marco Benini,Alexander Schenkel,Lukas Woike

DOI: https://doi.org/10.1007/s11005-018-01151-x

2019-01-16

Letters in Mathematical Physics

Abstract:<h3 class="a-plus-plus">Abstract</h3> <p class="a-plus-plus">Motivated by gauge theory, we develop a general framework for chain complex-valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical model structure and explain the important conceptual and also practical consequences of this result. As a concrete application, we provide a derived version of Fredenhagen’s universal algebra construction, which is relevant e.g. for the BRST/BV formalism. We further develop a homotopy theoretical generalization of algebraic quantum field theory with a particular focus on the homotopy-coherent Einstein causality axiom. We provide examples of such homotopy-coherent theories via (1) smooth normalized cochain algebras on <span class="a-plus-plus inline-equation id-i-eq1"> <span class="a-plus-plus equation-source format-t-e-x">$\infty $</span> </span>-stacks, and (2) fiber-wise groupoid cohomology of a category fibered in groupoids with coefficients in a strict quantum field theory.</p>

physics, mathematical
The Equivariant Brauer Group of a Cocommutative Hopf Algebra

J. Dello,Y. H. Zhang

DOI: https://doi.org/10.1080/00927872.2012.692417

2013-11-02

Communications in Algebra

Abstract:We investigate the Brauer group BRM(k, H) of a cocommutative Hopf algebra H (H can be nonfinitely generated). BRM(k, H) is the bigger Brauer group of H-module Taylor–Azumaya algebras (which do not necessarily contain a unit). An exact sequence is obtained. Furthermore, we prove the surjectivity of under certain circumstances. This generalizes Beattie's exact sequence to the “infinite” case.

mathematics
Algebraic fundamental groups of fake projective planes

Matthew Stover

DOI: https://doi.org/10.4171/jems/1536

2024-09-11

Journal of the European Mathematical Society

Abstract:Fundamental groups of fake projective planes fall into fifty distinct isomorphism classes, one for each complex conjugate pair. We prove that this is not the case for their algebraic fundamental groups: there are only forty-six isomorphism classes. We show that there are four pairs of complex conjugate pairs of fake projective planes that are \operatorname{Aut}(\mathbb{C}) -equivalent and hence have mutually isomorphic algebraic fundamental groups. All other pairs of algebraic fundamental groups are shown to be distinct through explicit finite étale covers. As a by-product, this provides the first examples of commensurable but nonisomorphic lattices in a rank one semisimple Lie group that have isomorphic profinite completions.

mathematics, applied

The homotopy sequence of the algebraic fundamental group

The Homotopy Sequence of Nori's Fundamental Group

The cyclic bar construction and fundamental groups

Bialgebra cohomology and exact sequences

On the algebraic fundamental group of smooth varieties in characteristic $p>0$

Algebraic homotopy classes

Homology and Derived p-Series of Groups

A Note on the Fundamental Group of A Triangular Algebra

Simplicial homotopy theory of algebraic varieties over real closed fields, Part 1

Trivial unit conjecture and homotopy theory

On the motivic description of truncated fundamental group rings

An explicit infinite homotopy in nonabelian Hodge theory in positive characteristic

On the first relative Hochschild cohomology and contracted fundamental group

Homotopy theory of smooth compactifications of algebraic varieties

Loop homology of spheres and complex projective spaces

Some remarks on algebraic fundamental groups

Homogeneity in the free group

Homological representations of low genus mapping class groups

Homotopy theory of algebraic quantum field theories

The Equivariant Brauer Group of a Cocommutative Hopf Algebra

Algebraic fundamental groups of fake projective planes