Fonction asymptotique de Samuel des sections hyperplanes et multiplicité

Let (A,m_A,k) be a local noetherian ring and I an m_A-primary ideal. The asymptotic Samuel function (with respect to I) : A?R∪{+∞} is defined by , ∀x∈A. Similarly, one defines, for another ideal J, as the minimum of as x varies in J. Of special interest is the rational number . We study the behavior of the asymptotic Samuel function (with respect to I) when passing to hyperplane sections of A as one does for the theory of mixed multiplicities.     

Quasi-socle ideals and Goto numbers of parameters

Goto numbers for certain parameter ideals Q in a Noetherian local ring (A,m) with Gorenstein associated graded ring are explored. As an application, the structure of quasi-socle ideals I=Q:m^q (q≥1) in a one-dimensional local complete intersection and the question of when the graded rings are Cohen-Macaulay are studied in the case where the ideals I are integral over Q.     

Resolutions of Segre embeddings of projective spaces of any dimension

This paper deals with syzygies of the ideals of Segre embeddings. Let d≥3 and . We prove that satisfies Green-Lazarsfeld’s property N_p if and only if p≤3.     

A tripling construction for overlarge sets of KTS

An overlarge set of , denoted by , is a collection {(X?{x},B_x):x∈X}, where X is a (v+1)-set, each (X?{x},B_x) is a and {B_x:x∈X} forms a partition of all triples on X. In this paper, we give a tripling construction for overlarge sets of KTS. Our main result is that: If there exists an with a special property, then there exists an . It is obtained that there exists an for u=2²ⁿ⁻¹−1 or u=qⁿ, where prime power q≡7 (mod 12) and m≥0,n≥1.     

The minimum distance of sets of points and the minimum socle degree

Let K be a field of characteristic 0. Let be a reduced finite set of points, not all contained in a hyperplane. Let be the maximum number of points of Γ contained in any hyperplane, and let . If I⊂R=K[x₀,…,x_n] is the ideal of Γ, then in Tohaˇneanu (2009) [12] it is shown that for n=2,3, d(Γ) has a lower bound expressed in terms of some shift in the graded minimal free resolution of R/I. In these notes we show that this behavior holds true in general, for any n≥2: d(Γ)≥A_n, where A_n=min{a_i−n} and ⊕_iR(−a_i) is the last module in the graded minimal free resolution of R/I. In the end we also prove that this bound is sharp for a whole class of examples due to Juan Migliore (2010) [10].     

Quartic, octic residues and Lucas sequences

Let be a prime and a,b∈Z with a²+b²≠p. Suppose p=x²+(a²+b²)y² for some integers x and y. In the paper we develop the calculation technique of quartic Jacobi symbols and use it to determine . As applications we obtain the congruences for modulo p and the criteria for (if ), where {Un} is the Lucas sequence given by U₀=0, U₁=1 and Un+1=bUn+k²Un−1(n?1). We also pose many conjectures concerning , or .     

The structure of d-dimensional sets with small sumset

We describe the structure of d-dimensional sets of lattice points, having a small doubling property. Let K be a finite subset of Zd such that dimK=d?2. If and |K|>3⋅d⁴, then K lies on d parallel lines. Moreover, for every d-dimensional finite set K⊆Zd that lies on d?1 parallel lines, if , then K is contained in d parallel arithmetic progressions with the same common difference, having together no more than terms. These best possible results answer a recent question posed by Freiman and cannot be sharpened by reducing the quantity v or by increasing the upper bounds for |K+K|.     

Carleson measure problems for parabolic Bergman spaces and homogeneous Sobolev spaces

Let be the space of solutions to the parabolic equation having finite norm. We characterize nonnegative Radon measures μ on having the property , 1≤p≤q<∞, whenever . Meanwhile, denoting by v(t,x) the solution of the above equation with Cauchy data v₀(x), we characterize nonnegative Radon measures μ on satisfying , β∈(0,n), p∈[1,n/β], q∈(0,∞). Moreover, we obtain the decay of v(t,x), an isocapacitary inequality and a trace inequality.     

Homology of artinian and Matlis reflexive modules, I

Let R be a commutative local noetherian ring, and let L and L^′ be R-modules. We investigate the properties of the functors and . For instance, we show the following:

(a)

if L and L^′ are artinian, then is artinian, and is noetherian over the completion ;

(b)

if L is artinian and L^′ is Matlis reflexive, then , , and are Matlis reflexive.

Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.     

Strong lifting splits

The concept of an enabling ideal is introduced so that an ideal I is strongly lifting if and only if it is lifting and enabling. These ideals are studied and their properties are described. It is shown that a left duo ring is an exchange ring if and only if every ideal is enabling, that Zhou’s δ-ideal is always enabling, and that the right singular ideal is enabling if and only if it is contained in the Jacobson radical. The notion of a weakly enabling left ideal is defined, and it is shown that a ring is an exchange ring if and only if every left ideal is weakly enabling. Two related conditions, interesting in themselves, are investigated: the first gives a new characterization of δ-small left ideals, and the second characterizes weakly enabling left ideals. As an application (which motivated the paper), let M be an I-semiregular left module where I is an enabling ideal. It is shown that m∈M is I-semiregular if and only if m−q∈IM for some regular element q of M and, as a consequence, that if M is countably generated and IM is δ-small in M, then where for each i.     

