An algorithm to determine the Buchsbaum property and invariant for polynomial ideals

In 1913 F. S. Macaulay introduced the concept of perfectness. We extend Macaulay’s original ideas in order to include homogeous Buchsbaum ideals in a polynomial ring. Our computational methods enable us to decide if a given ideal is or is not Buchsbaum. We also obtain a new property of the Buchsbaum invariant for these ideals in terms of generating sets, which allows us to calculate this invariant.

---

Sunto Nel 1913 F.S. Macaulay introdusse il concetto di ideale perfetto. Noi estendiamo l’idea originale di Macaulay per includere ideali omogenei di Buchsbaum in un anello di polinomi. I nostri metodi computazionali ci permettono di decidere se un dato ideale è o no di Buchsbaum. Inoltre otteniamo una nuova proprietà dell’invariante di Buchsbaum per questi ideali in termini degli insiemi generatori che ci permette di calcolarlo.

---

---

This author would like to thank Massey University for financial support and the Department of Mathematics for its friendly atmosphere while finishing this paper.     

Su certi ideali massimali degli anelli di polinomi

Riassunto In questo lavoro vengono date alcune caratterizzazioni e condizioni di esistenza degli ideali massimali di altezza 1 degli anelli di polinomi. Uno dei risultati ottenuti è il seguente: seA è un anello noetheriano,f è un elemento massimale diA[X], allora l'ideale(f)∩A è una componente primaria isolata di (0).

---

Summary Some characterizations and existence conditions are given for maximal ideals of height 1 in polynomial rings. We note the following result: ifA is a noetherian ring,f is a polynomial such that (f) is a maximal ideal inA[X], then(f)∩A is a minimal prime which occurs in the primary decomposition of (0).

---

---

Durante quasi tutto il periodo di preparazione del presente lavoro, l'Autore ha usufruito di una botsa per laureandi del C.N.R.     

Sugli ideali,le congruenze e i quozienti di ω-gruppi in una categoria astratta

Riassunto Dato un anelloA in una categoria ∂ con prodotti finiti, si definisce il concetto di ?ideale diA? e si studiano le relazioni tra ideali, congruenze e ?anelli quozienti? diA.

---

Summary Given a ringA in a category ∂ with finite products, we define the concept of ?ideal ofA? and we investigate some relations between the ideals, the congruences and the ?quotient rings? ofA.

---

---

Lavoro eseguito nell'ambito dei Gruppi di Ricerca Matematica del C.N.R. per l'anno 1969–1970 (115.2182.05174).     

Algèbres Symétriques et Singularités

Riassunto Scopo di questo articolo è descrivere i generatori per la catena di ideali di Micali associati ad un ideale in un anello commutativo con elemento unità. Applichiamo i nostri risultati allo studio di singolarità di ipersuperfici algebriche.

---

Summary The aim of this paper is to describe the generators for the Micali's chain of ideals associated to an ideal in a commutative ring with unit. We apply our results in the study of singularities of algebraic hypersurfaces.

     

On the divisor class groups of localizations,completions and veronesean subrings of z-graded krull domains

Summary LetR be aZ-graded, noetherian, integral domain. This paper deals mainly with the divisor class groups of localizations and completions with respect to an α-adic topology (α homogeneous) ofR. Some technical results are used to study the Veronesean subrings ofR.

---

Riassunto SiaR un dominioZ-graduato, noetheriano. Questo articolo tratta principalmente il gruppo di classi di divisori di localizzazioni e completamenti rispetto ad una topologia α-adica (α omogeneo) diR. Alcuni risultati tecnici vengono applicati allo studio dei sottoanelli Veronesiani diR.

     

Su un caso di non esistenza e su uno di esistenza e unicità della soluzione di un problema della magnetoidrodinamica stazionaria

