Showing 1–47 of 47 results for author: Papadima, S

Koszul modules and Green's conjecture

Authors: Marian Aprodu, Gavril Farkas, Stefan Papadima, Claudiu Raicu, Jerzy Weyman

Abstract: We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green's conjecture for every g-cuspidal rational curve over an algebraically closed field k with char(k) = 0 or char(k) >= (g+2)/2. As a consequence, we deduce that the general canonical curve of genus g satisfies Green's conjecture in this range. Our results are new in positive characteristic, whereas in cha… ▽ More We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green's conjecture for every g-cuspidal rational curve over an algebraically closed field k with char(k) = 0 or char(k) >= (g+2)/2. As a consequence, we deduce that the general canonical curve of genus g satisfies Green's conjecture in this range. Our results are new in positive characteristic, whereas in characteristic zero they provide a different proof for theorems first obtained in two landmark papers by Voisin. Our strategy involves establishing two key results of independent interest: (1) we describe an explicit, characteristic-independent version of Hermite reciprocity for sl_2-representations; (2) we completely characterize, in arbitrary characteristics, the (non-)vanishing behavior of the syzygies of the tangential variety to a rational normal curve. △ Less

Submitted 29 May, 2019; v1 submitted 27 October, 2018; originally announced October 2018.

Comments: minor edits, 42 pages, to appear in Invent. Math

Topological invariants of groups and Koszul modules

Authors: Marian Aprodu, Gavril Farkas, Stefan Papadima, Claudiu Raicu, Jerzy Weyman

Abstract: We provide a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace K inside the second exterior product of a vector space, as well as a sharp upper bound for its Hilbert function. This purely algebraic statement has interesting applications to the study of a number of invariants associated to finitely generated groups, such as the Alexander… ▽ More We provide a uniform vanishing result for the graded components of the finite length Koszul module associated to a subspace K inside the second exterior product of a vector space, as well as a sharp upper bound for its Hilbert function. This purely algebraic statement has interesting applications to the study of a number of invariants associated to finitely generated groups, such as the Alexander invariants, the Chen ranks, or the degree of growth and nilpotency class. For instance, we explicitly bound the aforementioned invariants in terms of the first Betti number for the maximal metabelian quotients of (1) the Torelli group associated to the moduli space of curves; (2) nilpotent fundamental groups of compact Kaehler manifolds; (3) the Torelli group of a free group. △ Less

Submitted 7 July, 2021; v1 submitted 5 June, 2018; originally announced June 2018.

Comments: 25 pages. Final version, to appear in Duke Math. Journal

Journal ref: Duke Math. Journal 171 (2022), 2013-2046

Infinitesimal finiteness obstructions

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: Does a space enjoying good finiteness properties admit an algebraic model with commensurable finiteness properties? In this note, we provide a rational homotopy obstruction for this to happen. As an application, we show that the maximal metabelian quotient of a very large, finitely generated group is not finitely presented. Using the theory of 1-minimal models, we also show that a finitely generat… ▽ More Does a space enjoying good finiteness properties admit an algebraic model with commensurable finiteness properties? In this note, we provide a rational homotopy obstruction for this to happen. As an application, we show that the maximal metabelian quotient of a very large, finitely generated group is not finitely presented. Using the theory of 1-minimal models, we also show that a finitely generated group $π$ admits a connected 1-model with finite-dimensional degree 1 piece if and only if the Malcev Lie algebra $\mathfrak{m}(π)$ is the lower central series completion of a finitely presented Lie algebra. △ Less

Submitted 2 June, 2018; v1 submitted 19 November, 2017; originally announced November 2017.

Comments: 24 pages; accepted for publication in the Journal of the London Mathematical Society

MSC Class: 55P62; 17B01; 20F14; 20J05; 55N25

Journal ref: Journal of the London Mathematical Society 99 (2019), no. 1, 173-193

Rank two topological and infinitesimal embedded jump loci of quasi-projective manifolds

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We study the germs at the origin of $G$-representation varieties and the degree 1 cohomology jump loci of fundamental groups of quasi-projective manifolds. Using the Morgan-Dupont model associated to a convenient compactification of such a manifold, we relate these germs to those of their infinitesimal counterparts, defined in terms of flat connections on those models. When the linear algebraic gr… ▽ More We study the germs at the origin of $G$-representation varieties and the degree 1 cohomology jump loci of fundamental groups of quasi-projective manifolds. Using the Morgan-Dupont model associated to a convenient compactification of such a manifold, we relate these germs to those of their infinitesimal counterparts, defined in terms of flat connections on those models. When the linear algebraic group $G$ is either $\textrm{SL}_2(\mathbb{C})$ or its standard Borel subgroup and the depth of the jump locus is 1, this dictionary works perfectly, allowing us to describe in this way explicit irreducible decompositions for the germs of these embedded jump loci. On the other hand, if either $G=\textrm{SL}_n(\mathbb{C})$ for some $n\ge 3$, or the depth is greater than 1, then certain natural inclusions of germs are strict. △ Less

Submitted 12 November, 2017; v1 submitted 18 February, 2017; originally announced February 2017.

Comments: 36 pages; accepted for publication in Journal of the Institute of Mathematics of Jussieu

MSC Class: 14F35; 55N25; 20C15; 55P62

Journal ref: Journal of the Institute of Mathematics of Jussieu 19 (2020), no. 2, 451-485

Naturality properties and comparison results for topological and infinitesimal embedded jump loci

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We use augmented commutative differential graded algebra (ACDGA) models to study $G$-representation varieties of fundamental groups $π=π_1(M)$ and their embedded cohomology jump loci, around the trivial representation 1. When the space $M$ admits a finite family of maps, uniformly modeled by ACDGA morphisms, and certain finiteness and connectivity assumptions are satisfied, the germs at 1 of… ▽ More We use augmented commutative differential graded algebra (ACDGA) models to study $G$-representation varieties of fundamental groups $π=π_1(M)$ and their embedded cohomology jump loci, around the trivial representation 1. When the space $M$ admits a finite family of maps, uniformly modeled by ACDGA morphisms, and certain finiteness and connectivity assumptions are satisfied, the germs at 1 of ${\rm Hom} (π,G)$ and of the embedded jump loci can be described in terms of their infinitesimal counterparts, naturally with respect to the given families. This approach leads to fairly explicit answers when $M$ is either a compact Kähler manifold, the complement of a central complex hyperplane arrangement, or the total space of a principal bundle with formal base space, provided the Lie algebra of the linear algebraic group $G$ is a non-abelian subalgebra of $\mathfrak{sl}_2(\mathbb{C})$. △ Less

Submitted 22 April, 2019; v1 submitted 9 September, 2016; originally announced September 2016.

Comments: 44 pages; accepted for publication in Advances in Mathematics

MSC Class: 14B12; 14F35; 55N25; 55P62; 20C15; 57S15

Journal ref: Advances in Mathematics 350 (2019), 256-303

The topology of compact Lie group actions through the lens of finite models

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: Given a compact, connected Lie group $K$, we use principal $K$-bundles to construct manifolds with prescribed finite-dimensional algebraic models. Conversely, let $M$ be a compact, connected, smooth manifold which supports an almost free $K$-action. Under a partial formality assumption on the orbit space and a regularity assumption on the characteristic classes of the action, we describe an algebr… ▽ More Given a compact, connected Lie group $K$, we use principal $K$-bundles to construct manifolds with prescribed finite-dimensional algebraic models. Conversely, let $M$ be a compact, connected, smooth manifold which supports an almost free $K$-action. Under a partial formality assumption on the orbit space and a regularity assumption on the characteristic classes of the action, we describe an algebraic model for $M$ with commensurate finiteness and partial formality properties. The existence of such a model has various implications on the structure of the cohomology jump loci of $M$ and of the representation varieties of $π_1(M)$. As an application, we show that compact Sasakian manifolds of dimension $2n+1$ are $(n-1)$-formal, and that their fundamental groups are filtered-formal. Further applications to the study of weighted-homogeneous isolated surface singularities are also given. △ Less

