By results of [9] there are models and for which the Ehrenfeucht-Fraïssé game of length ω₁, $EF{G}_{\omega ₁}(,)$, is non-determined, but it is consistent relative to the consistency of a measurable cardinal that no such models have cardinality ≤ ℵ₂. We now improve the work of [9] in two ways. Firstly, we prove that the consistency strength of the statement “CH and $EF{G}_{\omega ₁}(,)$ is determined for all models and of cardinality ℵ₂” is that of a weakly compact cardinal. On the other hand, we show that if $2^{\aleph ₀}<2^{\aleph ₃}$, T is a countable...

This article is devoted to sequences ${(u_n)}_n$ of subharmonic functions in ${ℝ}^N$, with finite order, whose means $J_{u_n}(r)$ (over spheres centered at the origin, with radius r) satisfy such a condition as: $\forall r>0$, $\exists A_r>0$ such that $J_{u_n}(r)\le A_r$, $\forall n\in 𝐍$. The paper investigates under which conditions one may extract a pointwise or uniformly convergent subsequence.

Let $f(\cdot ,t)$ be the probability density function representing the solution of Kac's Boltzmann-like equation at time $t$, with initial data $f_0$, and let $g_{\sigma }$ be the Gaussian density with zero mean and variance ${\sigma }^2$, ${\sigma }^2$ being the value of the second moment of $f_0$. Henry McKean Jr. put forward the conjecture that the total variation distance between $f(\cdot ,t)$ and $g_{\sigma }$ goes to zero, as $t\to +\mathrm{\infty }$, with an exponential rate equal to $-1/4$. This lecture aims at explaining the main efforts made to a view to validating this conjecture,...

Let ${𝕊}^1$ and $𝔻$ be the unit circle and the unit disc in the plane and let us denote by $𝒜({𝕊}^1)$ the algebra of the complex-valued continuous functions on ${𝕊}^1$ which are traces of functions in the Sobolev class $W^{1,2}(𝔻)$. On $𝒜({𝕊}^1)$ we define the following norm $$\parallel u\parallel ={\parallel u\parallel }_{L^{\mathrm{\infty }}({𝕊}^1)}+{\left({\iint }_{𝔻}{|\nabla \tilde{u}|}^2\right)}^{1/2}$$ where is the harmonic extension of $u$ to $𝔻$. We prove that every isomorphism of the functional algebra $𝒜({𝕊}^1)$ is a quasitsymmetric change of variables on ${𝕊}^1$.

Si considera l’equazione astratta $B{A}_{1}u+A_{0}u=h$, dove $A_i$ $(i=0,1)$ e $B$ sono convenienti operatori lineari chiusi fra spazi di Banach, $A_i$ non è necessariamente invertibile, e $A_0$, $A_1$ non commutano con $B$. Si studiano esistenza ed unicità delle soluzioni. Si indicano alcune applicazioni a certe equazioni differenziali degeneri o singolari.

We consider two dimensional diagonal elliptic systems $\mathrm{\Delta }u+au=H(x,u,\nabla u)$ which arise from stochastic differential games with discount control. The Hamiltonians $H$ have quadratic growth in $\nabla u$ and a special structure which has notyet been covered by regularity theory. Without smallness condition on $H$, the existence of a regular solution is established.

Let $D$ be an integral domain with quotient field $D$. Recall that $D$ is Schreier if $D$ is integrally closed and for all $x,y,z\in D\setminus \{0\}$, $x|yz$ implies that $x=r\cdot s$ where $r|y$ e $s|z$. A GCD domain is Schreier. We show that an integral domain $D$ is a GCD domain if and only if (i) for each pair $a,b\in D\setminus \{0\}$, there is a finitely generated ideal $B$ such that $aD\bigcap bD=B_v$ and (ii) every quadratic in $D[X]$ that is a product of two linear polynomials in $K[X]$ is a product of two linear polynomials in $D[X]$. We also show that $D$ is Schreier if and only if every...

The following results are proved: (i) if $\alpha$, $\beta \in {ℝ}^{+}$ and $A$ is a sectorial operator, then the set $\{t^{\alpha }{A}^{\beta }(t+A);t>0\}$ is bounded; (ii) the same set of operators is R-bounded if $A$ is R-sectorial.

