arXiv subjects

János Nagy

Publications and source records attributed to János Nagy.

25 records · Page 2Linked to original sources

arXiv2019

Motivic Poincaré series of cusp surface singularities

We target multivariable series associated with resolutions of complex analytic normal surface singularities. In general, the equivariant multivariable analytical and topological Poincaré series are well-defined and have good properties only if the link is a rational homology sphere. We wish to create a model when this assumption is not valid: we analyse the case of cusps. For such germs we define even the motivic versions of these two series, we prove that they are equal, and we provide explicit combinatorial expression for them. This is done via a motivic multivariable series associated with the space of effective Cartier divisors of the reduced exceptional curve.

math.AG↗

arXiv2019

The Abel map for surface singularities III. Elliptic germs

If $(\widetilde{X},E)\to (X,o)$ is the resolution of a complex normal surface singularity and $c_1:{\rm Pic}(\widetilde{X})\to H^2(\widetilde{X},{\mathbb Z})$ is the Chern class map, then ${\rm Pic}^{l'}(\widetilde{X}):= c_1^{-1}(l')$ has a (Brill--Noether type) stratification $W_{l', k}:= \{{\mathcal L}\in {\rm Pic}^{l'}(\widetilde{X})\,:\, h^1({\mathcal L})=k\}$. In this note we determine it for elliptic singularities together with the stratification according to the cycle of fixed components. For elliptic singularities we also characterize the End Curve Condition and Weak End Curve Condition in terms of the Abel map, we provide several characterization of them, and finally we show that they are equivalent.

math.AG↗

arXiv2019

On the topology of elliptic singularities

For any elliptic normal surface singularity with rational homology sphere link we consider a new elliptic sequence, which differs from the one introduced by Laufer and S. S.-T. Yau. However, we show that their length coincide. Using the properties of both sequences we succeed to connect the common length with the geometric genus and also with several topological invariants, e.g. with the Seiberg--Witten invariant of the link.

math.AG↗

arXiv2018

The Abel map for surface singularities I. Generalities and examples

Let $(X,o)$ be a complex normal surface singularity. We fix one of its good resolutions $\widetilde{X}\to X$, an effective cycle $Z$ supported on the reduced exceptional curve, and any possible (first Chern) class $l'\in H^2(\widetilde{X},\mathbb{Z})$. With these data we define the variety ${\rm ECa}^{l'}(Z)$ of those effective Cartier divisors $D$ supported on $Z$ which determine a line bundles $\mathcal{O}_Z(D)$ with first Chern class $l'$. Furthermore, we consider the affine space ${\rm Pic}^{l'}(Z)\subset H^1(\mathcal{O}_Z^*)$ of isomorphism classes of holomorphic line bundles with Chern class $l'$ and the Abel map $c^{l'}(Z):{\rm ECa}^{l'}(Z)\to {\rm Pic}^{l'}(Z)$. The present manuscript develops the major properties of this map, and links them with the determination of the cohomology groups $H^1(Z,\mathcal{L})$, where we might vary the analytic structure $(X,o)$ (supported on a fixed topological type/resolution graph) and we also vary the possible line bundles ${\mathcal{L}}\in {\rm Pic}^{l'}(Z)$. The case of generic line bundles of ${\rm Pic}^{l'}(Z)$ and generic line bundles of the image of the Abel map will have priority roles. Rewriting the Abel map via Laufer duality based on integration of forms on divisors, we can make explicit the Abel map and its tangent map. The case of superisolated and weighted homogeneous singularities are exemplified with several details. The theory has similar goals (but rather different techniques) as the theory of Abel map or Brill--Noether theory of reduced smooth projective curves.

math.AG↗

arXiv2018

Combinatorial duality for Poincaré series, polytopes and invariants of plumbed 3-manifolds

Assume that the link of a complex normal surface singularity is a rational homology sphere. Then its Seiberg-Witten invariant can be computed as the `periodic constant' of the topological multivariable Poincaré series (zeta function). This involves a complicated regularization procedure (via quasipolynomials measuring the asymptotic behaviour of the coefficients). We show that the (a Gorenstein type) symmetry of the zeta function combined with Ehrhart-Macdonald-Stanley reciprocity (of Ehrhart theory of polytopes) provide a simple expression for the periodic constant. Using these dualities we also find a multivariable polynomial generalization of the Seiberg-Witten invariant, and we compute it in terms of lattice points of certain polytopes. All these invariants are also determined via lattice point counting, in this way we establish a completely general topological analogue of formulae of Khovanskii and Morales valid for singularities with non-degenerate Newton principal part.

math.AG↗

arXiv2017

Coverings: variations on a result of Rogers and on the Epsilon-net theorem of Haussler and Welzl

We consider four problems. Rogers proved that for any convex body $K$, we can cover ${\mathbb R}^d$ by translates of $K$ of density very roughly $d\ln d$. First, we extend this result by showing that, if we are given a family of positive homothets of $K$ of infinite total volume, then we can find appropriate translation vectors for each given homothet to cover ${\mathbb R}^d$ with the same (or, in certain cases, smaller) density. Second, we extend Rogers' result to multiple coverings of space by translates of a convex body: we give a non-trivial upper bound on the density of the most economical covering where each point is covered by at least a certain number of translates. Third, we show that for any sufficiently large $n$, the sphere ${\mathbb S}^2$ can be covered by $n$ strips of width $20n/\ln n$, where no point is covered too many times. Finally, we give another proof of the previous result based on a combinatorial observation: an extension of the Epsilon-net Theorem of Haussler and Welzl. We show that for a hypergraph of bounded Vapnik--Chervonenkis dimension, in which each edge is of a certain measure, there is a not-too large transversal set which does not intersect any edge too many times.

math.MG↗

arXiv2017

Surgery formulae for the Seiberg-Witten invariant of plumbed 3-manifolds

Assume that $M(\mathcal{T})$ is a rational homology sphere plumbed 3-manifold associated with a connected negative definite graph $\mathcal{T}$. We consider the combinatorial multivariable Poincaré series associated with $\mathcal{T}$ and its counting functions, which encode rich topological information. Using the `periodic constant' of the series (with reduced variables) we prove surgery formulae for the normalized Seiberg-Witten invariants: the periodic constant appears as the difference of the Seiberg-Witten invariants associated with $M(\mathcal{T})$ and $M(\mathcal{T}\setminus\mathcal{I})$, where $\mathcal{I}$ is an arbitrary subset of the set of vertices of $\mathcal{T}$.

math.GT↗