arXiv subjects

Alexandru Dimca

Publications and source records attributed to Alexandru Dimca.

At least 127 records · Page 7Linked to original sources

arXiv2010

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

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.

math.AG↗

arXiv2009

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

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.

math.AG↗

arXiv2009

The Milnor fibre of the Pfaffian and the Hilbert scheme of four points on C^3

We study a natural Hodge module on the Hilbert scheme of four points on affine three-space, which categorifies the Donaldson--Thomas invariant of the Hilbert scheme. We determine the weight filtration on the Hodge module explicitly in terms of intersection cohomology complexes, and compute the E-polynomial of its cohomology. The computations make essential use of a description of the singularity of the Hilbert scheme as the degeneracy locus of the Pfaffian function.

math.AG↗

arXiv2009

Topology and geometry of cohomology jump loci

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.

math.AT↗

arXiv2008

Characteristic varieties and logarithmic differential 1-forms

We introduce in this paper a hypercohomology version of the resonance varieties and obtain some relations to the characteristic varieties of rank one local systems on a smooth quasi-projective complex variety $M$, see Theorem (3.1) and Corollaries (3.2) and (4.2). A logarithmic resonance variety is also considered in Proposition (4.5). As an application, we determine the first characteristic variety of the configuration space of $n$ distinct labeled points on an elliptic curve, see Proposition (5.1). Finally, for a logarithmic one form $α$ on $M$ we investigate the relation between the resonance degree of $α$ and the codimension of the zero set of $α$ on a good compactification of $M$, see Corollary (1.1). This question was inspired by the recent work by D. Cohen, G. Denham, M. Falk and A. Varchenko.

math.AG↗

arXiv2008

Which 3-manifold groups are Kähler groups?

The question in the title, first raised by Goldman and Donaldson, was partially answered by Reznikov. We give a complete answer, as follows: if G can be realized as both the fundamental group of a closed 3-manifold and of a compact Kähler manifold, then G must be finite, and thus belongs to the well-known list of finite subgroups of O(4).

math.AG↗

arXiv2008

A generalization of Griffiths theorem on rational integrals, II

We show that the Hodge and pole order filtrations are globally different for sufficiently general singular projective hypersurfaces in case the degree is 3 or 4 assuming the dimension of the projective space is at least 5 or 3 respectively. We then study an algebraic formula for the global Hodge filtration in the ordinary double point case conjectured by the third named author. This is more explicit and easier to calculate than the previous one in this case. We prove a variant of it under the assumption that the image of the singular points by the $e$-fold Veronese embedding consists of linearly independent points, where $e$ is determined only by the dimension and the degree. In particular, the original conjecture is true in case the above condition is satisfied for $e=1$.

math.AG↗

arXiv2007

Formality, Alexander invariants, and a question of Serre

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.

math.AT↗

arXiv2007

Alexander polynomials: Essential variables and multiplicities

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.

math.AG↗

arXiv2007

Spectrum and multiplier ideals of arbitrary subvarieties

We introduce a spectrum for arbitrary varieties. This generalizes the definition by Steenbrink for hypersurfaces. In the isolated complete intersection singularity case, it coincides with the one given by Ebeling and Steenbrink except for the coefficients of integral exponents. We show a relation to the graded pieces of the multiplier ideals by using a relation to the filtration $V$ of Kashiwara and Malgrange. This implies a partial generalization of a theorem of Budur in the hypersurface case. The point is to consider the direct sum of the graded pieces of the multiplier ideals as a module over the algebra defining the normal cone of the subvariety. We also give a combinatorial description in the case of monomial ideals.

math.AG↗

arXiv2007

Characteristic varieties and constructible sheaves

We explore the relation between the positive dimensional irreducible components of the characteristic varieties of rank one local systems on a smooth surface and the associated (rational or irrational) pencils. Our study, which may viewed as a continuation of D. Arapura's work, yields new geometric insight into the translated components relating them to the multiplicities of curves in the associated pencil, in a close analogy to the compact situation treated by A. Beauville. The new point of view is the key role played by the constructible sheaves naturally arising from local systems.

math.AG↗

arXiv2007

Non-finiteness properties of fundamental groups of smooth projective varieties

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.

math.AG↗

arXiv2007

On the irreducible components of characteristic varieties

This is a quick survey on the characteristic varieties associated to rank one local systems on a smooth, irreducible, quasi-projective complex variety $M$. A key new result is Proposition 1.8, giving additional information on the constructible sheaf $\F=R^0f_*(\LL)$, where $\LL$ is a rank one local system on $M$ and $f:M \to S$ is a surjective morphism with $S$ a smooth curve and the generic fiber $F$ of $f$ connected. Corollary 1.9 says that for $S$ compact, the singular support of $\F$ cannot be a singleton.

math.AG↗

arXiv2006

Quasi-Kähler Bestvina-Brady groups

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.

math.AG↗

arXiv2006

A generalization of Griffiths' theorem on rational integrals

We generalize Griffiths' theorem on the Hodge filtration of the primitive cohomology of a smooth projective hypersurface, using the local Bernstein-Sato polynomials, the V-filtration of Kashiwara and Malgrange along the hypersurface and the Brieskorn module of the global defining equation of the hypersurface.

math.AG↗

arXiv2005

Multivariable Alexander invariants of hypersurface complements

We start with a discussion on Alexander invariants, and then prove some general results concerning the divisibility of the Alexander polynomials and the supports of the Alexander modules, via Artin's vanishing theorem for perverse sheaves. We conclude with explicit computations of twisted cohomology following an idea already exploited in the hyperplane arrangement case, which combines the degeneration of the Hodge to de Rham spectral sequence to the purity of some cohomology groups.

math.AT↗

arXiv2005

On the connectivity of some complete intersections

We show that the complement of a degree $d$ hypersurface in a projective complete intersection, whose defining equations have degrees strictly larger than $d$, has a rational connectivity higher than expected. The key new feature is that a positivity result replaces the usual transversality conditions needed to get such connectivity results.

math.AG↗

arXiv2005

Regular Functions Transversal at Infinity

We generalize and complete some of Maxim's recent results on Alexander invariants of a polynomial transversal to the hyperplane at infinity. Roughly speaking, and surprisingly, such a polynomial behaves both topologically and algebraically (e.g. in terms of the variation of MHS on the cohomology of its smooth fibers), like a homogeneous polynomial.

math.AG↗