Showing 1–17 of 17 results for author: Castro-Jiménez, F J

Bracket ideals and Hilbert polynomial of filiform Lie algebras

Authors: F. J. Castro-Jiménez, M. Ceballos

Abstract: For a complex finite-dimensional filiform Lie algebra $\mathfrak g$, we first study the bifiltration given by the bracket ideals $[C^k\mathfrak g,C^\ell\mathfrak g]$ and then the behavior of its associated bivariate Hilbert polynomial. This behavior depends in particular on two numerical invariants that measure, on one hand, certain properties of the centralizers in $\mathfrak g$ of the ideals in… ▽ More For a complex finite-dimensional filiform Lie algebra $\mathfrak g$, we first study the bifiltration given by the bracket ideals $[C^k\mathfrak g,C^\ell\mathfrak g]$ and then the behavior of its associated bivariate Hilbert polynomial. This behavior depends in particular on two numerical invariants that measure, on one hand, certain properties of the centralizers in $\mathfrak g$ of the ideals in the lower central sequence and, on the other hand, the dimension of the largest abelian ideal that appears in the lower central series. We give examples proving that the Hilbert polynomial can distinguish isomorphism classes of filiform Lie algebras that cannot be distinguished by the two aforementioned invariants. △ Less

Submitted 2 May, 2025; originally announced May 2025.

On certain polynomial systems involving Stirling numbers of second kind

Authors: F. J. Castro-Jiménez, H. Cobo

Abstract: We solve a special type of linear systems with coefficients in multivariate polynomial rings. These systems arise in the computation of parametric Bernstein-Sato polynomials associated with certain hypergeometric ideals in the Weyl algebra. We solve a special type of linear systems with coefficients in multivariate polynomial rings. These systems arise in the computation of parametric Bernstein-Sato polynomials associated with certain hypergeometric ideals in the Weyl algebra. △ Less

Submitted 29 July, 2019; originally announced July 2019.

Comments: 23 pages

MSC Class: 15A54 (Primary); 11B73

Filiform Lie algebras with low derived length

Authors: F. J. Castro-Jiménez, M. Ceballos, J. Núñez

Abstract: We construct, for any integer n greater than or equal to 5, a family of complex filiform Lie algebras with derived length at most 3 and dimension n. We also give examples of n-dimensional filiform Lie algebras with derived length greater than 3. We construct, for any integer n greater than or equal to 5, a family of complex filiform Lie algebras with derived length at most 3 and dimension n. We also give examples of n-dimensional filiform Lie algebras with derived length greater than 3. △ Less

Submitted 31 October, 2020; v1 submitted 12 July, 2019; originally announced July 2019.

Comments: Statement of Th. 3 improved. References updated

MSC Class: 17B30 (Primary) 17-08; 17B05; 68W30 (Secondary)

Journal ref: Mediterr. J. Math. 17, 198 (2020)

Echelons of power series and Gabrielov's counterexample to nested linear Artin Approximation

Authors: M. E. Alonso, F. J. Castro-Jiménez, H. Hauser, C. Koutschan

Abstract: Gabrielov's famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals in power series rings. Gabrielov's famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals in power series rings. △ Less

Submitted 22 April, 2018; originally announced April 2018.

Comments: To appear in Bulletin of the London Mathematical Society

MSC Class: 32A05; 13F25; 13P10; 16W60; 14QXX; 14B12

Gevrey expansions of hypergeometric integrals I

Authors: F. J. Castro-Jimenez, M. Granger

Abstract: We study integral representations of the Gevrey series solutions of irregular hypergeometric systems. In this paper we consider the case of the systems associated with a one row matrix, for which the integration domains are one dimensional. We prove that any Gevrey series solution along the singular support of the system is the asymptotic expansion of a holomorphic solution given by a carefully ch… ▽ More We study integral representations of the Gevrey series solutions of irregular hypergeometric systems. In this paper we consider the case of the systems associated with a one row matrix, for which the integration domains are one dimensional. We prove that any Gevrey series solution along the singular support of the system is the asymptotic expansion of a holomorphic solution given by a carefully chosen integral representation. △ Less

Submitted 5 February, 2013; v1 submitted 6 December, 2012; originally announced December 2012.

Comments: New statements and proofs for Theorem 4.8 and Proposition 4.12. Corrected typos

MSC Class: 32C38 (Primary); 14F10; 33C70; 35A27 (Secondary)

Homogenising differential operators

Authors: F. J. Castro-Jimenez, L. Narvaez-Macarro

Abstract: We consider the Weyl algebra A (=A_n(k)) and its Rees algebra B with respect to the Bernstein filtration. The homogenisation of a differential operator in A is an element in B. In this paper we establish the validity of the division theorem for homogenized differential operators and Buchberger's algorithm for computing Groebner (or standard) bases in B. As an application we describe an algorithm f… ▽ More We consider the Weyl algebra A (=A_n(k)) and its Rees algebra B with respect to the Bernstein filtration. The homogenisation of a differential operator in A is an element in B. In this paper we establish the validity of the division theorem for homogenized differential operators and Buchberger's algorithm for computing Groebner (or standard) bases in B. As an application we describe an algorithm for computing delta-standard bases in the Weyl algebra A. △ Less

