Showing 1–38 of 38 results for author: Valqui, C

Cohomology of Linear Cycle Sets when the adjoint group is finite abelian

Authors: Jorge Guccione, Juan José Guccione, Christian Valqui

Abstract: This paper analyzes the second cohomology group of a linear cycle set with coefficients in an abelian group I, for linear cycle sets with commutative adjoint operation, focusing on the finite abelian case. It aims to classify extensions of such structures through cohomological methods. Techniques are developed to systematically construct explicitly 2-cocycles. Finally, some illustrative examples a… ▽ More This paper analyzes the second cohomology group of a linear cycle set with coefficients in an abelian group I, for linear cycle sets with commutative adjoint operation, focusing on the finite abelian case. It aims to classify extensions of such structures through cohomological methods. Techniques are developed to systematically construct explicitly 2-cocycles. Finally, some illustrative examples are explored to validate the theoretical framework. △ Less

Submitted 14 June, 2025; originally announced June 2025.

The Groebner basis and solution set of a polynomial system related to the Jacobian conjecture

Authors: Valeria Ramirez, Christian Valqui

Abstract: We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture, and describe completely the solution set. We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture, and describe completely the solution set. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Extensions of a family of Linear Cycle Sets

Authors: Jorge Guccione, Juan José Guccione, Christian Valqui

Abstract: This paper explores the cohomology of linear cycle sets, focusing on extensions of a specific linear cycle set H by an abelian group I. We derive explicit formulas for the second cohomology group, which classifies these extensions, and establish conditions under which the extensions are fully determined. Key results include a characterization of extensions when I lies in the socle of the extended… ▽ More This paper explores the cohomology of linear cycle sets, focusing on extensions of a specific linear cycle set H by an abelian group I. We derive explicit formulas for the second cohomology group, which classifies these extensions, and establish conditions under which the extensions are fully determined. Key results include a characterization of extensions when I lies in the socle of the extended structure and H is trivial, and the construction of explicit examples for both trivial and non-trivial cases. The paper provides a systematic approach to understanding the structure of these extensions, with applications to various families of abelian groups. △ Less

Submitted 13 January, 2025; originally announced January 2025.

MSC Class: 55N35; 20E22; 16T25

Hopf q-braces structures on rank one pointed Hopf algebras

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: In this paper we determine all the Hopf q-brace structures on rank one pointed Hopf algebras and compute the socle of each one of them. We also identify which among them are Hopf skew-braces. Then we determine when two Hopf q-brace structures on rank one pointed Hopf algebras are isomorphic, and, finally, we compute all the weak braiding operators on these Hopf algebras. In this paper we determine all the Hopf q-brace structures on rank one pointed Hopf algebras and compute the socle of each one of them. We also identify which among them are Hopf skew-braces. Then we determine when two Hopf q-brace structures on rank one pointed Hopf algebras are isomorphic, and, finally, we compute all the weak braiding operators on these Hopf algebras. △ Less

Submitted 7 August, 2024; originally announced August 2024.

Comments: 14 pages

MSC Class: 16T25 (Primary) 16t05 (Secondary)

Number of homogeneous components of counterexamples to the Dixmier conjecture

Authors: Jorge Guccione, Juan Jose Guccione, Christian Valqui

Abstract: Assume that $P$ and $Q$ are elements of $A_1$ satisfying $[P,Q] = 1$. The Dixmier Conjecture for $A_1$ says that they always generate $A_1$. We show that if $P$ is a sum of not more than~$4$ homogeneous elements of $A_1$ then $P$ and $Q$ generate $A_1$, which generalizes the main result in arXiv:2210.00257. Assume that $P$ and $Q$ are elements of $A_1$ satisfying $[P,Q] = 1$. The Dixmier Conjecture for $A_1$ says that they always generate $A_1$. We show that if $P$ is a sum of not more than~$4$ homogeneous elements of $A_1$ then $P$ and $Q$ generate $A_1$, which generalizes the main result in arXiv:2210.00257. △ Less

Submitted 16 February, 2024; originally announced February 2024.

MSC Class: 16W20; 16S32; 16W50

On two conjectures about the intersection of longest paths and cycles

Authors: Juan Gutiérrez, Christian Valqui

Abstract: A conjecture attributed to Smith states that every pair of longest cycles in a $k$-connected graph intersect each other in at least $k$ vertices. In this paper, we show that every pair of longest cycles in a~$k$-connected graph on $n$ vertices intersect each other in at least~$\min\{n,8k-n-16\}$ vertices, which confirms Smith's conjecture when $k\geq (n+16)/7$. An analog conjecture for paths inste… ▽ More A conjecture attributed to Smith states that every pair of longest cycles in a $k$-connected graph intersect each other in at least $k$ vertices. In this paper, we show that every pair of longest cycles in a~$k$-connected graph on $n$ vertices intersect each other in at least~$\min\{n,8k-n-16\}$ vertices, which confirms Smith's conjecture when $k\geq (n+16)/7$. An analog conjecture for paths instead of cycles was stated by Hippchen. By a simple reduction, we relate both conjectures, showing that Hippchen's conjecture is valid when either $k \leq 6$ or $k \geq (n+9)/7$. △ Less

