Source author record

Manfred Hartl

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.RA math.AT math.CT math.AG

Catalog footprint

Research overview

11works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

A formula for the second cohomology of two-step nilpotent groups

In [5], the notion of polynomial cocycles is used to give an expression for the second cohomology of T-groups with coefficients in a torsion-free nilpotent module. We make this expression concrete in the case of a T-group G of nilpotency class <=2 and coefficients in a trivial G-module, using a Lie algebra associated to the group. This approach allows us to construct explicit cocycles representing the elements of the second cohomology group.

preprint2012arXiv

A seven-term exact sequence for the cohomology of a group extension

In this paper, we construct a seven-term exact sequence involving the cohomology groups of a group extension. Although the existence of such a sequence can be derived using spectral sequence arguments, there is little knowledge about some of the maps occuring in the sequence, limiting its usefulness. Here we present a construction using only very elementary tools, always related to the notion of conjugation in a group. This results in a complete and usable description of all the maps, which we describe both on cocycle level as on the level of the interpretations of low dimensional cohomology groups (e.g. group extensions).

preprint2012arXiv

An explicit seven-term exact sequence for the cohomology of a Lie algebra extension

We construct a seven-term exact sequence involving low degree cohomology spaces of a Lie algebra $\Lg$, an ideal $\Lh$ of $\Lg$ and the quotient $\Lg / \Lh$ with coefficients in a $\Lg$-module. The existence of such a sequence follows from the Hochschild-Serre spectral sequence associated to the Lie algebra extension. However, some of the maps occurring in this induced sequence are not always explicitly known or easy to describe. In this article, we give alternative maps that yield an exact sequence of the same form, making use of the interpretations of the low-dimensional cohomology spaces in terms of derivations, extensions etc. The maps are constructed using elementary methods. Although we don't know whether the new maps coincide with the ones induced by the spectral sequence, the alternative sequence can certainly be useful, especially since we include straight-forward cocycle descriptions of the constructed maps.

preprint2012arXiv

Polynomial functors from Algebras over a set-operad and non-linear Mackey functors

In this paper, we give a description of polynomial functors from (finitely generated free) groups to abelian groups in terms of non-linear Mackey functors generalizing those given in a paper of Baues-Dreckmann-Franjou-Pirashvili published in 2001. This description is a consequence of our two main results: a description of functors from (fi nitely generated free) P-algebras (for P a set-operad) to abelian groups in terms of non-linear Mackey functors and the isomorphism between polynomial functors on (finitely generated free) monoids and those on (finitely generated free) groups. Polynomial functors from (finitely generated free) P-algebras to abelian groups and from (finitely generated free) groups to abelian groups are described explicitely by their cross-e ffects and maps relating them which satisfy a list of relations.

preprint2012arXiv

The ternary commutator obstruction for internal crossed modules

In finitely cocomplete homological categories, co-smash products give rise to (possibly higher-order) commutators of subobjects. We use binary and ternary co-smash products and the associated commutators to give characterisations of internal crossed modules and internal categories, respectively. The ternary terms are redundant if the category has the Smith is Huq property, which means that two equivalence relations on a given object commute precisely when their normalisations do. In fact, we show that the difference between the Smith commutator of such relations and the Huq commutator of their normalisations is measured by a ternary commutator, so that the Smith is Huq property itself can be characterised by the relation between the latter two commutators. This allows to show that the category of loops does not have the Smith is Huq property, which also implies that ternary commutators are generally not decomposable into nested binary ones. Thus, in contexts where Smith is Huq need not hold, we obtain a new description of internal categories, Beck modules and double central extensions, as well as a decomposition formula for the Smith commutator. The ternary commutator now also appears in the Hopf formula for the third homology with coefficients in the abelianisation functor.

preprint2010arXiv

Internal object actions in homological categories

Let $G$ and $A$ be objects of a finitely cocomplete homological category $\mathbb C$ . We define a notion of an (internal) action of $G$ of $A$ which is functorially equivalent with a point in $\mathbb C$ over $G$ , i.e. a split extension in $\mathbb C$ with kernel $A$ and cokernel $G$ . This notion and its study are based on a preliminary investigation of cross-effects of functors in a general categorical context. These also allow us to define higher categorical commutators. We show that any proper subobject of an object $E$ (i.e., a kernel of some map on $E$ in $\mathbb C$ ) admits a "conjugation" action of $E$ , generalizing the conjugation action of $E$ on itself defined by Bourn and Janelidze. If $\mathbb C$ is semi-abelian, we show that for subobjects $X$ , $Y$ of some object $A$ , $X$ is proper in the supremum of $X$ and $Y$ if and only if $X$ is stable under the restriction to $Y$ of the conjugation action of $A$ on itself. This amounts to an elementary proof of Bourn and Janelidze's functorial equivalence between points over $G$ in $\mathbb C$ and algebras over a certain monad $\mathbb T_G$ on $\mathbb C$ . The two axioms of such an algebra can be replaced by three others, in terms of cross-effects, two of which generalize the usual properties of an action of one group on another.

