Continuity of eigenvalues of subordinate processes in domains

Let X={X_t,t≥0} be a symmetric Markov process in a state space E and D an open set of E. Let S⁽ⁿ⁾={S⁽ⁿ⁾_t, t ≥ 0} be a subordinator with Laplace exponent ϕ_n and S={S_t,t≥0} a subordinator with Laplace exponent ϕ. Suppose that X is independent of S and S⁽ⁿ⁾. In this paper we consider the subordinate processes and and their subprocesses and X^ϕ,D killed upon leaving D. Suppose that the spectra of the semigroups of and X^ϕ,D are all discrete, with being the eigenvalues of the generator of and being the eigenvalues of the generator of X^ϕ,D. We show that, if lim_n→∞ϕ_n(λ)=ϕ(λ) for every λ>0, then The research of this author is supported in part by NSF Grant DMS-0303310. The research of this author is supported in part by a joint US-Croatia grant INT 0302167.     

Exponential trichotomy and p-admissibility for evolution families on the real line

The aim of this paper is to obtain necessary and sufficient conditions for uniform exponential trichotomy of evolution families on the real line. We prove that if p ∈ (1,∞) and the pair (C_b(R,X),C_c(R,X)) is uniformly p-admissible for an evolution family ={U(t,s)}_t≥_s then is uniformly exponentially trichotomic. After that we analyze when the uniform p-admissibility of the pair (C_b(R, X), C_c(R, X)) becomes a necessary condition for uniform exponential trichotomy. As applications of these results we study the uniform exponential dichotomy of evolution families. We obtain that in certain conditions, the admissibility of the pair (C_b(R,X),L^p(R,X)) for an evolution family ={U(t,s)}_t≥_s is equivalent with its uniform exponential dichotomy.     

On the Rellich inequality with magnetic potentials

In lectures given in 1953 at New York University, Franz Rellich proved that for all f∈C₀^∞(Rⁿ \{0}) and n≠2where the constant C(n):=n²(n−4)²/16 is sharp. For n=2 extra conditions were required for f, and for n=4, C(4)=0, producing a trivial inequality. Influenced by recent work of Laptev-Weidl on Hardy-type inequalities in R², the authors show that for n≥2, the inclusion of a magnetic field B=curl(A) of Aharonov-Bohm type yields non-trivial Rellich-type inequalities of the formwhere Δ_A=(∇−iA)² is the magnetic Laplacian. As in the Laptev-Weidl inequality, the constant C(n,α) depends upon the distance of the magnetic flux to the integers Z. When the flux is an integer and α=0, the inequalities reduce to Rellich’s inequality.The first author gratefully acknowledges the hospitality and support of the Mathematics Department at UAB where much of this work was done.     

On two fragments with negation and without implication of the logic of residuated lattices

The logic of (commutative integral bounded) residuated lattices is known under different names in the literature: monoidal logic [26], intuitionistic logic without contraction [1], H_BCK [36] (nowadays called by Ono), etc. In this paper we study the -fragment and the -fragment of the logical systems associated with residuated lattices, both from the perspective of Gentzen systems and from that of deductive systems. We stress that our notion of fragment considers the full consequence relation admitting hypotheses. It results that this notion of fragment is axiomatized by the rules of the sequent calculus for the connectives involved. We also prove that these deductive systems are non-protoalgebraic, while the Gentzen systems are algebraizable with equivalent algebraic semantics the varieties of pseudocomplemented (commutative integral bounded) semilatticed and latticed monoids, respectively. All the logical systems considered are decidable.     

On topological Kadec norms

We present a topological analogue of the classic Kadec Renorming Theorem, as follows. Let be two separable metric topologies on the same set X. We prove that every point in X has an -neighbourhood basis consisting of sets that are -closed if and only if there exists a function φ: X→ℝ that is -lower semi-continuous and such that is the weakest topology on X that contains and that makes φ continuous. An immediate corollary is that the class of almost n-dimensional spaces consists precisely of the graphs of lower semi-continuous functions with at most n-dimensional domains.     

Three dimensional divisorial extremal neighborhoods

In this paper we study divisorial extremal neighborhoods such that 0 ∈ X is a cA_n type threefold terminal singularity, and Γ=f(E) is a smooth curve, where E is the f-exceptional divisor. We view a divisorial extremal neighborhood as a one parameter smoothing of certain surface singularities, and based on this we give a classification of such neighborhoods.     