Submitted 5 October, 2023; originally announced October 2023.

MSC Class: 05C38 ACM Class: G.2.2

Increasing the degree of a possible counterexample to the Jacobian Conjecture from 100 to 108

Authors: Jorge Alberto Guccione, Juan José Guccione, Rodrigo Horruitiner, Christian Valqui

Abstract: We list all the pairs $(deg(P),deg(Q))$ with $\max\{deg(P),deg(Q)\}< 125$ for any hypothetical counterexample to the plane Jacobian Conjecture and discard them all, except the pair $(72,108)$ (and the symmetric pair $(108,72)$), thus we confirm the lower bound of 100 obtained by Moh and raise it up to 108. We list all the pairs $(deg(P),deg(Q))$ with $\max\{deg(P),deg(Q)\}< 125$ for any hypothetical counterexample to the plane Jacobian Conjecture and discard them all, except the pair $(72,108)$ (and the symmetric pair $(108,72)$), thus we confirm the lower bound of 100 obtained by Moh and raise it up to 108. △ Less

Submitted 29 April, 2022; originally announced April 2022.

Comments: 25 pages, 11 figures

Extensions of Linear Cycle Sets

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We generalize the cohomology theory for linear cycle sets introduced by Lebed and Vendramin. Our cohomology classifies extensions of linear cycle sets by trivial ideals, whereas the cohomology of Lebed and Vendramin only deals with central ideals $I$ (which are automatically trivial). Therefore our theory gives an analog to the theory of extensions of braces by trivial ideals constructed by Bachil… ▽ More We generalize the cohomology theory for linear cycle sets introduced by Lebed and Vendramin. Our cohomology classifies extensions of linear cycle sets by trivial ideals, whereas the cohomology of Lebed and Vendramin only deals with central ideals $I$ (which are automatically trivial). Therefore our theory gives an analog to the theory of extensions of braces by trivial ideals constructed by Bachiller, but from a cohomological point of view. We also study the general notions of extensions of linear cycle sets and the equivalence of extensions. △ Less

Submitted 15 November, 2021; originally announced November 2021.

Comments: 15 pages

MSC Class: 55N35; 20E22; 16T25

Cocommutative q-cycle coalgebra structures on the dual of the truncated polynomial algebra

Authors: Jorge Guccione, Juan José Guccione, Christian Valqui

Abstract: In order to construct solutions of the braid equation we consider bijective left non-degenerate set-theoretic type solutions, which correspond to regular q-cycle coalgebras. We obtain a partial classification of the different q-cycle coalgebra structures on the dual coalgebra of $K[y]/\langle y^n\rangle$, the truncated polynomial algebra. We obtain an interesting family of involutive q-cycle coalg… ▽ More In order to construct solutions of the braid equation we consider bijective left non-degenerate set-theoretic type solutions, which correspond to regular q-cycle coalgebras. We obtain a partial classification of the different q-cycle coalgebra structures on the dual coalgebra of $K[y]/\langle y^n\rangle$, the truncated polynomial algebra. We obtain an interesting family of involutive q-cycle coalgebras which we call Standard Cycle Coalgebras. They are parameterized by free parameters $\{p_1,...,p_{n-1}\}$ and in order to verify that they are compatible with the braid equation, we have to verify that certain differential operators $\partial^j$ on formal power series in two variables $K[[x, y]]$ satisfy the condition $(\partial^j G)_i = (\partial^i G)_j$ for all i, j, where $G$ is a formal power series associated to the given q-cycle coalgebra. It would be interesting to find out the relation of these operators with the operators given by Yang in the context with 2-dimensional quantum field theories, which was one of the origins of the Yang-Baxter equation. △ Less

Submitted 17 July, 2021; originally announced July 2021.

MSC Class: 16T15; 16T25

Minimal graph in which the intersection of two longest paths is not a separator

Authors: Juan Gutiérrez, Christian Valqui

