
We prove that the length function for perverse sheaves and algebraic regular
holonomic Dmodules on a smooth complex algebraic variety Y is an absolute
Qconstructible function. One consequence is: for "any" fixed natural (derived)
functor F between constructible complexes or perverse sheaves on two smooth
varieties X and Y, the loci of rank one local systems L on X whose image F(L)
has prescribed length are Zariski constructible subsets defined over Q,
obtained from finitely many torsiontranslated complex affine algebraic subtori
of the moduli of rank one local systems via a finite sequence of taking union,
intersection, and complement.

We give two applications of the exponential AxLindemann Theorem to local
systems. One application is to show that for a connected topological space, the
existence of a finite model of the real homotopy type implies linearity of the
cohomology jump loci around the trivial local system. Another application is
the linearity of the cohomology jump loci of rank one local systems on
quasicompact K\"ahler manifolds.

We prove that the numbers of irreducible ndimensional complex continuous
representations of the special linear groups over padic integers grow slower
than the square of n. We deduce that the abscissas of convergence of the
representation zeta functions of the special linear groups over the ring of
integers are bounded above by 2. In order to show these results we prove also
that if G is a connected, simply connected, semisimple algebraic group defined
over the field of rational numbers, then the Grepresentation variety of the
fundamental group of a compact Riemann surface of genus n has rational
singularities if and only if the Gcharacter variety has rational
singularities.

We give a framework to produce constructible functions from natural functors
between categories, without need of a morphism of moduli spaces to model the
functor. We show using the RiemannHilbert correspondence that any natural
(derived) functor on constructible sheaves on smooth complex algebraic
varieties can be used to construct a special kind of constructible sets, called
absolute sets, generalizing a notion introduced by Simpson in presence of
moduli. We conjecture that the absolute sets of local systems satisfy a
"special varieties package", among which is an analog of the ManinMumford,
MordellLang, and Andr\'eOort conjectures. The conjecture gives a simple proof
of the Decomposition Theorem for all semisimple perverse sheaves, assuming the
Decomposition Theorem for the geometric ones. We prove the conjecture in the
rank one case by showing that the closed absolute sets in this case are finite
unions of torsiontranslated affine tori. This extends a structure result of
the authors for cohomology jump loci to any other natural jump loci. For
example, to jump loci of intersection cohomology and Leray filtrations. We also
show that the Leray spectral sequence for the open embedding in a good
compactification degenerates for all rank one local systems at the usual page,
not just for unitary local systems.

Over a field of characteristic zero, every deformation problem with
cohomology constraints is controlled by a pair consisting of a differential
graded Lie algebra together with a module. Unfortunately, these pairs are
usually infinitedimensional. We show that every deformation problem with
cohomology constraints is controlled by a typically finitedimensional
Linfinity pair. As a first application, we show that for complex algebraic
varieties with no weightzero 1cohomology classes, the components of the
cohomology jump loci of rank one local systems containing the constant sheaf
are tori. This imposes restrictions on the fundamental groups. The same holds
for links and Milnor fibers.

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex
projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F
polystable with respect to an ample line bundle. Our main tool is the
uniqueness of DG enhancement of the bounded derived category of coherent
sheaves. We also extend the formality result to derived objects that are
polystable with respect to a generic Bridgeland stability condition.

We prove that the cohomology jump loci of rank one local systems on the
complement in a small ball of a germ of a complex analytic set are finite
unions of torsion translates of subtori. This is a generalization of the
classical Monodromy Theorem stating that the eigenvalues of the monodromy on
the cohomology of the Milnor fiber of a germ of a holomorphic function are
roots of unity.

Given any connected topological space $X$, assume that there exists an
epimorphism $\phi: \pi_1(X) \to \mathbb{Z}$. The deck transformation group
$\mathbb{Z}$ acts on the associated infinite cyclic cover $X^\phi$ of $X$,
hence on the homology group $H_i(X^\phi, \mathbb{C})$. This action induces a
linear automorphism on the torsion part of the homology group as a module over
the Laurent ring $\mathbb{C}[t,t^{1}]$, which is a finite dimensional
$\mathbb{C}$vector space. We study the sizes of the Jordan blocks of this
linear automorphism. When $X$ is a compact K\"ahler manifold, we show that all
the Jordan blocks are of size one. When $X$ is a smooth complex
quasiprojective variety, we give an upper bound on the sizes of the Jordan
blocks, which is an analogue of the Monodromy Theorem for the local Milnor
fibration.

