-
Compatibility of Hodge Theory on Alexander Modules
Authors:
Eva Elduque,
Moisés Herradón Cueto
Abstract:
Let $U$ be a smooth connected complex algebraic variety, and let $f\colon U\to \mathbb C^*$ be an algebraic map. To the pair $(U,f)$ one can associate an infinite cyclic cover $U^f$, and (homology) Alexander modules are defined as the homology groups of this cover. In two recent works, the first of which is joint with Geske, Maxim and Wang, we developed two different ways to put a mixed Hodge stru…
▽ More
Let $U$ be a smooth connected complex algebraic variety, and let $f\colon U\to \mathbb C^*$ be an algebraic map. To the pair $(U,f)$ one can associate an infinite cyclic cover $U^f$, and (homology) Alexander modules are defined as the homology groups of this cover. In two recent works, the first of which is joint with Geske, Maxim and Wang, we developed two different ways to put a mixed Hodge structure on Alexander modules. Since they are not finite dimensional in general, each approach replaces the Alexander module by a different finite dimensional module: one of them takes the torsion submodule, the other takes finite dimensional quotients, and the constructions are not directly comparable. In this note, we show that both constructions are compatible, in the sense that the map from the torsion to the quotients is a mixed Hodge structure morphism.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
Hodge Theory of Abelian Covers
Authors:
Eva Elduque,
Moisés Herradón Cueto
Abstract:
Motivated by classical Alexander invariants of affine hypersurface complements, we endow certain finite dimensional quotients of the homology of abelian covers of complex algebraic varieties with a canonical and functorial mixed Hodge structure (MHS). More precisely, we focus on covers which arise algebraically in the following way: if $U$ is a smooth connected complex algebraic variety and $G$ is…
▽ More
Motivated by classical Alexander invariants of affine hypersurface complements, we endow certain finite dimensional quotients of the homology of abelian covers of complex algebraic varieties with a canonical and functorial mixed Hodge structure (MHS). More precisely, we focus on covers which arise algebraically in the following way: if $U$ is a smooth connected complex algebraic variety and $G$ is a complex semiabelian variety, the pullback of the exponential map by an algebraic morphism $f:U\to G$ yields a covering space $π:U^f\to U$ whose group of deck transformations is $π_1(G)$. The new MHSs are compatible with Deligne's MHS on the homology of $U$ through the covering map $π$ and satisfy a direct sum decomposition as MHSs into generalized eigenspaces by the action of deck transformations. This provides a vast generalization of the previous results regarding univariable Alexander modules by Geske, Maxim, Wang and the authors. Lastly, we reduce the problem of whether the first Betti number of the Milnor fiber of a central hyperplane arrangement complement is combinatorial to a question about the Hodge filtration of certain MHSs defined in this paper, providing evidence that the new structures contain interesting information.
△ Less
Submitted 17 July, 2024; v1 submitted 31 December, 2023;
originally announced January 2024.
-
Eigenspace Decomposition of Mixed Hodge Structures on Alexander Modules
Authors:
Eva Elduque,
Moisés Herradón Cueto
Abstract:
In previous work jointly with Geske, Maxim and Wang, we constructed a mixed Hodge structure (MHS) on the torsion part of Alexander modules, which generalizes the MHS on the cohomology of the Milnor fiber for weighted homogeneous polynomials. The cohomology of a Milnor fiber carries a monodromy action, whose semisimple part is an isomorphism of MHS. The natural question of whether this result still…
▽ More
In previous work jointly with Geske, Maxim and Wang, we constructed a mixed Hodge structure (MHS) on the torsion part of Alexander modules, which generalizes the MHS on the cohomology of the Milnor fiber for weighted homogeneous polynomials. The cohomology of a Milnor fiber carries a monodromy action, whose semisimple part is an isomorphism of MHS. The natural question of whether this result still holds for Alexander modules was then posed. In this paper, we give a positive answer to that question, which implies that the direct sum decomposition of the torsion part of Alexander modules into generalized eigenspaces is in fact a decomposition of MHS. We also show that the MHS on the generalized eigenspace of eigenvalue 1 can be constructed without passing to a suitable finite cover (as is the case for the MHS on the torsion part of the Alexander modules), and compute it under some purity assumptions on the base space.
△ Less
Submitted 6 October, 2021;
originally announced October 2021.
-
Alexander modules, Mellin transformation and variations of mixed Hodge structures
Authors:
Eva Elduque,
Moisés Herradón Cueto,
Laurenţiu Maxim,
Botong Wang
Abstract:
To any complex algebraic variety endowed with a morphism to a complex affine torus we associate multivariable cohomological Alexander modules, and define natural mixed Hodge structures on their maximal Artinian submodules. The key ingredients of our construction are Gabber-Loeser's Mellin transformation and Hain-Zucker's work on unipotent variations of mixed Hodge structures. As applications, we p…
▽ More
To any complex algebraic variety endowed with a morphism to a complex affine torus we associate multivariable cohomological Alexander modules, and define natural mixed Hodge structures on their maximal Artinian submodules. The key ingredients of our construction are Gabber-Loeser's Mellin transformation and Hain-Zucker's work on unipotent variations of mixed Hodge structures. As applications, we prove the quasi-unipotence of monodromy, we obtain upper bounds on the sizes of the Jordan blocks of monodromy, and we explore the change in the Alexander modules after removing fibers of the map. We also give an example of a variety whose Alexander module has non-semisimple torsion.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Hodge theory on Alexander invariants -- a survey
Authors:
Eva Elduque,
Christian Geske,
Moisés Herradón Cueto,
Laurenţiu Maxim,
Botong Wang
Abstract:
We survey recent developments in the study of Hodge theoretic aspects of Alexander-type invariants associated with smooth complex algebraic varieties.
We survey recent developments in the study of Hodge theoretic aspects of Alexander-type invariants associated with smooth complex algebraic varieties.
△ Less
Submitted 17 January, 2021;
originally announced January 2021.
-
Mixed Hodge Structures on Alexander Modules
Authors:
Eva Elduque,
Christian Geske,
Moisés Herradón Cueto,
Laurentiu Maxim,
Botong Wang
Abstract:
Motivated by the limit mixed Hodge structure on the Milnor fiber of a hypersurface singularity germ, we construct a natural mixed Hodge structure on the torsion part of the Alexander modules of a smooth connected complex algebraic variety. More precisely, let $U$ be a smooth connected complex algebraic variety and let $f\colon U\to \mathbb{C}^*$ be an algebraic map inducing an epimorphism in funda…
▽ More
Motivated by the limit mixed Hodge structure on the Milnor fiber of a hypersurface singularity germ, we construct a natural mixed Hodge structure on the torsion part of the Alexander modules of a smooth connected complex algebraic variety. More precisely, let $U$ be a smooth connected complex algebraic variety and let $f\colon U\to \mathbb{C}^*$ be an algebraic map inducing an epimorphism in fundamental groups. The pullback of the universal cover of $\mathbb{C}^*$ by $f$ gives rise to an infinite cyclic cover $U^f$ of $U$. The action of the deck group $\mathbb{Z}$ on $U^f$ induces a $\mathbb{Q}[t^{\pm 1}]$-module structure on $H_*(U^f;\mathbb{Q})$. We show that the torsion parts $A_*(U^f;\mathbb{Q})$ of the Alexander modules $H_*(U^f;\mathbb{Q})$ carry canonical $\mathbb{Q}$-mixed Hodge structures. We also prove that the covering map $U^f \to U$ induces a mixed Hodge structure morphism on the torsion parts of the Alexander modules. As applications, we investigate the semisimplicity of $A_*(U^f;\mathbb{Q})$, as well as possible weights of the constructed mixed Hodge structures. Finally, in the case when $f\colon U\to \mathbb{C}^*$ is proper, we prove the semisimplicity and purity of $A_*(U^f;\mathbb{Q})$, and we compare our mixed Hodge structure on $A_*(U^f;\mathbb{Q})$ with the limit mixed Hodge structure on the generic fiber of $f$.
△ Less
Submitted 28 March, 2022; v1 submitted 4 February, 2020;
originally announced February 2020.
-
The local information of equivariant sheaves and elliptic difference equations
Authors:
Moisés Herradón Cueto
Abstract:
We study the singularities of algebraic difference equations on curves from the point of view of equivariant sheaves. We propose a definition for the formal local type of an equivariant sheaf at a point in the case of a reduced curve acted on by a group which is virtually the integers. We show that with this definition, equivariant sheaves can be glued from an "open cover". Precisely, we show that…
▽ More
We study the singularities of algebraic difference equations on curves from the point of view of equivariant sheaves. We propose a definition for the formal local type of an equivariant sheaf at a point in the case of a reduced curve acted on by a group which is virtually the integers. We show that with this definition, equivariant sheaves can be glued from an "open cover". Precisely, we show that an equivariant sheaf can be uniquely recovered from the following data: the restriction to the complement of a point, the local type at the point itself, and an isomorphism between the two over the punctured neighborhood of said point.
We study symmetric elliptic difference equations ("elliptic equations" from now on) from this point of view. We consider several natural notions for an algebraic version of symmetric elliptic difference equations, i.e. symmetric elliptic difference modules ("elliptic modules"). We show that different versions are not equivalent, but we detail how they are related: all the versions embed fully faithfully into the same category of equivariant sheaves. This implies that we can use the theory for equivariant sheaves to study singularities of elliptic equations as well.
One reason to study elliptic equations is that they generalize, and degenerate to, (q-)difference equations (i.e. equivariant sheaves) and differential equations (i.e. D-modules) on the projective line. We discuss this from the elliptic module point of view, which requires studying elliptic modules on singular curves. We study the relation between elliptic modules on singular curves and their normalization. We show that for modules which are flat at the singular points there is an equivalence and we give examples showing that this cannot be improved upon.
△ Less
Submitted 28 September, 2021; v1 submitted 25 November, 2019;
originally announced November 2019.
-
The local information of difference equations
Authors:
Moisés Herradón Cueto
Abstract:
We give a definition for the restriction of a difference module on the affine line to a formal neighborhood of an orbit, trying to mimic the analogous definition and properties for a D-module. We show that this definition is reasonable in two ways. First, we show that specifying a difference module on the affine line is equivalent to giving its restriction to the complement of an orbit, together w…
▽ More
We give a definition for the restriction of a difference module on the affine line to a formal neighborhood of an orbit, trying to mimic the analogous definition and properties for a D-module. We show that this definition is reasonable in two ways. First, we show that specifying a difference module on the affine line is equivalent to giving its restriction to the complement of an orbit, together with its restriction to a neighborhood of an orbit and an isomorphism between the restriction of both to the intersection. We also give a definition for vanishing cycles of a difference module and define a local Mellin transform, which is an equivalence between vanishing cycles of a difference module and nearby cycles of its Mellin transform, a D-module.
△ Less
Submitted 6 December, 2019; v1 submitted 22 March, 2018;
originally announced March 2018.
-
An explicit quasiplatonic curve with non-abelian moduli field
Authors:
Moisés Herradón Cueto
Abstract:
We give an example of a regular dessin d'enfant whose field of moduli is not an abelian extension of the rational numbers, namely it is the field generated by a cubic root of 2. This answers a previous question. We also prove that the underlying curve has non-abelian field of moduli itself, giving an explicit example of a quasiplatonic curve with non-abelian field of moduli. In the last section, w…
▽ More
We give an example of a regular dessin d'enfant whose field of moduli is not an abelian extension of the rational numbers, namely it is the field generated by a cubic root of 2. This answers a previous question. We also prove that the underlying curve has non-abelian field of moduli itself, giving an explicit example of a quasiplatonic curve with non-abelian field of moduli. In the last section, we note that two examples in previous literature can be used to find other examples of regular dessins d'enfants with non-abelian field of moduli.
△ Less
Submitted 20 April, 2016; v1 submitted 18 September, 2015;
originally announced September 2015.
-
The field of moduli and fields of definition of dessins d'enfants
Authors:
Moises Herradon Cueto
Abstract:
We introduce dessins d'enfants from the various existing points of view: As topological covering spaces, as surfaces with triangulations, and as algebraic curves with functions ramified over three points. We prove Belyi's theorem that such curves are defined over number fields, and define the action of the absolute Galois group Gal($\overline Q/Q$) on dessins d'enfants. We prove that several kinds…
▽ More
We introduce dessins d'enfants from the various existing points of view: As topological covering spaces, as surfaces with triangulations, and as algebraic curves with functions ramified over three points. We prove Belyi's theorem that such curves are defined over number fields, and define the action of the absolute Galois group Gal($\overline Q/Q$) on dessins d'enfants. We prove that several kinds of dessins d'enfants are defined over their field of moduli: regular dessins, dessins with no nontrivial automorphisms and dessins with one face. In the last part, we give two examples of regular dessins d'enfants with a field of moduli that is not an abelian extension of Q. Both of the examples have genus 61 and field of moduli Q(2^(1/3)).
△ Less
Submitted 26 September, 2014;
originally announced September 2014.