Riassunto In questa nota si affrontano alcune questioni di esistenza e unicità della soluzione classica del problema del moto stazionario di un fluido omogeneo, incomprimibile, perfetto, elettricamente condutore attorno ad un ostacolo dielettrico e scarico in un punto del quale è situato un dipolo magnetico. Precisamente, si dimostra dapprima che, nel caso in cui il fluido abbia conduttività finita, il problema suddetto non ammette soluzione se al campo cinetico e al campo magnetico sono imposte condizioni all'infinito alquanto restrittive. Si dimostra poi che opportune ipotesi all'infinito assicurano l'esistenza e l'unicità della soluzione del medesimo problema nel caso in cui il fluido sia un conduttore perfetto.

---

Summary This paper deals with some questions of classical solution existence and uniqueness for the problem of the steady flow of an homogeneous, incompressible, perfect, electrically conducting fluid past a dielectric and discharged obstacle in which a magnetic dipole is situated. More precisely, in the first place the non-existence of solutions of the above mentioned problem is proved for fluids of finite conductivity, if rather restrictive conditions are placed on behavior of the kinetic and magnetic fields at infinity. In the next place an existence and uniqueness theorem is established for perfectly conducting fluids.

     

Teoremi di unicità della magnetoidrodinamica in domini illimitati

Riassunto In questa nota si stabiliscono due teoremi di unicità della soluzione per il problema del moto di un fluido omogenco, incomprimibile, perfetto, elettricamente conduttore attorno ad un ostacolo fisso, anch'esso elettricamente conduttore. Nelprimo teorema viene trascurata la corrente di spostamento, mentre nel secondo si tiene conto anche di quest'ultima. Per la dimostrazione si utilizza il “metodo della funzione peso” usato da G. P. Galdi e S. Rionero in un analogo teorema di unicità per magnetofluidi viscosi.

---

Summary The Author establishes two solution uniqueness theorems for the problem of homogeneous, incompressible, perfect, electrically conducting fluid motion around a fixed, electrically conducting solid body. In the first theorem displacemt current is disregarded, in the other one this current is considered. The proof is obtained by using the “weight function method” adopted by G. P. Galdi and S. Rionero in an analogous uniqueness theorem for viscous magnetofluids.

     

Varietà a congruenze ideali

Riassunto SiaX una classe di strutture algebriche simili,AA _i)_i∈I una famiglia di algebre diX eL _i il reticolo delle congruenze diA _i. In modo naturale ad ogni ideale di resta associata una congruenza di . Il concetto di ?congruenza ideale? cioè di congruenza diA legata a un ideale diL estende il concetto di ?congruenza filtrale? di congruenza cioè legata a un filtro suI. Ciò conduce a introdurre un concetto di ?classe ideale? di algebre che estende quello di ?classe filtrale? di [3]. Vengono estesi alle classi ideali i risultati di [3].

---

Summary LetX be a class of similar algebras, (A _i)_i∈I a family of algebras inX and letL _i be the lattice of the congruences ofA _i. In a natural way we can link each ideal ofL=IIL _i with a congruence ofA=IIA _i. So we are brought to consider ?ideal classes? of algebras wich are an extension of ?filtral classes? [3]. The results of [3] are extended to ?ideal classes?.

---

---

Lavoro eseguito nell'ambito dell'attività del Comitato Nazionale per la Matematica del C.N.R., contratto 115218205174, anno 1970.     

Sul luogo di Gorenstein di un anello

Riassunto In questo lavoro viene data una nuova dimostrazione del fatto che il luogo di Gorenstein di un anello di Cohen-MacaulayA che sia immagine omomorfa di un anello di Gorenstein è aperto. La presente dimostrazione permette di dare esplicitamente l'ideale a ⊂A la cui varietà è il luogo non di Gorenstein diA. Si studia inoltre il comportamento del luogo di Gorenstein rispetto a certi omomorfismi di anelli.

---

Summary In this paper we give a new proof of the fact that the Gorenstein locus of a Cohen-Macaulay ringA which is homomorphic image of a Gorenstein ring is open, this describing explicitly the ideal a⊂A whose variety gives the non-Gorenstein locus ofA. Also, we study the Gorenstein locus behaviour with respect to certain ring homormorphisms.

