Holomorphic functional calculus for operators on a locally convex space

One-variable holomorphic functional calculus is studied on the bornological algebra Lec(E) of all continuous linear oprators on a complete locally convex space E. It is proven that the following three basic notions of the theory are equivalent: (i) existence of projective resolvent of an operator T at a point λ₀, (ii) strict regularity of λ₀ for the operator T in the sense of [12, 13, 15], (iii) tamability of the operator (λ₀ ? T)^?1 (T if λ₀ = ∞), which means that there is a new equivalent system of seminorms on E, such that the operator is bounded in each of them.     

C∞ functions in infinite dimension and linear partial differential difference equations with constant coefficients

This work is closed to [2] where a dense linear subspace \(\mathbb{E}\) (E) of the space ?(E) of the Silva C ^∞ functions on E is defined; the dual of \(\mathbb{E}\) (E) is described via the Fourier transform by a Paley-Wiener-Schwartz theorem which is formulated exactly in the same way as in the finite dimensional case. Here we prove existence and approximation result for solutions of linear partial differential difference equations in \(\mathbb{E}\) (E) with constant coefficients. We also obtain a Hahn-Banach type extension theorem for some C^∞ functions defined on a closed subspace of a DFN space, which is analogous to a Boland’s result in the holomorphic case [1].     

A new approach to the description of one-parameter groups of formal power series in one indeterminate

The aim of the paper is to describe one-parameter groups of formal power series, that is to find a general form of all homomorphisms \({\Theta_G : G \to \Gamma}\) , \({\Theta_G(t) = \sum_{k=1}^{\infty} c_k(t)X^k}\) , \({c_1 : G \to \mathbb{K} \setminus\{0\}}\) , \({c_k : G \to \mathbb{K}}\) for k ≥ 2, from a commutative group (G, + ) into the group \({(\Gamma, \circ)}\) of invertible formal power series with coefficients in \({\mathbb{K} \in \{\mathbb{R},\mathbb{C}\}}\) . Considering one-parameter groups of formal power series and one-parameter groups of truncated formal power series, we give explicit formulas for the coefficient functions c _k with more details in the case where either c ₁ = 1 or c ₁ takes infinitely many values. Here we give the results much more simply than they were presented in Jab?oński and Reich (Abh. Math. Sem. Univ. Hamburg 75:179–201, 2005; Result Math 47:61–68, 2005; Publ Math Debrecen 73(1–2):25–47, 2008). Also the case im c ₁ = E _m (here E _m stands for the group of all complex roots of order m of 1), not considered in Jab?oński and Reich (Abh. Math. Sem. Univ. Hamburg 75:179–201, 2005; Result Math 47:61–68, 2005; Publ Math Debrecen 73(1–2):25–47, 2008), will be discussed.     

A note on the Schur multiplier of groups of prime power order

By a well-known result of Green (Proc R Soc A 237:574?C581, 1956) and the formal definition of Ellis and Wiegold (Bull Austral Math Soc 60:191?C196, 1999), there is an integer t, say corank(G), such that ${|\mathcal{M}(G)| = p^{\frac{1}{2}n(n-1)-t}}$ . In Niroomand (J Algebra 322:4479?C4482, 2009), the author showed for a non-abelian group G, corank(G)????log _p (|G|)?2 and classified the structure of all non-abelian p-groups of corank log _p (|G|)?2. In the present paper, we are interesting to characterize the structure of all p-groups of corank log _p (|G|)?1.     

On complex lie supergroups and split homogeneous supermanifolds

It is well known that the category of real Lie supergroups is equivalent to the category of the so-called (real) Harish-Chandra pairs, see [DM], [Kost], [Kosz]. That means that a Lie supergroup depends only on the underlying Lie group and its Lie superalgebra with certain compatibility conditions. More precisely, the structure sheaf of a Lie supergroup and the supergroup morphisms can be explicitly described in terms of the corresponding Lie superalgebra. In this paper we give a proof of this result in the complex-analytic case. Furthermore, if (G, $ \mathcal{O} $ _G ) is a complex Lie supergroup and H ? G is a closed Lie subgroup, i.e., it is a Lie subsupergroup of (G, $ \mathcal{O} $ _G ) and its odd dimension is zero, we show that the corresponding homogeneous supermanifold (G/H, $ \mathcal{O} $ _G/H ) is split. In particular, any complex Lie supergroup is a split supermanifold. It is well known that a complex homogeneous supermanifold may be nonsplit (see, e.g., [OS1]). We find here necessary and sufficient conditions for a complex homogeneous supermanifold to be split.     