Invertible modules for commutative -algebras with residue fields

The aim of this note is to understand under which conditions invertible modules over a commutative -algebra in the sense of Elmendorf, Kriz, Mandell & May give rise to elements in the algebraic Picard group of invertible graded modules over the coefficient ring by taking homotopy groups. If a connective commutative -algebra R has coherent localizations for every maximal ideal , then for every invertible R-module U, U_*=π_*U is an invertible graded R_*-module. In some non-connective cases we can carry the result over under the additional assumption that the commutative -algebra has ‘residue fields’ for all maximal ideals if the global dimension of R_* is small or if R is 2-periodic with underlying Noetherian complete local regular ring R₀. We apply these results to finite abelian Galois extensions of Lubin-Tate spectra.     

Problèmes d'extension dans les domaines convexes de type fini

Résumé Soient donnés D un domaine borné de , convexe, de type fini, X une hypersurface complexe telle que soit non vide, connexe et transverse et . Nous nous intéressons au problème suivant. Sous quelle(s) condition(s) existe-t-il telle que Φ|X = φ. Nous allons donner une condition nécessaire à l'existence de l'extension Φ puis sous une condition un peu plus forte nous montrerons la continuité d'un opérateur d'extension de type Berndtsson-Andersson.      

The cofinality of the saturated uncountable random graph

Assuming CH, let be the saturated random graph of cardinality ₁. In this paper we prove that it is consistent that and can be any two prescribed regular cardinals subject only to the requirement      

Optimal 3-terminal cuts and linear programming

Given an undirected graph G=(V,E) and three specified terminal nodes t ₁,t ₂,t ₃, a 3-cut is a subset A of E such that no two terminals are in the same component of G\A. If a non-negative edge weight c _e is specified for each e∈E, the optimal 3-cut problem is to find a 3-cut of minimum total weight. This problem is -hard, and in fact, is max- -hard. An approximation algorithm having performance guarantee has recently been given by Călinescu, Karloff, and Rabani. It is based on a certain linear-programming relaxation, for which it is shown that the optimal 3-cut has weight at most times the optimal LP value. It is proved here that can be improved to , and that this is best possible. As a consequence, we obtain an approximation algorithm for the optimal 3-cut problem having performance guarantee . In addition, we show that is best possible for this algorithm. Research of this author was supported by NSERC PGSB. Research supported by a grant from NSERC of Canada.     

Summing norms of identities between unitary ideals

Based on abstract interpolation, we prove asymptotic formulae for the (F,2)-summing norm of inclusions id: , where E and F are two Banach sequence spaces. Here, stands for the unitary ideal of operators on the n-dimensional Hilbert space whose singular values belong to E, and for the Hilbert-Schmidt operators. Our results are noncommutative analogues of results due to Bennett and Carl, as well as their recent generalizations to Banach sequence spaces. As an application, we give lower and upper estimates for certain s-numbers of the embeddings id: and id: . In the concluding section, we finally consider mixing norms. The second named author was supported by KBN Grant 2 P03A 042 18.     

Double cubics and double quartics

We study a double cover branched over a smooth divisor such that R is cut on V by a hypersurface of degree 2(n−deg(V)), where n ≥ 8 and V is a smooth hypersurface of degree 3 or 4. We prove that X is nonrational and birationally superrigid.     

Rigidity and moduli space in Real Algebraic Geometry

Let R be a real closed field and let X be an affine algebraic variety over R. We say that X is universally map rigid (UMR for short) if, for each irreducible affine algebraic variety Z over R, the set of nonconstant rational maps from Z to X is finite. A bijective map from an affine algebraic variety over R to X is called weak change of the algebraic structure of X if it is regular and φ⁻¹ is a Nash map, which preserves nonsingular points. We prove the following rigidity theorem: every affine algebraic variety over R is UMR up to a weak change of its algebraic structure. Let us introduce another notion. Let Y be an affine algebraic variety over R. We say that X and Y are algebraically unfriendly if all the rational maps from X to Y and from Y to X are trivial, i.e., Zariski locally constant. From the preceding theorem, we infer that, if dim (X)≥1, then there exists a set of weak changes of the algebraic structure of X such that, for each t,s ∈ R with t≠s, and are algebraically unfriendly. This result implies the following expected fact: For each (nonsingular) affine algebraic variety X over R of positive dimension, the natural Nash structure of X does not determine the algebraic structure of X. In fact, the moduli space of birationally nonisomorphic (nonsingular) affine algebraic varieties over R, which are Nash isomorphic to X, has the same cardinality of R. This result was already known under the special assumption that R is the field of real numbers and X is compact and nonsingular. The author is a member of GNSAGA of CNR, partially supported by MURST and European Research Training Network RAAG 2002–2006 (HPRN–CT–00271).     