---

---

Lavoro eseguito nell'ambito dei gruppi di ricerca del C.N.R.     

Sull’entropia di ordine α

Sommario Si propone per l’entropia di ordine α un sistema semplificato di assiomi, basato sull’assunzione di una definizione modificata dell’entropia condizionata. Il sistema tende in maniera continua al sistema classico per l’entropia diShannon.

---

Résumé On propose pour l’entropie α un système simplifié d’axiomes, en s’appuyant sur une définition modifiée de l’entropie liée. Ce système tend d’une fa?on continue au système deShannon lorsque α→1.

---

---

Lavoro eseguito per il C.N.R.—Gruppo di Ricerca n. 7. L’autore è grato al Prof.B. Forte per i suoi preziosi suggerimenti.     

Sulla classificazione delle curve algebriche sghembe in base alla determinazione di tutti i multilateri sghembi connessi per ogni ordine e genere

Riassunto In questa Nota si dà un metodo per ottenere il numero ed i tipi di multilateri sghembi di ordinen e generep dati, conn+p−1 vertici di connessione e che sono casi limite di curve algebriche sghembe irriducibili.

---

Résumé Dans la prèsente Note on donne une méthode pour obtenir le nombre et les types des multilatères gauches d'ordren e de genrep donnés, ayantn+p−1 sommets de connexion, et qui sont des cas limites de courbes gauches algébriques irriductibles.

     

The internal sphere condition and the capillary problem

Sunto In un importante lavoro [1], M. Emmer ha dimostrato l’esistenza di superfici di equilibrio capillari, definite in domini con frontiera Lipschitziana, quando la costante di Lipschitz L e l’angolo di contatto γ soddisfano la relazione L<|tg γ|. Questa condizione, che è noto essere necessaria in generale, può essere troppo restrittiva in alcuni casi particolari. In questo lavoro la condizione di Emmer è sostituita da una ? condizione di sfera interna ?, che conduce ad una larga classe di domini che non rientrano nel risultato di Emmer. L’esiestenza di una soluzione è dimostrata anche nel caso γ=0, che non può essere trattato con il metodo di Emmer.

---

---

Entrata in Redazione il 26 agosto 1975.

---

This work was initiated while the former author was at Universit?t Bonn and at Università di Genova, and the latter author at Université de Paris VI as a Fellow of the Deutsche Forschungsgemeinschaft.     

Subbundles of maximal degree of the normal bundle of algebraic space curves almost complete intersection of special type

Summary LetX⊂P ³ be an irreducible smooth curve which is not a complete intersection. The main result of this paper shows that whenX is an a.c.i. of special type, i.e. its homogeneous ideal is generated by three polynomial of the same degreem, and additionallym>2, the subbundles of maximal degree of the normal bundle ofX inP ³ correspond to the singular points of maximal multiplicity of a plane curve which is the image ofX by a map (the linear system of the surfaces of minimal degree throughX). In particular this normal bundle is stable. The initial case of this family of curves, i.e. form=3, has been studied by E. Ballico-Ph. Ellia with different methods.

---

Riassunto SiaX⊂P ³ una curva irriducibile e liscia che non è una completa intersezione. Il risultato principale di questa Nota mostra che quandoX è una almost completa intersezione di tipo speciale, cioè il suo ideale omogeneo è generato minimamente da 3 polinomi dello stesso gradom, e, inoltre,m>2, i sottofibrati di grado massimo del fibrato normale diX inP ³ corrispondono ai punti singolari di molteplicità massima di una curva piana che è l’immagine diX tramite una mappa (il sistema lineare delle superficie di grado minimo passanti perX). In particolare questo fibrato normale è stabile. Il caso iniziale di questa famiglia di curve, i.e. perm=3, è stato studiato da E. Ballico-Ph. Ellia con differenti metodi.

---

---

This research is supported by GNSAGA (Italy).

---