The range of the bigenus $P_2$ is one of the unsolved problems concerning smooth complex projective regular threefolds of general type with $p_g=0$: The examples in the literature have $P_2\le 5$. In the present paper we present a non-singular threefold with $p_g=q_1=q_2=0$; $P_2=6$; the bicanonical map is stably birational.

Siano $d$, $g$, $t$ interi con $0\le t\le g$; se esiste in ${\mathbb{P}}_3(ℂ)$ una curva connessa, non singolare di grado $d$ e genere $g$, allora esiste in ${\mathbb{P}}_3(ℂ)$ una curva irriducibile di grado $d$, genere aritmetico $g$ e $t$ nodi.

We study here several finiteness problems concerning affine Nash manifolds $M$ and Nash subsets $X$. Three main results are: (i) A Nash function on a semialgebraic subset $Z$ of $M$ has a Nash extension to an open semialgebraic neighborhood of $Z$ in $M$, (ii) A Nash set $X$ that has only normal crossings in $M$ can be covered by finitely many open semialgebraic sets $U$ equipped with Nash diffeomorphisms $(u_1,\cdots ,u_m):U\to {ℝ}^m$ such that $U\cap X=\{u_1\cdots u_r=0\}$, (iii) Every affine Nash manifold with corners $N$ is a closed subset of an affine Nash...

Sia $K\subset \subset {ℝ}^n$ un compatto, $f\ge 0$ una funzione analitica all'intorno di $K$, ed $m$ la massima molteplicità in $K$ degli zeri di $f$; si prova che la potenza $f^{\lambda }$ ($\lambda \in ℂ$, $Re\lambda >\mathrm{—}\frac{1}{m}$) è integrabile in $K$. L'estensione meromorfa dell'applicazione $\lambda \to f^{\lambda }$ da $Re\lambda >0$ a tutto $ℂ$ (con valori in ${𝒟}^{\prime }(K)$ anziché in $L^1(K)$) era già stata provata in [1] e [2].

Inspired by a result from Leibov, we find that the supremum defining the $BLO$ norm in $[0,1]$ is actually attained by a specific sub-interval of $[0,1]$ for $f\in VLO([0,1])$

Dato un cono $V$ aperto non vuoto, convesso, regolare e affinemente omogeneo in uno spazio vettoriale reale $W$ di dimensione finita si prova che per ogni $v$ appartenente a $V$ esiste un diffeomorfismo $E_v:W\to V$ che soddisfa le condizioni seguenti E1) $E_v(0)=v$; E2) $det(d{E}_v(y))={\mathrm{\Phi }}_V{(E_v(y))}^{-1}$ per ogni $y$ appartenente a $W$ ove ${\mathrm{\Phi }}_V:V\to {𝐑}^{+}$ è la funzione caratteristica di $V$.

We consider the Grassmannian $𝔾r(k,n)$ of $(k+1)$-dimensional linear subspaces of $V_n=H^0({\mathbb{P}}^1,{𝒪}_{{\mathbb{P}}_1}(n))$. We define ${𝔛}_{k,r,d}$ as the classifying space of the $k$-dimensional linear systems of degree $n$ on ${\mathbb{P}}^1$, whose bases realize a fixed number $r$ of polynomial relations of fixed degree $d$, say $r$ syzygies of degree $d$. Firstly, we compute the dimension of ${𝔛}_{k,r,d}$. In the second part we make a link between ${𝔛}_{k,r,d}$ and the Poncelet varieties. In particular, we prove that the existence of linear syzygies implies the existence of singularities on the...

Ogni logica $L$ genera canonicamente la $L$-equivalenza ${\equiv }_L$e la $L$-immersione $\underset{𝐿}{\to }$ proprio come la logica del primo ordine genera l’equivalenza elementare $\equiv$ e l’immersione elementare $\lesssim$. Astraendo da $L$, è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ($A{P}^{+}$). Caratterizziamo algebricamente...

In questa Nota, dati uno spazio metrico perfetto $X$ ed un suo sottoinsieme $K$ chiuso e raro, si dimostra l'esistenza di una funzione continua $f:X\to [0,1]$ tale che $int(f^{-1}(t))=\mathrm{\varnothing }$ per ogni $t\in [0,1]$, $f(x)=0$ per ogni $x\in K$ e $f(y)=1$ per qualche $y\in X\setminus K$. In particolare, ciò permette di dare risposta simultaneamente a due questioni poste in [2]. Si mettono in evidenza, poi, ulteriori conseguenze di tale risultato.