Submitted 8 November, 2012; originally announced November 2012.

Comments: This paper reproduces a non published preprint written in June 1997. It is also accessible at http://departamento.us.es/da/prepubli/prepub36.pdf

Report number: Prepublicaci\'on num. 36 de la Facultad de Matem\'aticas de la Universidad de Sevilla MSC Class: 13N10 (Primary); 32C38; 13P10; 14F10; 16S32 (Secondary)

Gevrey solutions of the irregular hypergeometric system associated with an affine monomial curve

Authors: M. C. Fernandez-Fernandez, F. J. Castro-Jimenez

Abstract: We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine monomial curve. We also describe the irregularity complex of such a system with respect to its singular support. We use restriction and some results in D-module theory to reduce our study to the two dimensional case. We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine monomial curve. We also describe the irregularity complex of such a system with respect to its singular support. We use restriction and some results in D-module theory to reduce our study to the two dimensional case. △ Less

Submitted 20 November, 2008; originally announced November 2008.

Comments: Most of the results of this paper are contained in arXiv:0804.0809v2 [math.AG]. Some references added. Corrected typos

MSC Class: 32C38; 13N10 (Primary) 13P10; 14F10; 14M25 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 363 (2011), no. 2, 923-948

Gevrey solutions of irregular hypergeometric systems in two variables

Authors: M. C. Fernandez-Fernandez, F. J. Castro-Jimenez

Abstract: We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine plane monomial curve. We also describe the irregularity complex of such a system with respect to its singular support. We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine plane monomial curve. We also describe the irregularity complex of such a system with respect to its singular support. △ Less

Submitted 20 November, 2008; originally announced November 2008.

Comments: Most of the results of this paper are contained in arXiv:0804.0809v2 [math.AG]

MSC Class: 32C38; 13N10 (Primary) 13P10; 14F10; 14M25 (Secondary)

Journal ref: J. Algebra 339 (2011), 320-335

Gevrey solutions for irregular hypergeometric systems I

Authors: M. C. Fernández-Fernández, F. J. Castro-Jiménez

Abstract: We describe the Gevrey solutions at singular points of irregular hypergeometric systems (GKZ systems) associated with affine monomial curves. We describe the Gevrey solutions at singular points of irregular hypergeometric systems (GKZ systems) associated with affine monomial curves. △ Less

Submitted 27 May, 2008; v1 submitted 4 April, 2008; originally announced April 2008.

Comments: Changed content. Reference added. Corrected typos. 41 pages

MSC Class: 32C38; 13N10 (Primary) 13P10; 14F10; 14M25 (Secondary)

The Computation of the Logarithmic Cohomology for Plane Curves

Authors: Francisco Jesus Castro-Jimenez, Nobuki Takayama

Abstract: We give algorithms of computing bases of logarithmic cohomology groups for square-free polynomials in two variables. (Fixed typos of v1) We give algorithms of computing bases of logarithmic cohomology groups for square-free polynomials in two variables. (Fixed typos of v1) △ Less

Submitted 20 January, 2008; v1 submitted 30 November, 2007; originally announced December 2007.

Comments: 19 pages

MSC Class: 14F43; 14F40; 13N10

A vanishing theorem for a class of logarithmic D-modules

Authors: F. J. Castro-Jimenez, J. Gago, M. I. Hartillo-Hermoso, J. M. Ucha

Abstract: Let $O_X$ (resp. $D_X$) be the sheaf of holomorphic functions (resp. the sheaf of linear differential operators with holomorphic coefficients) on $X$ (=the complex affine n-space). Let $Y$ be a locally weakly quasi-homogeneous free divisor defined by a polynomial $f$. In this paper we prove that, locally, the annihilating ideal of $1/f^k$ over $D_X$ is generated by linear differential operators… ▽ More Let $O_X$ (resp. $D_X$) be the sheaf of holomorphic functions (resp. the sheaf of linear differential operators with holomorphic coefficients) on $X$ (=the complex affine n-space). Let $Y$ be a locally weakly quasi-homogeneous free divisor defined by a polynomial $f$. In this paper we prove that, locally, the annihilating ideal of $1/f^k$ over $D_X$ is generated by linear differential operators of order 1 (for $k$ big enough). For this purpose we prove a vanishing theorem for the extension groups of a certain logarithmic $D_X$--module with $O_X$. The logarithmic $D_X$--module is naturally associated with $Y$. This result is related to the so called Logarithmic Comparison Theorem. △ Less

Submitted 6 July, 2007; originally announced July 2007.

Comments: 13 pages. To appear in Revista Matemática Iberoamericana

MSC Class: 32C20 (14F10; 32S40; 13P10)

A flatness property for filtered D-modules