The support S of Sabbah's specialization complex is a simultaneous
generalization of the set of eigenvalues of the monodromy on Deligne's nearby
cycles complex, of the support of the Alexander modules of an algebraic knot,
and of certain cohomology support loci. Moreover, it equals conjecturally the
image under the exponential map of the zero locus of the BernsteinSato ideal.
Sabbah showed that S is contained in a union of translated subtori of
codimension one in a complex affine torus. BudurWang showed recently that S is
a union of torsiontranslated subtori. We show here that S is always a
hypersurface, and that it admits a formula in terms of log resolutions. As an
application, we give a criterion in terms of log resolutions for the
(semi)simplicity as perverse sheaves, or as regular holonomic Dmodules, of
the direct images of rank one local systems under an open embedding. For
hyperplane arrangements, this criterion is combinatorial.

Cohomology support loci of rank one local systems of a smooth quasiprojective
complex algebraic variety are finite unions of torsiontranslated complex
subtori of the character variety of the fundamental group. Tangent spaces of
the character variety are (partially) represented by logarithmic 1forms. In
this paper, we give a relation between cohomology support loci and the natural
strata of 1forms given by the dimension of the vanishing locus. This relation
generalizes the one for the projective case due to Green and Lazarsfeld and
also generalizes the partial relation due to Dimca in the quasiprojective
case.

This is a survey of recent results related to cohomology jump loci. It
emphasizes connections with deformations with cohomology constraints, global
structural results for rank one local systems and line bundles, some
connections with restrictions on fundamental groups and homotopy types, and
connections with classical singularity theory and BernsteinSato ideals.

Maximum likelihood estimation is a fundamental computational problem in
statistics. In this note, we give a bound for the maximum likelihood degree of
algebraic statistical models for discrete data. As usual, such models are
identified with special very affine varieties. Using earlier work of Franecki
and Kapranov, we prove that the maximum likelihood degree is always less or
equal to the signed intersectioncohomology Euler characteristic. We construct
counterexamples to a bound in terms of the usual Euler characteristic
conjectured by Huh and Sturmfels.

To study infinitesimal deformation problems with cohomology constraints, we
introduce and study cohomology jump functors for differential graded Lie
algebra (DGLA) pairs. We apply this to local systems, vector bundles, Higgs
bundles, and representations of fundamental groups. The results obtained
describe the analytic germs of the cohomology jump loci inside the
corresponding moduli space, extending previous results of GoldmanMillson,
GreenLazarsfeld, Nadel, Simpson, DimcaPapadima, and of the second author.

A conjecture of J. Huh and B. Sturmfels predicts that the sign of the Euler
characteristic of a complex very affine variety depends only on the parity of
the dimension. The conjecture is true for locally complete intersections.
Beyond this case, we construct counterexamples with arbitrarily bad failure.

We prove that the cohomology jump loci in the space of rank one local systems
over a smooth quasiprojective variety are finite unions of torsion translates
of subtori. The main ingredients are a recent result of DimcaPapadima, some
techniques introduced by Simpson, together with properties of the moduli space
of logarithmic connections constructed by Nitsure and Simpson.

The topology of smooth quasiprojective complex varieties is very
restrictive. One aspect of this statement is the fact that natural strata of
local systems, called cohomology support loci, have a rigid structure: they
consist of torsiontranslated subtori in a complex torus. We propose and
partially confirm a relation between BernsteinSato ideals and local systems.
This relation gives yet a different point of view on the nature of the
structure of cohomology support loci of local systems. The main result is a
partial generalization to the case of a collection of polynomials of the
theorem of Malgrange and Kashiwara which states that the BernsteinSato
polynomial of a hypersurface recovers the monodromy eigenvalues of the Milnor
fibers of the hypersurface. We also address a multivariable version of the
Monodromy Conjecture, prove that it follows from the usual singlevariable
Monodromy Conjecture, and prove it in the case of hyperplane arrangements.

Hyperplane arrangements form the geometric counterpart of combinatorial
objects such as matroids. The shape of the sequence of Betti numbers of the
complement of a hyperplane arrangement is of particular interest in
combinatorics, where they are known, up to a sign, as Whitney numbers of the
first kind, and appear as the coefficients of chromatic, or characteristic,
polynomials. We show that certain combinations, some nonlinear, of these Betti
numbers satisfy Schur positivity. At the same time, we study the higher degree
resonance varieties of the arrangement. We draw some consequences, using
homological algebra results and vector bundles techniques, of the fact that all
resonance varieties are determinantal.

