-
Milnor number of plane curve singularities in arbitrary characteristic
Authors:
Enrique Artal Bartolo,
Pierrette Cassou-Noguès
Abstract:
Reduced power series in two variables with coefficients in a field of characteristic zero satisfy a well-known formula that relates a codimension related to the normalization of a ring and the jacobian ideal. In the general case Deligne proved that this formula is only an inequality; García Barroso and Płoski stated a conjecture for irreducible power series. In this work we generalize Kouchnirenko…
▽ More
Reduced power series in two variables with coefficients in a field of characteristic zero satisfy a well-known formula that relates a codimension related to the normalization of a ring and the jacobian ideal. In the general case Deligne proved that this formula is only an inequality; García Barroso and Płoski stated a conjecture for irreducible power series. In this work we generalize Kouchnirenko's formula for any degenerated power series and also generalize García Barroso and Płoski's conjecture. We prove the conjecture in some cases using in particular Greuel and Nguyen.
△ Less
Submitted 4 April, 2025; v1 submitted 20 September, 2024;
originally announced September 2024.
-
Decorated trees
Authors:
Pierrette Cassou-Noguès,
Daniel Daigle
Abstract:
We study a class of combinatorial objects that we call "decorated trees". These consist of vertices, arrows and edges, where each edge is decorated by two integers (one near each of its endpoints), each arrow is decorated by an integer, and the decorations are required to satisfy certain conditions. The class of decorated trees includes different types of trees used in algebraic geometry, such as…
▽ More
We study a class of combinatorial objects that we call "decorated trees". These consist of vertices, arrows and edges, where each edge is decorated by two integers (one near each of its endpoints), each arrow is decorated by an integer, and the decorations are required to satisfy certain conditions. The class of decorated trees includes different types of trees used in algebraic geometry, such as the Eisenbud and Neumann diagrams for links of singularities and the Neumann diagrams for links at infinity of algebraic plane curves. By purely combinatorial means, we recover some formulas that were previously understood to be "topological". In this way, we extend the generality of those formulas and show that they are in fact "combinatorial".
△ Less
Submitted 7 October, 2024; v1 submitted 17 September, 2024;
originally announced September 2024.
-
Local motivic invariants of rational functions in two variables
Authors:
Pierrette Cassou-Noguès,
Michel Raibaut
Abstract:
Let $P$ and $Q$ be two polynomials in two variables with coefficients in an algebraic closed field of characteristic zero. We consider the rational function $f=P/Q$. For an indeterminacy point $\text{x}$ of $f$ and a value $c$, we compute the motivic Milnor fiber $S_{f,\text{x}, c}$ in terms of some motives associated to the faces of the Newton polygons appearing in the Newton algorithms of…
▽ More
Let $P$ and $Q$ be two polynomials in two variables with coefficients in an algebraic closed field of characteristic zero. We consider the rational function $f=P/Q$. For an indeterminacy point $\text{x}$ of $f$ and a value $c$, we compute the motivic Milnor fiber $S_{f,\text{x}, c}$ in terms of some motives associated to the faces of the Newton polygons appearing in the Newton algorithms of $P-cQ$ and $Q$ at $\text{x}$, without any condition of non-degeneracy or convenience. In the complex setting, assuming for any $(a,b)\in \mathbb{C}^2$ that $\text{x}$ is a smooth or an isolated critical point of $aP+bQ$, and the curves $P=0$ and $Q=0$ do not have common irreducible component, we prove that the topological bifurcation set $\mathscr{B}_{f,\text{x}}^{\text{top}}$ is equal to the motivic bifurcation set $\mathscr{B}_{f,\text{x}}^{\text{mot}}$ and they are computed from the Newton algorithm.
△ Less
Submitted 18 June, 2025; v1 submitted 14 July, 2024;
originally announced July 2024.
-
Newton transformations and motivic invariants at infinity of plane curves
Authors:
Pierrette Cassou-Noguès,
Michel Raibaut
Abstract:
In this article we give an expression of the motivic Milnor fiber at infinity and the motivic nearby cycles at infinity of a polynomial $f$ in two variables with coefficients in an algebraic closed field of characteristic zero. This expression is given in terms of some motives associated to the faces of the Newton polygons appearing in the Newton algorithm at infinity of $f$ without any condition…
▽ More
In this article we give an expression of the motivic Milnor fiber at infinity and the motivic nearby cycles at infinity of a polynomial $f$ in two variables with coefficients in an algebraic closed field of characteristic zero. This expression is given in terms of some motives associated to the faces of the Newton polygons appearing in the Newton algorithm at infinity of $f$ without any condition of convenience or non degeneracy. In the complex setting, we compute the Euler characteristic of the generic fiber of $f$ in terms of the area of the surfaces associated to faces of the Newton polygons. Furthermore, if $f$ has isolated singularities, we compute similarly the classical invariants at infinity $λ_{c}(f)$ which measures the non equisingularity at infinity of the fibers of $f$ in $\mathbb P^2$, and we prove the equality between the topological and the motivic bifurcation sets and give an algorithm to compute them.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
Field generators in two variables and birational endomorphisms of $\mathbb{A}^2$
Authors:
Pierrette Cassou-Noguès,
Daniel Daigle
Abstract:
This article is a survey of two subjects: the first part is devoted to field generators in two variables, and the second to birational endomorphisms of the affine plane. Each one of these subjects originated in Abhyankar's seminar in Purdue University in the 1970s. Note that the part on field generators is more than a survey, since it contains a considerable amount of new material.
This article is a survey of two subjects: the first part is devoted to field generators in two variables, and the second to birational endomorphisms of the affine plane. Each one of these subjects originated in Abhyankar's seminar in Purdue University in the 1970s. Note that the part on field generators is more than a survey, since it contains a considerable amount of new material.
△ Less
Submitted 20 June, 2019;
originally announced June 2019.
-
Structure of the Newton tree at infinity of a polynomial in two variables
Authors:
Pierrette Cassou-Nogues,
Daniel Daigle
Abstract:
Let $f:\mathbb{C}^2 \to \mathbb{C}$ be a polynomial map. Let $\mathbb{C}^2 \subset X$ be a compactification of $\mathbb{C}^2$ where $X$ is a smooth rational compact surface and such that there exists a morphism of varieties $Φ:X\to \mathbb{P}^1$ which extends $f$. Put $\mathcal{D}=X\setminus \mathbb{C}^2$; $\mathcal{D}$ is a curve whose irreducible components are smooth rational compact curves and…
▽ More
Let $f:\mathbb{C}^2 \to \mathbb{C}$ be a polynomial map. Let $\mathbb{C}^2 \subset X$ be a compactification of $\mathbb{C}^2$ where $X$ is a smooth rational compact surface and such that there exists a morphism of varieties $Φ:X\to \mathbb{P}^1$ which extends $f$. Put $\mathcal{D}=X\setminus \mathbb{C}^2$; $\mathcal{D}$ is a curve whose irreducible components are smooth rational compact curves and all its singularities are ordinary double points. The dual graph of $\mathcal{D}$ is a tree. We are interested in this tree, and we analyse its complexity in terms of the genus of the generic fiber of $f$.
△ Less
Submitted 23 April, 2019; v1 submitted 7 September, 2018;
originally announced September 2018.
-
On the trace forms of Galois algebras
Authors:
Philippe Cassou-Noguès,
Ted Chinburg,
Baptiste Morin,
Martin J. Taylor
Abstract:
We study the trace form $q_L$ of $G$-Galois algebras $L/K$ when $G$ is a finite group and $K$ is a field of characteristic different from $2$. We introduce in this paper the category of $2$-reduced groups and, when $G$ is such a group, we use a formula of Serre to compute the second Hasse-Witt invariant of $q_L$. By combining this computation with work of Quillen we determine the isometry class of…
▽ More
We study the trace form $q_L$ of $G$-Galois algebras $L/K$ when $G$ is a finite group and $K$ is a field of characteristic different from $2$. We introduce in this paper the category of $2$-reduced groups and, when $G$ is such a group, we use a formula of Serre to compute the second Hasse-Witt invariant of $q_L$. By combining this computation with work of Quillen we determine the isometry class of $q_L$ for large families of $G$-Galois algebras over global fields. We also indicate how our results generalize to Galois $G$-covers of schemes.
△ Less
Submitted 17 July, 2017;
originally announced July 2017.
-
Rational polynomials of simple type: a combinatorial proof
Authors:
Pierrette Cassou-Noguès,
Daniel Daigle
Abstract:
We determine the Newton trees of the rational polynomials of simple type, thus filling a gap in the proof of the classification of these polynomials given by Neumann and Norbury.
We determine the Newton trees of the rational polynomials of simple type, thus filling a gap in the proof of the classification of these polynomials given by Neumann and Norbury.
△ Less
Submitted 23 November, 2016;
originally announced November 2016.
-
Bernstein polynomial of 2-Puiseux pairs irreducible plane curve singularities
Authors:
E. Artal Bartolo,
Pi. Cassou-Noguès,
I. Luengo,
A. Melle-Hernández
Abstract:
In 1982, Tamaki Yano proposed a conjecture predicting the set of b-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In \cite{ACLM-Yano2} we proved the conjecture for the case in which the germ has two Puiseux pairs and its algebraic monodromy has distinct eigenvalues. In this article we aim to study the Bernstein polynomial for any function wi…
▽ More
In 1982, Tamaki Yano proposed a conjecture predicting the set of b-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In \cite{ACLM-Yano2} we proved the conjecture for the case in which the germ has two Puiseux pairs and its algebraic monodromy has distinct eigenvalues. In this article we aim to study the Bernstein polynomial for any function with the hypotheses above. In particular the set of all common roots of those Bernstein polynomials is given. We provide also bounds for some analytic invariants of singularities and illustrate the computations in suitable examples.
△ Less
Submitted 3 November, 2016;
originally announced November 2016.
-
Yano's conjecture for 2-Puiseux pair irreducible plane curve singularities
Authors:
E. Artal Bartolo,
P. Cassou-Noguès,
I. Luengo,
A. Melle-Hernández
Abstract:
In 1982, Yano proposed a conjecture predicting the $b$-exponents of an irreducible plane curve singularity which is generic in its equisingularity class. In this article we prove the conjecture for the case of two Puiseux pairs and monodromy with distinct eigenvalues. The hypothesis on the monodromy implies that the $b$-exponents coincide with the opposite of the roots of the Bernstein polynomial,…
▽ More
In 1982, Yano proposed a conjecture predicting the $b$-exponents of an irreducible plane curve singularity which is generic in its equisingularity class. In this article we prove the conjecture for the case of two Puiseux pairs and monodromy with distinct eigenvalues. The hypothesis on the monodromy implies that the $b$-exponents coincide with the opposite of the roots of the Bernstein polynomial, and we compute the roots of the Bernstein polynomial.
△ Less
Submitted 2 November, 2016; v1 submitted 23 February, 2016;
originally announced February 2016.
-
Tannakian twists of quadratic forms and orthogonal Nori motives
Authors:
Philippe Cassou-Noguès,
Baptiste Morin
Abstract:
We revisit classical results of Serre, Fröhlich and Saito in the theory of quadratic forms. Given a neutral Tannakian category $(\mathcal{T},ω)$ over a field $k$ of characteristic $\neq 2$, another fiber functor $η$ over a $k$-scheme $X$ and an orthogonal object $(M,q)$ in $\mathcal{T}$, we show formulas relating the torsor $\bf{Isom}^{\otimes}(ω,η)$ to Hasse-Witt invariants of the quadratic space…
▽ More
We revisit classical results of Serre, Fröhlich and Saito in the theory of quadratic forms. Given a neutral Tannakian category $(\mathcal{T},ω)$ over a field $k$ of characteristic $\neq 2$, another fiber functor $η$ over a $k$-scheme $X$ and an orthogonal object $(M,q)$ in $\mathcal{T}$, we show formulas relating the torsor $\bf{Isom}^{\otimes}(ω,η)$ to Hasse-Witt invariants of the quadratic space $ω(M,q)$ and the symmetric bundle $η(M,q)$. We apply this result to various neutral Tannakian categories arising in different contexts. We first consider Nori's Tannakian category of essentially finite bundles over an integral proper $k$-scheme $X$ with a rational point, in order to study an analogue of the Serre-Fröhlich embedding problem for Nori's fundamental group scheme. Then we consider Fontaine's Tannakian categories of $B$-admissible representations, in order to obtain a generalization of both the classical Serre-Fröhlich formula and Saito's analogous result for Hodge-Tate $p$-adic representations. Finally we consider Nori's category of mixed motives over a number field. These last two examples yield formulas relating the torsor of periods of an orthogonal motive to Hasse-Witt invariants of the associated Betti and de Rham quadratic forms and to Stiefel-Withney invariants of the associated local $l$-adic orthogonal representations. We give some computations for Artin motives and for the motive of a smooth hypersurface.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
-
Galois module structure and Jacobians of Fermat curves
Authors:
Philippe Cassou-Noguès,
Jean Gillibert,
Arnaud Jehanne
Abstract:
The class-invariant homomorphism allows one to measure the Galois module structure of extensions obtained by dividing points on abelian varieties. In this paper, we consider the case when the abelian variety is the Jacobian of a Fermat curve. We give examples of torsion points whose associated Galois structure is trivial, as well as points of infinite order whose associated Galois structure is non…
▽ More
The class-invariant homomorphism allows one to measure the Galois module structure of extensions obtained by dividing points on abelian varieties. In this paper, we consider the case when the abelian variety is the Jacobian of a Fermat curve. We give examples of torsion points whose associated Galois structure is trivial, as well as points of infinite order whose associated Galois structure is non-trivial.
△ Less
Submitted 16 April, 2014;
originally announced April 2014.
-
The Newton tree: geometric interpretation and applications to the motivic zeta function and the log canonical threshold
Authors:
Pierrette Cassou-Noguès,
Willem Veys
Abstract:
Let I be an arbitrary ideal in C[[x,y]]. We use the Newton algorithm to compute by induction the motivic zeta function of the ideal, yielding only few poles, associated to the faces of the successive Newton polygons. We associate a minimal Newton tree to I, related to using good coordinates in the Newton algorithm, and show that it has a conceptual geometric interpretation in terms of the log cano…
▽ More
Let I be an arbitrary ideal in C[[x,y]]. We use the Newton algorithm to compute by induction the motivic zeta function of the ideal, yielding only few poles, associated to the faces of the successive Newton polygons. We associate a minimal Newton tree to I, related to using good coordinates in the Newton algorithm, and show that it has a conceptual geometric interpretation in terms of the log canonical model of I. We also compute the log canonical threshold from a Newton polygon and strengthen Corti's inequalities.
△ Less
Submitted 30 October, 2013;
originally announced October 2013.
-
Very good and very bad field generators
Authors:
Pierrette Cassou-Noguès,
Daniel Daigle
Abstract:
Let k be a field. A "field generator" is a polynomial F in k[X,Y] satisfying k(F,G) = k(X,Y) for some G in k(X,Y). If G can be chosen in k[X,Y], we call F a "good field generator"; otherwise, F is a "bad field generator". These notions were first studied by Abhyankar, Jan and Russell in the 1970s. The present paper introduces and studies the notions of "very good" and "very bad" field generators.…
▽ More
Let k be a field. A "field generator" is a polynomial F in k[X,Y] satisfying k(F,G) = k(X,Y) for some G in k(X,Y). If G can be chosen in k[X,Y], we call F a "good field generator"; otherwise, F is a "bad field generator". These notions were first studied by Abhyankar, Jan and Russell in the 1970s. The present paper introduces and studies the notions of "very good" and "very bad" field generators. We give theoretical results as well as new examples of bad and very bad field generators.
△ Less
Submitted 1 August, 2013;
originally announced August 2013.
-
Compositions of birational endomorphisms of the affine plane
Authors:
Pierrette Cassou-Noguès,
Daniel Daigle
Abstract:
Let A^2 denote the affine plane over an algebraically closed field of arbitrary characteristic. Besides contributing several new results in the general theory of birational endomorphisms of A^2, this article describes certain classes of birational endomorphisms f defined by requiring that the missing curves or contracting curves of f are lines. The last part of the article is concerned with the mo…
▽ More
Let A^2 denote the affine plane over an algebraically closed field of arbitrary characteristic. Besides contributing several new results in the general theory of birational endomorphisms of A^2, this article describes certain classes of birational endomorphisms f defined by requiring that the missing curves or contracting curves of f are lines. The last part of the article is concerned with the monoid structure of the set of birational endomorphisms of A^2.
△ Less
Submitted 12 November, 2013; v1 submitted 15 July, 2013;
originally announced July 2013.
-
Derived category invariants and L-series
Authors:
Philippe Cassou-Noguès,
Ted Chinburg,
Boas Erez,
Martin. J. Taylor
Abstract:
We relate invariants in derived categories associated to tame actions of finite groups on projective varieties over a finite field to zeros of L-functions
We relate invariants in derived categories associated to tame actions of finite groups on projective varieties over a finite field to zeros of L-functions
△ Less
Submitted 31 January, 2013;
originally announced January 2013.
-
The classifying topos of a group scheme and invariants of symmetric bundles
Authors:
Philippe Cassou-Noguès,
Ted Chinburg,
Baptiste Morin,
Martin J. Taylor
Abstract:
Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group ${\bf O}(q)$ of the form $q$ is a group scheme over $Y$ whose cohomology ring $H^*(B_{{\bf O}(q)},{\bf Z}/2{\bf Z})\simeq A_Y[HW_1(q),..., HW_n(q)]$ is a polynomial algebra over the étale cohomology ring…
▽ More
Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group ${\bf O}(q)$ of the form $q$ is a group scheme over $Y$ whose cohomology ring $H^*(B_{{\bf O}(q)},{\bf Z}/2{\bf Z})\simeq A_Y[HW_1(q),..., HW_n(q)]$ is a polynomial algebra over the étale cohomology ring $A_Y:=H^*(Y_{et},{\bf Z}/2{\bf Z})$ of the scheme $Y$. Here the $HW_i(q)$'s are Jardine's universal Hasse-Witt invariants and $B_{{\bf O}(q)}$ is the classifying topos of ${\bf O}(q)$ as defined by Grothendieck and Giraud. The cohomology ring $H^*(B_{{\bf O}(q)},{\bf Z}/2{\bf Z})$ contains canonical classes $\mathrm{det}[q]$ and $[C_q]$ of degree 1 and 2 respectively, which are obtained from the determinant map and the Clifford group of $q$. The classical Hasse-Witt invariants $w_i(q)$ live in the ring $A_Y$.
Our main theorem provides a computation of ${det}[q]$ and $[C_{q}]$ as polynomials in $HW_{1}(q)$ and $HW_{2}(q)$ with coefficients in $A_Y$ written in terms of $w_1(q),w_2(q)\in A_Y$. This result is the source of numerous standard comparison formulas for classical Hasses-Witt invariants of quadratic forms. Our proof is based on computations with (abelian and non-abelian) Cech cocycles in the topos $B_{{\bf O}(q)}$. This requires a general study of the cohomology of the classifying topos of a group scheme, which we carry out in the first part of this paper.
△ Less
Submitted 21 January, 2013;
originally announced January 2013.
-
Invariants of plane curve singularities and Newton diagrams
Authors:
Pierrette Cassou-Noguès,
Arkadiusz Płoski
Abstract:
We present an intersection-theoretical approach to the invariants of plane curve singularities $μ$, $δ$, $r$ related by the Milnor formula $2δ=μ+r-1$. Using Newton transformations we give formulae for $μ$, $δ$, $r$ which imply planar versions of well-known theorems on nondegenerate singularities.
We present an intersection-theoretical approach to the invariants of plane curve singularities $μ$, $δ$, $r$ related by the Milnor formula $2δ=μ+r-1$. Using Newton transformations we give formulae for $μ$, $δ$, $r$ which imply planar versions of well-known theorems on nondegenerate singularities.
△ Less
Submitted 6 July, 2012;
originally announced July 2012.
-
Quasi-ordinary singularities and Newton trees
Authors:
E. Artal Bartolo,
Pi. Cassou-Noguès,
I. Luengo,
A. Melle-Hernández
Abstract:
In this paper we study some properties of the class of nu-quasi-ordinary hypersurface singularities. They are defined by a very mild condition on its (projected) Newton polygon. We associate with them a Newton tree and characterize quasi-ordinary hypersurface singularities among nu-quasi-ordinary hypersurface singularities in terms of their Newton tree. A formula to compute the discriminant of a q…
▽ More
In this paper we study some properties of the class of nu-quasi-ordinary hypersurface singularities. They are defined by a very mild condition on its (projected) Newton polygon. We associate with them a Newton tree and characterize quasi-ordinary hypersurface singularities among nu-quasi-ordinary hypersurface singularities in terms of their Newton tree. A formula to compute the discriminant of a quasi-ordinary Weierstrass polynomial in terms of the decorations of its Newton tree is given. This allows to compute the discriminant avoiding the use of determinants and even for non Weierstrass prepared polynomials. This is important for applications like algorithmic resolutions. We compare the Newton tree of a quasi-ordinary singularity and those of its curve transversal sections. We show that the Newton trees of the transversal sections do not give the tree of the quasi-ordinary singularity in general. It does if we know that the Newton tree of the quasi-ordinary singularity has only one arrow.
△ Less
Submitted 8 March, 2012;
originally announced March 2012.
-
Newton trees for ideals in two variables and applications
Authors:
Pierrette Cassou-Noguès,
Willem Veys
Abstract:
We introduce an efficient way, called Newton algorithm, to study arbitrary ideals in C[[x,y]], using a finite succession of Newton polygons. We codify most of the data of the algorithm in a useful combinatorial object, the Newton tree. For instance when the ideal is of finite codimension, invariants like integral closure and Hilbert-Samuel multiplicity were already combinatorially determined in th…
▽ More
We introduce an efficient way, called Newton algorithm, to study arbitrary ideals in C[[x,y]], using a finite succession of Newton polygons. We codify most of the data of the algorithm in a useful combinatorial object, the Newton tree. For instance when the ideal is of finite codimension, invariants like integral closure and Hilbert-Samuel multiplicity were already combinatorially determined in the very special cases of monomial or non degenerate ideals, using the Newton polygon of the ideal. With our approach, we can generalize these results to arbitrary ideals. In particular the Rees valuations of the ideal will correspond to the so-called dicritical vertices of the tree, and its Hilbert-Samuel multiplicity has a nice and easily computable description in terms of the tree.
△ Less
Submitted 2 January, 2012;
originally announced January 2012.
-
Orthogonal representations of affine group schemes and twists of symmetric bundles
Authors:
Philippe Cassou-Noguès,
Ted Chinburg,
Baptiste Morin,
Martin Taylor
Abstract:
Following Serre's initial work, a number of authors have considered twists of quadratic forms on a scheme Y by torsors of a finite group G, together with formulas for the Hasse-Witt invariants of the twisted form. In this paper we take the base scheme Y to be affine and consider non-constant groups schemes G. There is a fundamental new feature in this case - in that the torsor may now be ramified…
▽ More
Following Serre's initial work, a number of authors have considered twists of quadratic forms on a scheme Y by torsors of a finite group G, together with formulas for the Hasse-Witt invariants of the twisted form. In this paper we take the base scheme Y to be affine and consider non-constant groups schemes G. There is a fundamental new feature in this case - in that the torsor may now be ramified over Y. The natural framework for handling the case of a non-constant group scheme over the affine base is provided by the quadratic theory of Hopf-algebras.
△ Less
Submitted 7 November, 2011;
originally announced November 2011.
-
Equivariant Euler characteristics and sheaf resolvents
Authors:
Ph. Cassou-Nogu`es,
M. J. Taylor
Abstract:
For certain tame abelian covers of arithmetic surfaces X/Y we obtain striking formulas, involving a quadratic form derived from intersection numbers, for the equivariant Euler characteristics of both the canonical sheaf !X/Y and also its square root !1/2 X/Y . These formulas allow us us to carry out explicit calculations; in particular, we are able to exhibit examples where these two Euler charact…
▽ More
For certain tame abelian covers of arithmetic surfaces X/Y we obtain striking formulas, involving a quadratic form derived from intersection numbers, for the equivariant Euler characteristics of both the canonical sheaf !X/Y and also its square root !1/2 X/Y . These formulas allow us us to carry out explicit calculations; in particular, we are able to exhibit examples where these two Euler characteristics and that of the the structure sheaf of X are all different and non-trivial. Our results are obtained by using resolvent techniques together with the local Riemann-Roch approach developed in [CPT].
△ Less
Submitted 2 September, 2010;
originally announced September 2010.
-
Multivariable Hodge theoretical invariants of germs of plane curves
Authors:
Pierrette Cassou-Nogues,
Anatoly Libgober
Abstract:
We describe methods for calculation of polytopes of quasiadjunction for plane curve singularities which are invariants giving a Hodge theoretical refinement of the zero sets of multivariable Alexander polynomials. In particular we identify some hyperplanes on which all polynomials in multivariable Bernstein ideal vanish.
We describe methods for calculation of polytopes of quasiadjunction for plane curve singularities which are invariants giving a Hodge theoretical refinement of the zero sets of multivariable Alexander polynomials. In particular we identify some hyperplanes on which all polynomials in multivariable Bernstein ideal vanish.
△ Less
Submitted 6 April, 2009;
originally announced April 2009.
-
Twists of symmetric bundles
Authors:
Ph. Cassou-Nogues,
B. Erez,
M. J. Taylor
Abstract:
We establish comparison results between the Hasse-Witt invariants w_t(E) of a symmetric bundle E over a scheme and the invariants of one of its twists E_α. For general twists we describe the difference between w_t(E) and w_t(E_α) up to terms of degree 3. Next we consider a special kind of twist, which has been studied by A. Fröhlich. This arises from twisting by a cocycle obtained from an orthog…
▽ More
We establish comparison results between the Hasse-Witt invariants w_t(E) of a symmetric bundle E over a scheme and the invariants of one of its twists E_α. For general twists we describe the difference between w_t(E) and w_t(E_α) up to terms of degree 3. Next we consider a special kind of twist, which has been studied by A. Fröhlich. This arises from twisting by a cocycle obtained from an orthogonal representation. We show how to explicitly describe the twist for representations arising from very general tame actions. This involves the ``square root of the inverse different'' which Serre, Esnault, Kahn, Viehweg and ourselves had studied before. For torsors we show that, in our geometric set-up, Jardine's generalization of Frohlich's formula holds. The case of genuinely tamely ramified actions is geometrically more involved and leads us to introduce a ramification invariant which generalises in higher dimension the invariant introduced by Serre for curves.
△ Less
Submitted 11 April, 2004;
originally announced April 2004.
-
Quasi-ordinary power series and their zeta functions
Authors:
E. Artal Bartolo,
Pi. Cassou-Noguès,
I. Luengo,
A. Melle Hernández
Abstract:
The main objective of this paper is to prove the monodromy conjecture for the local Igusa zeta function of a quasi-ordinary polynomial of arbitrary dimension defined over a number field. In order to do it, we compute the local Denef-Loeser motivic zeta function $Z_{\text{DL}}(h,T)$ of a quasi-ordinary power series $h$ of arbitrary dimension over an algebraically closed field of characteristic ze…
▽ More
The main objective of this paper is to prove the monodromy conjecture for the local Igusa zeta function of a quasi-ordinary polynomial of arbitrary dimension defined over a number field. In order to do it, we compute the local Denef-Loeser motivic zeta function $Z_{\text{DL}}(h,T)$ of a quasi-ordinary power series $h$ of arbitrary dimension over an algebraically closed field of characteristic zero from its characteristic exponents without using embedded resolution of singularities. This allows us to effectively represent $Z_{\text{DL}}(h,T)=P(T)/Q(T)$ such that almost all the candidate poles given by $Q(T)$ are poles. Anyway, these candidate poles give eigenvalues of the monodromy action of the complex of nearby cycles on $h^{-1}(0).$ In particular we prove in this case the monodromy conjecture made by Denef-Loeser for the local motivic zeta function and the local topological zeta function. As a consequence, if $h$ is a quasi-ordinary polynomial defined over a number field we prove the Igusa monodromy conjecture for its local Igusa zeta function.
△ Less
Submitted 17 June, 2003;
originally announced June 2003.
