Weak approximation over function fields of curves over large or finite fields

Let K = k(C) be the function field of a curve over a field k and let X be a smooth, projective, separably rationally connected K-variety with ${X(K)\neq\emptyset}Let K = k(C) be the function field of a curve over a field k and let X be a smooth, projective, separably rationally connected K-variety with X(K) 1 ?{X(K)\neq\emptyset}. Under the assumption that X admits a smooth projective model p: X? C{\pi: \mathcal{X}\to C}, we prove the following weak approximation results: (1) if k is a large field, then X(K) is Zariski dense; (2) if k is an infinite algebraic extension of a finite field, then X satisfies weak approximation at places of good reduction; (3) if k is a nonarchimedean local field and R-equivalence is trivial on one of the fibers X_p{\mathcal{X}_p} over points of good reduction, then there is a Zariski dense subset W í C(k){W\subseteq C(k)} such that X satisfies weak approximation at places in W. As applications of the methods, we also obtain the following results over a finite field k: (4) if |k| > 10, then for a smooth cubic hypersurface X/K, the specialization map X(K)? ?_{p ? P}X_p(k(p)){X(K)\longrightarrow \prod_{p\in P}\mathcal{X}_p(\kappa(p))} at finitely many points of good reduction is surjective; (5) if char k 1 2, 3{\mathrm{char}\,k\neq 2,\,3} and |k| > 47, then a smooth cubic surface X over K satisfies weak approximation at any given place of good reduction.     

Coincidence theorems and its applications to equilibrium problems

Given two maps h : X ×K ? \mathbbR{h : X \times K \rightarrow \mathbb{R}} and g : X → K such that, for all x ? X, h(x, g(x)) = 0{x \in X, h(x, g(x)) = 0} , we consider the equilibrium problem of finding [(x)\tilde] ? X{\tilde{x} \in X} such that h([(x)\tilde], g(x)) 3 0{h(\tilde{x}, g(x)) \geq 0} for every x ? X{x \in X} . This question is related to a coincidence problem.     

Viability for nonlinear multi-valued reaction–diffusion systems

In this paper we consider a nonlinear evolution reaction–diffusion system governed by multi-valued perturbations of m-dissipative operators, generators of nonlinear semigroups of contractions. Let X and Y be real Banach spaces, ${\mathcal{K}}In this paper we consider a nonlinear evolution reaction–diffusion system governed by multi-valued perturbations of m-dissipative operators, generators of nonlinear semigroups of contractions. Let X and Y be real Banach spaces, K{\mathcal{K}} be a nonempty and locally closed subset in \mathbbR ×X×Y, A:D(A) í X\rightsquigarrow X, B:D(B) í Y\rightsquigarrow Y{\mathbb{R} \times X\times Y,\, A:D(A)\subseteq X\rightsquigarrow X, B:D(B)\subseteq Y\rightsquigarrow Y} two m-dissipative operators, F:K ? X{F:\mathcal{K} \rightarrow X} a continuous function and G:K \rightsquigarrow Y{G:\mathcal{K} \rightsquigarrow Y} a nonempty, convex and closed valued, strongly-weakly upper semi-continuous (u.s.c.) multi-function. We prove a necessary and a sufficient condition in order that for each (t,x,h) ? K{(\tau,\xi,\eta)\in \mathcal{K}}, the next system