Submitted 28 March, 2017; v1 submitted 28 November, 2015; originally announced November 2015.

Comments: 39 pages; v3: new results, examples and references added

MSC Class: 55P62; 14F35; 17B70; 53C25; 55R40; 57S25

Journal ref: International Mathematics Research Notices 2019 (2019), no. 20, 6390-6436

On the geometry and topology of partial configuration spaces of Riemann surfaces

Authors: Barbu Berceanu, Daniela Anca Macinic, Stefan Papadima, Clement Radu Popescu

Abstract: We examine complements (inside products of a smooth projective complex curve of arbitrary genus) of unions of diagonals indexed by the edges of an arbitrary simple graph. We use Gysin models associated to these quasi-projective manifolds to compute pairs of analytic germs at the origin, both for rank 1 and 2 representation varieties of their fundamental groups, and for degree 1 topological Green--… ▽ More We examine complements (inside products of a smooth projective complex curve of arbitrary genus) of unions of diagonals indexed by the edges of an arbitrary simple graph. We use Gysin models associated to these quasi-projective manifolds to compute pairs of analytic germs at the origin, both for rank 1 and 2 representation varieties of their fundamental groups, and for degree 1 topological Green--Lazarsfeld loci. As a corollary, we describe all regular surjections with connected generic fiber, defined on the above complements onto smooth complex curves of negative Euler characteristic. We show that the nontrivial part at the origin, for both rank 2 representation varieties and their degree 1 jump loci, comes from curves of general type, via the above regular maps. We compute explicit finite presentations for the Malcev Lie algebras of the fundamental groups, and we analyze their formality properties. △ Less

Submitted 21 February, 2017; v1 submitted 18 April, 2015; originally announced April 2015.

Comments: v2: final version, accepted for publication in Algebraic and Geometric Topology

MSC Class: 55N25; 55R80 (Primary); 14F35; 20F38 (Secondary)

Journal ref: Algebr. Geom. Topol. 17 (2017) 1163-1188

Rank two jump loci for solvmanifolds and Lie algebras

Authors: Stefan Papadima, Laurentiu Paunescu

Abstract: We consider representation varieties in $SL_2$ for lattices in solvable Lie groups, and representation varieties in $sl_2$ for finite-dimensional Lie algebras. Inside them, we examine depth 1 characteristic varieties for solvmanifolds, respectively resonance varieties for cochain Differential Graded Algebras of Lie algebras. We prove a general result that leads, in both cases, to the complete desc… ▽ More We consider representation varieties in $SL_2$ for lattices in solvable Lie groups, and representation varieties in $sl_2$ for finite-dimensional Lie algebras. Inside them, we examine depth 1 characteristic varieties for solvmanifolds, respectively resonance varieties for cochain Differential Graded Algebras of Lie algebras. We prove a general result that leads, in both cases, to the complete description of the analytic germs at the origin, for the corresponding embedded rank 2 jump loci. △ Less

Submitted 29 July, 2017; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: v2: final version, to appear in J. Math. Soc. Japan

MSC Class: Primary 55N25. Secondary 17B56; 20J06; 22E40

Algebraic models, Alexander-type invariants, and Green-Lazarsfeld sets

Authors: Alexandru Dimca, Stefan Papadima, Alexandru Suciu

Abstract: We relate the geometry of the resonance varieties associated to a commutative differential graded algebra model of a space to the finiteness properties of the completions of its Alexander-type invariants. We also describe in simple algebraic terms the non-translated components of the degree-one characteristic varieties for a class of non-proper complex manifolds. We relate the geometry of the resonance varieties associated to a commutative differential graded algebra model of a space to the finiteness properties of the completions of its Alexander-type invariants. We also describe in simple algebraic terms the non-translated components of the degree-one characteristic varieties for a class of non-proper complex manifolds. △ Less

Submitted 30 July, 2014; originally announced July 2014.

Comments: 14 pages

MSC Class: 14M12; 55N25; 14F35; 20J05

Journal ref: Bull. Math. Soc. Sci. Math. Roumanie 58 (2015), no. 3, 257-269

Modular equalities for complex reflection arrangements

Authors: Daniela Anca Macinic, Stefan Papadima, Clement Radu Popescu

Abstract: We compute the combinatorial Aomoto-Betti numbers $β_p(\mathcal{A})$ of a complex reflection arrangement. When $\mathcal{A}$ has rank at least $3$, we find that $β_p(\mathcal{A})\le 2$, for all primes $p$. Moreover, $β_p(\mathcal{A})=0$ if $p>3$, and $β_2(\mathcal{A})\ne 0$ if and only if $\mathcal{A}$ is the Hesse arrangement. We deduce that the multiplicity $e_d(\mathcal{A})$ of an order $d$ eig… ▽ More We compute the combinatorial Aomoto-Betti numbers $β_p(\mathcal{A})$ of a complex reflection arrangement. When $\mathcal{A}$ has rank at least $3$, we find that $β_p(\mathcal{A})\le 2$, for all primes $p$. Moreover, $β_p(\mathcal{A})=0$ if $p>3$, and $β_2(\mathcal{A})\ne 0$ if and only if $\mathcal{A}$ is the Hesse arrangement. We deduce that the multiplicity $e_d(\mathcal{A})$ of an order $d$ eigenvalue of the monodromy action on the first rational homology of the Milnor fiber is equal to the corresponding Aomoto-Betti number, when $d$ is prime. We give a uniform combinatorial characterization of the property $e_d(\mathcal{A})\ne 0$, for $2\le d\le 4$. We completely describe the monodromy action for full monomial arrangements of rank $3$ and $4$. We relate $e_d(\mathcal{A})$ and $β_p(\mathcal{A})$ to multinets, on an arbitrary arrangement. △ Less

Submitted 21 February, 2017; v1 submitted 27 June, 2014; originally announced June 2014.

Comments: v2:final version

MSC Class: 14F35; 32S55 (Primary); 20F55; 52C35; 55N25 (Secondary)

Journal ref: Documenta Math. 22 (2017) 135--150

The Milnor fibration of a hyperplane arrangement: from modular resonance to algebraic monodromy

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: A central question in arrangement theory is to determine whether the characteristic polynomial $Δ_q$ of the algebraic monodromy acting on the homology group $H_q(F(\mathcal{A}),\mathbb{C})$ of the Milnor fiber of a complex hyperplane arrangement $\mathcal{A}$ is determined by the intersection lattice $L(\mathcal{A})$. Under simple combinatorial conditions, we show that the multiplicities of the fa… ▽ More A central question in arrangement theory is to determine whether the characteristic polynomial $Δ_q$ of the algebraic monodromy acting on the homology group $H_q(F(\mathcal{A}),\mathbb{C})$ of the Milnor fiber of a complex hyperplane arrangement $\mathcal{A}$ is determined by the intersection lattice $L(\mathcal{A})$. Under simple combinatorial conditions, we show that the multiplicities of the factors of $Δ_1$ corresponding to certain eigenvalues of order a power of a prime $p$ are equal to the Aomoto--Betti numbers $β_p(\mathcal{A})$, which in turn are extracted from $L(\mathcal{A})$. When $\mathcal{A}$ defines an arrangement of projective lines with only double and triple points, this leads to a combinatorial formula for the algebraic monodromy. To obtain these results, we relate nets on the underlying matroid of $\mathcal{A}$ to resonance varieties in positive characteristic. Using modular invariants of nets, we find a new realizability obstruction (over $\mathbb{C}$) for matroids, and we estimate the number of essential components in the first complex resonance variety of $\mathcal{A}$. Our approach also reveals a rather unexpected connection of modular resonance with the geometry of ${\rm SL}_2(\mathbb{C})$-representation varieties, which are governed by the Maurer--Cartan equation. △ Less