Si costruiscono curve di genere $g=4n\mathrm{—}3$, $n\ge 3$ che hanno $2^{n-3}(2^{n-2}-1)$ fasci semicanonici $L$ tali che $h^0(L)=4$. Per $n+3$ si dimostra che gli $L$ sono molto ampi.

If the second order problem $\ddot{u}+\dot{u}+Au=f$ has $L^p$ maximal regularity for some $p\in (1,\mathrm{\infty })$, then it has $L^p$ maximal regularity for every $p\in (1,\mathrm{\infty })$.

CONTENTSIntroduction.......................................................................................61. Definition of certain special forms...........................................62. Statement of results...................................................................83. Proof of Theorem 2.....................................................................94. Preliminaries for Theorem 1.....................................................105. Further preliminaries for Theorem...

Let $F\subset C^{\ast }(X)$ be a vector sublattice over $ℝ$ which separates points from closed sets of $X$. The compactification $e_{F}X$ obtained by embedding $X$ in a real cube via the diagonal map, is different, in general, from the Wallman compactification $\omega (Z(F))$. In this paper, it is shown that there exists a lattice $F_z$ containing $F$ such that $\omega (Z(F))=\omega (Z(F_z))=e_{F}X$. In particular this implies that $\omega (Z(F))\ge e_{F}X$. Conditions in order to be $\omega (Z(F))=e_{F}X$ are given. Finally we prove that, if $\alpha X$ is a compactification of $X$ such that $C{l}_{\alpha X}(\alpha X\setminus X)$ is $0$-dimensional, then there is an...

The aim of this work is to prove a chain rule and an $L^1$-lower semicontinuity theorems for integral functional defined on $BV(\mathrm{\Omega })$. Moreover we apply this result in order to obtain new relaxation and $\mathrm{\Gamma }$-convergence result without any coerciveness and any continuity assumption of the integrand $f(x,s,p)$ with respect to the variable $s$.

Let $X$, $X^{\prime }$, $Y$ be smooth projective complex curves with $Y$ curve of genus $\ge 1$. Let $d$ be an integer $\ge 3$, let $\underset{¯}{e}=(e_1,\mathrm{\dots },e_r)$ be a partition of $d$ and let $|e|={\sum }_{i=1}^r(e_i-1)$. Let $X\stackrel{𝜋}{\to }{X}^{\prime }\stackrel{𝑓}{\to }Y$ be a sequence of coverings where $\pi$ is a degree 2 branched covering and $f$ is a degree $d$ covering, with monodromy group $S_d$, branched in $n_2+1$ points, one of which is special point $c$ whose local monodromy has cycle type given by $\underset{¯}{e}$. Moreover the branch locus of the covering $\pi$ is contained in $f^{-1}(c)$. In this paper we prove the irreducibility...