Abstract: We prove that for a connected simple graph $G$ with $n\le 10$ vertices, and two longest paths $C$ and $D$ in $G$, the intersection of vertex sets $V(C)\cap V(D)$ is a separator. This shows that the graph found previously with $n=11$, in which the complement of the intersection of vertex sets $V(C)\cap V(D)$ of two longest paths is connected, is minimal. We prove that for a connected simple graph $G$ with $n\le 10$ vertices, and two longest paths $C$ and $D$ in $G$, the intersection of vertex sets $V(C)\cap V(D)$ is a separator. This shows that the graph found previously with $n=11$, in which the complement of the intersection of vertex sets $V(C)\cap V(D)$ of two longest paths is connected, is minimal. △ Less

Submitted 24 May, 2021; originally announced May 2021.

MSC Class: 05C38 (Primary) 05C45 (Secondary)

Bi-traceable graphs, the intersection of three longest paths and Hippchen's conjecture

Authors: Juan Gutiérrez, Christian Valqui

Abstract: Let $P,Q$ be longest paths in a simple graph. We analyze the possible connections between the components of $P\cup Q\setminus (V(P)\cap V(Q))$ and introduce the notion of a bi-traceable graph. We use the results for all the possible configurations of the intersection points when $\#V(P)\cap V(Q)\le 5$ in order to prove that if the intersection of three longest paths $P,Q,R$ is empty, then… ▽ More Let $P,Q$ be longest paths in a simple graph. We analyze the possible connections between the components of $P\cup Q\setminus (V(P)\cap V(Q))$ and introduce the notion of a bi-traceable graph. We use the results for all the possible configurations of the intersection points when $\#V(P)\cap V(Q)\le 5$ in order to prove that if the intersection of three longest paths $P,Q,R$ is empty, then $\#(V(P)\cap V(Q))\ge 6$. We also prove Hippchen's conjecture for $k\le 6$: If a graph $G$ is $k$-connected for $k\le 6$, and $P$ and $Q$ are longest paths in $G$, then $\#(V(P)\cap V(Q))\ge 6$. △ Less

Submitted 24 May, 2021; v1 submitted 19 January, 2021; originally announced January 2021.

MSC Class: 05C38 (primary) 05C45 (secondary)

Set-theoretic type solutions of the braid equation

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: In this paper we begin the study of set-theoretic type solution of the braid equation. Our theory includes set-theoretical solutions as basic examples. We show that the relationships between set-theoretical solutions, q-cycle sets, q-braces, skew-braces, matched pairs of groups and invertible $1$-cocycles remain valid in our setting. In this paper we begin the study of set-theoretic type solution of the braid equation. Our theory includes set-theoretical solutions as basic examples. We show that the relationships between set-theoretical solutions, q-cycle sets, q-braces, skew-braces, matched pairs of groups and invertible $1$-cocycles remain valid in our setting. △ Less

Submitted 30 October, 2024; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: 41 pages. We change the already published paper. In Theorem 5.17 we adapt Theorem 1 of [21] to the context of Hopf algebras. We rewrite part of sections 5 and 6, dropping in several places the requirement that the antipode S of H be bijective. In Subsection 6.2, we show that the category of Hopf skew braces is isomorphic to the category of Yetter-Drinfeld braces, recently introduced in [10]

MSC Class: 16T25; 16T15

Journal ref: Journal of Algebra, Volume 644, 15 April 2024, Pages 461-525

On the classification of graded twisted planes

Authors: Ricardo Bances, Christian Valqui

Abstract: We use a representation of a graded twisted tensor product of $K[x]$ with $K[y]$ in $L(K^{\Bbb{N}_0})$ in order to obtain a nearly complete classification of these graded twisted tensor products via infinite matrices. There is one particular example and three main cases: quadratic algebras classified by Conner and Goetz, a family called $A(n,d,a)$ with the $n+1$-extension property for $n\ge 2$, an… ▽ More We use a representation of a graded twisted tensor product of $K[x]$ with $K[y]$ in $L(K^{\Bbb{N}_0})$ in order to obtain a nearly complete classification of these graded twisted tensor products via infinite matrices. There is one particular example and three main cases: quadratic algebras classified by Conner and Goetz, a family called $A(n,d,a)$ with the $n+1$-extension property for $n\ge 2$, and a third case, not fully classified, which contains a family $B(a,L)$ parameterized by quasi-balanced sequences. △ Less

Submitted 10 November, 2021; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: In the fourth version we use a new method for the proof of Proposition 10.8, decomposing the infinite matrix $\tilde{M}$ into three (simpler) matrices. In the fifth version we shrten the article, and give a motivation for the representation in infinite matrices

MSC Class: 16s35; 16s38