The method of intersection spaces associates rational Poincar\'e complexes to
singular stratified spaces. For a conifold transition, the resulting cohomology
theory yields the correct count of all present massless 3branes in type IIB
string theory, while intersection cohomology yields the correct count of
massless 2branes in type IIA theory. For complex projective hypersurfaces with
an isolated singularity, we show that the cohomology of intersection spaces is
the hypercohomology of a perverse sheaf, the intersection space complex, on the
hypersurface. Moreover, the intersection space complex underlies a mixed Hodge
module, so its hypercohomology groups carry canonical mixed Hodge structures.
For a large class of singularities, e.g., weighted homogeneous ones, global
Poincar\'e duality is induced by a more refined Verdier selfduality
isomorphism for this perverse sheaf. For such singularities, we prove
furthermore that the pushforward of the constant sheaf of a nearby smooth
deformation under the specialization map to the singular space splits off the
intersection space complex as a direct summand. The complementary summand is
the contribution of the singularity. Thus, we obtain for such hypersurfaces a
mirror statement of the BeilinsonBernsteinDeligne decomposition of the
pushforward of the constant sheaf under an algebraic resolution map into the
intersection sheaf plus contributions from the singularities.

The log canonical thresholds of irreducible quasiordinary hypersurface
singularities are computed, using an explicit list of pole candidates for the
motivic zeta function found by the last two authors.

Conjectures of J. Igusa for padic local zeta functions and of J. Denef and
F. Loeser for topological local zeta functions assert that (the real part of)
the poles of these local zeta functions are roots of the BernsteinSato
polynomials (i.e. the bfunctions). We prove these conjectures for certain
hyperplane arrangements, including the case of reduced hyperplane arrangements
in threedimensional affine space.

This brief survey of some singularity invariants related to Milnor fibers
should serve as a quick guide to references. We attempt to place things into a
wide geometric context while leaving technicalities aside. We focus on
relations among different invariants and on the practical aspect of computing
them.

We show a combinatorial formula for a lower bound of the dimension of the
nonunipotent monodromy part of the first Milnor cohomology of a hyperplane
arrangement satisfying some combinatorial conditions. This gives exactly its
dimension if a stronger combinatorial condition is satisfied. We also prove a
noncombinatorial formula for the dimension of the nonunipotent part of the
first Milnor cohomology, which apparently depends on the position of the
singular points. The latter generalizes a formula previously obtained by the
second named author.

The Monodromy Conjecture asserts that if c is a pole of the local topological
zeta function of a hypersurface, then exp(2\pi i c) is an eigenvalue of the
monodromy on the cohomology of the Milnor fiber. A stronger version of the
conjecture asserts that every pole is a root of the BernsteinSato polynomial
of the hypersurface. In this note we prove the weak version of the conjecture
for hyperplane arrangements. Furthermore, we reduce the strong version to the
following conjecture: n/d is always a root of the BernsteinSato polynomial of
an indecomposable essential central hyperplane arrangement of d hyperplanes in
the affine nspace.

In an earlier version of this paper written by the second named author, we
showed that the jumping coefficients of a hyperplane arrangement depend only on
the combinatorial data of the arrangement as conjectured by Mustata. For this
we proved a similar assertion on the spectrum. After this first proof was
written, the first named author found a more conceptual proof using the
HirzebruchRiemannRoch theorem where the assertion on the jumping numbers was
proved without reducing to that for the spectrum. In this paper we improve
these methods and show that the jumping numbers and the spectrum are calculable
in low dimensions without using a computer. In the reduced case we show that
these depend only on fewer combinatorial data, and give completely explicit
combinatorial formulas for the jumping coefficients and (part of) the spectrum
in the case the ambient dimension is 3 or 4. We also give an analogue of
Mustata's formula for the spectrum.

The space of unitary local systems of rank one on the complement of an
arbitrary divisor in a complex projective algebraic variety can be described in
terms of parabolic line bundles. We show that multiplier ideals provide natural
stratifications of this space. We prove a structure theorem for these
stratifications in terms of complex tori and convex rational polytopes,
generalizing to the quasiprojective case results of GreenLazarsfeld and
Simpson. As an application we show the polynomial periodicity of Hodge numbers
of congruence covers in any dimension, generalizing results of E. Hironaka and
Sakuma. We extend the structure theorem and polynomial periodicity to the
setting of cohomology of unitary local systems. In particular, we obtain a
generalization of the polynomial periodicity of Betti numbers of unbranched
congruence covers due to SarnakAdams. We derive a geometric characterization
of finite abelian covers, which recovers the classic one and the one of
Pardini. We use this, for example, to prove a conjecture of Libgober about
Hodge numbers of abelian covers.