Weyl modules and q-Whittaker functions

Let $G$ be a semi-simple simply connected group over $\mathbb {C}$ . Following Gerasimov et al. (Comm Math Phys 294:97–119, 2010) we use the $q$ -Toda integrable system obtained by quantum group version of the Kostant–Whittaker reduction (cf. Etingof in Am Math Soc Trans Ser 2:9–25, 1999, Sevostyanov in Commun Math Phys 204:1–16, 1999) to define the notion of $q$ -Whittaker functions $\varPsi _{\check{\lambda }}(q,z)$ . This is a family of invariant polynomials on the maximal torus $T\subset G$ (here $z\in T$ ) depending on a dominant weight $\check{\lambda }$ of $G$ whose coefficients are rational functions in a variable $q\in \mathbb {C}^*$ . For a conjecturally the same (but a priori different) definition of the $q$ -Toda system these functions were studied by Ion (Duke Math J 116:1–16, 2003) and by Cherednik (Int Math Res Notices 20:3793–3842, 2009) [we shall denote the $q$ -Whittaker functions from Cherednik (Int Math Res Notices 20:3793–3842, 2009) by $\varPsi '_{\check{\lambda }}(q,z)$ ]. For $G=SL(N)$ these functions were extensively studied in Gerasimov et al. (Comm Math Phys 294:97–119, 2010; Comm Math Phys 294:121–143, 2010; Lett Math Phys 97:1–24, 2011). We show that when $G$ is simply laced, the function $\hat{\varPsi }_{\check{\lambda }}(q,z)=\varPsi _{\check{\lambda }}(q,z)\cdot {\prod \nolimits _{i\in I}\prod \nolimits _{r=1}^{\langle \alpha _i,\check{\uplambda }\rangle }(1-q^r)}$ (here $I$ denotes the set of vertices of the Dynkin diagram of $G$ ) is equal to the character of a certain finite-dimensional $G[[{\mathsf {t}}]]\rtimes \mathbb {C}^*$ -module $D(\check{\lambda })$ (the Demazure module). When $G$ is not simply laced a twisted version of the above statement holds. This result is known for $\varPsi _{\check{\lambda }}$ replaced by $\varPsi '_{\check{\lambda }}$ (cf. Sanderson in J Algebraic Combin 11:269–275, 2000 and Ion in Duke Math J 116:1–16, 2003); however our proofs are algebro-geometric [and rely on our previous work (Braverman, Finkelberg in Semi-infinite Schubert varieties and quantum $K$ -theory of flag manifolds, arXiv/1111.2266, 2011)] and thus they are completely different from Sanderson (J Algebraic Combin 11:269–275, 2000) and Ion (Duke Math J 116:1–16, 2003) [in particular, we give an apparently new algebro-geometric interpretation of the modules $D(\check{\lambda })]$ .     

On some free boundary problem for a compressible barotropic viscous fluid flow

In this paper, we prove a local in time unique existence theorem for the free boundary problem of a compressible barotropic viscous fluid flow without surface tension in the \(L_p\) in time and \(L_q\) in space framework with \(2 < p < \infty \) and \(N < q < \infty \) under the assumption that the initial domain is a uniform \(W^{2-1/q}_q\) one in \({\mathbb {R}}^{N}\, (N \ge 2\) ). After transforming a unknown time dependent domain to the initial domain by the Lagrangian transformation, we solve problem by the Banach contraction mapping principle based on the maximal \(L_p\) – \(L_q\) regularity of the generalized Stokes operator for the compressible viscous fluid flow with free boundary condition. The key issue for the linear theorem is the existence of \({\mathcal {R}}\) -bounded solution operator in a sector, which combined with Weis’s operator valued Fourier multiplier theorem implies the generation of analytic semigroup and the maximal \(L_p\) – \(L_q\) regularity theorem. The nonlinear problem we studied here was already investigated by several authors (Denisova and Solonnikov, St. Petersburg Math J 14:1–22, 2003; J Math Sci 115:2753–2765, 2003; Secchi, Commun PDE 1:185–204, 1990; Math Method Appl Sci 13:391–404, 1990; Secchi and Valli, J Reine Angew Math 341:1–31, 1983; Solonnikov and Tani, Constantin carathéodory: an international tribute, vols 1, 2, pp 1270–1303, World Scientific Publishing, Teaneck, 1991; Lecture notes in mathematics, vol 1530, Springer, Berlin, 1992; Tani, J Math Kyoto Univ 21:839–859, 1981; Zajaczkowski, SIAM J Math Anal 25:1–84, 1994) in the \(L_2\) framework and Hölder spaces, but our approach is different from them.     

Additive Results of the Drazin Inverse for Bounded Linear Operators

Given two bounded linear operators $P$ and $Q$ on a Banach space the formula for the Drazin inverse of $P+Q$ is given, under the assumptions $P^2 Q+PQ^2=0$ and $P^3 Q=PQ^3=0$ . In particular, some recent results arising in Drazin (Am Math Mon 65:506–514, 1958), Hartwig et al. (Linear Algebra Appl 322:207–217, 2001) and Castro-González et al. (J Math Anal Appl 350:207–215, 2009) are extended.     

Modularity and monotonicity of games

The purpose of this paper is twofold. First, we generalize Kajii et al. (J Math Econ 43:218–230, 2007) and provide a condition under which for a game \(v\) , its Möbius inverse is equal to zero within the framework of the \(k\) -modularity of \(v\) for \(k \ge 2\) . This condition is more general than that in Kajii et al. (J Math Econ 43:218–230, 2007). Second, we provide a condition under which for a game \(v\) , its Möbius inverse takes non-negative values, and not just zero. This paper relates the study of totally monotone games to that of \(k\) -monotone games. Furthermore, this paper shows that the modularity of a game is related to \(k\) -additive capacities proposed by Grabisch (Fuzzy Sets Syst 92:167–189, 1997). To illustrate its application in the field of economics, we use these results to characterize a Gini index representation of Ben-Porath and Gilboa (J Econ Theory 64:443–467, 1994). Our results can also be applied to potential functions proposed by Hart and Mas-Colell (Econometrica 57:589–614, 1989) and further analyzed by Ui et al. (Math Methods Oper Res 74:427–443, 2011).     

Characterization of the Fermat curve as the most symmetric nonsingular algebraic plane curve

A projective nonsingular plane algebraic curve of degree \(d\ge 4\) is called maximally symmetric if it attains the maximum order of the automorphism groups for complex nonsingular plane algebraic curves of degree \(d\) . For \(d\le 7\) , all such curves are known. Up to projectivities, they are the Fermat curve for \(d=5,7\) ; see Kaneta et al. (RIMS Kokyuroku 1109:182–191, 1999) and Kaneta et al. (Geom. Dedic. 85:317–334, 2001), the Klein quartic for \(d=4\) , see Hartshorne (Algebraic Geometry. Springer, New York, 1977), and the Wiman sextic for \(d=6\) ; see Doi et al. (Osaka J. Math. 37:667–687, 2000). In this paper we work on projective plane curves defined over an algebraically closed field of characteristic zero, and we extend this result to every \(d\ge 8\) showing that the Fermat curve is the unique maximally symmetric nonsingular curve of degree \(d\) with \(d\ge 8\) , up to projectivity. For \(d=11,13,17,19\) , this characterization of the Fermat curve has already been obtained; see Kaneta et al. (Geom. Dedic. 85:317–334, 2001).     

A vanishing result for strictly p-convex domains

In view of Andreotti and Grauert (Bull Soc Math France 90:193–259, 1962) vanishing theorem for \(q\) -complete domains in \(\mathbb C ^{n}\) , we reprove a vanishing result by Sha (Invent Math 83(3):437–447, 1986), and Wu (Indiana Univ Math J 36(3):525–548, 1987), for the de Rham cohomology of strictly \(p\) -convex domains in \(\mathbb R ^n\) in the sense of Harvey and Lawson (The foundations of \(p\) -convexity and \(p\) -plurisubharmonicity in riemannian geometry. arXiv:1111.3895v1 [math.DG]). Our proof uses the \({L}^2\) -techniques developed by Hörmander (An introduction to complex analysis in several variables, 3rd edn. North-Holland Publishing Co, Amsterdam 1990), and Andreotti and Vesentini (Inst Hautes Études Sci Publ Math 25:81–130, 1965).     

Index sets and Scott sentences

For a computable structure \({\mathcal{A}}\) , there may not be a computable infinitary Scott sentence. When there is a computable infinitary Scott sentence \({\varphi}\) , then the complexity of the index set \({I(\mathcal{A})}\) is bounded by that of \({\varphi}\) . There are results (Ash and Knight in Computable structures and the hyperarithmetical hierarchy. Elsevier, Amsterdam, 2000; Calvert et al. in Algeb Log 45:306–315, 2006; Carson et al. in Trans Am Math Soc 364:5715–5728, 2012; McCoy and Wallbaum in Trans Am Math Soc 364:5729–5734, 2012; Knight and Saraph in Scott sentences for certain groups, pre-print) giving “optimal” Scott sentences for structures of various familiar kinds. These results have been driven by the thesis that the complexity of the index set should match that of an optimal Scott sentence (Ash and Knight in Computable structures and the hyperarithmetical hierarchy. Elsevier, Amsterdam, 2000; Calvert et al. in Algeb Log 45:306–315, 2006; Carson et al. in Trans Am Math Soc 364:5715–5728, 2012; McCoy and Wallbaum in Trans Am Math Soc 364:5729–5734, 2012). In this note, it is shown that the thesis does not always hold. For a certain subgroup of \({\mathbb{Q}}\) , there is no computable d- \({\Sigma_2}\) Scott sentence, even though (as shown in Ash and Knight in Scott sentences for certain groups, pre-print) the index set is d- \({\Sigma^0_2}\) .     

A refined stable restriction theorem for vector bundles on quadric threefolds

Let \(E\) be a stable rank 2 vector bundle on a smooth quadric threefold \(Q\) in the projective 4-space \(P\) . We show that the hyperplanes \(H\) in \(P\) for which the restriction of \(E\) to the hyperplane section of \(Q\) by \(H\) is not stable form, in general, a closed subset of codimension at least 2 of the dual projective 4-space, and we explicitly describe the bundles \(E\) which do not enjoy this property. This refines a restriction theorem of Ein and Sols (Nagoya Math J 96:11–22, 1984) in the same way the main result of Coand? (J Reine Angew Math 428:97–110, 1992) refines the restriction theorem of Barth (Math Ann 226:125–150, 1977).     

Real hypersurfaces in complex two-plane Grassmannians with generalized Tanaka–Webster Reeb parallel shape operator

In a paper due to Jeong et al. (Kodai Math J 34(3):352–366, 2011) we have shown that there does not exist a hypersurface in $G_{2}({\mathbb{C }}^{m+2})$ with parallel shape operator in the generalized Tanaka–Webster connection (see Tanaka in Jpn J Math 20:131–190, 1976; Tanno in Trans Am Math Soc 314(1):349–379, 1989). In this paper, we introduce the notion of the Reeb parallel in the sense of generalized Tanaka–Webster connection for a hypersurface $M$ in $G_{2}({\mathbb{C }}^{m+2})$ and prove that $M$ is an open part of a tube around a totally geodesic $G_2(\mathbb{C }^{m+1})$ in $G_2(\mathbb{C }^{m+2})$ .     

A new graph parameter related to bounded rank positive semidefinite matrix completions

The Gram dimension $\mathrm{gd}(G)$ of a graph $G$ is the smallest integer $k\ge 1$ such that any partial real symmetric matrix, whose entries are specified on the diagonal and at the off-diagonal positions corresponding to edges of $G$ , can be completed to a positive semidefinite matrix of rank at most $k$ (assuming a positive semidefinite completion exists). For any fixed $k$ the class of graphs satisfying $\mathrm{gd}(G) \le k$ is minor closed, hence it can be characterized by a finite list of forbidden minors. We show that the only minimal forbidden minor is $K_{k+1}$ for $k\le 3$ and that there are two minimal forbidden minors: $K_5$ and $K_{2,2,2}$ for $k=4$ . We also show some close connections to Euclidean realizations of graphs and to the graph parameter $\nu ^=(G)$ of van der Holst (Combinatorica 23(4):633–651, 2003). In particular, our characterization of the graphs with $\mathrm{gd}(G)\le 4$ implies the forbidden minor characterization of the 3-realizable graphs of Belk (Discret Comput Geom 37:139–162, 2007) and Belk and Connelly (Discret Comput Geom 37:125–137, 2007) and of the graphs with $\nu ^=(G) \le 4$ of van der Holst (Combinatorica 23(4):633–651, 2003).     

A tableau formula for eta polynomials

We use the Pieri and Giambelli formulas of Buch et al. (Invent Math 178:345–405, 2009; J Reine Angew, 2013) and the calculus of raising operators developed in Buch et al. (A Giambelli formula for isotropic Grassmannians, arXiv:0811.2781, 2008) and Tamvakis (J Reine Angew Math 652, 207–244, 2011) to prove a tableau formula for the eta polynomials of Buch et al. (J Reine Angew, 2013) and the Stanley symmetric functions which correspond to Grassmannian elements of the Weyl group $\widetilde{W}_n$ of type $\text {D}_n$ . We define the skew elements of $\widetilde{W}_n$ and exhibit a bijection between the set of reduced words for any skew $w\in \widetilde{W}_n$ and a set of certain standard typed tableaux on a skew shape $\lambda /\mu $ associated to $w$ .     

The effect of linear perturbations on the Yamabe problem

In conformal geometry, the Compactness Conjecture asserts that the set of Yamabe metrics on a smooth, compact, aspherical Riemannian manifold $\left( M,g\right) $ is compact. Established in the locally conformally flat case by Schoen (Lecture Notes in Mathematics, vol. 1365, pp. 120–154. Springer, Berlin 1989, Surveys Pure Application and Mathematics, 52 Longman Science, Technology, pp. 311–320. Harlow 1991) and for $n\le 24$ by Khuri–Marques–Schoen (J Differ Geom 81(1):143–196, 2009), it has revealed to be generally false for $n\ge 25$ as shown by Brendle (J Am Math Soc 21(4):951–979, 2008) and Brendle–Marques (J Differ Geom 81(2):225–250, 2009). A stronger version of it, the compactness under perturbations of the Yamabe equation, is addressed here with respect to the linear geometric potential $\frac{n-2}{4(n-1)} {{\mathrm{Scal}}}_g,\, {{\mathrm{Scal}}}_g$ being the Scalar curvature of $\left( M,g\right) $ . We show that a-priori $L^\infty $ –bounds fail for linear perturbations on all manifolds with $n\ge 4$ as well as a-priori gradient $L^2$ –bounds fail for non-locally conformally flat manifolds with $n\ge 6$ and for locally conformally flat manifolds with $n\ge 7$ . In several situations, the results are optimal. Our proof combines a finite dimensional reduction and the construction of a suitable ansatz for the solutions generated by a family of varying metrics in the conformal class of $g$ .     

A ternary additive problem

The problem of representing a large integer $n$ in the form $n=m^2+x^3+y^5$ has been studied by a number of authors in the past decades. In this paper, we restrict $m$ to square-free integers, and $x, y$ to primes, and show that there is such a representation for all $n\le N$ with at most $O(N^{1-\frac{1}{45}+\varepsilon })$ exceptions. We also improve the recent results of Liu (Acta Math Hungar 130(1–2):118–139, 2011) and Bauer (J Math 38(4):1073–1090, 2008) on related problems.     

A Note on Recent Papers by Grafakos and Teschl,and Estrada

We indicate how recent results of Grafakos and Teschl (J Fourier Anal Appl 19:167–179, 2013), and Estrada (J Fourier Anal Appl 20:301–320, 2014), relating the Fourier transform of a radial function in \(\mathbb R^n\) and the Fourier transform of the same function in \(\mathbb R^{n+2}\) and \(\mathbb R^{n+1}\) , respectively, are located within known results on transplantation for Hankel transforms.     

Cyclic parallel CR-submanifolds of maximal CR-dimension in a complex space form

We first classify \((2n-1)\) -dimensional cyclic parallel CR-submanifold \(M\) with CR-dimension \(n-1\) in a non-flat complex space form of constant holomorphic sectional curvature \(4c\) . Then, we prove that \(||\nabla h||^2\ge 4(n-1)c^2\) , where \(h\) is the second fundamental form on \(M\) . We also completely classify \((2n-1)\) -dimensional CR-submanifolds with CR-dimension \(n-1\) in a non-flat complex space form which satisfy the equality case of this inequality. This generalizes an inequality for real hypersurfaces in a non-flat complex space form obtained by Maeda (J Math Soc Jpn 28:529–540; 1976) and Chen et al. (Algebras Groups Geom 1:176–212; 1984) for complex projective and hyperbolic spaces, respectively.     

The homotopy of the K(2)-local Moore spectrum at the prime 3 revisited

In this paper we use the approach introduced in (Goerss et al., Ann Math 162(2):777–822, 2005) in order to analyze the homotopy groups of $L_{K(2)}V(0)$ , the mod- $3$ Moore spectrum $V(0)$ localized with respect to Morava $K$ -theory $K(2)$ . These homotopy groups have already been calculated by Shimomura (J Math Soc Japan 52(1): 65–90, 2000). The results are very complicated so that an independent verification via an alternative approach is of interest. In fact, we end up with a result which is more precise and also differs in some of its details from that of Shimomura (J Math Soc Japan 52(1): 65–90, 2000). An additional bonus of our approach is that it breaks up the result into smaller and more digestible chunks which are related to the $K(2)$ -localization of the spectrum $TMF$ of topological modular forms and related spectra. Even more, the Adams–Novikov differentials for $L_{K(2)}V(0)$ can be read off from those for $TMF$ .     

L_p-theory of free boundary problems of magnetohydrodynamics in multi-connected domains

We present the \(L_p\) -theory of solvability of free boundary problems of magnetohydrodynamics of viscous incompressible fluids in multi-connected domains constructed in the paper Solonnikov (Interf Free Bound 14:569–603, 2012) for \(p=2\) . The case of simply connected domains is studied in Padula and Solonnikov (J Math Sci 178:313–344, 2011), Solonnikov ( \(L_p\) -theory of free boundary problems of magnetohydrodynamics in simply connected domains, submitted to AMS Translations).     

Porosity and products of Orlicz spaces

Let $(\Omega , \Sigma , \mu )$ be a measure space and let $\varphi _1, \ldots , \varphi _n$ and $\varphi $ be Young functions. In this paper, we, among other things, prove that the set $E=\{(f_1, \ldots ,f_n)\in M^{\varphi _1}\times \cdots \times M^{\varphi _n}:\, N_\varphi (f_1\cdots f_n)<\infty \}$ is a $\sigma $ - $c$ -lower porous set in $M^{\varphi _1}\times \cdots \times M^{\varphi _n}$ , under mild restrictions on the Young functions $\varphi _1, \ldots , \varphi _n$ and $\varphi $ . This generalizes a recent result due to G? a? b and Strobin (J Math Anal Appl 368:382–390, 2010) to more general setting of Orlicz spaces. As an application of our results, we recover a sufficient and necessary condition for Orlicz spaces to be closed under the pointwise multiplication due to Hudzik (Arch Math 44:535–538, 1985) and Arens et al. (J Math Anal Appl 177:386–411, 1993).