(Co)homology of Crossed Products by Weak Hopf Algebras

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We obtain a mixed complex simpler than the canonical one the computes the type cyclic homologies of a crossed product with invertible cocycle $A\times_ρ^f H$, of a weak module algebra $A$ by a weak Hopf algebra $H$. This complex is provided with a filtration. The spectral sequence of this filtration generalizes the spectral sequence obtained in \cite{CGG}. When $f$ takes its values in a separable… ▽ More We obtain a mixed complex simpler than the canonical one the computes the type cyclic homologies of a crossed product with invertible cocycle $A\times_ρ^f H$, of a weak module algebra $A$ by a weak Hopf algebra $H$. This complex is provided with a filtration. The spectral sequence of this filtration generalizes the spectral sequence obtained in \cite{CGG}. When $f$ takes its values in a separable subalgebra of $A$ that satisfies suitable conditions, the above mentioned mixed complex is provided with another filtration, whose spectral sequence generalize the Feigin-Tsygan spectral sequence. △ Less

Submitted 8 March, 2023; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: 22 pages. arXiv admin note: text overlap with arXiv:1811.02927

MSC Class: 16E40; 16T05

(Co)homology of crossed products in weak contexts

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We obtain a mixed complex simpler than the canonical one the computes the type cyclic homologies of a crossed product with invertible cocycle $A\times_ρ^f H$, of a weak module algebra $A$ by a weak Hopf algebra $H$ whose unit cocommutes. This complex is provided with a filtration. The spectral sequence of this filtration generalizes the spectral sequence obtained in \cite{CGG}. When $f$ takes its… ▽ More We obtain a mixed complex simpler than the canonical one the computes the type cyclic homologies of a crossed product with invertible cocycle $A\times_ρ^f H$, of a weak module algebra $A$ by a weak Hopf algebra $H$ whose unit cocommutes. This complex is provided with a filtration. The spectral sequence of this filtration generalizes the spectral sequence obtained in \cite{CGG}. When $f$ takes its values in a separable subalgebra of $A$ that satisfies suitable conditions, the above mentioned mixed complex is provided with another filtration, whose spectral sequence generalize the Feigin-Tsygan spectral sequence. △ Less

Submitted 1 March, 2021; v1 submitted 7 November, 2018; originally announced November 2018.

Comments: 31 pages. arXiv admin note: text overlap with arXiv:1107.0951

MSC Class: 16E40; 16T05

Cleft extensions of weak Hopf algebras

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: In this paper we study the theory of cleft extensions for a weak bialgebra H. Among other results, we determine when two unitary crossed products of an algebra A by H are equivalent and we prove that if H is a weak Hopf algebra, then the categories of H-cleft extensions of an algebra A, and of unitary crossed products of A by H, are equivalent. In this paper we study the theory of cleft extensions for a weak bialgebra H. Among other results, we determine when two unitary crossed products of an algebra A by H are equivalent and we prove that if H is a weak Hopf algebra, then the categories of H-cleft extensions of an algebra A, and of unitary crossed products of A by H, are equivalent. △ Less

Submitted 9 July, 2019; v1 submitted 7 November, 2018; originally announced November 2018.

Comments: 35 pages. We improved the presentation

MSC Class: 16T05 (Primary); 18D10 (secondary)

Bivariant K-theory of generalized Weyl algebras

Authors: Christian Valqui, Julio Gutiérrez

Abstract: We compute the isomorphism class in $\mathfrak{KK}^{alg}$ of all noncommutative generalized Weyl algebras $A=\CC[h](σ, P)$, where $σ(h)=qh+h_0$ is an automorphism of $\CC[h]$, except when $q\neq 1$ is a root of unity. In particular, we compute the isomorphism class in $\mathfrak{KK}^{alg}$ of the quantum Weyl algebra, the primitive factors $B_λ$ of $U(\mathfrak{sl}_2)$ and the quantum weighted pro… ▽ More We compute the isomorphism class in $\mathfrak{KK}^{alg}$ of all noncommutative generalized Weyl algebras $A=\CC[h](σ, P)$, where $σ(h)=qh+h_0$ is an automorphism of $\CC[h]$, except when $q\neq 1$ is a root of unity. In particular, we compute the isomorphism class in $\mathfrak{KK}^{alg}$ of the quantum Weyl algebra, the primitive factors $B_λ$ of $U(\mathfrak{sl}_2)$ and the quantum weighted projective lines $\mathcal{O}(\mathbb{WP}_q(k, l))$. △ Less

Submitted 1 April, 2018; originally announced April 2018.

MSC Class: 46L87 (Primary) 19K35; 58B34 (Secondary)

Solutions of the Braid Equation with set-type square

Authors: Jorge Alberto Guccione, Juan José Guccione, Christian Valqui