The main results of this paper have been the object of a talk at the meeting on ?Curves in Projective Space? held at Rocca di Papa in june 1985.     

On minimum problems for families of functionals

Sommario Per una famiglia { | λ ∈ ⁁} di funzionali reali definiti in uno spazio metricoX e dipendenti da un parametro λ ∈ ⁁, dove ⁁ è uno spazio topologico, si pone il problema di come si comporta, al variare di λ, l'insieme dei punti di minimo di I_λ. Lo studio di tale problema è l'oggetto del presente lavoro e il risultato principale è dato dal Teorema1.

---

---

Entrata in Redazione il 3 marzo 1970.     

On the supports of solutions of linear partial differential equations with analytic coefficients

Sunto In questo lavoro vengono dimostrati, con un metodo basato sui funzionali analitici, il teorema di Holmgren e varie sue estensioni. Il punto essenziale è che nelle dimostrazioni sono usate soltanto transformazioni lineari. Così è messo in luce che la variabile ? tempo ? ha un ruolo completamente diverso dal ruolo delle variabili ? spaziali ? per l'unicità del problema lineare di Cauchy. Viene anche studiato il problema globale di Cauchy in un semispazio.

---

---

Entrato in Redazione il 1° aprile 1971.     

Sulle parabole iperosculatrici in un punto ad una superficie dello spazio affine

Riassunto Si studia il sistema dei piani per un punto diA di una superficie Σ. nello spazio affine ordinario, che segano Σ secondo curve aventi inA parabola iperosculatrice. Si determina poi il numero dei piani secanti Σ secondo curve che hanno inA, con la propria parabola osculatrice, contatto d’ordine superiore a 4.

---

Resume On étudie le système des plans passant par un pointA d’une surface Σ. dans l’éspace affine ordinaire. qui coupent Σ selon des courbes ayant enA une parabole hyperosculatrice. On trouve ensuite le nombre des plans qui coupent Σ selon des courbes qui ont enA un contact d’ordre supérieur à 4 avec leur parabole osculatrice.

---

---

Lavoro eseguito nell’ambito del Gruppo di ricerca N. 26 del Comitato nazionale per la matematica del C.N.R. (1963–64).     

On the existence of free surface problem for viscous incompressible flow

In this paper we are concerned with the flow of a viscous, incompressible fluid in a bounded, three-dimensional region Ω with free surface boundary conditions. Using a method introduced by the author, that consider a two-fluid system in which the atmosphere or the vacuum is considered as a second fluid, separated from the first one by a free interface Γ(t), we prove existence of a kind of weak solution that we call quasi-weak solution.

---

Sunto In questo lavoro studiamo il moto di un fluido viscoso e incomprimibile in una regione limitata tridimensionale Ω, con condizioni al contorno di superficie libera. Utilizzando un metodo, dovuto all’autore, che consiste nel considerare l’atmosfera o il vuoto come un secondo fluido, separato dal primo da un’interfaccia mobile Γ(t), dimostriamo l’esistenza di una sorta di soluzione debole, denominata soluzione quasi-debole.

---

---

Work supported by Progetto Murst n. 9801262841.     

Due questioni di relatività generale

Sunto Si considera un generico conduttore ideale elastico magnetizzabile & in Relatività generale. Si mostra che quando il moto di & è rigido secondo Born sussistono certe proprietà di invarianza per grandezze elettromagnetiche, le quali, nel caso di non magnetizzabilità, si riducono a certe proprietà già note sia in Fisica classica che in Relatività generale, cf.[11] e[14]. Inoltre si scrivono le equazioni (in termini finiti) che determinano la velocità di propagazione in & delle onde magneto-elastiche d’accelerazione e le discontinuità d’accelerazione. Con ciò si generalizzano alcuni risultati noti per fluidi.

---

