Search

The paper contributes to the investigation of zero-dimensional rings which can be written as a directed union of Artinian subrings. We give conditions on DU(R) in order to be nonempty.

We construct a Koszul complex in the category of left skew polynomial rings associated to a flat endomorphism that provides a finite free resolution of an ideal generated by a Koszul regular sequence., 16 pages, comments are welcome

The paper contributes to the investigation of zero-dimensional rings which can be written as a directed union of Artinian subrings. We give conditions on DU(R) in order to be nonempty.

Let $Y$ be a closed subscheme of $\mathbb{P}^{n-1}_k$ defined by a homogeneous ideal $I\subset A=k[X1,\cdots,Xn]$, and $X$ obtained by blowing up $\mathbb{P}^{n-1}_k$ along $Y$. Denote by $I_c$ the degree $c$ part of $I$ and assume that $I$ is generated by forms of degree $\leq d$. Then the rings $k[(I^e)_c]$ are coordinate rings of projective embeddings of $X$ in $\mathbb{P}^{N-1}_k$ , where $N=dim_k(I^e)_c$ for $c\geq de+1$. The aim of this paper is to study the Gorenstein property of the rings $k[(I^e)_c]$ . Under mild hypothesis we prove that there exist at most a finite number of diagonals ($c, e$) such that $k[(I^e)_c]$ is Gorenstein, and we determine them for several families of ideals.

Let Y be a closed subscheme of Pn−1 k defined by a homogeneous ideal I⊂ A=k[X1,...,Xn], and X obtained by blowing up Pn−1 k along Y. Denote by Ic the degree c part of I and assume that I is generated by forms of degree ≤ d. Then the rings k[(Ie)c] are coordinate rings of projective embeddings of X in PN−1 k , where N=dimk(Ie)c for c ≥ de+1. The aim of this paper is to study the Gorenstein property of the rings k[(Ie)c] . Under mild hypothesis we prove that there exist at most a finite number of diagonals (c, e) such that k[(Ie)c] is Gorenstein, and we determine them for several families of ideals.

Preprint enviat per a la seva publicació: Capítol del llibre: Commutative algebra, Algebraic geometry, and computational methods, 1999, p. 215-222

Preprint enviat per a la seva publicació en una revista científica.

Todos los anillos que se consideran son Conmutativos y Noetherianos. En torno y a partir de la Conjetura de Serre de Multiplicidades (1957) se ha desarrollado durante estos últimos 25 años una importante área de trabajo en el Álgebra Conmutativa que ha acabado denominándose Conjeturas Homológicas. De entre todas estas conjeturas una de las que mayor trascendencia ha tenido es la denominada de Grandes Módulos de Cohen-Macaulay, formulada por M. Hoschter en 1973 y que dice así:Sea "A" un anillo local y a(1), .,a(n) un sistema de parámetros de A. Existente entonces un A-módulo M para el que a(1), .., a(n) es M-sucesión. Se dice entonces que M es un gran módulo de Cohen-Macaulay respecto a a(1), ., a(n). La importancia de esta Conjetura proviene fundamentalmente de dos razones. Una la que tiene como consecuencia la mayoría de las restantes Conjecutras Homológicas, y otra que fue demostrada afirmativamente por el propio Hochster siempre que el anillo contenga un cuerpo, recubriendo así y también ampliando la mayoría de los resultados hasta entonces conocidos en este campo. Los grandes módulos de Cohen-Macaulay no son por lo general de tipo finito, pues existen anillos de dimensión 2 para los que ningún gran módulo de Cohen-Macaulay puede ser de generación finita. De hecho la existencia para todo anillo completo A de un A-gran módulo de Cohen-Macaulay de tipo finito, es decir, de un gran módulo de Cohen-Macaulay con grado igual a la dimensión del anillo, constituye la Conjetura de Pequeños Módulos de Cohen-Macaulay, de la que muy poco se sabe. Resulta entonces que casi ninguna de las propiedades verificadas por los módulos de tipo finito pueden extenderse a los grandes módulos de Cohen-Macaulay; por ejemplo, existen anillos A de dimensión 2 y A-grandes módulos de Cohen-Macaulay M con M sucesiones que no conmutan. Por otro lado, P. Grifith en 1975 y en un intento de demostrar la Conjetura de Pequeños Módulos de Cohen-Macaulay a partir de la de Grandes Módulos de Cohen-Macaulay, construye sobre los anillos completos A que contienen un cuerpo grandes módulos de Cohen-Macaulay M para los que todo sistema de parámetros de A es M-sucesión.También M. Hochster demostró mediante una modificación de sus célebres "Modificaciones" que sobre todos los anillos que contienen un cuerpo existen tales Módulos de Cohen-Macaulay, pero son Bartjin y Strooker quienes en 1981 se dan cuenta de la abundancia de tales módulos al demostrar que el completado separado de todo gran módulo de Cohen-Macaulay verifica esta propiedad. Finalmente, R.Y. Sharp, quien los denomina "Grandes Módulos de Cohen-Macaulay Equilibrados", inicia un estudio sistemático con la idea base de que los grandes módulos de Cohen-Macaulay constituyen una buena generalización al caso no finito de la noción Cohen-Macaulay.El objetivo de esta Memoria es entonces el estudio de los grandes módulos de Cohen-Macaulay equilibrados desde tres puntos de vista distintos:- El del grado y la dimensión de Krull.- El de la conservación de la propiedad por extensión plana de escalares. - El de las propiedades nomológicas relacionadas con la dimensión inyectiva. Estas cuestiones constituyen respectivamente los capítulos 2º, 3º y 4º de esta Memoria. En cada caso mostramos las diferencias y anomalías que se producen respecto al caso de generación finita. Dada la no finitud de los grandes módulos de Cohen-Macaulay equilibrados es necesario utilizar métodos específicos en su estudio. Hacemos notar que en lo referente al grado se dispone de los métodos desarrollados recientemente por H.-B. Foxby en el contexto más general de su Teoría de Complejos y otros trabajos previos. Por el contrario, ha sido necesario desarrollarlos para aquellas cuestiones relacionadas con la dimensión de Krull, y en especial lo relativo a los sistemas de parámetros. Todo ello configura el primer capítulo de esta Memoria. Deseo agradecer al Dr. Rafael Mallol, de quien recibí mis primeras lecciones de Álgebra Conmutativa, el haber aceptado de la Dirección de esta Memoria y el interés puesto en ella. Así mismo, debo agradecer al Dr. José María Giral toda su colaboración e inestimables consejos, especialmente durante el período de tiempo que fui becario de la Fundación Agustí Pedro i Pons de la Universidad de Barcelona y en el que se elaboró parte de esta Memoria.

El càlcul de primitives de funcions en forma explícita ha estat sempre un tema un xic esotèric en el sentit que fora de tècniques ben populars no és gaire conegut el tractament sistemàtic d'aquesta qüestió. Per exemple, és ben sabut de tothom que no es pot trobar en forma explícita un primitiva de (e^x)/x o e^x^2 o sin(x/x), etc. ( i això és un fet acceptat), però no és en canvi gens conegut que aquesta qüestió, és a dir, saber quan la primitiva d'una funció es pot trobar o no en forma explícita, va ser resolta per Liouville en una sèrie de treballs publicats en el període que va de l'any 1833 a l'any 1838 i en els quals va demostrar el resultat del qual parlarem.