preprint2010arXiv

Morphismes quadratiques entre modules sur un anneau carré

We introduce the notions of a commutative square ring $R$ and of a quadratic map between modules over $R$ , called $R$ -quadratic map. This notion generalizes various notions of quadratic maps between algebraic objects in the literature. We construct a category of quadratic maps between $R$ -modules and show that it is a right-quadratic category and has an internal Hom-functor. Along our way, we recall the notions of a general square ring $R$ and of a module over $R$ , and discuss their elementary properties in some detail, adopting an operadic point of view. In particular, it turns out that the associated graded object of a square ring $R$ is a nilpotent operad of class 2, and the associated graded object of an $R$ -module is an algebra over this operad, in a functorial way. This generalizes the well-known relation between groups and graded Lie algebras (in the case of nilpotency class 2). We also generalize some elementary notions from group theory to modules over square rings.

preprint2010arXiv

On Fox and augmentation quotients of semidirect products

Let $G$ be a group which is the semidirect product of a normal subgroup $N$ and some subgroup $T$ . Let $I^n(G)$ , $n\ge 1$ , denote the powers of the augmentation ideal $I(G)$ of the group ring $\Z(G)$ . Using homological methods the groups $Q_n(G,H) = I^{n-1}(G)I(H)/I^{n}(G)I(H)$ , $H=G,N,T$ , are functorially expressed in terms of enveloping algebras of certain Lie rings associated with $N$ and $T$ , in the following cases: for $n\le 4$ and arbitrary $G,N,T$ (except from one direct summand of $Q_4(G,N)$ ), and for all $n\ge 2$ if certain filtration quotients of $N$ and $T$ are torsionfree.

preprint2010arXiv

On Fox quotients of arbitrary group algebras

For a group $G$ , N-series $\cal G$ of $G$ and commutative ring $R$ let $I^n_{R,\cal G}(G)$ , $n\ge 0$ , denote the filtration of the group algebra $R(G)$ induced by $\cal G$ , and $I_R(G)$ its augmentation ideal. For subgroups $H$ of $G$ , left ideals $J$ of $R(H)$ and right $H$ -submodules $M$ of $I_Z(G)$ the quotients $I_R(G)J/MJ$ are studied by homological methods, notably for $M= I_Z(G)I_Z(H)$ , $I_Z(H)I_Z(G) + I_Z([H,G])Z(G)$ and $Z(G)I_Z(N) +I^n_{Z,\cal G}(G)$ with $N \lhd G$ where the group $I_R(G)J/MJ$ is completely determined for $n=2$ . The groups $I^{n-1}_{Z,\cal G}(G)I_Z(H)/I^n_{Z,\cal G}(G)I_Z(H)$ are studied and explicitly computed for $n\le 3$ in terms of enveloping rings of certain graded Lie rings and of torsion products of abelian groups.

preprint2008arXiv

Quadratic maps between groups

The notion of quadratic maps between arbitrary groups appeared at several places in the literature on quadratic algebra. Here a unified extensive treatment of their properties is given; the relation with a relative version of Passi's polynomial maps and groups of degree 2 is established and used to study the structure of the latter.

preprint2007arXiv

The relative second Fox and third dimension subgroup of arbitrary groups

Let $I_R(G)$ denote the augmentation ideal of the group algebra $R(G)$ of a group $G$ with coefficients in a commutative ring $R$ . We give a complete description of the third relative dimension subgroup $G\cap(1+I_R(K)I_R(G)+I^3_R(G))$ and the second relative Fox subgroup $G\cap(1+I_R(K)I_R(H)+I^2_R(G)I_R(H))$ for any subgroups $K$ and $H$ of $G$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Manfred Hartl

Research overview

Is this your work?

11 publications

A formula for the second cohomology of two-step nilpotent groups

A seven-term exact sequence for the cohomology of a group extension

An explicit seven-term exact sequence for the cohomology of a Lie algebra extension

Polynomial functors from Algebras over a set-operad and non-linear Mackey functors

The ternary commutator obstruction for internal crossed modules

Internal object actions in homological categories

Morphismes quadratiques entre modules sur un anneau carré

On Fox and augmentation quotients of semidirect products

On Fox quotients of arbitrary group algebras

Quadratic maps between groups

The relative second Fox and third dimension subgroup of arbitrary groups

See the researcher in context

Building this map preview