Summary An arbitrary magnetizable and elastic ideal conductor, &, is considered in general Relativity. Certain invariance properties of some eletromagnetic quantities are shown to hold for &, under the condition of the Born rigidity. This is a generalization of a result that for nonmagnetizable bodies is already known in both classical physics and general Relativity, cf.[11], [14]. Furthermore the author deduces the algebraic equations for the propagation speed in & of (acceleration) magneto-elastic waves and for the discontinuity vector of acceleration. Thus some known results concerning fluids have been generalized.

---

---

Lavoro eseguito nell’ambito dell’attività dei gruppi di ricerca del C.N.R.

---

Entrata in Redazione il 26 luglio 1971.     

Il profilo alare ad arco di cerchio in flusso transonico continuo senza incidenza

Sunto Nella presente ricerca viene studiato con metodo diretto sul piano odografico il campo aerodinamico attorno a profili alari sottili ad arco di cerchio investiti senza incidenza da una corrente asintoticamente uniforme con numero di Mach M_∞<1. Il problema viene anzitutto formulato in forma analitica nell'ambito delle piccole perturbazioni transoniche effettuando alcune assunzioni atte a renderne possibile una trattazione di prima approssimazione. Esso viene ricondotto ad un particolare problema di valori al contorno con frontiera mobile, di cui si indica un metodo iterativo per la risoluzione. In questo procedimento iterativo interviene in modo essenziale la risoluzione di un altro problema di valori al contorno con frontiera fissa, di cui viene anzitutto data una formulazione variazionale. Succesivamente tale problema con frontiera fissa viene affrontato mediante calcolo numerico col metodo delle differenze finite. Si ottiene così un sistema di equazioni lineari per il quale si adattano i metodi di risoluzione utilizzati usualmente sui calcolatori elettronici.

---

Summary In the present paper it is studied, with direct method on the hodograph plane, the aerodynamic field around thin circular arc aurfoils in asymptotically uniform flow with zero incidence and Mach number M_∞<1. The problem is, first of all, analitically formulated within the limits of small transonic perturbation with some assumption apt to make possible a first approximation treatment. Thus it is reduced to a particular boundary values problem with free boundary, for which an iteraction method for the solution is developed. In the iteraction process the solution of an other boundary values problem with fixed boudary occurs, for which it is given a variational formulation. The fixed boundary values problem is numerically treated by means of the finite differences method. Thus it is obtained a linear equations system which can be solved with the methods usually utilized on Computers.

---

---

A Bruno Finzi nel suo 70^mo compleanno

---

Lavoro effettuato nell'ambito dei Contratti di ricerca della Matematica del Consiglio Nazionale delle Ricerche. Esso, in una stesura più estensiva, ha conseguito il premio Rancati 1969 dell'Istituto Lombardo, Accademia di Scienze e Lettere di Milano. Al primo Autore è dovuta la parte aerodinamica del lavoro e l'impostazione della risoluzione del problema matematico che ne consegue; al secondo Autore lo studio del problema con frontiera fissa; al secondo ed al terzo Autore la trattazione numerica del problema stesso.

---

Entrata in Redazione il 10 aprile 1970.     

Real points in the fibres of dominant maps defined overR

Letf: X → Y be a dominant map between real algebraic varieties of the same dimension. The object of this paper is the study of the map which sends every pointy ∈ Y to the number of real points inf ⁻¹ (y). We give a sufficient condition ony to ensure that the above map is locally constant iny. Moreover, we consider the subset ofY where this map is no more locally constant and we give the principal properties of this set.

---

Sunto Siaf: X → Y un morfismo dominante tra varietà algebriche reali della stessa dimensione. In questo articolo si studia la mappa che associa ad ogni puntoy ∈ Y il numero di punti reali inf ⁻¹ (y); in particolare si dà una condizione sufficiente suy affinchè tale mappa sia costante in un suo intorno. Inoltre, si considera il sottoinsieme diY in cui tale mappa non è più localmente costante e si danno le principali proprietà di tale insieme.

---

---

The work was written while both the authors were members of the G.N.S.A.G.A. of the Consiglio Nazionale delle Ricerche.