Submitted 26 January, 2017; v1 submitted 5 January, 2014; originally announced January 2014.

Comments: 50 pages, 5 figures; v2: results strengthened, proofs simplified; v3: accepted for publication in the Proceedings of the London Mathematical Society

MSC Class: 32S55; 52C35; 05B35; 14C21; 14F35; 32S22; 55N25

Journal ref: Proceedings of the London Mathematical Society 114 (2017), no. 6, 961-1004

Non-abelian resonance: product and coproduct formulas

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We investigate the resonance varieties attached to a commutative differential graded algebra and to a representation of a Lie algebra, with emphasis on how these varieties behave under finite products and coproducts. We investigate the resonance varieties attached to a commutative differential graded algebra and to a representation of a Lie algebra, with emphasis on how these varieties behave under finite products and coproducts. △ Less

Submitted 6 December, 2013; originally announced December 2013.

Comments: 12 pages

MSC Class: 55N25; 18A30

Journal ref: Bridging Algebra, Geometry, and Topology, Springer Proceedings in Mathematics and Statistics, vol. 96, 2014, pp 269-280

Flat connections and resonance varieties: from rank one to higher ranks

Authors: Daniela Anca Macinic, Stefan Papadima, Clement Radu Popescu, Alexander I. Suciu

Abstract: Given a finitely-generated group $π$ and a linear algebraic group $G$, the representation variety Hom$(π,G)$ has a natural filtration by the characteristic varieties associated to a rational representation of $G$. Its algebraic counterpart, the space of $\mathfrak{g}$-valued flat connections on a commutative, differential graded algebra $(A,d)$ admits a filtration by the resonance varieties associ… ▽ More Given a finitely-generated group $π$ and a linear algebraic group $G$, the representation variety Hom$(π,G)$ has a natural filtration by the characteristic varieties associated to a rational representation of $G$. Its algebraic counterpart, the space of $\mathfrak{g}$-valued flat connections on a commutative, differential graded algebra $(A,d)$ admits a filtration by the resonance varieties associated to a representation of $\mathfrak{g}$. We establish here a number of results concerning the structure and qualitative properties of these embedded resonance varieties, with particular attention to the case when the rank 1 resonance variety decomposes as a finite union of linear subspaces. The general theory is illustrated in detail in the case when $π$ is either an Artin group, or the fundamental group of a smooth, quasi-projective variety. △ Less

Submitted 9 August, 2015; v1 submitted 5 December, 2013; originally announced December 2013.

Comments: 33 pages; accepted for publication in the Transactions of the American Mathematical Society

MSC Class: 55N25; 55P62; 14F35; 20F36; 20J05

Journal ref: Transactions of the American Mathematical Society 369 (2017), no. 2, 1309-1343

On the second nilpotent quotient of higher homotopy groups, for hypersolvable arrangements

Authors: Daniela Anca Macinic, Daniel Matei, Stefan Papadima

Abstract: We examine the first non-vanishing higher homotopy group, $π_p$, of the complement of a hypersolvable, non--supersolvable, complex hyperplane arrangement, as a module over the group ring of the fundamental group, $\Zπ_1$. We give a presentation for the $I$--adic completion of $π_p$. We deduce that the second nilpotent $I$--adic quotient of $π_p$ is determined by the combinatorics of the arrangemen… ▽ More We examine the first non-vanishing higher homotopy group, $π_p$, of the complement of a hypersolvable, non--supersolvable, complex hyperplane arrangement, as a module over the group ring of the fundamental group, $\Zπ_1$. We give a presentation for the $I$--adic completion of $π_p$. We deduce that the second nilpotent $I$--adic quotient of $π_p$ is determined by the combinatorics of the arrangement, and we give a combinatorial formula for the second associated graded piece, $\gr^1_I π_p$. We relate the torsion of this graded piece to the dimensions of the minimal generating systems of the Orlik--Solomon ideal of the arrangement $\A$ in degree $p+2$, for various field coefficients. When $\A$ is associated to a finite simple graph, we show that $\gr^1_I π_p$ is torsion--free, with rank explicitly computable from the graph. △ Less

Submitted 20 October, 2013; v1 submitted 23 February, 2013; originally announced February 2013.

Comments: 11 pages, updated references

MSC Class: Primary 52C35; 55Q52; Secondary 16S37; 20C07

Journal ref: Int. Math. Res. Notices vol. 2015, no.24 (2015), 13194--13207

Jump loci in the equivariant spectral sequence

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We study the homology jump loci of a chain complex over an affine \k-algebra. When the chain complex is the first page of the equivariant spectral sequence associated to a regular abelian cover of a finite-type CW-complex, we relate those jump loci to the resonance varieties associated to the cohomology ring of the space. As an application, we show that vanishing resonance implies a certain finite… ▽ More We study the homology jump loci of a chain complex over an affine \k-algebra. When the chain complex is the first page of the equivariant spectral sequence associated to a regular abelian cover of a finite-type CW-complex, we relate those jump loci to the resonance varieties associated to the cohomology ring of the space. As an application, we show that vanishing resonance implies a certain finiteness property for the completed Alexander invariants of the space. We also show that vanishing resonance is a Zariski open condition, on a natural parameter space for connected, finite-dimensional commutative graded algebras. △ Less

Submitted 24 March, 2014; v1 submitted 17 February, 2013; originally announced February 2013.

Comments: 16 pages; accepted for publication in Mathematical Research Letters

MSC Class: 55N25; 14M12; 20J05; 55T99

Journal ref: Mathematical Research Letters 21 (2014), no. 4, 863-883

Vanishing resonance and representations of Lie algebras

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We explore a relationship between the classical representation theory of a complex, semisimple Lie algebra \g and the resonance varieties R(V,K)\subset V^* attached to irreducible \g-modules V and submodules K\subset V\wedge V. In the process, we give a precise roots-and-weights criterion insuring the vanishing of these varieties, or, equivalently, the finiteness of certain modules W(V,K) over the… ▽ More We explore a relationship between the classical representation theory of a complex, semisimple Lie algebra \g and the resonance varieties R(V,K)\subset V^* attached to irreducible \g-modules V and submodules K\subset V\wedge V. In the process, we give a precise roots-and-weights criterion insuring the vanishing of these varieties, or, equivalently, the finiteness of certain modules W(V,K) over the symmetric algebra on V. In the case when \g=sl_2(C), our approach sheds new light on the modules studied by Weyman and Eisenbud in the context of Green's conjecture on free resolutions of canonical curves. In the case when \g=sl_n(C) or sp_{2g}(C), our approach yields a unified proof of two vanishing results for the resonance varieties of the (outer) Torelli groups of surface groups, results which arose in recent work by Dimca, Hain, and the authors on homological finiteness in the Johnson filtration of mapping class groups and automorphism groups of free groups. △ Less

Submitted 28 March, 2013; v1 submitted 9 July, 2012; originally announced July 2012.

Comments: 17 pages; Corollary 1.3 stated in stronger form, with a shorter proof

MSC Class: 17B10; 20J05; 20E36; 57M07

