-
Indexes of vector fields for mixed functions
Authors:
José Luis Cisneros-Molina,
Agustín Romano-Velázquez
Abstract:
A mixed function is a real analytic map $f\colon \mathbb{C}^n \to \mathbb{C}$ in the complex variables $z_1,\dots,z_n$ and their conjugates $\bar{z}_1,\dots,\bar{z}_n$. In this article we define an integer valued index for vector fields $v$ with isolated singularity at $\mathbf{0}$ on real analytic varieties $V_f:=f^{-1}(0)$ defined by mixed functions $f$ with isolated critical point at…
▽ More
A mixed function is a real analytic map $f\colon \mathbb{C}^n \to \mathbb{C}$ in the complex variables $z_1,\dots,z_n$ and their conjugates $\bar{z}_1,\dots,\bar{z}_n$. In this article we define an integer valued index for vector fields $v$ with isolated singularity at $\mathbf{0}$ on real analytic varieties $V_f:=f^{-1}(0)$ defined by mixed functions $f$ with isolated critical point at $\mathbf{0}$. We call this index the mixed GSV-index and it generalizes the classical GSV-index defined by Gomez-Mont, Seade and Verjovsky, i.e., if the function $f$ is holomorphic, then the mixed GSV-index coincides with the GSV-index. Furthermore, the mixed GSV-index is a lifting to $\mathbb{Z}$ of the $\mathbb{Z}_2$-valued real GSV-index defined by Aguilar, Seade and Verjovsky. As applications we prove that the mixed GSV-index is equal to the Poincaré-Hopf index of $v$ on a Milnor fiber. If $f$ also satisfies the strong Milnor condition, i.e., for every $ε>0$ (small enough) the map $\frac{f}{\|f\|}\colon \mathbb{S}_ε\setminus L_f \to \mathbb{S}^1$ is a fiber bundle, we prove that the mixed GSV-index is equal to the curvatura integra of $f$ defined by Cisneros-Molina, Grulha and Seade based on the curvatura integra defined by Kervaire.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
The classification of reflexive modules of rank one over rational and minimally elliptic singularities
Authors:
András Némethi,
Agustín Romano-Velázquez
Abstract:
We classify the reflexive modules of rank one over rational and minimally elliptic singularities. Equivalently, we classify full line bundles on the resolutions of rational and minimally elliptic singularities. As an application, we determine among such reflexive modules of rank one all the special ones (in the sense of Wunram) and all the flat ones. In this way, we also classify the non-flat refl…
▽ More
We classify the reflexive modules of rank one over rational and minimally elliptic singularities. Equivalently, we classify full line bundles on the resolutions of rational and minimally elliptic singularities. As an application, we determine among such reflexive modules of rank one all the special ones (in the sense of Wunram) and all the flat ones. In this way, we also classify the non-flat reflexive modules as well (as a generalization of a construction of Dan and Romano).
In particular, we prove (in the rank one case) a conjecture of Behnke, namely that in the case of a cusp singularity any reflexive module admits a flat connection.
The results generalize the classical Mckay correspondence, and results of Artin, Verdier, Esnault, Khan and Wunram valid for different particular families of singularities.
△ Less
Submitted 10 May, 2023; v1 submitted 17 February, 2023;
originally announced February 2023.
-
Cheeger-Chern-Simons classes of representations of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and the spectrum of rational double point singularities
Authors:
José Antonio Arciniega-Nevárez,
José Luis Cisneros-Molina,
Agustín Romano-Velázquez
Abstract:
Let $L$ be a compact oriented $3$-manifold and $ρ\colonπ_1(L)\to \mathrm{GL}(n,\mathbb{C})$ a representation. Evaluating the Cheeger-Chern-Simons class $\widehat{c}_{ρ,k}\in H^{2k-1}(L;\mathbb{C}/\mathbb{Z})$ of $ρ$ at $ν\in H_{2k-1}(L;\mathbb{Z})$ we get characteristic numbers that we call the $k$-th CCS-numbers of $ρ$. We prove that if $ρ$ is a topologically trivial representation, the 2-nd CCS-…
▽ More
Let $L$ be a compact oriented $3$-manifold and $ρ\colonπ_1(L)\to \mathrm{GL}(n,\mathbb{C})$ a representation. Evaluating the Cheeger-Chern-Simons class $\widehat{c}_{ρ,k}\in H^{2k-1}(L;\mathbb{C}/\mathbb{Z})$ of $ρ$ at $ν\in H_{2k-1}(L;\mathbb{Z})$ we get characteristic numbers that we call the $k$-th CCS-numbers of $ρ$. We prove that if $ρ$ is a topologically trivial representation, the 2-nd CCS-number $\widehat{c}_{ρ,2}([L])$ of the fundamental class $[L]$ of $L$ is given by the invariant $\tildeξ_ρ(D)$ of the Dirac operator $D$ of $L$ twisted by $ρ$ defined by Atiyah, Patodi and Singer. If $L$ is a rational homology sphere, we also give a formula for $\widehat{c}_{ρ,2}([L])$ of any representation $ρ$ in terms of $\tildeξ(D)$. Given a topologically trivial representation $ρ\colonπ_1(L)\to\mathrm{GL}(n,\mathbb{C})$ we construct an element $\langle L,ρ\rangle$ in the $3$-rd algebraic K-theory group $K_3(\mathbb{C})$ of the complex numbers. For a finite subgroup $Γ$ of $\mathrm{SU(2)}$ and its irreducible representations, we compute the 1-st and 2-nd CCS-numbers. With this, we recover the spectrum of all rational double point singularities. Motivated by this result, we define the topological spectrum of rational surface singularities and Gorenstein singularities. Given a normal surface singularity $(X,x)$ with link a rational homology sphere $L$, we show how to compute the invariant $\tildeξ_ρ(D)$ for the Dirac operator of $L$ using either a resolution or a smoothing of $(X,x)$.
△ Less
Submitted 3 February, 2023;
originally announced February 2023.
-
Matrix factorization for quasi-homogeneous singularities
Authors:
Ananyo Dan,
Agustín Romano-Velázquez
Abstract:
Given an isolated, quasi-homogeneous singularity $X$ we prove that there is a group isomorphism between the group of rank one reflexive sheaves on $X$ and the free abelian group generated by $\mathbb{C}^*$-divisors, modulo linear equivalence. When $\dim(X)=2$ we reduce the problem of finding matrix factorizations of arbitrary reflexive $\mathcal{O}_X$-modules to the same question on rank one refle…
▽ More
Given an isolated, quasi-homogeneous singularity $X$ we prove that there is a group isomorphism between the group of rank one reflexive sheaves on $X$ and the free abelian group generated by $\mathbb{C}^*$-divisors, modulo linear equivalence. When $\dim(X)=2$ we reduce the problem of finding matrix factorizations of arbitrary reflexive $\mathcal{O}_X$-modules to the same question on rank one reflexive sheaves. We then enumerate the matrix factorizations of all rank one reflexive sheaves. As a consequence, we prove a conjecture of Etingof and Ginzburg on point modules.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Examples of non-flat bundles of rank one
Authors:
Ananyo Dan,
Agustín Romano-Velázquez
Abstract:
In this article we give several examples of line bundles on certain non-compact surfaces that cannot be equipped with a flat connection.
In this article we give several examples of line bundles on certain non-compact surfaces that cannot be equipped with a flat connection.
△ Less
Submitted 17 April, 2022;
originally announced April 2022.
