Showing 1–48 of 48 results for author: Guccione, J

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.

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

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

Central extensions of some linear cycle sets

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: For each member $\mathcal{A}$ of a family of linear cycle sets whose underlying abelian group is cyclic of order a power of a prime number, we compute all the central extensions of $\mathcal{A}$ by an arbitrary abelian group. For each member $\mathcal{A}$ of a family of linear cycle sets whose underlying abelian group is cyclic of order a power of a prime number, we compute all the central extensions of $\mathcal{A}$ by an arbitrary abelian group. △ Less

Submitted 10 September, 2021; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: 24 pages. We use group cohomology insted of Hochschild cohomology. This simplify the computations

MSC Class: 16T25; 20N02; 20E22

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

Comparison of two notions of weak crossed product

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: We compare the restriction to the context of weak Hopf algebras of the notion of crossed product with a Hopf algebroid introduced in \cite{BB} with the notion of crossed product with a weak Hopf algebra introduced in~\cite{AG} We compare the restriction to the context of weak Hopf algebras of the notion of crossed product with a Hopf algebroid introduced in \cite{BB} with the notion of crossed product with a weak Hopf algebra introduced in~\cite{AG} △ Less

Submitted 27 August, 2019; originally announced August 2019.

Comments: 10 pages

(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)

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

Yang-Baxter operators in symmetric categories

Authors: J. A. Guccione, J. J. Guccione, L. Vendramin

Abstract: We introduce non-degenerate solutions of the Yang-Baxter equation in the setting of symmetric monoidal categories. Our theory includes non-degenerate set-theoretical solutions as basic examples. However, infinite families of non-degenerate solutions (that are not of set-theoretical type) appear. As in the classical theory of Etingof, Schedler and Soloviev, non-degenerate solutions are classified i… ▽ More We introduce non-degenerate solutions of the Yang-Baxter equation in the setting of symmetric monoidal categories. Our theory includes non-degenerate set-theoretical solutions as basic examples. However, infinite families of non-degenerate solutions (that are not of set-theoretical type) appear. As in the classical theory of Etingof, Schedler and Soloviev, non-degenerate solutions are classified in terms of invertible 1-cocycles. Braces and matched pairs of cocommutative Hopf algebras (or braiding operators) are also generalized to the context of symmetric monoidal categories and turn out to be equivalent to invertible 1-cocycles. △ Less

Submitted 10 October, 2017; v1 submitted 19 October, 2016; originally announced October 2016.

Comments: 35 pages, several figures. Final version

MSC Class: 16T05; 81R50

Journal ref: Comm. Algebra 46 (2018), no. 7, 2811--2845

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

Cleft extensions of a family of braided Hopf algebras

Authors: Mauricio Da Rocha, Jorge A. Guccione, Juan J. Guccione

Abstract: We introduce a family of braided Hopf algebras that generalizes the rank 1 Hopf algebras introduced by Krop anad Radford and we study its cleft extensions We introduce a family of braided Hopf algebras that generalizes the rank 1 Hopf algebras introduced by Krop anad Radford and we study its cleft extensions △ Less

Submitted 6 July, 2015; originally announced July 2015.

Comments: 38 pages

MSC Class: 16S40

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

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

Cohomology ring of differential operator rings

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

Abstract: We compute the multiplicative structure in the Hocshchild cohomology ring of a differential operators ring and the cap product of Hochschild cohomology on the Hochschild homology. We compute the multiplicative structure in the Hocshchild cohomology ring of a differential operators ring and the cap product of Hochschild cohomology on the Hochschild homology. △ Less

Submitted 15 March, 2010; originally announced March 2010.

Comments: 20 pages

MSC Class: 16E40;16S32

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