Journal ref: Journal für die reine und angewandte Mathematik (Crelle's Journal) 706 (2015), 83-101

Nonabelian cohomology jump loci from an analytic viewpoint

Authors: Alexandru Dimca, Stefan Papadima

Abstract: For a topological space, we investigate its cohomology support loci, sitting inside varieties of (nonabelian) representations of the fundamental group. To do this, for a CDG (commutative differential graded) algebra, we define its cohomology jump loci, sitting inside varieties of (algebraic) flat connections. We prove that the analytic germs at the origin 1 of representation varieties are determin… ▽ More For a topological space, we investigate its cohomology support loci, sitting inside varieties of (nonabelian) representations of the fundamental group. To do this, for a CDG (commutative differential graded) algebra, we define its cohomology jump loci, sitting inside varieties of (algebraic) flat connections. We prove that the analytic germs at the origin 1 of representation varieties are determined by the Sullivan 1-minimal model of the space. Under mild finiteness assumptions, we show that, up to a degree $q$, the two types of jump loci have the same analytic germs at the origins, when the space and the algebra have the same $q$-minimal model. We apply this general approach to formal spaces (for which we establish the degeneration of the Farber-Novikov spectral sequence), quasi-projective manifolds, and finitely generated nilpotent groups. When the CDG algebra has positive weights, we elucidate some of the structure of (rank one complex) topological and algebraic jump loci: up to degree $q$, all their irreducible components passing through the origin are connected affine subtori, respectively rational linear subspaces. Furthermore, the global exponential map sends all algebraic cohomology jump loci, up to degree $q$, into their topological counterpart. △ Less

Submitted 11 May, 2013; v1 submitted 17 June, 2012; originally announced June 2012.

Comments: New Corollary 1.7 added and Theorem D. strengthened. Final version, to appear in Communications in Contemporary Mathematics

MSC Class: 14B12; 55N25 (Primary) 14M12; 20C15; 55P62 (Secondary)

Journal ref: Commun. Contemp. Math. vol. 16, no. 4 (2014) 1350025 (47 pages)

The abelianization of the Johnson kernel

Authors: Alexandru Dimca, Richard Hain, Stefan Papadima

Abstract: We prove that the first complex homology of the Johnson subgroup of the Torelli group $T_g$ is a non-trivial unipotent $T_g$-module for all $g\ge 4$ and give an explicit presentation of it as a $\Sym H_1(T_g,\C)$-module when $g\ge 6$. We do this by proving that, for a finitely generated group $G$ satisfying an assumption close to formality, the triviality of the restricted characteristic variety i… ▽ More We prove that the first complex homology of the Johnson subgroup of the Torelli group $T_g$ is a non-trivial unipotent $T_g$-module for all $g\ge 4$ and give an explicit presentation of it as a $\Sym H_1(T_g,\C)$-module when $g\ge 6$. We do this by proving that, for a finitely generated group $G$ satisfying an assumption close to formality, the triviality of the restricted characteristic variety implies that the first homology of its Johnson kernel $K$ is a nilpotent module over the corresponding Laurent polynomial ring, isomorphic to the infinitesimal Alexander invariant of the associated graded Lie algebra of $G$. In this setup, we also obtain a precise nilpotence test. △ Less

Submitted 11 June, 2012; v1 submitted 7 January, 2011; originally announced January 2011.

Comments: 19 pages, second version, to appear in JEMS

MSC Class: 20F34 (Primary) 57N05; 16W80 (Secondary) 20F40; 55N25

Journal ref: Journal of the European Math. Soc. 16 (2014), 805--822

Homological finiteness in the Johnson filtration of the automorphism group of a free group

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We examine the Johnson filtration of the (outer) automorphism group of a finitely generated group. In the case of a free group, we find a surprising result: the first Betti number of the second subgroup in the Johnson filtration is finite. Moreover, the corresponding Alexander invariant is a non-trivial module over the Laurent polynomial ring. In the process, we show that the first resonance varie… ▽ More We examine the Johnson filtration of the (outer) automorphism group of a finitely generated group. In the case of a free group, we find a surprising result: the first Betti number of the second subgroup in the Johnson filtration is finite. Moreover, the corresponding Alexander invariant is a non-trivial module over the Laurent polynomial ring. In the process, we show that the first resonance variety of the outer Torelli group of a free group is trivial. We also establish a general relationship between the Alexander invariant and its infinitesimal counterpart. △ Less

Submitted 4 July, 2012; v1 submitted 23 November, 2010; originally announced November 2010.

Comments: 34 pages; accepted for publication by the Journal of Topology

MSC Class: 20E36; 20J05; 20F14; 20G05; 55N25

Journal ref: Journal of Topology 5 (2012), no. 4, 909-944

Arithmetic group symmetry and finiteness properties of Torelli groups

Authors: Alexandru Dimca, Stefan Papadima

Abstract: We examine groups whose resonance varieties, characteristic varieties and Sigma-invariants have a natural arithmetic group symmetry, and we explore implications on various finiteness properties of subgroups. We compute resonance varieties, characteristic varieties and Alexander polynomials of Torelli groups, and we show that all subgroups containing the Johnson kernel have finite first Betti numbe… ▽ More We examine groups whose resonance varieties, characteristic varieties and Sigma-invariants have a natural arithmetic group symmetry, and we explore implications on various finiteness properties of subgroups. We compute resonance varieties, characteristic varieties and Alexander polynomials of Torelli groups, and we show that all subgroups containing the Johnson kernel have finite first Betti number, when the genus is at least four. We also prove that, in this range, the $I$-adic completion of the Alexander invariant is finite-dimensional, and the Kahler property for the Torelli group implies the finite generation of the Johnson kernel. △ Less

Submitted 3 October, 2012; v1 submitted 3 February, 2010; originally announced February 2010.

Comments: Updated references, to appear in Ann. of Math

MSC Class: 20J05; 57N05; 11F23; 20G05

Journal ref: Annals of Math. 177 (2013), 395--423

Finite Galois covers, cohomology jump loci, formality properties, and multinets

Authors: Alexandru Dimca, Stefan Papadima

Abstract: We explore the relation between cohomology jump loci in a finite Galois cover, formality properties and algebraic monodromy action. We show that the jump loci of the base and total space are essentially the same, provided the base space is 1-formal and the monodromy action in degree 1 is trivial. We use reduced multinet structures on line arrangements to construct components of the first charact… ▽ More We explore the relation between cohomology jump loci in a finite Galois cover, formality properties and algebraic monodromy action. We show that the jump loci of the base and total space are essentially the same, provided the base space is 1-formal and the monodromy action in degree 1 is trivial. We use reduced multinet structures on line arrangements to construct components of the first characteristic variety of the Milnor fiber in degree 1, and to prove that the monodromy action is non-trivial in degree 1. For an arbitrary line arrangement, we prove that the triviality of the monodromy in degree 1 can be detected in a precise way, by resonance varieties. △ Less

Submitted 5 June, 2009; originally announced June 2009.

MSC Class: 32S22 (Primary); 52C30; 55N25 (Secondary); 55P62

Journal ref: Annali Sc. Norm. Sup. Pisa 10 (2011), 253-268

Geometric and algebraic aspects of 1-formality

Authors: Stefan Papadima, Alexandru I. Suciu

Abstract: Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting, the weaker 1-formality property allows one to reconstruct the rational pro-unipotent completion of the fundamental group, solely from the cup products of degre… ▽ More Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting, the weaker 1-formality property allows one to reconstruct the rational pro-unipotent completion of the fundamental group, solely from the cup products of degree 1 cohomology classes. In this note, we survey various facets of formality, with emphasis on the geometric and algebraic implications of 1-formality, and its relations to the cohomology jump loci and the Bieri-Neumann-Strebel invariant. We also produce examples of 4-manifolds W such that, for every compact Kähler manifold M, the product M\times W has the rational homotopy type of a Kähler manifold, yet M\times W admits no Kähler metric. △ Less

Submitted 24 October, 2009; v1 submitted 12 March, 2009; originally announced March 2009.

Comments: 22 pages

MSC Class: 55P62; 57M07; 14F35; 20J05; 55N25

Journal ref: Bull. Math. Soc. Sci. Math. Roumanie 52 (2009), no. 3, 355-375

Topology and geometry of cohomology jump loci

Authors: Alexandru Dimca, Stefan Papadima, Alexander I. Suciu

Abstract: We elucidate the key role played by formality in the theory of characteristic and resonance varieties. We define relative characteristic and resonance varieties, V_k and R_k, related to twisted group cohomology with coefficients of arbitrary rank. We show that the germs at the origin of V_k and R_k are analytically isomorphic, if the group is 1-formal; in particular, the tangent cone to V_k at 1… ▽ More We elucidate the key role played by formality in the theory of characteristic and resonance varieties. We define relative characteristic and resonance varieties, V_k and R_k, related to twisted group cohomology with coefficients of arbitrary rank. We show that the germs at the origin of V_k and R_k are analytically isomorphic, if the group is 1-formal; in particular, the tangent cone to V_k at 1 equals R_k. These new obstructions to 1-formality lead to a striking rationality property of the usual resonance varieties. A detailed analysis of the irreducible components of the tangent cone at 1 to the first characteristic variety yields powerful obstructions to realizing a finitely presented group as the fundamental group of a smooth, complex quasi-projective algebraic variety. This sheds new light on a classical problem of J.-P. Serre. Applications to arrangements, configuration spaces, coproducts of groups, and Artin groups are given. △ Less

Submitted 7 February, 2009; originally announced February 2009.

Comments: 41 pages; this is a major revision of arXiv:math/0512480; accepted for publication in Duke Mathematical Journal

MSC Class: 14F35; 20F14; 55N25; 14M12; 20F36; 55P62

Journal ref: Duke Math. J. 148, no. 3 (2009), 405-457

Algebraic monodromy and obstructions to formality

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more general result about iterated group extensions. As an application, we obtain new criteria for formality of spaces, and 1-formality of groups, illustrated by bundle… ▽ More Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more general result about iterated group extensions. As an application, we obtain new criteria for formality of spaces, and 1-formality of groups, illustrated by bundle constructions and various examples from low-dimensional topology and singularity theory. △ Less

Submitted 17 September, 2009; v1 submitted 31 December, 2008; originally announced January 2009.

Comments: 10 pages, 1 figure; accepted for publication in Forum Mathematicum

MSC Class: 20J05; 57M07; 20F34; 55P62

Journal ref: Forum Mathematicum 22 (2010), no. 5, 973-983

Bieri-Neumann-Strebel-Renz invariants and homology jumping loci

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We investigate the relationship between the geometric Bieri-Neumann-Strebel-Renz invariants of a space (or of a group), and the jump loci for homology with coefficients in rank 1 local systems over a field. We give computable upper bounds for the geometric invariants, in terms of the exponential tangent cones to the jump loci over the complex numbers. Under suitable hypotheses, these bounds can… ▽ More We investigate the relationship between the geometric Bieri-Neumann-Strebel-Renz invariants of a space (or of a group), and the jump loci for homology with coefficients in rank 1 local systems over a field. We give computable upper bounds for the geometric invariants, in terms of the exponential tangent cones to the jump loci over the complex numbers. Under suitable hypotheses, these bounds can be expressed in terms of simpler data, for instance, the resonance varieties associated to the cohomology ring. These techniques yield information on the homological finiteness properties of free abelian covers of a given space, and of normal subgroups with abelian quotients of a given group. We illustrate our results in a variety of geometric and topological contexts, such as toric complexes and Artin kernels, as well as Kähler and quasi-Kähler manifolds. △ Less

Submitted 17 October, 2009; v1 submitted 14 December, 2008; originally announced December 2008.

Comments: 40 pages; accepted for publication in the Proceedings of the London Mathematical Society

MSC Class: 20J05; 55N25; 14F35; 20F36; 20F65

Journal ref: Proceedings of the London Mathematical Society 100 (2010), no. 3, 795-834

Quasi-Kähler groups, 3-manifold groups, and formality

Authors: Alexandru Dimca, Stefan Papadima, Alexander I. Suciu

Abstract: In this note, we address the following question: Which 1-formal groups occur as fundamental groups of both quasi-Kähler manifolds and closed, connected, orientable 3-manifolds. We classify all such groups, at the level of Malcev completions, and compute their coranks. Dropping the assumption on realizability by 3-manifolds, we show that the corank equals the isotropy index of the cup-product map… ▽ More In this note, we address the following question: Which 1-formal groups occur as fundamental groups of both quasi-Kähler manifolds and closed, connected, orientable 3-manifolds. We classify all such groups, at the level of Malcev completions, and compute their coranks. Dropping the assumption on realizability by 3-manifolds, we show that the corank equals the isotropy index of the cup-product map in degree one. Finally, we examine the formality properties of smooth affine surfaces and quasi-homogeneous isolated surface singularities. In the latter case, we describe explicitly the positive-dimensional components of the first characteristic variety for the associated singularity link. △ Less

Submitted 5 January, 2010; v1 submitted 13 October, 2008; originally announced October 2008.

Comments: 18 pages; accepted for publication in Mathematische Zeitschrift

MSC Class: 14F35; 20F34; 57N10; 55N25; 55P62

Journal ref: Mathematische Zeitschrift 268 (2011), no. 1, 169-186

Toric complexes and Artin kernels

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: A simplicial complex L on n vertices determines a subcomplex T_L of the n-torus, with fundamental group the right-angled Artin group G_L. Given an epimorphism χ\colon G_L\to \Z, let T_L^χbe the corresponding cover, with fundamental group the Artin kernel N_χ. We compute the cohomology jumping loci of the toric complex T_L, as well as the homology groups of T_L^χwith coefficients in a field \k, v… ▽ More A simplicial complex L on n vertices determines a subcomplex T_L of the n-torus, with fundamental group the right-angled Artin group G_L. Given an epimorphism χ\colon G_L\to \Z, let T_L^χbe the corresponding cover, with fundamental group the Artin kernel N_χ. We compute the cohomology jumping loci of the toric complex T_L, as well as the homology groups of T_L^χwith coefficients in a field \k, viewed as modules over the group algebra \k\Z. We give combinatorial conditions for H_{\le r}(T_L^χ;\k) to have trivial \Z-action, allowing us to compute the truncated cohomology ring, H^{\le r}(T_L^χ;\k). We also determine several Lie algebras associated to Artin kernels, under certain triviality assumptions on the monodromy \Z-action, and establish the 1-formality of these (not necessarily finitely presentable) groups. △ Less

Submitted 21 December, 2008; v1 submitted 23 January, 2008; originally announced January 2008.

Comments: 34 pages

MSC Class: 20F36; 57M07 (Primary); 55N25; 55P62 (Secondary)

Journal ref: Advances in Mathematics 220 (2009), no. 2, 441-477

Characteristic varieties of nilpotent groups and applications

Authors: Anca Macinic, Stefan Papadima

Abstract: We compute the characteristic varieties and the Alexander polynomial of a finitely generated nilpotent group. We show that the first characteristic variety may be used to detect nilpotence. We use the Alexander polynomial to deduce that the only torsion-free, finitely generated nilpotent groups with positive deficiency are $\Z$ and $\Z^2$, extending a classical result on nilpotent link groups. We compute the characteristic varieties and the Alexander polynomial of a finitely generated nilpotent group. We show that the first characteristic variety may be used to detect nilpotence. We use the Alexander polynomial to deduce that the only torsion-free, finitely generated nilpotent groups with positive deficiency are $\Z$ and $\Z^2$, extending a classical result on nilpotent link groups. △ Less

Submitted 29 October, 2007; originally announced October 2007.

Comments: 14 pages

MSC Class: 20F18; 55N25 (Primary); 20J05; 57M27 (Secondary)

Journal ref: Proceedings of the Sixth Congress of Romanian Mathematicians (Bucharest, 2007), vol.1, pp. 57-64, Romanian Academy, Bucharest, 2009.

The spectral sequence of an equivariant chain complex and homology with local coefficients

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We study the spectral sequence associated to the filtration by powers of the augmentation ideal on the (twisted) equivariant chain complex of the universal cover of a connected CW-complex X. In the process, we identify the d^1 differential in terms of the coalgebra structure of H_*(X,\k), and the \kπ_1(X)-module structure on the twisting coefficients. In particular, this recovers in dual form a… ▽ More We study the spectral sequence associated to the filtration by powers of the augmentation ideal on the (twisted) equivariant chain complex of the universal cover of a connected CW-complex X. In the process, we identify the d^1 differential in terms of the coalgebra structure of H_*(X,\k), and the \kπ_1(X)-module structure on the twisting coefficients. In particular, this recovers in dual form a result of Reznikov, on the mod p cohomology of cyclic p-covers of aspherical complexes. This approach provides information on the homology of all Galois covers of X. It also yields computable upper bounds on the ranks of the cohomology groups of X, with coefficients in a prime-power order, rank one local system. When X admits a minimal cell decomposition, we relate the linearization of the equivariant cochain complex of the universal abelian cover to the Aomoto complex, arising from the cup-product structure of H^*(X,\k), thereby generalizing a result of Cohen and Orlik. △ Less

Submitted 18 October, 2009; v1 submitted 30 August, 2007; originally announced August 2007.

Comments: 38 pages, 1 figure (section 10 of version 1 has been significantly expanded into a separate paper, available at arXiv:0901.0105); accepted for publication in the Transactions of the American Mathematical Society

MSC Class: 55N25; 55T99; 20J05; 57M05

Journal ref: Transactions of the American Mathematical Society 362 (2010), no. 5, 2685-2721

Universal representations of braid and braid-permutation groups

Authors: Barbu Berceanu, Stefan Papadima

Abstract: Drinfel'd used associators to construct families of universal representations of braid groups. We consider semi-associators (i.e., we drop the pentagonal axiom and impose a normalization in degree one). We show that the process may be reversed, to obtain semi-associators from universal representations of 3-braids. We view braid groups as subgroups of braid-permutation groups. We construct a fami… ▽ More Drinfel'd used associators to construct families of universal representations of braid groups. We consider semi-associators (i.e., we drop the pentagonal axiom and impose a normalization in degree one). We show that the process may be reversed, to obtain semi-associators from universal representations of 3-braids. We view braid groups as subgroups of braid-permutation groups. We construct a family of universal representations of braid-permutation groups, without using associators. All representations in the family are faithful, defined over $\bbQ$ by simple explicit formulae. We show that they give universal Vassiliev-type invariants for braid-permutation groups. △ Less

Submitted 24 October, 2009; v1 submitted 4 August, 2007; originally announced August 2007.

Comments: 19 pages, references added

MSC Class: 20F36; 20F38 (Primary); 57M27 (Secondary)

Journal ref: J. Knot Theory Ramif. 18 (2009), no.7, 999-1019

Alexander polynomials: Essential variables and multiplicities

Authors: Alexandru Dimca, Stefan Papadima, Alexander I. Suciu

Abstract: We explore the codimension one strata in the degree-one cohomology jumping loci of a finitely generated group, through the prism of the multivariable Alexander polynomial. As an application, we give new criteria that must be satisfied by fundamental groups of smooth, quasi-projective complex varieties. These criteria establish precisely which fundamental groups of boundary manifolds of complex l… ▽ More We explore the codimension one strata in the degree-one cohomology jumping loci of a finitely generated group, through the prism of the multivariable Alexander polynomial. As an application, we give new criteria that must be satisfied by fundamental groups of smooth, quasi-projective complex varieties. These criteria establish precisely which fundamental groups of boundary manifolds of complex line arrangements are quasi-projective. We also give sharp upper bounds for the twisted Betti ranks of a group, in terms of multiplicities constructed from the Alexander polynomial. For Seifert links in homology 3-spheres, these bounds become equalities, and our formula shows explicitly how the Alexander polynomial determines all the characteristic varieties. △ Less

Submitted 17 June, 2007; originally announced June 2007.

Comments: 27 pages

MSC Class: 14F35; 20F34; 14M12; 55N25; 57M05; 57M25

Journal ref: International Mathematics Research Notices (2008) Vol. 2008: article ID rnm119, 36 pages

Non-finiteness properties of fundamental groups of smooth projective varieties

Authors: Alexandru Dimca, Stefan Papadima, Alexander I. Suciu

Abstract: For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy equivalent to an infinite bouquet of n-dimensional spheres. This non-finiteness phenomenon is also reflected in the fact that the homotopy group π_n(M), viewed as… ▽ More For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy equivalent to an infinite bouquet of n-dimensional spheres. This non-finiteness phenomenon is also reflected in the fact that the homotopy group π_n(M), viewed as a module over Zπ_1(M), is free of infinite rank. As a result, we give a negative answer to a question of Koll'ar on the existence of quasi-projective classifying spaces (up to commensurability) for the fundamental groups of smooth projective varieties. To obtain our examples, we develop a complex analog of a method in geometric group theory due to Bestvina and Brady. △ Less

Submitted 20 March, 2007; v1 submitted 15 September, 2006; originally announced September 2006.

Comments: 16 pages

MSC Class: 14F35; 57M07; 14H30; 20J05

Journal ref: Journal für die reine und angewandte Mathematik 629 (2009), 89-105

On the monodromy action on Milnor fibers of graphic arrangements

Authors: Anca Daniela Macinic, Stefan Papadima

Abstract: We analyze the monodromy action, over the rationals, on the first homology group of the Milnor fiber, for arbitrary subarrangements of Coxeter arrangements. We propose a combinatorial formula for the monodromy action, involving Aomoto complexes in positive characteristic. We verify the formula, in cases A, B and D. We analyze the monodromy action, over the rationals, on the first homology group of the Milnor fiber, for arbitrary subarrangements of Coxeter arrangements. We propose a combinatorial formula for the monodromy action, involving Aomoto complexes in positive characteristic. We verify the formula, in cases A, B and D. △ Less

Submitted 29 October, 2007; v1 submitted 3 September, 2006; originally announced September 2006.

Comments: 23 pages; updated references

MSC Class: 32S55; 52C35; 20F55; 55N25

Journal ref: Topology and its Applications 156 (2009), 761-774

Quasi-Kähler Bestvina-Brady groups

Authors: Alexandru Dimca, Stefan Papadima, Alexander I. Suciu

Abstract: A finite simple graph \G determines a right-angled Artin group G_\G, with one generator for each vertex v, and with one commutator relation vw=wv for each pair of vertices joined by an edge. The Bestvina-Brady group N_\G is the kernel of the projection G_\G \to \Z, which sends each generator v to 1. We establish precisely which graphs \G give rise to quasi-Kähler (respectively, Kähler) groups N_… ▽ More A finite simple graph \G determines a right-angled Artin group G_\G, with one generator for each vertex v, and with one commutator relation vw=wv for each pair of vertices joined by an edge. The Bestvina-Brady group N_\G is the kernel of the projection G_\G \to \Z, which sends each generator v to 1. We establish precisely which graphs \G give rise to quasi-Kähler (respectively, Kähler) groups N_\G. This yields examples of quasi-projective groups which are not commensurable (up to finite kernels) to the fundamental group of any aspherical, quasi-projective variety. △ Less

Submitted 13 October, 2006; v1 submitted 17 March, 2006; originally announced March 2006.

Comments: 11 pages, accepted for publication by the Journal of Algebraic Geometry

MSC Class: 14F35; 20F36; 14M12; 57M07

Journal ref: Journal of Algebraic Geometry 17 (2008), no. 1, 185-197

Algebraic invariants for Bestvina-Brady groups

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: Bestvina-Brady groups arise as kernels of length homomorphisms from right-angled Artin groups G_\G to the integers. Under some connectivity assumptions on the flag complex Δ_\G, we compute several algebraic invariants of such a group N_\G, directly from the underlying graph \G. As an application, we give examples of Bestvina-Brady groups which are not isomorphic to any Artin group or arrangement… ▽ More Bestvina-Brady groups arise as kernels of length homomorphisms from right-angled Artin groups G_\G to the integers. Under some connectivity assumptions on the flag complex Δ_\G, we compute several algebraic invariants of such a group N_\G, directly from the underlying graph \G. As an application, we give examples of Bestvina-Brady groups which are not isomorphic to any Artin group or arrangement group. △ Less

Submitted 4 January, 2007; v1 submitted 9 March, 2006; originally announced March 2006.

Comments: 22 pages, accepted for publication in the Journal of the London Mathematical Society

MSC Class: 20F36; 20F14; 57M07

Journal ref: Journal of the London Mathematical Society 76 (2007), no. 2, 273-292

Formality, Alexander invariants, and a question of Serre

Authors: Alexandru Dimca, Stefan Papadima, Alexander I. Suciu

Abstract: We elucidate the key role played by formality in the theory of characteristic and resonance varieties. We show that the I-adic completion of the Alexander invariant of a 1-formal group G is determined solely by the cup-product map in low degrees. It follows that the germs at the origin of the characteristic and resonance varieties of G are analytically isomorphic; in particular, the tangent cone… ▽ More We elucidate the key role played by formality in the theory of characteristic and resonance varieties. We show that the I-adic completion of the Alexander invariant of a 1-formal group G is determined solely by the cup-product map in low degrees. It follows that the germs at the origin of the characteristic and resonance varieties of G are analytically isomorphic; in particular, the tangent cone to V_k(G) at 1 equals R_k(G). This provides new obstructions to 1-formality. A detailed analysis of the irreducible components of the tangent cone at 1 to the first characteristic variety yields powerful obstructions to realizing a finitely presented group as the fundamental group of a smooth, complex quasi-projective algebraic variety. This sheds new light on a classical problem of J.-P. Serre. Applications to arrangements, configuration spaces, coproducts of groups, and Artin groups are given. △ Less

Submitted 8 December, 2007; v1 submitted 20 December, 2005; originally announced December 2005.

Comments: 43 pages, updated references

MSC Class: 14F35; 20F14; 55N25; 14M12; 20F36; 55P62

Algebraic invariants for right-angled Artin groups

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: A finite simplicial graph Γdetermines a right-angled Artin group G_Γ, with generators corresponding to the vertices of Γ, and with a relation vw=wv for each pair of adjacent vertices. We compute the lower central series quotients, the Chen quotients, and the (first) resonance variety of G_Γ, directly from the graph Γ. A finite simplicial graph Γdetermines a right-angled Artin group G_Γ, with generators corresponding to the vertices of Γ, and with a relation vw=wv for each pair of adjacent vertices. We compute the lower central series quotients, the Chen quotients, and the (first) resonance variety of G_Γ, directly from the graph Γ. △ Less

Submitted 25 August, 2005; v1 submitted 28 December, 2004; originally announced December 2004.

Comments: 20 pages; accepted for publication by Math. Annalen

MSC Class: 20F36 (primary); 13F55; 20F14; 55P62; 57M07 (secondary)

Journal ref: Mathematische Annalen 334 (2006), no. 3, 533-555

Some analogs of Zariski's Theorem on nodal line arrangements

Authors: A. D. R. Choudary, A. Dimca, S. Papadima

Abstract: For line arrangements in P^2 with nice combinatorics (in particular, for those which are nodal away the line at infinity), we prove that the combinatorics contains the same information as the fundamental group together with the meridianal basis of the abelianization. We consider higher dimensional analogs of the above situation. For these analogs, we give purely combinatorial complete descriptio… ▽ More For line arrangements in P^2 with nice combinatorics (in particular, for those which are nodal away the line at infinity), we prove that the combinatorics contains the same information as the fundamental group together with the meridianal basis of the abelianization. We consider higher dimensional analogs of the above situation. For these analogs, we give purely combinatorial complete descriptions of the following topological invariants (over an arbitrary field): the twisted homology of the complement, with arbitrary rank one coefficients; the homology of the associated Milnor fiber and Alexander cover, including monodromy actions; the coinvariants of the first higher non-trivial homotopy group of the Alexander cover, with the induced monodromy action. △ Less

Submitted 10 July, 2005; v1 submitted 16 October, 2004; originally announced October 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-28.abs.html

MSC Class: 32S22; 55N25; 14F35; 52C35; 55Q52

Journal ref: Algebr. Geom. Topol. 5 (2005) 691-711

Closed manifolds coming from Artinian complete intersections

Authors: Ştefan Papadima, Laurenţiu Păunescu

Abstract: We reformulate the integrality property of the Poincaré inner product in the middle dimension, for an arbitrary Poincaré $\Q$-algebra, in classical terms (discriminant and local invariants). When the algebra is 1-connected, we show that this property is the only obstruction to realizing it by a closed manifold, up to dimension 11. We reinterpret a result of Eisenbud and Levine on finite map germ… ▽ More We reformulate the integrality property of the Poincaré inner product in the middle dimension, for an arbitrary Poincaré $\Q$-algebra, in classical terms (discriminant and local invariants). When the algebra is 1-connected, we show that this property is the only obstruction to realizing it by a closed manifold, up to dimension 11. We reinterpret a result of Eisenbud and Levine on finite map germs, relating the degree of the map germ to the signature of the associated local ring, to answer a question of Halperin on artinian weighted complete intersections.We analyse the homogeneous artinian complete intersections over $\Q$ realized by closed manifolds of dimensions 4 and 8, and their signatures. △ Less

Submitted 8 June, 2004; originally announced June 2004.

Comments: 13 pages

MSC Class: 57R65;13C40;11E81;58K20 58K20 58K20

Journal ref: Trans. Amer. Math. Soc. 359 (2007), 2777-2786

Isometry-invariant geodesics and nonpositive derivations of the cohomology

Authors: Stefan Papadima, Laurentiu Paunescu

Abstract: We introduce a new class of zero-dimensional weighted complete intersections, by abstracting the essential features of rational cohomology algebras of equal rank homogeneous spaces of compact connected Lie groups. We prove that, on a 1-connected closed manifold M whose rational cohomology algebra belongs to this class, every isometry has a non-trivial invariant geodesic, for any metric on M. We… ▽ More We introduce a new class of zero-dimensional weighted complete intersections, by abstracting the essential features of rational cohomology algebras of equal rank homogeneous spaces of compact connected Lie groups. We prove that, on a 1-connected closed manifold M whose rational cohomology algebra belongs to this class, every isometry has a non-trivial invariant geodesic, for any metric on M. We use rational surgery to construct large classes of new examples for which the above result may be applied. △ Less

Submitted 19 November, 2003; originally announced November 2003.

Comments: 14 pages

MSC Class: 53C22; 13C40 (primary); 57T15; 55P62; 57R65 (secondary)

Journal ref: J. Differential Geometry 71 (2005), 159-176

When does the associated graded Lie algebra of an arrangement group decompose?

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: Let \A be a complex hyperplane arrangement, with fundamental group G and holonomy Lie algebra \H. Suppose \H_3 is a free abelian group of minimum possible rank, given the values the Möbius function μ: Ł_2\to \Z takes on the rank 2 flats of \A. Then the associated graded Lie algebra of G decomposes (in degrees 2 and higher) as a direct product of free Lie algebras. In particular, the ranks of the… ▽ More Let \A be a complex hyperplane arrangement, with fundamental group G and holonomy Lie algebra \H. Suppose \H_3 is a free abelian group of minimum possible rank, given the values the Möbius function μ: Ł_2\to \Z takes on the rank 2 flats of \A. Then the associated graded Lie algebra of G decomposes (in degrees 2 and higher) as a direct product of free Lie algebras. In particular, the ranks of the lower central series quotients of the group are given by φ_r(G)=\sum_{X\in Ł_2} φ_r(F_{μ(X)}), for r\ge 2. We illustrate this new Lower Central Series formula with several families of examples. △ Less

Submitted 12 April, 2006; v1 submitted 19 September, 2003; originally announced September 2003.

Comments: 14 pages, accepted for publication by Commentarii Mathematici Helvetici

MSC Class: 52C35; 20F14; 20F40

Journal ref: Commentarii Mathematici Helvetici 81 (2006), no. 4, 859-875

Multiplicative models for configuration spaces of algebraic varieties

Authors: Barbu Berceanu, Martin Markl, Stefan Papadima

Abstract: W. Fulton and R. MacPherson described a Sullivan dg-algebra model for the space of n-configurations of labeled points in a smooth compact complex algebraic variety X. I. Kriz then gave a simpler model that depends only on the cohomology ring of X. We construct an even simpler and substantially smaller model for this configuration space. Using this smaller model, we also define another, new dg-… ▽ More W. Fulton and R. MacPherson described a Sullivan dg-algebra model for the space of n-configurations of labeled points in a smooth compact complex algebraic variety X. I. Kriz then gave a simpler model that depends only on the cohomology ring of X. We construct an even simpler and substantially smaller model for this configuration space. Using this smaller model, we also define another, new dg-algebra model, for the space of n-configurations in the variety X with a point removed. Following an idea of V.G. Drinfel'd, we endow the collection of these new "punctured" models with a simplicial bigraded differential algebra structure. △ Less

Submitted 26 August, 2003; originally announced August 2003.

Comments: LaTeX2e, 26 pages

Journal ref: Topology 44 (2005), 415-440

Chen Lie algebras

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: The Chen groups of a finitely-presented group G are the lower central series quotients of its maximal metabelian quotient, G/G''. The direct sum of the Chen groups is a graded Lie algebra, with bracket induced by the group commutator. If G is the fundamental group of a formal space, we give an analog of a basic result of D. Sullivan, by showing that the rational Chen Lie algebra of G is isomorph… ▽ More The Chen groups of a finitely-presented group G are the lower central series quotients of its maximal metabelian quotient, G/G''. The direct sum of the Chen groups is a graded Lie algebra, with bracket induced by the group commutator. If G is the fundamental group of a formal space, we give an analog of a basic result of D. Sullivan, by showing that the rational Chen Lie algebra of G is isomorphic to the rational holonomy Lie algebra of G modulo the second derived subalgebra. Following an idea of W.S. Massey, we point out a connection between the Alexander invariant of a group G defined by commutator-relators, and its integral holonomy Lie algebra. As an application, we determine the Chen Lie algebras of several classes of geometrically defined groups, including surface-like groups, fundamental groups of certain classical link complements, and fundamental groups of complements of complex hyperplane arrangements. For link groups, we sharpen Massey and Traldi's solution of the Murasugi conjecture. For arrangement groups, we prove that the rational Chen Lie algebra is combinatorially determined. △ Less

Submitted 8 July, 2003; originally announced July 2003.

Comments: 23 pages

MSC Class: 20F14; 20F40 (primary); 17B70; 52C35; 55P62; 57M25 (secondary)

Journal ref: International Mathematics Research Notices 2004:21 (2004) 1057-1086

Equivariant chain complexes, twisted homology and relative minimality of arrangements

Authors: A. Dimca, S. Papadima

Abstract: We show that the equivariant chain complex associated to a minimal CW-structure X on the complement M(A) of a hyperplane arrangement A, is independent of X. When A is a sufficiently general linear section of an aspheric arrangement, we explain a new way for computing the twisted homology of M(A). We show that the equivariant chain complex associated to a minimal CW-structure X on the complement M(A) of a hyperplane arrangement A, is independent of X. When A is a sufficiently general linear section of an aspheric arrangement, we explain a new way for computing the twisted homology of M(A). △ Less

Submitted 19 May, 2003; originally announced May 2003.

Comments: 22 pages

MSC Class: 32S22; 55N25; 32S55; 52C35

Journal ref: Ann. Scient. Ec. Norm. Sup. 37 (2004), 449-467

Homotopy Lie algebras, lower central series and the Koszul property

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie algebra pi_*(Omega Y) tensor Q equals, up to k-rescaling, the graded rational Lie algebra associated to the lower central series of pi_1(X). If Y is a formal space,… ▽ More Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie algebra pi_*(Omega Y) tensor Q equals, up to k-rescaling, the graded rational Lie algebra associated to the lower central series of pi_1(X). If Y is a formal space, this equality is actually equivalent to the Koszulness of H^*(X,Q). If X is formal (and only then), the equality lifts to a filtered isomorphism between the Malcev completion of pi_1(X) and the completion of [Omega S^{2k+1}, Omega Y]. Among spaces that admit naturally defined homological rescalings are complements of complex hyperplane arrangements, and complements of classical links. The Rescaling Formula holds for supersolvable arrangements, as well as for links with connected linking graph. △ Less

Submitted 4 September, 2004; v1 submitted 28 October, 2001; originally announced October 2001.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper30.abs.html

MSC Class: 16S37; 20F14; 55Q15; 20F40; 52C35; 55P62; 57M25; 57Q45

Journal ref: Geom. Topol. 8 (2004) 1079-1125

Hypersurface complements, Milnor fibers and higher homotopy groups of arrangements

Authors: Alexandru Dimca, Stefan Papadima

Abstract: We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main tools are the polar curves and the affine Lefschetz theory developped by H. Hamm, D.T. Lê and A. Némethi. In the special case of the hyperplane arrangements, we s… ▽ More We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main tools are the polar curves and the affine Lefschetz theory developped by H. Hamm, D.T. Lê and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result). This is then used to compute some higher homotopy groups of hyperplane arrangements using the ideas from Papadima-Suciu, see math.AT/0002251. The second version contains applications of the above ideas to the polar Cremona transformations and gives a positive answer to Dolgachev's Conjecture (see Michigan Math. J. 48 (2000), volume dedicated to W. Fulton). The third version corrects some errors and provides new applications. △ Less