The Totally Nonnegative Part of G/P is a CW Complex

The totally nonnegative part of a partial ag variety G/P has been shown in [18], [17] to be a union of semialgebraic cells. Moreover, the closure of a cell was shown in [19] to be a union of smaller cells. In this paper we provide glueing maps for each of the cells to prove that (G/P)_?0 is a CW complex. This generalizes a result of Postnikov, Speyer and the second author [15] for Grassmannians.     

Rigidity of manifolds with Bakry–émery Ricci curvature bounded below

Let M be a complete Riemannian manifold with Riemannian volume vol _g and f be a smooth function on M. A sharp upper bound estimate on the first eigenvalue of symmetric diffusion operator ${\Delta_f = \Delta- \nabla f \cdot \nabla}$ was given by Wu (J Math Anal Appl 361:10?C18, 2010) and Wang (Ann Glob Anal Geom 37:393?C402, 2010) under a condition that finite dimensional Bakry?Cémery Ricci curvature is bounded below, independently. They propounded an open problem is whether there is some rigidity on the estimate. In this note, we will solve this problem to obtain a splitting type theorem, which generalizes Li?CWang??s result in Wang (J Differ Geom 58:501?C534, 2001, J Differ Geom 62:143?C162, 2002). For the case that infinite dimensional Bakry?CEmery Ricci curvature of M is bounded below, we do not expect any upper bound estimate on the first eigenvalue of ?? _f without any additional assumption (see the example in Sect. 2). In this case, we will give a sharp upper bound estimate on the first eigenvalue of ?? _f under the additional assuption that ${|\nabla f|}$ is bounded. We also obtain the rigidity result on this estimate, as another Li?CWang type splitting theorem.     

Directional Lipschitzness of Minimal Time Functions in Hausdorff Topological Vector Spaces

In a general Hausdorff topological vector space E, we associate to a given nonempty closed set S???E and a bounded closed set Ω???E, the minimal time function T _S,Ω defined by $T_{S,\Omega}(x):= \inf \{ t> 0: S\cap (x+t\Omega)\not = \emptyset\}$ . The study of this function has been the subject of various recent works (see Bounkhel (2012, submitted, 2013, accepted); Colombo and Wolenski (J Global Optim 28:269–282, 2004, J Convex Anal 11:335–361, 2004); He and Ng (J Math Anal Appl 321:896–910, 2006); Jiang and He (J Math Anal Appl 358:410–418, 2009); Mordukhovich and Nam (J Global Optim 46(4):615–633, 2010) and the references therein). The main objective of this work is in this vein. We characterize, for a given Ω, the class of all closed sets S in E for which T _S,Ω is directionally Lipschitz in the sense of Rockafellar (Proc Lond Math Soc 39:331–355, 1979). Those sets S are called Ω-epi-Lipschitz. This class of sets covers three important classes of sets: epi-Lipschitz sets introduced in Rockafellar (Proc Lond Math Soc 39:331–355, 1979), compactly epi-Lipschitz sets introduced in Borwein and Strojwas (Part I: Theory, Canad J Math No. 2:431–452, 1986), and K-directional Lipschitz sets introduced recently in Correa et al. (SIAM J Optim 20(4):1766–1785, 2010). Various characterizations of this class have been established. In particular, we characterize the Ω-epi-Lipschitz sets by the nonemptiness of a new tangent cone, called Ω-hypertangent cone. As for epi-Lipschitz sets in Rockafellar (Canad J Math 39:257–280, 1980) we characterize the new class of Ω-epi-Lipschitz sets with the help of other cones. The spacial case of closed convex sets is also studied. Our main results extend various existing results proved in Borwein et al. (J Convex Anal 7:375–393, 2000), Correa et al. (SIAM J Optim 20(4):1766–1785, 2010) from Banach spaces and normed spaces to Hausdorff topological vector spaces.     

On average values of convex functions

The aim of this paper is to give an extension of an inequality proved by Wulbert (Math Comput Model 37:1383–1391, 2003, Lemma 2.5) and to define Stolarsky type means as an application of this inequality. Further, we discuss some properties of averages of a continuous convex function, some consequences of a double inequality given by Wulbert (Math Comput Model 37:1383–1391, 2003, Theorem 3.3) and obtain improvement results of Wulbert (Math Comput Model 37:1383–1391, 2003, Corollary 4.3).     