A new condensation principle

We generalize (A), which was introduced in [Sch], to larger cardinals. For a regular cardinal >₀ we denote by (A) the statement that and for all regular >,is stationary in It was shown in [Sch] that can hold in a set-generic extension of L. We here prove that can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Rä00] and [Rä01]. is equivalent with the existence of 0^#.Mathematics Subject Classification (1991): Primary 03E55, 03E15, Secondary 03E35, 03E60     

The divergence of fluctuations for shape in first passage percolation

We consider the first passage percolation model on Z ^d for d ≥ 2. In this model, we assign independently to each edge the value zero with probability p and the value one with probability 1−p. We denote by T(0, ν) the passage time from the origin to ν for ν ∈ R ^d and It is well known that if p < p _c , there exists a compact shape B _d ⊂ R ^d such that for all > 0, t B _d (1 − ) ⊂ B(t) ⊂ tB _d (1 + ) and G(t)(1 − ) ⊂ B(t) ⊂ G(t)(1 + ) eventually w.p.1. We denote the fluctuations of B(t) from tB _d and G(t) by In this paper, we show that for all d ≥ 2 with a high probability, the fluctuations F(B(t), G(t)) and F(B(t), tB _d ) diverge with a rate of at least C log t for some constant C. The proof of this argument depends on the linearity between the number of pivotal edges of all minimizing paths and the paths themselves. This linearity is also independently interesting. Research supported by NSF grant DMS-0405150     

The Rees algebra of a positive normal affine semigroup ring

Let R be a positive normal affine semigroup ring of dimension d and let be the maximal homogeneous ideal of R. We show that the integral closure of is equal to for all n ∈ℕ with n ≥ d − 2. From this we derive that the Rees algebra R[t] is normal in case that d ≤ 3. If emb dim(R) = d + 1, we can give a necessary and sufficient condition for R[t] to be normal.     

Models of set theory with definable ordinals

A DO model (here also referred to a Paris model) is a model of set theory all of whose ordinals are first order definable in . Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V=OD. Here we provide a comprehensive treatment of Paris models. Our results include the following:1. If T is a consistent completion of ZF+VOD, then T has continuum-many countable nonisomorphic Paris models.2. Every countable model of ZFC has a Paris generic extension.3. If there is an uncountable well-founded model of ZFC, then for every infinite cardinal there is a Paris model of ZF of cardinality which has a nontrivial automorphism.4. For a model ZF, is a prime model is a Paris model and satisfies AC is a minimal model. Moreover, Neither implication reverses assuming Con(ZF).Mathematics Subject Classification (2000): 03C62, 03C50, Secondary 03H99     

There is no ordering on the classes in the generalized high/low hierarchies

We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is decidable. We also show that every finite poset labeled with elements of (where is the partition of induced by the generalized high/low hierarchy) can be embedded in preserving the labels. Note that no condition is imposed on the labels.     

Compactifications of contractible affine 3-folds into smooth Fano 3-folds with <Emphasis Type="Italic">B</Emphasis><Subscript>2</Subscript>=2

After the contributions of Furushima, Nakayama, Peternell and Schneider, in 1993, Furushima [Fur93] finally succeeded in the classification of the compactifications of the affine 3-space into smooth Fano 3-folds with B₂=1. In this paper, we consider the compactifications of the contractible affine 3-folds X (not necessarily X=) into smooth Fano 3-folds V with B₂=2. Consequently, we classify all such compactifications X↪(V,D₁∪D₂) in the case where K_V+D₁+D₂ is not nef. Furthermore, we see that infinitely many mutually non-isomorphic exotic 's can be compactified into Fano 3-folds with B₂=2. This phenomenon never occurs when B₂=1. During this research the author was supported as a Twenty-First Century COE Kyoto Mathematics Fellow.