A characterization of quiver algebras based on double derivations

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: Let k a characteristic zero field. We give a characterization for the finite quiver k-algebras, based on double derivations. More precisely, we prove that if an associative and unitary k-algebra have a family of double derivations satisfying suitable conditions, then it is (canonically isomorphic to) a quiver algebra. This is the non-commutative version of a result of D. Wright. Let k a characteristic zero field. We give a characterization for the finite quiver k-algebras, based on double derivations. More precisely, we prove that if an associative and unitary k-algebra have a family of double derivations satisfying suitable conditions, then it is (canonically isomorphic to) a quiver algebra. This is the non-commutative version of a result of D. Wright. △ Less

Submitted 7 July, 2008; originally announced July 2008.

Comments: 4 pages

MSC Class: 16W25; 16S10

Cyclic homology of crossed products

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

Abstract: We obtain a mixed complex, simpler that the canonical one, given the Hochschild, cyclic, negative and periodic homology of a crossed product E=A#fH, where H is an arbitrary Hopf algebra and f is a convolution invertible cocycle with values in A. Actually, we work in the more general context of relative cyclic homology. Specifically, we consider a subalgebra K of A which is stable under the actio… ▽ More We obtain a mixed complex, simpler that the canonical one, given the Hochschild, cyclic, negative and periodic homology of a crossed product E=A#fH, where H is an arbitrary Hopf algebra and f is a convolution invertible cocycle with values in A. Actually, we work in the more general context of relative cyclic homology. Specifically, we consider a subalgebra K of A which is stable under the action of H, and we find a mixed complex computing the Hochschild, cyclic, negative and periodic homology of E relative to K. As an application we obtain two spectral sequences converging to the cyclic homology of E relative to K. The first one in the general setting and the second one (which generalizes those previously found by several authors) when f takes its values in K. △ Less

Submitted 5 May, 2008; originally announced May 2008.

Comments: 25 pages

MSC Class: 16E40; 16W30

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

How to disentangle two braided Hopf algebras

Authors: Matias Graña, Jorge A. Guccione, Juan J. Guccione

Abstract: We show how to define the tensor product of two braided Hopf algebras. We show how to define the tensor product of two braided Hopf algebras. △ Less

Submitted 13 June, 2007; originally announced June 2007.

Comments: 4 pages

MSC Class: 16W30

Braided Sweedler cohomology

Authors: Sergio D. Corti, Jorge A. Guccione, Juan J. Guccione

Abstract: We introduced a braided Sweedler cohomology, which is adequate to work with the H-braided cleft extensions studied in [J. A. Guccione and J. J. Guccione, Theory of braided Hopf crossed products, Journal of Algebra, Vol 261 (2003) 54-101] We introduced a braided Sweedler cohomology, which is adequate to work with the H-braided cleft extensions studied in [J. A. Guccione and J. J. Guccione, Theory of braided Hopf crossed products, Journal of Algebra, Vol 261 (2003) 54-101] △ Less

Submitted 31 May, 2007; originally announced June 2007.

Comments: 26 pages

MSC Class: 18G60; 16W30

The cyclic homology of monogenic extensions in the noncommutative setting

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

Abstract: We study the Hochschild and cyclic homologies of noncommutative monogenic extensions. As an aplication we compute the Hochschild and cyclic homologies of the rank~1 Hopf algebras introduced by L. Krop and D. Radford in [Finite dimensional Hopf algebras of rank 1 in characteristic 0, Journal of Algebra 302, no. 1, 214-230} (2006)]. We study the Hochschild and cyclic homologies of noncommutative monogenic extensions. As an aplication we compute the Hochschild and cyclic homologies of the rank~1 Hopf algebras introduced by L. Krop and D. Radford in [Finite dimensional Hopf algebras of rank 1 in characteristic 0, Journal of Algebra 302, no. 1, 214-230} (2006)]. △ Less

Submitted 8 May, 2007; originally announced May 2007.

Comments: 22 pages

MSC Class: 16E40; 16S36

The cohomology of monogenic extensions in the noncommutative setting

Authors: Marco Farinati, Jorge A. Guccione, Juan J. Guccione