{ lc u￠(t) ? Au(t)+F(t,u(t),v(t))    t 3 tv￠(t) ? Bv(t)+G(t,u(t),v(t))    t 3 tu(t)=x,    v(t)=h, \left\{ \begin{array}{lc} u'(t)\in Au(t)+F(t,u(t),v(t))\quad t\geq\tau \\ v'(t)\in Bv(t)+G(t,u(t),v(t))\quad t\geq\tau \\ u(\tau)=\xi,\quad v(\tau)=\eta, \end{array} \right.      5. On Energy, Discrepancy and Group Invariant Measures on Measurable Subsets of Euclidean Space      S. B. Damelin  F. J. Hickernell  D. L. Ragozin  X. Zeng 《Journal of Fourier Analysis and Applications》2010,16(6):813-839 Given $\mathcal{X}Given X\mathcal{X}, some measurable subset of Euclidean space, one sometimes wants to construct a finite set of points, P ì X\mathcal{P}\subset\mathcal {X}, called a design, with a small energy or discrepancy. Here it is shown that these two measures of design quality are equivalent when they are defined via positive definite kernels K:X2(=X×X)?\mathbbRK:\mathcal{X}^{2}(=\mathcal{X}\times\mathcal {X})\to\mathbb{R}. The error of approximating the integral òXf(x) dm(x)\int_{\mathcal{X}}f(\boldsymbol{x})\,\mathrm{d}\mu(\boldsymbol{x}) by the sample average of f over P\mathcal{P} has a tight upper bound in terms of the energy or discrepancy of P\mathcal{P}. The tightness of this error bound follows by requiring f to lie in the Hilbert space with reproducing kernel K. The theory presented here provides an interpretation of the best design for numerical integration as one with minimum energy, provided that the measure μ defining the integration problem is the equilibrium measure or charge distribution corresponding to the energy kernel, K.      6. On holomorphic curves in a complex Grassmann manifold <Emphasis Type="Italic">G</Emphasis>(2, <Emphasis Type="Italic">n</Emphasis>)      Xiaoxiang Jiao  Yan Yu 《Archiv der Mathematik》2011,96(3):291-300 Let s : S 2 → G(2, n) be a linearly full totally unramified non-degenerate holomorphic curve in a complex Grassmann manifold G(2, n), and let K(s) be its Gaussian curvature. It is proved that K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) satisfies K(s) 3 \frac4n-2{K(s) \geq \frac{4}{n-2}} or K(s) ￡ \frac4n-2 {K(s) \leq \frac{4}{n-2} } everywhere on S 2. In particular, K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) is constant.      7. On the Right (Left) Invertible Completions for Operator Matrices      Guojun Hai  Alatancang Chen 《Integral Equations and Operator Theory》2010,67(1):79-93 Let ${\mathcal {H}_{1}}Let H1{\mathcal {H}_{1}} and H2{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H1), B ? B(H2){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H2, H1){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H1, H2){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.      8. Ricci-flat Kähler metrics on crepant resolutions of Kähler cones      Craig van Coevering 《Mathematische Annalen》2010,347(3):581-611 We prove that a crepant resolution π : Y → X of a Ricci-flat Kähler cone X admits a complete Ricci-flat Kähler metric asymptotic to the cone metric in every Kähler class in ${H^2_c(Y,\mathbb{R})}We prove that a crepant resolution π : Y → X of a Ricci-flat K?hler cone X admits a complete Ricci-flat K?hler metric asymptotic to the cone metric in every K?hler class in H2c(Y,\mathbbR){H^2_c(Y,\mathbb{R})}. A K?hler cone (X,[`(g)]){(X,\bar{g})} is a metric cone over a Sasaki manifold (S, g), i.e. ${X=C(S):=S\times\mathbb{R}_{ >0 }}${X=C(S):=S\times\mathbb{R}_{ >0 }} with [`(g)]=dr2 +r2 g{\bar{g}=dr^2 +r^2 g}, and (X,[`(g)]){(X,\bar{g})} is Ricci-flat precisely when (S, g) Einstein of positive scalar curvature. This result contains as a subset the existence of ALE Ricci-flat K?hler metrics on crepant resolutions p:Y? X=\mathbbCn /G{\pi:Y\rightarrow X=\mathbb{C}^n /\Gamma}, with G ì SL(n,\mathbbC){\Gamma\subset SL(n,\mathbb{C})}, due to P. Kronheimer (n = 2) and D. Joyce (n > 2). We then consider the case when X = C(S) is toric. It is a result of A. Futaki, H. Ono, and G. Wang that any Gorenstein toric K?hler cone admits a Ricci-flat K?hler cone metric. It follows that if a toric K?hler cone X = C(S) admits a crepant resolution π : Y → X, then Y admits a T n -invariant Ricci-flat K?hler metric asymptotic to the cone metric (X,[`(g)]){(X,\bar{g})} in every K?hler class in H2c(Y,\mathbbR){H^2_c(Y,\mathbb{R})}. A crepant resolution, in this context, is a simplicial fan refining the convex polyhedral cone defining X. We then list some examples which are easy to construct using toric geometry.      9. Blow up of subcritical quantities at the first singular time of the mean curvature flow      Nam Q. Le 《Geometriae Dedicata》2011,151(1):361-371 Consider a family of smooth immersions F(·,t) : Mn? \mathbbRn+1{F(\cdot,t)\,:\,{M^n\to \mathbb{R}^{n+1}}} of closed hypersurfaces in \mathbbRn+1{\mathbb{R}^{n+1}} moving by the mean curvature flow \frac?F(p,t)?t = -H(p,t)·n(p,t){\frac{\partial F(p,t)}{\partial t} = -H(p,t)\cdot \nu(p,t)}, for t ? [0,T){t\in [0,T)}. We show that at the first singular time of the mean curvature flow, certain subcritical quantities concerning the second fundamental form, for example ò0tòMs\frac|A|n + 2 log (2 + |A|) dmds,{\int_{0}^{t}\int_{M_{s}}\frac{{\vert{\it A}\vert}^{n + 2}}{ log (2 + {\vert{\it A}\vert})}} d\mu ds, blow up. Our result is a log improvement of recent results of Le-Sesum, Xu-Ye-Zhao where the scaling invariant quantities were considered.      10. Iterated Function Systems and Łojasiewicz–Siciak Condition of Green’s Function      Leokadia Białas-Cież  Marta Kosek 《Potential Analysis》2011,34(3):207-221 A compact set K ì \mathbbCN{K \subset \mathbb{C}}^{N} satisfies (ŁS) if it is polynomially convex and there exist constants B,β > 0 such that VK(z) 3 B(dist(z,K))b       if    dist(z,K) ￡ 1, \labelLS V_K(z)\geq B(\rm{dist}(z,K))^\beta\qquad \rm{ if}\quad \rm{ dist}(z,K)\leq 1, \label{LS}      11. Counting Ω-ideals      Igor V. Protasov 《Algebra Universalis》2009,62(4):339-343 Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(An) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 22à0{2^{2^{\aleph_0}}} Ω-ideals in P\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.      12. Linear Maps Preserving Operators of Local Spectral Radius Zero      Constantin Costara 《Integral Equations and Operator Theory》2012,73(1):7-16 Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let rT(x) = limsupn ? ￥ || Tnx|| 1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r T (x) = 0 if and only if rj(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r T (By) = 0 if and only if rj( T) (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.      13. On support points and continuous extensions      Carlo Alberto De Bernardi 《Archiv der Mathematik》2009,93(4):369-378 A selection theorem concerning support points of convex sets in a Banach space is proved. As a corollary we obtain the following result. Denote by ${\mathcal{BCC}(X)}A selection theorem concerning support points of convex sets in a Banach space is proved. As a corollary we obtain the following result. Denote by BCC(X){\mathcal{BCC}(X)} the metric space of all nonempty bounded closed convex sets in a Banach space X. Then there exists a continuous mapping S : BCC(X) ? X{S : \mathcal{BCC}(X) \rightarrow X} such that S(K) is a support point of K for each K ? BCC(X){K \in \mathcal{BCC}(X)}. Moreover, it is possible to prescribe the values of S on a closed discrete subset of BCC(X){\mathcal{BCC}(X)}.      14. Operator-valued H ∞-calculus in Inter- and Extrapolation Spaces      Markus Haase 《Integral Equations and Operator Theory》2006,56(2):197-228 We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( Aa ) ?R( Aa ) )q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as { x  ?  X|t - q\textRea y1 ( tA )x, t - q\textRea y2 ( tA )x ? L*p ( ( 0,￥ );X ) } {\left\{ {x\, \in \,X|t^{{ - \theta {\text{Re}}\alpha }} \psi _{1} {\left( {tA} \right)}x,\,t^{{ - \theta {\text{Re}}\alpha }} \psi _{2} {\left( {tA} \right)}x \in L_{*}^{p} {\left( {{\left( {0,\infty } \right)};X} \right)}} \right\}}      15. Twisted genera of symmetric products      Laurentiu Maxim  J?rg Schürmann 《Selecta Mathematica, New Series》2012,18(1):283-317       16. Schlicht envelopes of holomorphy and topology      Christopher Hammond 《Mathematische Zeitschrift》2010,266(2):285-288 Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC2{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC2{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i*:p1(W) ? p1(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.      17. Purity for overconvergence      Atsushi Shiho 《Selecta Mathematica, New Series》2011,17(4):833-854 Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isocf(X,[`(X)]) ? F-Isocf(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.      18. Ideals of a C *-algebra generated by an operator algebra      Kate Juschenko 《Mathematische Zeitschrift》2010,266(3):693-705 In this paper, we consider ideals of a C *-algebra C*(B){C^*(\mathcal{B})} generated by an operator algebra B{\mathcal{B}} . A closed ideal J í C*(B){J\subseteq C^*(\mathcal{B})} is called a K-boundary ideal if the restriction of the quotient map on B{\mathcal{B}} has a completely bounded inverse with cb-norm equal to K −1. For K = 1 one gets the notion of boundary ideals introduced by Arveson. We study properties of the K-boundary ideals and characterize them in the case when operator algebra λ-norms itself. Several reformulations of the Kadison similarity problem are given. In particular, the affirmative answer to this problem is equivalent to the statement that every bounded homomorphism from C*(B){C^*(\mathcal{B})} onto B{\mathcal{B}} which is a projection on B{\mathcal{B}} is completely bounded. Moreover, we prove that Kadison’s similarity problem is decided on one particular C *-algebra which is a completion of the *-double of M2(\mathbbC){M_2(\mathbb{C})} .      19. Logarithmic Estimates for Submartingales and Their Differential Subordinates      Adam Osękowski 《Journal of Theoretical Probability》2011,24(3):849-874 In the paper we determine, for any K>0 and α∈[0,1], the optimal constant L(K,α)∈(0,∞] for which the following holds: If X is a nonnegative submartingale and Y is α-strongly differentially subordinate to X, then supt\mathbbE|Yt| ￡ Ksupt\mathbbEXtlog+Xt+L(K,a).\sup_t\mathbb{E}|Y_t|\leq K\sup_t\mathbb{E}X_t\log^+X_t+L(K,\alpha).      20. Mappings preserving the area equality of hyperbolic triangles are motions      Victor Pambuccian 《Archiv der Mathematik》2010,95(3):293-300 It is shown that a mapping ${\varphi: \mathfrak{A}\rightarrow \mathfrak{B}}It is shown that a mapping j: \mathfrakA? \mathfrakB{\varphi: \mathfrak{A}\rightarrow \mathfrak{B}} between models \mathfrakA{\mathfrak{A}} and \mathfrakB{\mathfrak{B}} of elementary plane hyperbolic geometry, coordinatized by Euclidean ordered fields, that maps triangles having the same area and sharing a side into triangles that have the same property, must be a hyperbolic motion onto j(\mathfrakA){\varphi(\mathfrak{A})}. The relations that Tarski and Szmielew used as primitives for geometry, the equidistance relation ≡ and the betweenness relation B are shown to be positively existentially definable in terms of the quaternary relation Δ, with Δ(abcd) standing for “the triangles abc and abd have the same area.”      设为首页 | 免责声明 | 关于勤云 | 加入收藏 Copyright©北京勤云科技发展有限公司  京ICP备09084417号

On Energy, Discrepancy and Group Invariant Measures on Measurable Subsets of Euclidean Space

Given $\mathcal{X}Given X\mathcal{X}, some measurable subset of Euclidean space, one sometimes wants to construct a finite set of points, P ì X\mathcal{P}\subset\mathcal {X}, called a design, with a small energy or discrepancy. Here it is shown that these two measures of design quality are equivalent when they are defined via positive definite kernels K:X²(=X×X)?\mathbbRK:\mathcal{X}^{2}(=\mathcal{X}\times\mathcal {X})\to\mathbb{R}. The error of approximating the integral ò_Xf(x) dm(x)\int_{\mathcal{X}}f(\boldsymbol{x})\,\mathrm{d}\mu(\boldsymbol{x}) by the sample average of f over P\mathcal{P} has a tight upper bound in terms of the energy or discrepancy of P\mathcal{P}. The tightness of this error bound follows by requiring f to lie in the Hilbert space with reproducing kernel K. The theory presented here provides an interpretation of the best design for numerical integration as one with minimum energy, provided that the measure μ defining the integration problem is the equilibrium measure or charge distribution corresponding to the energy kernel, K.     

On holomorphic curves in a complex Grassmann manifold <Emphasis Type="Italic">G</Emphasis>(2, <Emphasis Type="Italic">n</Emphasis>)

Let s : S ² → G(2, n) be a linearly full totally unramified non-degenerate holomorphic curve in a complex Grassmann manifold G(2, n), and let K(s) be its Gaussian curvature. It is proved that K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) satisfies K(s) 3 \frac4n-2{K(s) \geq \frac{4}{n-2}} or K(s) ￡ \frac4n-2 {K(s) \leq \frac{4}{n-2} } everywhere on S ². In particular, K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) is constant.     

On the Right (Left) Invertible Completions for Operator Matrices

Let ${\mathcal {H}_{1}}Let H₁{\mathcal {H}_{1}} and H₂{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H₁), B ? B(H₂){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H₂, H₁){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H₁, H₂){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.     

Ricci-flat Kähler metrics on crepant resolutions of Kähler cones

We prove that a crepant resolution π : Y → X of a Ricci-flat Kähler cone X admits a complete Ricci-flat Kähler metric asymptotic to the cone metric in every Kähler class in ${H^2_c(Y,\mathbb{R})}We prove that a crepant resolution π : Y → X of a Ricci-flat K?hler cone X admits a complete Ricci-flat K?hler metric asymptotic to the cone metric in every K?hler class in H²_c(Y,\mathbbR){H^2_c(Y,\mathbb{R})}. A K?hler cone (X,[`(g)]){(X,\bar{g})} is a metric cone over a Sasaki manifold (S, g), i.e. ${X=C(S):=S\times\mathbb{R}_{ >0 }}${X=C(S):=S\times\mathbb{R}_{ >0 }} with [`(g)]=dr² +r² g{\bar{g}=dr^2 +r^2 g}, and (X,[`(g)]){(X,\bar{g})} is Ricci-flat precisely when (S, g) Einstein of positive scalar curvature. This result contains as a subset the existence of ALE Ricci-flat K?hler metrics on crepant resolutions p:Y? X=\mathbbC<sup>n</sup> /G{\pi:Y\rightarrow X=\mathbb{C}^n /\Gamma}, with G ì SL(n,\mathbbC){\Gamma\subset SL(n,\mathbb{C})}, due to P. Kronheimer (n = 2) and D. Joyce (n > 2). We then consider the case when X = C(S) is toric. It is a result of A. Futaki, H. Ono, and G. Wang that any Gorenstein toric K?hler cone admits a Ricci-flat K?hler cone metric. It follows that if a toric K?hler cone X = C(S) admits a crepant resolution π : Y → X, then Y admits a T <sup>n</sup> -invariant Ricci-flat K?hler metric asymptotic to the cone metric (X,[`(g)]){(X,\bar{g})} in every K?hler class in H²_c(Y,\mathbbR){H^2_c(Y,\mathbb{R})}. A crepant resolution, in this context, is a simplicial fan refining the convex polyhedral cone defining X. We then list some examples which are easy to construct using toric geometry.     

Blow up of subcritical quantities at the first singular time of the mean curvature flow

Consider a family of smooth immersions F(·,t) : Mⁿ? \mathbbRⁿ⁺¹{F(\cdot,t)\,:\,{M^n\to \mathbb{R}^{n+1}}} of closed hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} moving by the mean curvature flow \frac?F(p,t)?t = -H(p,t)·n(p,t){\frac{\partial F(p,t)}{\partial t} = -H(p,t)\cdot \nu(p,t)}, for t ? [0,T){t\in [0,T)}. We show that at the first singular time of the mean curvature flow, certain subcritical quantities concerning the second fundamental form, for example ò₀^tò_Ms\frac|A|^{n + 2} log (2 + |A|) dmds,{\int_{0}^{t}\int_{M_{s}}\frac{{\vert{\it A}\vert}^{n + 2}}{ log (2 + {\vert{\it A}\vert})}} d\mu ds, blow up. Our result is a log improvement of recent results of Le-Sesum, Xu-Ye-Zhao where the scaling invariant quantities were considered.     

Iterated Function Systems and Łojasiewicz–Siciak Condition of Green’s Function

A compact set K ì \mathbbC^N{K \subset \mathbb{C}}^{N} satisfies (ŁS) if it is polynomially convex and there exist constants B,β > 0 such that

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

On support points and continuous extensions

A selection theorem concerning support points of convex sets in a Banach space is proved. As a corollary we obtain the following result. Denote by ${\mathcal{BCC}(X)}A selection theorem concerning support points of convex sets in a Banach space is proved. As a corollary we obtain the following result. Denote by BCC(X){\mathcal{BCC}(X)} the metric space of all nonempty bounded closed convex sets in a Banach space X. Then there exists a continuous mapping S : BCC(X) ? X{S : \mathcal{BCC}(X) \rightarrow X} such that S(K) is a support point of K for each K ? BCC(X){K \in \mathcal{BCC}(X)}. Moreover, it is possible to prescribe the values of S on a closed discrete subset of BCC(X){\mathcal{BCC}(X)}.     

Operator-valued H ∞-calculus in Inter- and Extrapolation Spaces

We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( A^a ) ?R( A^a ) )_q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as

Schlicht envelopes of holomorphy and topology

Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC²{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC²{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i_*:p₁(W) ? p₁(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.     

Purity for overconvergence

Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isoc<sup>f</sup>(X,[`(X)]) ? F-Isoc^f(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.     

Ideals of a C *-algebra generated by an operator algebra

In this paper, we consider ideals of a C ^*-algebra C^*(B){C^*(\mathcal{B})} generated by an operator algebra B{\mathcal{B}} . A closed ideal J í C^*(B){J\subseteq C^*(\mathcal{B})} is called a K-boundary ideal if the restriction of the quotient map on B{\mathcal{B}} has a completely bounded inverse with cb-norm equal to K ⁻¹. For K = 1 one gets the notion of boundary ideals introduced by Arveson. We study properties of the K-boundary ideals and characterize them in the case when operator algebra λ-norms itself. Several reformulations of the Kadison similarity problem are given. In particular, the affirmative answer to this problem is equivalent to the statement that every bounded homomorphism from C^*(B){C^*(\mathcal{B})} onto B{\mathcal{B}} which is a projection on B{\mathcal{B}} is completely bounded. Moreover, we prove that Kadison’s similarity problem is decided on one particular C ^*-algebra which is a completion of the *-double of M₂(\mathbbC){M_2(\mathbb{C})} .     

Logarithmic Estimates for Submartingales and Their Differential Subordinates

In the paper we determine, for any K>0 and α∈[0,1], the optimal constant L(K,α)∈(0,∞] for which the following holds: If X is a nonnegative submartingale and Y is α-strongly differentially subordinate to X, then

Mappings preserving the area equality of hyperbolic triangles are motions

It is shown that a mapping ${\varphi: \mathfrak{A}\rightarrow \mathfrak{B}}It is shown that a mapping j: \mathfrakA? \mathfrakB{\varphi: \mathfrak{A}\rightarrow \mathfrak{B}} between models \mathfrakA{\mathfrak{A}} and \mathfrakB{\mathfrak{B}} of elementary plane hyperbolic geometry, coordinatized by Euclidean ordered fields, that maps triangles having the same area and sharing a side into triangles that have the same property, must be a hyperbolic motion onto j(\mathfrakA){\varphi(\mathfrak{A})}. The relations that Tarski and Szmielew used as primitives for geometry, the equidistance relation ≡ and the betweenness relation B are shown to be positively existentially definable in terms of the quaternary relation Δ, with Δ(abcd) standing for “the triangles abc and abd have the same area.”