Authors: F. J. Castro-Jimenez, M. Granger

Abstract: Let M be a coherent module over the ring D of linear differential operators on an analytic manifold X and let us consider k germs of transverse hypersurfaces at a point x in X. The Malgrange-Kashiwara V-filtrations along these hypersurfaces, associated with a given presentation of the germ of M at the point x, give rise to a multifiltration U(M) of M_x introduced by Sabbah and to an analytic sta… ▽ More Let M be a coherent module over the ring D of linear differential operators on an analytic manifold X and let us consider k germs of transverse hypersurfaces at a point x in X. The Malgrange-Kashiwara V-filtrations along these hypersurfaces, associated with a given presentation of the germ of M at the point x, give rise to a multifiltration U(M) of M_x introduced by Sabbah and to an analytic standard fan as developed by Assi-Castro-Granger. We prove here that this standard fan is adapted to the multifiltration, in the sense of C. Sabbah. This result completes the proof of the existence of an adapted fan in [9], for which the use of [8] is not possible (see References). △ Less

Submitted 23 May, 2005; originally announced May 2005.

Comments: 14 pages

MSC Class: 32C38 (Primary) 13C11; 14Q99; 13P99; 68W30 (Secondary)

A computational approach to the D-module of meromorphic functions

Authors: F. J. Castro-Jimenez, J. M. Ucha

Abstract: Let $D$ be a divisor in ${\bf C}^n$. We present methods to compare the ${\mathcal D}$-module of the meromorphic functions ${\mathcal O}[* D]$ to some natural approximations. We show how the analytic case can be treated with computations in the Weyl algebra. Let $D$ be a divisor in ${\bf C}^n$. We present methods to compare the ${\mathcal D}$-module of the meromorphic functions ${\mathcal O}[* D]$ to some natural approximations. We show how the analytic case can be treated with computations in the Weyl algebra. △ Less

Submitted 12 April, 2002; originally announced April 2002.

Comments: 11 pages

MSC Class: 32C38; 13N10; 14F40; 13P10

Gröbner $δ$-bases and Gröbner bases for differential operators

Authors: F. J. Castro-Jiménez, M. A. Moreno-Frías

Abstract: This paper deals with the notion of Gröbner $δ$-base for some rings of linear differential operators by adapting the works of W. Trinks, A. Assi, M. Insa and F. Pauer. We compare this notion with the one of Gröbner base for such rings. As an application, and following a previous work of A. Assi, we give some results on finiteness and on flatness of finitely generated left modules over these ring… ▽ More This paper deals with the notion of Gröbner $δ$-base for some rings of linear differential operators by adapting the works of W. Trinks, A. Assi, M. Insa and F. Pauer. We compare this notion with the one of Gröbner base for such rings. As an application, and following a previous work of A. Assi, we give some results on finiteness and on flatness of finitely generated left modules over these rings. △ Less

Submitted 26 November, 2001; originally announced November 2001.

MSC Class: 13N10; 13P10; 16S32; 32C38; 68W30

Slopes of a Hypergeometric System Associated to a Monomial Curve

Authors: F. J. Castro-Jimenez, N. Takayama

Abstract: We compute, by D-module restrictions, the slopes of irregular hypergeometric systems associated to a monomial curve. We compute, by D-module restrictions, the slopes of irregular hypergeometric systems associated to a monomial curve. △ Less

Submitted 6 July, 2001; originally announced July 2001.

Comments: 2 Postscript figures

MSC Class: 32C38; 13N10; 13P10

Free divisors and duality for D-modules

Authors: F. J. Castro-Jimenez, J. M. Ucha

Abstract: The relationship between ${\cal D}$-modules and free divisors has been studied in a general setting by L. Narváez and F.J. Calderón. Using the ideas of these works we prove in this article a duality formula between two ${\cal D}$-modules associated to a class of free divisors on ${\bf C}^n$ and we give some applications The relationship between ${\cal D}$-modules and free divisors has been studied in a general setting by L. Narváez and F.J. Calderón. Using the ideas of these works we prove in this article a duality formula between two ${\cal D}$-modules associated to a class of free divisors on ${\bf C}^n$ and we give some applications △ Less

Submitted 14 March, 2001; originally announced March 2001.

MSC Class: 32C38; 13N10; 14F40; 13P10

On some $\cal D$-modules in dimension 2

Authors: F. J. Castro-Jiménez, J. M. Ucha-Enriquez

Abstract: We prove a duality formula for two ${\cal D}$-modules arising from logarithmic derivations w.r.t. a plane curve. As an application we give a differential proof of a logarithmic comparison theorem of Calderón-Mond-Narváez-Castro. We prove a duality formula for two ${\cal D}$-modules arising from logarithmic derivations w.r.t. a plane curve. As an application we give a differential proof of a logarithmic comparison theorem of Calderón-Mond-Narváez-Castro. △ Less

Submitted 27 October, 2000; originally announced October 2000.

MSC Class: 14F10; 32C38