Abstract: We extend the notion of monogenic extension to the noncommutative setting, and we study the Hochschild cohomology ring of such an extension. As an aplication we complete the computation of the cohomology ring of the rank one Hopf algebras beggined in [S. M. Burciu and S. J. Witherspoon, Hochschild cohomology of smash products and rank one Hopf algebras]. We extend the notion of monogenic extension to the noncommutative setting, and we study the Hochschild cohomology ring of such an extension. As an aplication we complete the computation of the cohomology ring of the rank one Hopf algebras beggined in [S. M. Burciu and S. J. Witherspoon, Hochschild cohomology of smash products and rank one Hopf algebras]. △ Less

Submitted 23 May, 2007; v1 submitted 13 February, 2007; originally announced February 2007.

Comments: 25 pages. Some examples added, and also the Gerstenhaber structure is computed in a big family of examples, including the rank one Hopf algebras

MSC Class: 16E40; 16S36

Decomposition of some pointed Hopf algebras given by the canonical Nakayama automorphism

Authors: M. Graña, J. A. Guccione, J. J. Guccione

Abstract: Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf algebras, we determine necessary and sufficient conditions for this decomposition to be strongly graded. Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf algebras, we determine necessary and sufficient conditions for this decomposition to be strongly graded. △ Less

Submitted 15 March, 2006; v1 submitted 15 March, 2006; originally announced March 2006.

Comments: 8 pages

MSC Class: 16W30; 16W50

Relative cyclic homology of square zero extensions

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: Let k be a characteristic zero field, C a k-algebra and M a square zero two sided ideal of C. We obtain a new mixed complex, simpler that the canonical one, giving the Hochschild and cyclic homologies of C relative to M. 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 on… ▽ More Let k be a characteristic zero field, C a k-algebra and M a square zero two sided ideal of C. We obtain a new mixed complex, simpler that the canonical one, giving the Hochschild and cyclic homologies of C relative to M. 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. We also give new proofs of two theorems of Goodwillie, obtaining an improvement of one of them. △ Less

Submitted 9 May, 2006; v1 submitted 27 August, 2004; originally announced August 2004.

Comments: 24 pages. Definitive version, to appear in Crelle Journal

MSC Class: 16E40; 16S70

Semiquasitriangular Hopf algebras

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: We say that a Hopf algebra H is semicocommutative if the right adjoint coaction factorizes through the tensor product of H with the center of H. For instance the commutative and the cocommutative Hopf algebras are semicocommutative. The quasitriangular Hopf algebras generalize the cocommutative Hopf algebras. In this paper we introduce and begin the study of a similar generalization for the semi… ▽ More We say that a Hopf algebra H is semicocommutative if the right adjoint coaction factorizes through the tensor product of H with the center of H. For instance the commutative and the cocommutative Hopf algebras are semicocommutative. The quasitriangular Hopf algebras generalize the cocommutative Hopf algebras. In this paper we introduce and begin the study of a similar generalization for the semicocommutative ones. These algebras, which we call semiquasitriangular Hopf algebras have many of the basic properties of the quasitriangular ones. In particular, they have associated braided categories of representations in a natural way. △ Less

Submitted 5 February, 2003; originally announced February 2003.

Comments: 19 pages

MSC Class: 16W30; 18D10

Hochschild cohomology of Frobenius algebras

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: Let k be a field and let A be a Frobenius algebra over k. Assume that the Nakayama automorphism of A associated to a Frobenius homomorphism of A has finite order m, and k has a m-th primitive root of unity. Then, A has a natural Z/mZ-gradation. Consider the decomposition of the Hochschild cohomology HH*(A), of A with coefficients in A, induced by this gradation. We prove that just the 0-degree c… ▽ More Let k be a field and let A be a Frobenius algebra over k. Assume that the Nakayama automorphism of A associated to a Frobenius homomorphism of A has finite order m, and k has a m-th primitive root of unity. Then, A has a natural Z/mZ-gradation. Consider the decomposition of the Hochschild cohomology HH*(A), of A with coefficients in A, induced by this gradation. We prove that just the 0-degree component of HH*(A) is non trivial. Moreover, we prove that if A is a strongly Z/mZ-graded algebra, then Z/mZ acts on the Hochschild cohomology HH*(A_0), of the 0-degree component of A, and HH*(A) is the set of invariants of this action. △ Less