Characterizations of Strength Extremal Graphs

With graphs considered as natural models for many network design problems, edge connectivity κ′(G) and maximum number of edge-disjoint spanning trees τ(G) of a graph G have been used as measures for reliability and strength in communication networks modeled as graph G (see Cunningham, in J ACM 32:549–561, 1985; Matula, in Proceedings of 28th Symposium Foundations of Computer Science, pp 249–251, 1987, among others). Mader (Math Ann 191:21–28, 1971) and Matula (J Appl Math 22:459–480, 1972) introduced the maximum subgraph edge connectivity \({\overline{\kappa'}(G) = {\rm max} \{\kappa'(H) : H {\rm is} \, {\rm a} \, {\rm subgraph} \, {\rm of} G \}}\) . Motivated by their applications in network design and by the established inequalities $$\overline{\kappa'}(G) \ge \kappa'(G) \ge \tau(G),$$ we present the following in this paper:

1. For each integer k > 0, a characterization for graphs G with the property that \({\overline{\kappa'}(G) \le k}\) but for any edge e not in G, \({\overline{\kappa'}(G + e) \ge k+1}\) .
2. For any integer n > 0, a characterization for graphs G with |V(G)| = n such that κ′(G) = τ(G) with |E(G)| minimized.

     

Foulkes characters, Eulerian idempotents, and an amazing matrix

John Holte (Am. Math. Mon. 104:138?C149, 1997) introduced a family of ??amazing matrices?? which give the transition probabilities of ??carries?? when adding a list of numbers. It was subsequently shown that these same matrices arise in the combinatorics of the Veronese embedding of commutative algebra (Brenti and Welker, Adv. Appl. Math. 42:545?C556, 2009; Diaconis and Fulman, Am. Math. Mon. 116:788?C803, 2009; Adv. Appl. Math. 43:176?C196, 2009) and in the analysis of riffle shuffling (Diaconis and Fulman, Am. Math. Mon. 116:788?C803, 2009; Adv. Appl. Math. 43:176?C196, 2009). We find that the left eigenvectors of these matrices form the Foulkes character table of the symmetric group and the right eigenvectors are the Eulerian idempotents introduced by Loday (Cyclic Homology, 1992) in work on Hochschild homology. The connections give new closed formulae for Foulkes characters and allow explicit computation of natural correlation functions in the original carries problem.     

The Surface Group Conjecture: Cyclically Pinched and Conjugacy Pinched One-Relator Groups

The general surface group conjecture asks whether a one-relator group where every subgroup of finite index is again one-relator and every subgroup of infinite index is free (property IF) is a surface group. We resolve several related conjectures given in Fine et al. (Sci Math A 1:1–15, 2008). First we obtain the Surface Group Conjecture B for cyclically pinched and conjugacy pinched one-relator groups. That is: if G is a cyclically pinched one-relator group or conjugacy pinched one-relator group satisfying property IF then G is free, a surface group or a solvable Baumslag–Solitar Group. Further combining results in Fine et al. (Sci Math A 1:1–15, 2008) on Property IF with a theorem of Wilton (Geom Topol, 2012) and results of Stallings (Ann Math 2(88):312–334, 1968) and Kharlampovich and Myasnikov (Trans Am Math Soc 350(2):571–613, 1998) we show that Surface Group Conjecture C proposed in Fine et al. (Sci Math A 1:1–15, 2008) is true, namely: If G is a finitely generated nonfree freely indecomposable fully residually free group with property IF, then G is a surface group.     

Relations among Henstock,McShane and Pettis integrals for multifunctions with compact convex values

Fremlin (Ill J Math 38:471–479, 1994) proved that a Banach space valued function is McShane integrable if and only if it is Henstock and Pettis integrable. In this paper we prove that the result remains valid also in case of multifunctions with compact convex values being subsets of an arbitrary Banach space (see Theorem 3.4). Di Piazza and Musia? (Monatsh Math 148:119–126, 2006) proved that if $X$ is a separable Banach space, then each Henstock integrable multifunction which takes as its values convex compact subsets of $X$ is a sum of a McShane integrable multifunction and a Henstock integrable function. Here we show that such a decomposition is true also in case of an arbitrary Banach space (see Theorem 3.3). We prove also that Henstock and McShane integrable multifunctions possess Henstock and McShane (respectively) integrable selections (see Theorem 3.1).     

Extension of a theorem of Shi and Tam

In this note, we prove the following generalization of a theorem of Shi and Tam (J Differ Geom 62:79–125, 2002): Let (Ω, g) be an n-dimensional (n ≥ 3) compact Riemannian manifold, spin when n?>?7, with non-negative scalar curvature and mean convex boundary. If every boundary component Σ _i has positive scalar curvature and embeds isometrically as a mean convex star-shaped hypersurface ${{\hat \Sigma}_i \subset \mathbb{R}^n}$ , then $$ \int\limits_{\Sigma_i} H \ d \sigma \le \int\limits_{{\hat \Sigma}_i} \hat{H} \ d {\hat \sigma} $$ where H is the mean curvature of Σ _i in (Ω, g), ${\hat{H}}$ is the Euclidean mean curvature of ${{\hat \Sigma}_i}$ in ${\mathbb{R}^n}$ , and where d σ and ${d {\hat \sigma}}$ denote the respective volume forms. Moreover, equality holds for some boundary component Σ _i if, and only if, (Ω, g) is isometric to a domain in ${\mathbb{R}^n}$ . In the proof, we make use of a foliation of the exterior of the ${\hat \Sigma_i}$ ’s in ${\mathbb{R}^n}$ by the ${\frac{H}{R}}$ -flow studied by Gerhardt (J Differ Geom 32:299–314, 1990) and Urbas (Math Z 205(3):355–372, 1990). We also carefully establish the rigidity statement in low dimensions without the spin assumption that was used in Shi and Tam (J Differ Geom 62:79–125, 2002).     

Density and location of resonances for convex co-compact hyperbolic surfaces

Let $X=\varGamma\backslash \mathbb {H}^{2}$ be a convex co-compact hyperbolic surface and let δ be the Hausdorff dimension of the limit set. Let Δ _X be the hyperbolic Laplacian. We show that the density of resonances of the Laplacian Δ _X in rectangles $$\bigl\{ \sigma\leq \mathrm {Re}(s)\leq\delta,\ \big\vert \mathrm {Im}(s)\big\vert\leq T \bigr\} $$ is less than O(T ^1+τ(σ)) in the limit T→∞, where τ(σ)<δ as long as $\sigma>{\frac {\delta }{2}}$ . This improves the previous fractal Weyl upper bound of Zworski (Invent. Math. 136(2):353–409, 1999) and goes in the direction of a conjecture stated in Jakobson and Naud (Geom. Funct. Anal. 22(2):352–368, 2012).     

A fourier-type transform on translation-invariant valuations on convex sets

Let V be a finite-dimensional real vector space. Let V al ^sm (V) be the space of translation-invariant smooth valuations on convex compact subsets of V. Let Dens(V) be the space of Lebesgue measures on V. The goal of the article is to construct and study an isomorphism $$ \mathbb{F}_V :Val^{sm} (V)\tilde \to Val^{sm} (V^* ) \otimes Dens(V) $$ such that $ \mathbb{F}_V $ commutes with the natural action of the full linear group on both spaces, sends the product on the source (introduced in [5]) to the convolution on the target (introduced in [16]), and satisfies a Planchereltype formula. As an application, a version of the hard Lefschetz theorem for valuations is proved.     

NIP for some pair-like theories

Generalising work of Berenstein, Dolich and Onshuus (Preprint 145 on MODNET Preprint server, 2008) and Günayd?n and Hieronymi (Preprint 146 on MODNET Preprint server, 2010), we give sufficient conditions for a theory T _P to inherit N I P from T, where T _P is an expansion of the theory T by a unary predicate P. We apply our result to theories, studied by Belegradek and Zilber (J. Lond. Math. Soc. 78:563?C579, 2008), of the real field with a subgroup of the unit circle.     

A splitting theorem on smooth metric measure spaces

We consider a smooth metric measure space (M, g, e ^?f dv). Let ?? _f be its weighted Laplacian. Assuming that ??₁(?? _f ) is positive and the m-dimensional Bakry-émery curvature is bounded below in terms of ??₁(?? _f ), we prove a splitting theorem for (M, g, e ^?f dv). This theorem generalizes previous results by Lam and Li-Wang (Trans Am Math Soc 362:5043?C5062, 2010; J Diff Geom 58:501?C534, 2001; see also J Diff Geom 62:143?C162, 2002).