-
A Galois structure on the orbit of large steps walks in the quadrant
Authors:
Pierre Bonnet,
Charlotte Hardouin
Abstract:
The enumeration of weighted walks in the quarter plane reduces to studying a functional equation with two catalytic variables. When the steps of the walk are small, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be crucial in the classification of the small steps models. In particular, its action on the catalytic variables provides a convenient set of ch…
▽ More
The enumeration of weighted walks in the quarter plane reduces to studying a functional equation with two catalytic variables. When the steps of the walk are small, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be crucial in the classification of the small steps models. In particular, its action on the catalytic variables provides a convenient set of changes of variables in the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer (BBMM). However, the orbit had till now no underlying group.
In this article, we endow the orbit with the action of a Galois group, which extends the notion of the group of the walk to models with large steps. As an application, we look into a general strategy to prove the algebraicity of models with small backwards steps, which uses the fundamental objects that are invariants and decoupling. The group action on the orbit allows us to develop a Galoisian approach to these two notions. Up to the knowledge of the finiteness of the orbit, this gives systematic procedures to test their existence and construct them. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of BBMM, and allowing to find new algebraic models with large steps.
△ Less
Submitted 17 September, 2024;
originally announced September 2024.
-
Galoisian structure of large steps walks in the quadrant
Authors:
Pierre Bonnet,
Charlotte Hardouin
Abstract:
The enumeration of walks in the quarter plane confined in the first quadrant has attracted a lot of attention over the past fifteenth years. The generating functions associated to small steps models satisfy a functional equation in two catalytic variables. For such models, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be central in the classification of…
▽ More
The enumeration of walks in the quarter plane confined in the first quadrant has attracted a lot of attention over the past fifteenth years. The generating functions associated to small steps models satisfy a functional equation in two catalytic variables. For such models, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be central in the classification of small steps models. In particular, its action on the catalytic variables yields a set of change of variables compatible with the structure of the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer. However, the orbit had till now no underlying group.
In this article, we endow the orbit with the action of a Galois group, which extends the group of the walk to models with large steps. Within this Galoisian framework, we generalized the notions of invariants and decoupling. This enable us to develop a general strategy to prove the algebraicity of models with small backward steps. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of Bostan, Bousquet-Mélou and Melczer, and allowing us to find new algebraic models with large steps.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Relations between the leading terms of a polynomial automorphism
Authors:
Philippe Bonnet,
Stéphane Vénéreau
Abstract:
Let $I$ be the ideal of relations between the leading terms of the polynomials defining an automorphism of $K^n$. In this paper, we prove the existence of a locally nilpotent derivation which preserves $I$. Moreover, if $I$ is principal, i.e. $I=(R)$, we compute an upper bound for $°_2(R)$ for some degree function $°_2$ defined by the automorphism. As applications, we determine all the principal…
▽ More
Let $I$ be the ideal of relations between the leading terms of the polynomials defining an automorphism of $K^n$. In this paper, we prove the existence of a locally nilpotent derivation which preserves $I$. Moreover, if $I$ is principal, i.e. $I=(R)$, we compute an upper bound for $°_2(R)$ for some degree function $°_2$ defined by the automorphism. As applications, we determine all the principal ideals of relations for automorphisms of $K^3$ and deduce two elementary proofs of the Jung-van der Kulk Theorem about the tameness of automorphisms of $K^{2}$.
△ Less
Submitted 13 August, 2008;
originally announced August 2008.
-
On algebraic automorphisms and their rational invariants
Authors:
Philippe Bonnet
Abstract:
Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism F, we denote by k(X)^F its field of invariants, i.e. the set of rational functions f on X such that f(F)=f. Let n(F) be the transcendence degree of k(X)^F over k. In this paper, we study the class of automorphisms F of X for which n(F)= dim X - 1. More precisely, we show that…
▽ More
Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism F, we denote by k(X)^F its field of invariants, i.e. the set of rational functions f on X such that f(F)=f. Let n(F) be the transcendence degree of k(X)^F over k. In this paper, we study the class of automorphisms F of X for which n(F)= dim X - 1. More precisely, we show that under some conditions on X, every such automorphism is of the form F=A_g, where A is an algebraic action of a linear algebraic group G of dimension 1 on X, and where g belongs to G. As an application, we determine the conjugacy classes of automorphisms of the plane for which n(F)=1.
△ Less
Submitted 12 April, 2007;
originally announced April 2007.
-
Group actions, $k$-derivations and finite morphisms
Authors:
Philippe Bonnet
Abstract:
Let $G$ be an affine algebraic group over an algebraically closed field $k$ of characteristic zero. In this paper, we consider finite $G$-equivariant morphisms $F:X\to Y$ of irreducible affine $G$-varieties. First we determine under which conditions on $Y$ the induced map $F^G:X//G\to Y//G$ of quotient varieties is also finite. This result is reformulated in terms of kernels of derivations on…
▽ More
Let $G$ be an affine algebraic group over an algebraically closed field $k$ of characteristic zero. In this paper, we consider finite $G$-equivariant morphisms $F:X\to Y$ of irreducible affine $G$-varieties. First we determine under which conditions on $Y$ the induced map $F^G:X//G\to Y//G$ of quotient varieties is also finite. This result is reformulated in terms of kernels of derivations on $k$-algebras $A\subset B$ such that $B$ is integral over $A$. Second we construct explicitly two examples of finite $G$-equivariant maps $F$. In the first one, $F^G$ is quasifinite but not finite. In the second one, $F^G$ is not even quasifinite.
△ Less
Submitted 6 April, 2006;
originally announced April 2006.
-
Invariant hypersurfaces for derivations in positive characteristic
Authors:
Philippe Bonnet
Abstract:
Let $A$ be an integral $k$-algebra of finite type over an algebraically closed field $k$ of characteristic $p>0$. Given a collection ${\cal{D}}$ of $k$-derivations on $A$, that we interpret as algebraic vector fields on $X=Spec(A)$, we study the group spanned by the hypersurfaces $V(f)$ of $X$ invariant for ${\cal{D}}$ modulo the rational first integrals of ${\cal{D}}$. We prove that this group…
▽ More
Let $A$ be an integral $k$-algebra of finite type over an algebraically closed field $k$ of characteristic $p>0$. Given a collection ${\cal{D}}$ of $k$-derivations on $A$, that we interpret as algebraic vector fields on $X=Spec(A)$, we study the group spanned by the hypersurfaces $V(f)$ of $X$ invariant for ${\cal{D}}$ modulo the rational first integrals of ${\cal{D}}$. We prove that this group is always a finite $\mathbb{Z}/p$-vector space, and we give an estimate for its dimension. This is to be related to the results of Jouanolou and others on the number of hypersurfaces invariant for a foliation of codimension 1. As an application, given a $k$-algebra $B$ between $A^p$ and $A$, we show that the kernel of the pull-back morphism $Pic(B)\rightarrow Pic(A)$ is a finite $\mathbb{Z}/p$-vector space. In particular, if $A$ is a UFD, then the Picard group of $B$ is finite.
△ Less
Submitted 15 February, 2006;
originally announced February 2006.
-
Cohomology of regular differential forms for affine curves
Authors:
Philippe Bonnet
Abstract:
Let $C$ be a complex affine reduced curve, and denote by $H^1(C)$ its first truncated cohomology group, i.e. the quotient of all regular differential 1-forms by exact 1-forms. First we introduce a nonnegative invariant $μ'(C,x)$ that measures the complexity of the singularity of $C$ at the point $x$. Then, if $H_1(C)$ denotes the first singular homology group of $C$ with complex coefficients, we…
▽ More
Let $C$ be a complex affine reduced curve, and denote by $H^1(C)$ its first truncated cohomology group, i.e. the quotient of all regular differential 1-forms by exact 1-forms. First we introduce a nonnegative invariant $μ'(C,x)$ that measures the complexity of the singularity of $C$ at the point $x$. Then, if $H_1(C)$ denotes the first singular homology group of $C$ with complex coefficients, we establish the following formula: $$ dim H^1(C)=dim H_1(C) + \sum_{x\in C} μ'(C,x) $$ Second we consider a family of curves given by the fibres of a dominant morphism $f:X\to \mathbb{C}$, where $X$ is an irreducible complex affine surface. We analyze the behaviour of the function $y\mapsto dim H^1(f^{-1}(y))$. More precisely, we show that it is constant on a Zariski open set, and that it is lower semi-continuous in general.
△ Less
Submitted 13 February, 2006;
originally announced February 2006.
-
Minimal invariant varieties and first integrals for algebraic foliations
Authors:
Philippe Bonnet
Abstract:
Let $X$ be an irreducible algebraic variety over $\mathbb{C}$, endowed with an algebraic foliation ${\cal{F}}$. In this paper, we introduce the notion of minimal invariant variety $V({\cal{F}},Y)$ with respect to $({\cal{F}},Y)$, where $Y$ is a subvariety of $X$. If $Y=\{x\}$ is a smooth point where the foliation is regular, its minimal invariant variety is simply the Zariski closure of the leaf…
▽ More
Let $X$ be an irreducible algebraic variety over $\mathbb{C}$, endowed with an algebraic foliation ${\cal{F}}$. In this paper, we introduce the notion of minimal invariant variety $V({\cal{F}},Y)$ with respect to $({\cal{F}},Y)$, where $Y$ is a subvariety of $X$. If $Y=\{x\}$ is a smooth point where the foliation is regular, its minimal invariant variety is simply the Zariski closure of the leaf passing through $x$. First we prove that for very generic $x$, the varieties $V({\cal{F}},x)$ have the same dimension $p$. Second we generalize a result due to X. Gomez-Mont. More precisely, we prove the existence of a dominant rational map $F:X\to Z$, where $Z$ has dimension $(n-p)$, such that for every very generic $x$, the Zariski closure of $F^{-1}(F(x))$ is one and only one minimal invariant variety of a point. We end up with an example illustrating both results.
△ Less
Submitted 13 February, 2006;
originally announced February 2006.
-
Relative cohomology of polynomial mappings
Authors:
Philippe Bonnet
Abstract:
Let $F$ be a polynomial mappping from $\mathbb{C}^n$ to $\mathbb{C}^q$ with $n>q$. We study the De Rham cohomology of its fibres and its relative cohomology groups, by introducing a special fibre $F^{-1}(\infty)$ "at infinity" and its cohomology. Let us fix a weighted homogeneous degree on $\mathbb{C}[x_1,...,x_n]$ with strictly positive weights. The fibre at infinity is the zero set of the lead…
▽ More
Let $F$ be a polynomial mappping from $\mathbb{C}^n$ to $\mathbb{C}^q$ with $n>q$. We study the De Rham cohomology of its fibres and its relative cohomology groups, by introducing a special fibre $F^{-1}(\infty)$ "at infinity" and its cohomology. Let us fix a weighted homogeneous degree on $\mathbb{C}[x_1,...,x_n]$ with strictly positive weights. The fibre at infinity is the zero set of the leading terms of the coordinate functions of $F$. We introduce the cohomology groups $H^k(F^{-1}(\infty))$ of $F$ at infinity. These groups enable us to compute all the other cohomology groups of $F$. For instance, if the fibre at infinity has an isolated singularity at the origin, we prove that every weighted homogeneous basis of $H^{n-q}(F^{-1}(\infty))$ is a basis of all the groups $H^{n-q}(F^{-1}(y))$ and also a basis a the $(n-q)^{th}$ relative cohomology group of $F$. Moreover the dimension of $H^{n-q}(F^{-1}(\infty))$ is given by a global Milnor number of $F$, which only depends on the leading terms of the coordinate functions of $F$.
△ Less
Submitted 13 February, 2006;
originally announced February 2006.
-
Surjectivity of quotient maps for algebraic $(\mathbb{C},+)$-actions and polynomial maps with contractible fibres
Authors:
Philippe Bonnet
Abstract:
In this paper, we establish two results concerning algebraic $(\mathbb{C},+)$-actions on $\mathbb{C}^n$. First let $φ$ be an algebraic $(\mathbb{C},+)$-action on $\mathbb{C}^3$. By a result of Miyanishi, its ring of invariants is isomorphic to $\mathbb{C}[t_1,t_2]$. If $f_1,f_2$ generate this ring, the quotient map of $φ$ is the map $F:\mathbb{C}^3\to \mathbb{C}^2$, $x\mapsto (f_1(x),f_2(x))$. B…
▽ More
In this paper, we establish two results concerning algebraic $(\mathbb{C},+)$-actions on $\mathbb{C}^n$. First let $φ$ be an algebraic $(\mathbb{C},+)$-action on $\mathbb{C}^3$. By a result of Miyanishi, its ring of invariants is isomorphic to $\mathbb{C}[t_1,t_2]$. If $f_1,f_2$ generate this ring, the quotient map of $φ$ is the map $F:\mathbb{C}^3\to \mathbb{C}^2$, $x\mapsto (f_1(x),f_2(x))$. By using some topological arguments, we prove that $F$ is always surjective. Second, we are interested in dominant polynomial maps $F:\mathbb{C}^n\to \mathbb{C}^{n-1}$ whose connected components of their connected fibres are contractible. For such maps, we prove the existence of an algebraic $(\mathbb{C},+)$-action $φ$ on $\mathbb{C}^n$ for which $F$ is invariant. Moreover we give some conditions so that $F^*(\mathbb{C}[t_1,...,t_{n-1}])$ is the ring of invariants of $φ$.
△ Less
Submitted 10 February, 2006;
originally announced February 2006.
-
Relative exactness modulo a polynomial map and algebraic $(\mathbb{C}^p,+)$-actions
Authors:
Philippe Bonnet
Abstract:
Let $F=(f_1,...,f_q)$ be a polynomial dominating map from $\mathbb{C}^n$ to $\mathbb{C}^q$. We study the quotient ${\cal{T}}^1(F)$ of polynomial 1-forms that are exact along the fibres of $F$, by 1-forms of type $dR+\sum a_idf_i$, where $R,a_1,...,a_q$ are polynomials. We prove that ${\cal{T}}^1(F)$ is always a torsion $\mathbb{C}[t_1,...,t_q]$-module. The we determine under which conditions on…
▽ More
Let $F=(f_1,...,f_q)$ be a polynomial dominating map from $\mathbb{C}^n$ to $\mathbb{C}^q$. We study the quotient ${\cal{T}}^1(F)$ of polynomial 1-forms that are exact along the fibres of $F$, by 1-forms of type $dR+\sum a_idf_i$, where $R,a_1,...,a_q$ are polynomials. We prove that ${\cal{T}}^1(F)$ is always a torsion $\mathbb{C}[t_1,...,t_q]$-module. The we determine under which conditions on $F$ we have ${\cal{T}}^1(F)=0$. As an application, we study the behaviour of a class of algebraic $(\mathbb{C}^p,+)$-actions on $\mathbb{C}^n$, and determine in particular when these actions are trivial.
△ Less
Submitted 10 February, 2006;
originally announced February 2006.
-
Families of k-derivations on k-algebras
Authors:
Philippe Bonnet
Abstract:
Let $A$ be an integral $k$-algebra of finite type over a field $k$ of characteristic zero. Let ${\cal{F}}$ be a family of $k$-derivations on $A$ and $M_{\cal{F}}$ the $A$-module spanned by ${\cal{F}}$. In this paper, we generalize a result due to A. Nowicki and construct an element $\partial$ of $M_{\cal{F}}$ such that $\ker \partial=\cap_{d\in {\cal{F}}} \ker d$. Such a derivation is called…
▽ More
Let $A$ be an integral $k$-algebra of finite type over a field $k$ of characteristic zero. Let ${\cal{F}}$ be a family of $k$-derivations on $A$ and $M_{\cal{F}}$ the $A$-module spanned by ${\cal{F}}$. In this paper, we generalize a result due to A. Nowicki and construct an element $\partial$ of $M_{\cal{F}}$ such that $\ker \partial=\cap_{d\in {\cal{F}}} \ker d$. Such a derivation is called ${\cal{F}}$-minimal. Then we establish a density theorem for ${\cal{F}}$-minimal derivations in $M_{\cal{F}}$.
△ Less
Submitted 10 February, 2006;
originally announced February 2006.