Well-posedness of the fourth-order perturbed Schrödinger type equation in non-isotropic Sobolev spaces

In this paper we study the Cauchy problem of the non-isotropically perturbed fourth-order nonlinear Schrödinger type equation: ((x₁,x₂,…,xn)∈Rn, t?0), where a is a real constant, 1?d<n is an integer, g(x,|u|)u is a nonlinear function which behaves like α|u|u for some constant α>0. By using Kato method, we prove that this perturbed fourth-order Schrödinger type equation is locally well-posed with initial data belonging to the non-isotropic Sobolev spaces provided that s₁,s₂ satisfy the conditions: s₁?0, s₂?0 for or for with some additional conditions. Furthermore, by using non-isotropic Sobolev inequality and energy method, we obtain some global well-posedness results for initial data belonging to non-isotropic Sobolev spaces .     

Existence of solutions to nonlinear, subcritical higher order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu=f(x,u) on a bounded smooth domain Ω⊂RN with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic linear operator of order 2m whose principle part is of the form . We assume that f is superlinear at the origin and satisfies , , where are positive functions and q>1 is subcritical. By combining degree theory with new and recently established a priori estimates, we prove the existence of a nontrivial solution.     

Characterizations of Besov-type and Triebel-Lizorkin-type spaces via maximal functions and local means

Let s∈R. In this paper, the authors first establish the maximal function characterizations of the Besov-type space with and τ∈[0,∞), the Triebel-Lizorkin-type space with p∈(0,∞), q∈(0,∞] and τ∈[0,∞), the Besov-Hausdorff space with p∈(1,∞), q∈[1,∞) and and the Triebel-Lizorkin-Hausdorff space with and , where t^′ denotes the conjugate index of t∈[1,∞]. Using this characterization, the authors further obtain the local mean characterizations of these function spaces via functions satisfying the Tauberian condition and establish a Fourier multiplier theorem on these spaces. All these results generalize the existing classical results on Besov and Triebel-Lizorkin spaces by taking τ=0 and are also new even for Q spaces and Hardy-Hausdorff spaces.     

A remark on Ricceri's conjecture for a class of nonlinear eigenvalue problems

Consider the eigenvalue problem : −Δu=λf(x,u) in Ω, u=0 on ∂Ω, where Ω is a bounded smooth domain in RN. Denote by the set of all Carathéodory functions f:Ω×R→R such that for a.e. x∈Ω, f(x,⋅) is Lipschitzian with Lipschitz constant L, f(x,0)=0 and , and denote by (resp. ) the set of λ>0 such that has at least one nonzero classical (resp. weak) solution. Let λ₁ be the first eigenvalue for the Laplacian-Dirichlet problem. We prove that and . Our result is a positive answer to Ricceri's conjecture if use f(x,u) instead of f(u) in the conjecture.     

Unique expansions of real numbers

It was discovered some years ago that there exist non-integer real numbers q>1 for which only one sequence (ci) of integers ci∈[0,q) satisfies the equality . The set of such “univoque numbers” has a rich topological structure, and its study revealed a number of unexpected connections with measure theory, fractals, ergodic theory and Diophantine approximation.In this paper we consider for each fixed q>1 the set Uq of real numbers x having a unique representation of the form with integers ci belonging to [0,q). We carry out a detailed topological study of these sets. For instance, we characterize their closures, and we determine those bases q for which Uq is closed or even a Cantor set. We also study the set consisting of all sequences (ci) of integers ci∈[0,q) such that . We determine the numbers r>1 for which the map (defined on (1,∞)) is constant in a neighborhood of r and the numbers q>1 for which is a subshift or a subshift of finite type.     

A bilinear Orlicz-Pettis Theorem

Suppose E,F,G are locally convex spaces, is a bilinear operator and λ is a scalar sequence space. A series j_∑xj in E is λ b multiplier convergent if for every t={tj}∈λ there exists xt∈E such that for every y∈F. Under continuity assumptions on the linear operators b(x,⋅), we establish several versions of the Orlicz-Pettis Theorem for multiplier convergent series. Applications to spaces of continuous linear operators are given.     

Families of low dimensional determinantal schemes

A scheme X⊂Pⁿ of codimension c is called standard determinantal if its homogeneous saturated ideal can be generated by the t×t minors of a homogeneous t×(t+c−1) matrix (f_ij). Given integers a₀≤a₁≤?≤a_t+c−2 and b₁≤?≤b_t, we denote by the stratum of standard determinantal schemes where f_ij are homogeneous polynomials of degrees a_j−b_i and is the Hilbert scheme (if n−c>0, resp. the postulation Hilbert scheme if n−c=0).Focusing mainly on zero and one dimensional determinantal schemes we determine the codimension of in and we show that is generically smooth along under certain conditions. For zero dimensional schemes (only) we find a counterexample to the conjectured value of appearing in Kleppe and Miró-Roig (2005) [25].     

Critical points between varieties generated by subspace lattices of vector spaces

We denote by the semilattice of all compact congruences of an algebra A. Given a variety V of algebras, we denote by the class of all semilattices isomorphic to for some A∈V. Given varieties V and W of algebras, the critical point of V under W is defined as . Given a finitely generated variety V of modular lattices, we obtain an integer ?, depending on V, such that for any n≥? and any field F.In a second part, using tools introduced in Gillibert (2009) [5], we prove that: