arXiv subjects

Nero Budur

Publications and source records attributed to Nero Budur.

At least 37 records · Page 2Linked to original sources

arXiv2019

Length of Perverse Sheaves on Hyperplane Arrangements

In this article we address the length of perverse sheaves arising as direct images of rank one local systems on complements of hyperplane arrangements. In the case of a cone over an essential line arrangement with at most triple points, we provide combinatorial formulas for these lengths. As by-products, we also obtain in this case combinatorial formulas for the intersection cohomology Betti numbers of rank one local systems on the complement with same monodromy around the planes.

math.AT↗

arXiv2019

Rational singularities, quiver moment maps, and representations of surface groups

We prove using jet schemes that the zero loci of the moment maps for the quivers with one vertex and at least two loops have rational singularities. This implies that the spaces of representations of the fundamental group of a compact Riemann surface of genus at least two have rational singularities. This has consequences for the representation zeta function of the special linear group over the integers and over the p-adic integers.

math.AG↗

arXiv2019

L-infinity pairs and applications to singularities

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 infinite-dimensional. We show that every deformation problem with cohomology constraints is controlled by a typically finite-dimensional L-infinity pair. As a first application, we show that for complex algebraic varieties with no weight-zero 1-cohomology 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.

math.AG↗

arXiv2019

On the length of perverse sheaves and D-modules

We prove that the length function for perverse sheaves and algebraic regular holonomic D-modules on a smooth complex algebraic variety Y is an absolute Q-constructible 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 torsion-translated complex affine algebraic subtori of the moduli of rank one local systems via a finite sequence of taking union, intersection, and complement.

math.AG↗

arXiv2019

Formality conjecture for K3 surfaces

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.

math.AG↗

arXiv2018

Cohomology jump loci of quasi-compact Kähler manifolds

We give two applications of the exponential Ax-Lindemann 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 quasi-compact Kähler manifolds.

math.AG↗

arXiv2018

On representation zeta functions for special linear groups

We prove that the numbers of irreducible n-dimensional complex continuous representations of the special linear groups over p-adic 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, semi-simple algebraic group defined over the field of rational numbers, then the G-representation variety of the fundamental group of a compact Riemann surface of genus n has rational singularities if and only if the G-character variety has rational singularities.

math.AG↗

arXiv2016

Local systems on analytic germ complements

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.

math.AG↗

arXiv2016

The monodromy theorem for compact Kähler manifolds and smooth quasi-projective varieties

Given any connected topological space $X$, assume that there exists an epimorphism $ϕ: π_1(X) \to \mathbb{Z}$. The deck transformation group $\mathbb{Z}$ acts on the associated infinite cyclic cover $X^ϕ$ of $X$, hence on the homology group $H_i(X^ϕ, \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ähler manifold, we show that all the Jordan blocks are of size one. When $X$ is a smooth complex quasi-projective 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.

math.AG↗

arXiv2016

Cohomology support loci of local systems

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 Bernstein-Sato ideal. Sabbah showed that S is contained in a union of translated subtori of codimension one in a complex affine torus. Budur-Wang showed recently that S is a union of torsion-translated 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 D-modules, of the direct images of rank one local systems under an open embedding. For hyperplane arrangements, this criterion is combinatorial.

math.AG↗

arXiv2015

Rank one local systems and forms of degree one

Cohomology support loci of rank one local systems of a smooth quasiprojective complex algebraic variety are finite unions of torsion-translated complex subtori of the character variety of the fundamental group. Tangent spaces of the character variety are (partially) represented by logarithmic 1-forms. In this paper, we give a relation between cohomology support loci and the natural strata of 1-forms 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 quasi-projective case.

math.AG↗

arXiv2015

Recent results on cohomology jump loci

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 Bernstein-Sato ideals.

math.AG↗

arXiv2015

Bounding the maximum likelihood degree

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 intersection-cohomology Euler characteristic. We construct counterexamples to a bound in terms of the usual Euler characteristic conjectured by Huh and Sturmfels.

math.AG↗

arXiv2014

Cohomology jump loci of differential graded Lie algebras

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 Goldman-Millson, Green-Lazarsfeld, Nadel, Simpson, Dimca-Papadima, and of the second author.

math.AG↗

arXiv2014

The signed Euler characteristic of very affine varieties

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.

math.AG↗

arXiv2014

Cohomology jump loci of quasi-projective varieties

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

math.AG↗

arXiv2013

Bernstein-Sato ideals and local systems

The topology of smooth quasi-projective 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 torsion-translated subtori in a complex torus. We propose and partially confirm a relation between Bernstein-Sato 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 Bernstein-Sato polynomial of a hypersurface recovers the monodromy eigenvalues of the Milnor fibers of the hypersurface. We also address a multi-variable version of the Monodromy Conjecture, prove that it follows from the usual single-variable Monodromy Conjecture, and prove it in the case of hyperplane arrangements.

math.AG↗

arXiv2013

Complements and higher resonance varieties 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.

math.AG↗