Submitted 4 May, 2004; v1 submitted 30 January, 2001; originally announced January 2001.

Comments: 35 pages published version

MSC Class: 14F35; 32S22; 32S50; 55Q52

Journal ref: Ann. of Math. (2), Vol. 158 (2003), no. 2, 473--507

Higher homotopy groups of complements of complex hyperplane arrangements

Authors: Stefan Papadima, Alexander I. Suciu

Abstract: We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the complement vanish in a certain combinatorially determined range, and we give an explicit Zπ_1-module presentation of π_p, the first non-vanishing higher homotopy… ▽ More We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the complement vanish in a certain combinatorially determined range, and we give an explicit Zπ_1-module presentation of π_p, the first non-vanishing higher homotopy group. We also give a combinatorial formula for the π_1-coinvariants of π_p. For affine line arrangements whose cones are hypersolvable, we provide a minimal resolution of π_2, and study some of the properties of this module. For graphic arrangements associated to graphs with no 3-cycles, we obtain information on π_2, directly from the graph. The π_1-coinvariants of π_2 may distinguish the homotopy 2-types of arrangement complements with the same π_1, and the same Betti numbers in low degrees. △ Less

Submitted 31 August, 2002; v1 submitted 29 February, 2000; originally announced February 2000.

Comments: 24 pages, 3 figures

MSC Class: 52C35; 55Q52 (Primary); 14M12; 32S22 (Secondary)

Journal ref: Advances in Math. 165 (2002), 71-100