Abstract: For a family of height one orders $(X,\le)$ and each non-degenerate solution $r_0\colon X\times X\longrightarrow X\times X$ of the set-theoretic braid equation on $X$ satisfying suitable conditions, we obtain all the non-degenerate solutions of the braid equation on the incidence coalgebra of $(X,\le)$ that extend $r_0$. For a family of height one orders $(X,\le)$ and each non-degenerate solution $r_0\colon X\times X\longrightarrow X\times X$ of the set-theoretic braid equation on $X$ satisfying suitable conditions, we obtain all the non-degenerate solutions of the braid equation on the incidence coalgebra of $(X,\le)$ that extend $r_0$. △ Less

Submitted 7 August, 2018; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: 19 pages, 1 table

MSC Class: 16T25

The Jacobian Conjecture: Approximate roots and intersection numbers

Authors: Jorge Alberto Guccione, Juan José Guccione, Rodrigo Horruitiner, Christian Valqui

Abstract: We translate the results of Yansong Xu into the language of~\cite{GGV1}, obtaining nearly the same formulas for the intersection number of Jacobian pairs, but with an inequality instead of an equality. We translate the results of Yansong Xu into the language of~\cite{GGV1}, obtaining nearly the same formulas for the intersection number of Jacobian pairs, but with an inequality instead of an equality. △ Less

Submitted 14 August, 2018; v1 submitted 30 August, 2017; originally announced August 2017.

Comments: 4 figures, 4 tables, 1 algorithm

MSC Class: 14R15 (Primary); 13F20 (Secondary)

Some algorithms related to the Jacobian Conjecture

Authors: Jorge A. Guccione, Juan J. Guccione, Rodrigo Horruitiner, Christian Valqui

Abstract: We describe an algorithm that computes possible corners of hypothetical counterexamples to the Jacobian Conjecture up to a given bound. Using this algorithm we compute the possible families corresponding to $\gcd(deg(P),deg(Q))\le 35$, and all the pairs $(deg(P),deg(Q))$ with $\max(deg(P),deg(Q))\le 150$ for any hypothetical counterexample. We describe an algorithm that computes possible corners of hypothetical counterexamples to the Jacobian Conjecture up to a given bound. Using this algorithm we compute the possible families corresponding to $\gcd(deg(P),deg(Q))\le 35$, and all the pairs $(deg(P),deg(Q))$ with $\max(deg(P),deg(Q))\le 150$ for any hypothetical counterexample. △ Less

Submitted 26 August, 2017; originally announced August 2017.

Comments: 29 pages, 6 tables, 9 algorithms

MSC Class: 14R15 (Primary) 13F20 (Secondary)

Solutions of the braid equation and orders

Authors: Jorge Alberto Guccione, Juan José Guccione, Christian Valqui

Abstract: We introduce the notion of a non-degenerate solution of the braid equation on the incidence coalgebra of a locally finite order. Each one of these solutions induce by restriction a non-degenerate set theoretic solution over the underlying set. So, it makes sense to ask if a non-degenerate set theoretic solution on the underlying set of a locally finite order extends to a non-degenerate solution on… ▽ More We introduce the notion of a non-degenerate solution of the braid equation on the incidence coalgebra of a locally finite order. Each one of these solutions induce by restriction a non-degenerate set theoretic solution over the underlying set. So, it makes sense to ask if a non-degenerate set theoretic solution on the underlying set of a locally finite order extends to a non-degenerate solution on its incidence coalgebra. In this paper we begin the study of this problem. △ Less

Submitted 6 January, 2017; originally announced January 2017.

Comments: 29 pages

MSC Class: 16T25

The two-dimensional Jacobian conjecture and the lower side of the Newton polygon

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We prove that if the Jacobian Conjecture in two variables is false and (P,Q) is a standard minimal pair, then the Newton polygon HH(P) of P must satisfy several restrictions that had not been found previously. This allows us to discard some of the corners found in [GGV, Remark 7.14] for HH(P), together with some of the infinite families found in [H, Theorem~2.25] We prove that if the Jacobian Conjecture in two variables is false and (P,Q) is a standard minimal pair, then the Newton polygon HH(P) of P must satisfy several restrictions that had not been found previously. This allows us to discard some of the corners found in [GGV, Remark 7.14] for HH(P), together with some of the infinite families found in [H, Theorem~2.25] △ Less

Submitted 29 August, 2017; v1 submitted 30 May, 2016; originally announced May 2016.