Submitted 27 September, 2002; originally announced September 2002.

Comments: 10 pages

MSC Class: 16C40; 16D20

Hochschild homology of iterate skew polynomial rings

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: We study the Hochschild homology of the iterated skew polynomial rings introduced by D. Jordan in ``A simple localization of the quantized Weyl algebra''. First, we obtain a complex, smaller than the canonical one of Hochschild, given the homology of such an algebra, and then, we study this complex in order to compute the homology of some families of algebras. In particular we compute the homolo… ▽ More We study the Hochschild homology of the iterated skew polynomial rings introduced by D. Jordan in ``A simple localization of the quantized Weyl algebra''. First, we obtain a complex, smaller than the canonical one of Hochschild, given the homology of such an algebra, and then, we study this complex in order to compute the homology of some families of algebras. In particular we compute the homology of some quantum groups, in the generic case. △ Less

Submitted 8 May, 2002; originally announced May 2002.

Comments: 18 pages

MSC Class: 16E40; 18G99

Cohomology of trivial extensions of Frobenius algebras

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: We obtain a decomposition for the Hochschild cochain complex of a split algebra and we study some properties of the cohomology of each term of this decomposition. Then, we consider the case of trivial extensions, specially of Frobenius algebras. In particular, we determine completely the cohomology of the trivial extension of a finite dimensional Hopf algebra. Finally, as an application, we obta… ▽ More We obtain a decomposition for the Hochschild cochain complex of a split algebra and we study some properties of the cohomology of each term of this decomposition. Then, we consider the case of trivial extensions, specially of Frobenius algebras. In particular, we determine completely the cohomology of the trivial extension of a finite dimensional Hopf algebra. Finally, as an application, we obtain a result about the Hochschild cohomology of Frobenius algebras. △ Less

Submitted 28 August, 2001; v1 submitted 27 July, 2001; originally announced July 2001.

Comments: 17 pages. This is a enterely rewriten version of the paper entitled "Cohomology of split algebras". We have made substancial changes in the third section of the previous version

MSC Class: 16C40; 16D20

Hochschild (co)homology of Hopf crossed products

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: Let A a k-algebra, H a Hopf algebra, E = A#H a general crossed product and M an E-bimodule. We obtain a complex simpler than the canonical one, giving the Hochschild homology of E with coefficients in M. This complex is eqquiped with a natural filtration. We prove that the associated spectral sequence coincides with that obtained by either, the Hochschild-Serre direct method or the Cartan-Leray-… ▽ More Let A a k-algebra, H a Hopf algebra, E = A#H a general crossed product and M an E-bimodule. We obtain a complex simpler than the canonical one, giving the Hochschild homology of E with coefficients in M. This complex is eqquiped with a natural filtration. We prove that the associated spectral sequence coincides with that obtained by either, the Hochschild-Serre direct method or the Cartan-Leray-Grothendieck method. We also get similar results for the cohomology. △ Less

Submitted 6 April, 2001; originally announced April 2001.

Comments: 26 pages

MSC Class: 16E40; 16W30

Hochschild cohomology of triangular matrix algebras

Authors: Jorge A. Guccione, Juan J. Guccione

Abstract: We prove the existence of two long exact sequences relating the Hochschild cohomology of a triangular matrix algebra with the Hochschild homology of its component subalgebras. We also study the structure of the maps of the first sequence. We prove the existence of two long exact sequences relating the Hochschild cohomology of a triangular matrix algebra with the Hochschild homology of its component subalgebras. We also study the structure of the maps of the first sequence. △ Less

Submitted 26 April, 2001; v1 submitted 5 April, 2001; originally announced April 2001.

Comments: 8 pages. Major conceptual changes

MSC Class: 14E40; 16S50