Si considerano due spazi $S_{\mu }$ e $S_{\nu }^{\ast }$, Riemanniani e a metrica eventualmente indefinita, riferiti a sistemi di co-ordinate $\mathrm{\varnothing }$ e ${\mathrm{\varnothing }}_{\nu }^{\ast }$; e inoltre un doppio tensore $T_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ associato ai punti ${\mathrm{\varnothing }}^{-1}(x)\in S_{\mu }$ e ${\mathrm{\varnothing }}^{\ast -1}(y)\in S^{\ast }$. Si pensa $T_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ dato da una funzione ${\tilde{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}$ di $m$ altri tali doppi tensori e di variabili puntuali $x(\in {\mathrm{\Re }}^{\mu })$, $t\in \mathrm{\Re }$ e $y(\in {\mathrm{\Re }}^{\nu })$; poi si considera la funzione composta $${\widehat{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y)={\tilde{T}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}[\underset{1,\mathrm{\dots },m}{\underbrace{{\breve{H}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y),\mathrm{\dots },{\breve{H}}_{\mathrm{\cdots }}^{\mathrm{\cdots }}(x,t,y)}},x,t,y].$$ Nella Parte I si scrivono due regole per eseguire la derivazione totale di questa, connessa con una mappa $\widehat{ℰ}$ $(={\widehat{ℰ}}_t)$ fra $S_{\nu }^{\ast }$ e $S_{\mu }$; una è a termini generalmente non covarianti...

We prove that the $\mathrm{\Gamma }$-limit in $L_{\mu }^{\mathrm{\infty }}$ of a sequence of supremal functionals of the form $F_k(u)={\mu -\mathrm{ess}\sup }_{\mathrm{\Omega }}{f}_k(x,u)$ is itself a supremal functional. We show by a counterexample that, in general, the function which represents the $\mathrm{\Gamma }$-lim $F(\cdot ,B)$ of a sequence of functionals $F_k(u,B)={\mu -\mathrm{ess}\sup }_B{f}_k(x,u)$ can depend on the set $B$ and wegive a necessary and sufficient condition to represent $F$ in the supremal form$F(u,B)={\mu -\mathrm{ess}\sup }_{B}f(x,u)$. As a corollary, if $f$ represents a supremal functional, then the level convex envelope of $f$ represents its weak* lower semicontinuous envelope. ...

In this paper we determine all squarefree completely lexsegment ideals which have a linear resolution. Let $M_d$ denote the set of all squarefree monomials of degree $d$ in a polynomial ring $k[x_1,\mathrm{\dots },x_n]$ in $n$ variables over a field $k$. We order the monomials lexicographically such that $x_1>x_2>\mathrm{\dots }>x_n$, thus a lexsegment (of degree $d$) is a subset of $M_d$ of the form $L(u,v)=\{w\in M_d:u\ge w\ge v\}$ for some $u,v\in M_d$ con $u\ge v$. An ideal generated by a lexsegment is called a lexsegment ideal. We describe the procedure to determine when such an ideal has a linear...

Se $X$ ed $Y$ sono spazi topologici, un'applicazione $f:X\to Y$ dicesi semicontinua [3] se, per ogni insieme aperto $V$ di $Y$, $f^{-1}(V)$ risulta un insieme semiaperto di $X$. Qui si studiano tali applicazioni e si dànno tre loro caratterizzazioni.

We fix $\mathrm{\ell }$ a prime and let $M$ be an integer such that $\mathrm{\ell }|̸M$; let $f\in S_2({\mathrm{\Gamma }}_1(M{\mathrm{\ell }}^2))$ be a newform supercuspidal of fixed type at $\mathrm{\ell }$ and special at a finite set of primes. For an indefinite quaternion algebra over $Q$, of discriminant dividing the level of $f$, there is a local quaternionic Hecke algebra $T$ associated to $f$. The algebra $T$ acts on a module $M_f$ coming from the cohomology of a Shimura curve. Applying the Taylor-Wiles criterion and a recent Savitt's theorem, $T$ is the universal deformation ring of a global...

The object of this note is to study certain 2-dimensional $\lambda$-adic representations of $Gal(\overline{Q}/Q)$; fixed $p_1,\mathrm{\dots },p_n$ distinct primes, we will consider representations $\rho :G\to G{L}_2(A)$, given by the matrix which are unramified outside $p_1,\mathrm{\dots },p_n,\mathrm{\infty }$ and the residue characteristic of $\lambda$, which are a product of $m$ representations over finite extensions of the ring of Witt vectors of the residue field and which are reducible modulo $\lambda$. In analogy with the theory of the modular representations, we will introduce the analogue of Mazur's Hecke...

The well-known Impossibility Theorem of Arrow asserts that any generalized social welfare function (GSWF) with at least three alternatives, which satisfies Independence of Irrelevant Alternatives (IIA) and Unanimity and is not a dictatorship, is necessarily non-transitive. In 2002, Kalai asked whether one can obtain the following quantitative version of the theorem: For any $ϵ>0$, there exists $\delta =\delta \left(ϵ\right)$ such that if a GSWF on three alternatives satisfies the IIA condition and its probability of...

Si supponga che l'anello $𝐑$ ammetta una decomposizione come prodotto subdiretto $𝐑=\underset{\widetilde{\alpha \in 𝚲}}{\times }{𝐑}_{\alpha }$ di anelli ${𝐑}_{\alpha }\ne \mathrm{}$, tali che per ${𝐒}_{\alpha }=𝐑\cap {𝐑}_{\alpha }$ si abbia ${Ann}_{{𝐑}_{\alpha }}{𝐒}_{\alpha }=\mathrm{}$ ($\forall \alpha \in A$), e sia $𝐒={\oplus }_{\alpha \in 𝐀}{𝐒}_{\alpha }$. Si scelga un $𝐑$-modulo (destro) $𝐌$ che sia libero da torsione rispetto ad $𝐒$, cioè ${Ann}_{𝐌}𝐒=\mathrm{}$; allora $𝐌$ può essere rappresentato come prodotto subdiretto irridondante $𝐌\cong \underset{\widetilde{\alpha \in 𝚲}}{\times }{𝐌}_{\alpha }$ degli ${𝐑}_{\alpha }$-moduli ${𝐌}_{\alpha }$ liberi da torsione rispetto ad ${𝐒}_{\alpha }$. Si fa uno studio di un subprodotto generale di una classe $𝐂$ di $𝐑$-moduli ${𝐌}^{(𝐢)}$ $(i\in I)$, dove $𝐂$ è determinato per mezzo di epimorfismi e relazioni. ...

Se $X$ ed $Y$ sono spazi topologici, una funzione $f:X\to Y$ è detta regolarmente chiusa [5] se essa trasforma ogni insieme regolarmente chiuso di $X$ in un insieme chiuso di $Y$. Si dimostra che una funzione regolarmente chiusa $f:X\to Y$ risulta chiusa se $X$ è normale.

Let $G$ be a group and $m$ be an integer greater than or equal to $2$. $G$ is said to be $m$-permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$, then $G$ is $(1+[z/2])$-permutable. More bounds are given on the least $m$ such that $G$ is $m$-permutable.

Si dimostra che il funzionale ${\int }_{\mathrm{\Omega }}f(u,Du)𝑑x$ è semicontinuo inferiormente su $W_{loc}^{1,1}(\mathrm{\Omega })$, rispetto alla topologia indotta da $L_{loc}^1(\mathrm{\Omega })$, qualora l’integrando $f(s,p)$ sia una funzione non-negativa, misurabile in $s$, convessa in $p$, limitata nell’intorno dei punti del tipo $(s,0)$, e tale che la funzione $s\mapsto f(s,0)$ sia semicontinua inferiormente su $𝐑$.

Let $\mathrm{\Delta }$ be thick affine building of type ${\tilde{G}}_2$ the Laplace operators of $\mathrm{\Delta }$; associated with a pair $(y_1,y_2)$; is the Poisson transform of a suitable finitely additive measure on the maximal boundary $\mathrm{\Omega }$ of $\mathrm{\Delta }$; by using only the combinatorial structure of $\mathrm{\Delta }$.

In [1] I and II various equivalence theorems are proved; e.g. an ODE $(ℰ)\dot{z}=F(t,z,u,\dot{u})(\in {ℝ}^m)$ with a scalar control $u=u(\cdot )$ is linear w.r.t. $\dot{u}$ iff $(\alpha )$ its solution $z(u,\cdot )$ with given initial conditions (chosen arbitrarily) is continuous w.r.t. $u$ in a certain sense, or iff $(\beta )$ $z(u,\cdot )$ satisfies certain conditions by which $1^{st}$-order discontinuities of $u$ and $\dot{u}$ can be treated satisfactorily. In the case when, for $z=(q,p)$ equation $(ℰ)$ is a semi-Hamiltonian system, equivalent to a system of Lagrangian equations of a general type,...

Siano: $S$ una superficie algebrica proiettiva complessa non singolare, $K$ un divisore canonico ed $H$ un divisore molto ampio su $S$. Questo lavoro ha per oggetto lo studio dell'indice di autointersezione ${(K+H)}^2$. Si dimostra, innanzitutto, la disuguaglianza $${(K+H)}^2\ge 0$$, nell'ipotesi che la superficie $S^{\prime }$ ottenuta immergendo $S$ mediante il sistema lineare completo $|H|$ non sia uno scroll. Questa disuguaglianza è connessa con alcuni risultati di Sommese e Van de Ven sulla generazione del fascio ${𝒪}_s(K+H)$. La dimostrazione...

Ogni spazio di Banach ha un sistema bibasico $(x_n,f_n)$ normalizzato; inoltre ogni successione $(x_n)$ uniformemente minimale appartiene ad un sistema biortogonale limitato $(x_n,f_n)$, dove $(f_n)$ è M-basica e normante.