Comments: 17 pages. We add Remark 3.9 and generalize Proposition 3.12 to be valid in $L^{(l)$. Moreover we improve the presentation of the paper

Twisted tensor products of $K^n$ with $K^m$

Authors: J. Arce, Jorge A. Guccione, Juan J. Guccione, C. Valqui

Abstract: We find three families of twisting maps of K^m with K^n. One of them is related to truncated quiver algebras, the second one consists of deformations of the first and the third one requires m=n and yields algebras isomorphic to M_n(K). Using these families and some exceptional cases we construct all twisting maps of K^3 with K^3. We find three families of twisting maps of K^m with K^n. One of them is related to truncated quiver algebras, the second one consists of deformations of the first and the third one requires m=n and yields algebras isomorphic to M_n(K). Using these families and some exceptional cases we construct all twisting maps of K^3 with K^3. △ Less

Submitted 3 March, 2016; originally announced March 2016.

Comments: 53 pages

Cyclic homology of cleft extensions of algebras

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: Let k be a commutative algebra with the field of the rational numbers included in k and let (E,p,i) be a cleft extension of A. We obtain a new mixed complex, simpler than the canonical one, giving the Hochschild and cyclic homologies of E relative to ker(p). This complex resembles the canonical reduced mixed complex of an augmented algebra. We begin the study of our complex showing that it has a h… ▽ More Let k be a commutative algebra with the field of the rational numbers included in k and let (E,p,i) be a cleft extension of A. We obtain a new mixed complex, simpler than the canonical one, giving the Hochschild and cyclic homologies of E relative to ker(p). This complex resembles the canonical reduced mixed complex of an augmented algebra. We begin the study of our complex showing that it has a harmonic decomposition like to the one considered by Cuntz and Quillen for the normalized mixed complex of an algebra. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Comments: 28 pages. arXiv admin note: substantial text overlap with arXiv:math/0408389

MSC Class: 16E40

The Groebner basis of a polynomial system

Authors: Christian Valqui, Marco Solorzano

Abstract: We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture using a recursive formula for the Catalan numbers. We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture using a recursive formula for the Catalan numbers. △ Less

Submitted 22 September, 2014; originally announced September 2014.

Comments: From the Magister Thesis of Marco Solorzano

MSC Class: Primary 14R15; Secondary 13F20; 11B99

Journal ref: Promathematica Vol. 28, No. 55, p. 24-40 (2014)

A short and elementary proof of Jung's theorem

Authors: Christian Valqui, Jorge A. Guccione, Juan J. Guccione

Abstract: We give a short and elementary proof of Jung's theorem, which states that for a field K of characteristic zero the automorphisms of K[x,y] are generated by elementary automorphisms and linear automorphisms. We give a short and elementary proof of Jung's theorem, which states that for a field K of characteristic zero the automorphisms of K[x,y] are generated by elementary automorphisms and linear automorphisms. △ Less

Submitted 5 September, 2014; originally announced September 2014.

Comments: 1 figure

MSC Class: 14R15 (primary); 13F20 (secondary)

A system of polynomial equations related to the Jacobian Conjecture

Authors: Jorge A. Guccione, Juan José Guccione, Christian Valqui

Abstract: We prove that the Jacobian conjecture is false if and only if there exists a solution to a certain system of polynomial equations. We analyse the solution set of this system. In particular we prove that it is zero dimensional. We prove that the Jacobian conjecture is false if and only if there exists a solution to a certain system of polynomial equations. We analyse the solution set of this system. In particular we prove that it is zero dimensional. △ Less

Submitted 7 April, 2024; v1 submitted 3 June, 2014; originally announced June 2014.

Comments: 26 pages, Proposition 4.3 is new

MSC Class: 14R15

The starred Dixmier conjecture for $A_1$

Authors: Christian Valqui, Vered Moskowicz

Abstract: Let $A_1(K)=K \langle x,y | yx-xy= 1 \rangle$ be the first Weyl algebra over a characteristic zero field $K$ and let $α$ be the exchange involution on $A_1(K)$ given by $α(x)= y$ and $α(y)= x$. The Dixmier conjecture of Dixmier (1968) asks: Is every algebra endomorphism of the Weyl algebra $A_1(K)$ an automorphism? The aim of this paper is to prove that each $α$-endomorphism of $A_1(K)$ is an auto… ▽ More Let $A_1(K)=K \langle x,y | yx-xy= 1 \rangle$ be the first Weyl algebra over a characteristic zero field $K$ and let $α$ be the exchange involution on $A_1(K)$ given by $α(x)= y$ and $α(y)= x$. The Dixmier conjecture of Dixmier (1968) asks: Is every algebra endomorphism of the Weyl algebra $A_1(K)$ an automorphism? The aim of this paper is to prove that each $α$-endomorphism of $A_1(K)$ is an automorphism. Here an $α$-endomorphism of $A_1(K)$ is an endomorphism which preserves the involution $α$. We also prove an analogue result for the Jacobian conjecture in dimension 2, called $α-JC_2$. △ Less

Submitted 20 January, 2014; originally announced January 2014.

Comments: arXiv admin note: text overlap with arXiv:1310.7562

MSC Class: 16W20; 14R15; 16S32

On the shape of possible counterexamples to the Jacobian Conjecture

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We improve the algebraic methods of Abhyankar for the Jacobian Conjecture in dimension two and describe the shape of possible counterexamples. We give an elementary proof of the result of Heitmann, which states that gcd(deg(P),deg(Q)) is greater than or equal to 16 for any counterexample (P,Q). We also prove that gcd(deg(P),deg(Q)) \ne 2p for any prime p and analyze thoroughly the case 16, adaptin… ▽ More We improve the algebraic methods of Abhyankar for the Jacobian Conjecture in dimension two and describe the shape of possible counterexamples. We give an elementary proof of the result of Heitmann, which states that gcd(deg(P),deg(Q)) is greater than or equal to 16 for any counterexample (P,Q). We also prove that gcd(deg(P),deg(Q)) \ne 2p for any prime p and analyze thoroughly the case 16, adapting a reduction of degree technique introduced by Moh. △ Less

Submitted 30 May, 2016; v1 submitted 8 January, 2014; originally announced January 2014.

Comments: 71 pages, 8 figures. We improve the presentation and fix some minor mistakes

MSC Class: 14R15; 13F20

A differential equation for polynomials related to the Jacobian conjecture

Authors: Christian Valqui, Jorge Alberto Guccione, Juan José Guccione

Abstract: We analyze a possible minimal counterexample to the Jacobian Conjecture $P,Q$ with $\gcd(deg(P),deg(Q))=16$ and show that its existence depends only on the existence of solutions for a certain Abel differential equation of the second kind. We analyze a possible minimal counterexample to the Jacobian Conjecture $P,Q$ with $\gcd(deg(P),deg(Q))=16$ and show that its existence depends only on the existence of solutions for a certain Abel differential equation of the second kind. △ Less

Submitted 14 February, 2014; v1 submitted 30 October, 2013; originally announced October 2013.

Comments: Update on the reference [1], some minor typing errors, journal reference

Journal ref: Pro Mathematica, 27, 53-54 (2013), 83-98, ISSN 1012-3938

The Dixmier conjecture and the shape of possible counterexamples II

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We continue with the investigation began in "The Dixmier conjecture and the shape of possible counterexamples". In that paper we introduced the notion of an irreducible pair (P,Q) as the image of the pair (X,Y) of the canonical generators of W via an endomorphism which is not an automorphism, such that it cannot be made "smaller", we let B denote the minimum of the greatest common divisor of the t… ▽ More We continue with the investigation began in "The Dixmier conjecture and the shape of possible counterexamples". In that paper we introduced the notion of an irreducible pair (P,Q) as the image of the pair (X,Y) of the canonical generators of W via an endomorphism which is not an automorphism, such that it cannot be made "smaller", we let B denote the minimum of the greatest common divisor of the total degrees of P and Q, where (P,Q) runs on the irreducible pairs and we prove that $\ge $. In the present work we improve this lower bound by proving that B\ge 15. In order to do this we need to show the the main results of our previous paper remain valid for a family of algebras (W^{(l)})_{l\in \mathds{N}} that extend W. △ Less

Submitted 30 May, 2012; originally announced May 2012.

Comments: 44 pages: 3 figures

MSC Class: 16S32; 16W20

The Dixmier conjecture and the shape of possible counterexamples

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We establish a lower bound for the size of possible counterexamples of the Dixmier Conjecture. We prove that $B>15$, where $B$ is the minimum of the greatest common divisor of the total degrees of $P$ and $Q$, where $(P,Q)$ runs over the counterexamples of the Dixmier Conjecture. We establish a lower bound for the size of possible counterexamples of the Dixmier Conjecture. We prove that $B>15$, where $B$ is the minimum of the greatest common divisor of the total degrees of $P$ and $Q$, where $(P,Q)$ runs over the counterexamples of the Dixmier Conjecture. △ Less

Submitted 30 October, 2013; v1 submitted 25 November, 2011; originally announced November 2011.

Comments: 43 pages; 6 figures; this a resume version made out of the previous version and "The Dixmier conjecture and the shape of possible counterexamples II"

MSC Class: 16S32 (Primary) 16W20 (Secondary)

Cyclic homology of braided Hopf crossed products

Authors: Graciela Carboni, Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: Let k be a field, A a unitary associative k-algebra and V a k-vector space endowed with a distinguished element 1_V. We obtain a mixed complex, simpler that the canonical one, that gives the Hochschild, cyclic, negative and periodic homology of a crossed product E:=A#_f V, in the sense of Brzezinski. We actually work in the more general context of relative cyclic homology. Specifically, we conside… ▽ More Let k be a field, A a unitary associative k-algebra and V a k-vector space endowed with a distinguished element 1_V. We obtain a mixed complex, simpler that the canonical one, that gives the Hochschild, cyclic, negative and periodic homology of a crossed product E:=A#_f V, in the sense of Brzezinski. We actually work in the more general context of relative cyclic homology. Specifically, we consider a subalgebra K of A that satisfies suitable hypothesis and we find a mixed complex computing the Hochschild, cyclic, negative and periodic homology of E relative to K. Then, when E is a cleft braided Hopf crossed product, we obtain a simpler mixed complex, that also gives the Hochschild, cyclic, negative and periodic homology of E. △ Less

Submitted 5 July, 2011; originally announced July 2011.

Comments: 63 pages

MSC Class: 16E40; 16T05

Non commutative truncated polynomial extensions

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We introduce the notion of non commutative truncated polynomial extension of an algebra A. We study two families of these extensions. For the first one we obtain a complete classification and for the second one, which we call upper triangular, we find that the obstructions to inductively construct them, lie in the Hochschild homology of A, with coefficients in a suitable A-bimodule. We introduce the notion of non commutative truncated polynomial extension of an algebra A. We study two families of these extensions. For the first one we obtain a complete classification and for the second one, which we call upper triangular, we find that the obstructions to inductively construct them, lie in the Hochschild homology of A, with coefficients in a suitable A-bimodule. △ Less

Submitted 24 November, 2011; v1 submitted 24 August, 2010; originally announced August 2010.

Comments: 29 pages, We add some results about simplicirty (Prop. 1.11 and 3.6) and a result about rigidity (Th. 4.17)

MSC Class: 16S10; 16S80

On the centralizers in the Weyl algebra

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: Let P,Q be elements of the Weyl algebra W. We prove that if [Q,P]=1, then the centralizer of P is the polynomial algebra k[P]. Let P,Q be elements of the Weyl algebra W. We prove that if [Q,P]=1, then the centralizer of P is the polynomial algebra k[P]. △ Less

Submitted 28 December, 2009; originally announced December 2009.

Comments: 8 pages

MSC Class: 16S32

Universal deformation formulas and braided module algebras

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: We study formal deformations of a crossed product $S(V)#_f G$, of a polynomial algebra with a group, induced from a universal deformation formula introduced by Witherspoon. These deformations arise from braided actions of Hopf algebras generated by automorphisms and skew derivations. We show that they are nontrivial in the characteristic free context, even if $G$ is infinite, by showing that their… ▽ More We study formal deformations of a crossed product $S(V)#_f G$, of a polynomial algebra with a group, induced from a universal deformation formula introduced by Witherspoon. These deformations arise from braided actions of Hopf algebras generated by automorphisms and skew derivations. We show that they are nontrivial in the characteristic free context, even if $G$ is infinite, by showing that their infinitesimals are not coboundaries. For this we construct a new complex which computes the Hochschild cohomology of $S(V)#_f G$. △ Less

Submitted 9 September, 2010; v1 submitted 16 December, 2009; originally announced December 2009.

Comments: 31 pages. We fix a mistake in the references

MSC Class: 16S80; 16S35

Twisted planes

Authors: Jorge A. Guccione, Juan J. Guccione, Christian Valqui

Abstract: Let k be a commutative ring. We find and characterize a new family of twisted planes (i. e. associative unitary k-algebra structures on the k-module k[X,Y], having k[X] and and k[Y] as subalgebras).Similar results are obtained for the k-module of two variables power series k[[X,Y]]. Let k be a commutative ring. We find and characterize a new family of twisted planes (i. e. associative unitary k-algebra structures on the k-module k[X,Y], having k[X] and and k[Y] as subalgebras).Similar results are obtained for the k-module of two variables power series k[[X,Y]]. △ Less

Submitted 25 December, 2007; originally announced December 2007.

Comments: 33 pages

MSC Class: 16W35; 81R60

Excision in bivariant periodic cyclic cohomology: a categorical approach

Authors: Guillermo Cortiñas, Christian Valqui

Abstract: We extend Cuntz-Quillen's excision theorem for algebras and pro-algebras in arbitrary Q-linear categories with tensor product.The excision theorems for the bivariant periodic cyclic cohomology of discrete,topological and bornological algebras and pro-algebras follow from this. We extend Cuntz-Quillen's excision theorem for algebras and pro-algebras in arbitrary Q-linear categories with tensor product.The excision theorems for the bivariant periodic cyclic cohomology of discrete,topological and bornological algebras and pro-algebras follow from this. △ Less

Submitted 5 December, 2002; v1 submitted 21 July, 2002; originally announced July 2002.

Comments: 32 pages, Amslatex, uses xypic. Final version to appear in K-theory

MSC Class: 19D55 (Primary); 46L80 (Secondary)

Journal ref: K-theory 30, 167-201, 2003