3-Nets realizing a group in a projective plane

In a projective plane $\mathit{PG}(2,\mathbb{K})$ defined over an algebraically closed field $\mathbb{K}$ of characteristic 0, we give a complete classification of 3-nets realizing a finite group. An infinite family, due to Yuzvinsky (Compos. Math. 140:1614–1624, 2004), arises from plane cubics and comprises 3-nets realizing cyclic and direct products of two cyclic groups. Another known infinite family, due to Pereira and Yuzvinsky (Adv. Math. 219:672–688, 2008), comprises 3-nets realizing dihedral groups. We prove that there is no further infinite family. Urzúa’s 3-nets (Adv. Geom. 10:287–310, 2010) realizing the quaternion group of order 8 are the unique sporadic examples. If p is larger than the order of the group, the above classification holds in characteristic p>0 apart from three possible exceptions $\rm{Alt}_{4}$ , $\rm{Sym}_{4}$ , and $\rm{Alt}_{5}$ . Motivation for the study of finite 3-nets in the complex plane comes from the study of complex line arrangements and from resonance theory; see (Falk and Yuzvinsky in Compos. Math. 143:1069–1088, 2007; Miguel and Buzunáriz in Graphs Comb. 25:469–488, 2009; Pereira and Yuzvinsky in Adv. Math. 219:672–688, 2008; Yuzvinsky in Compos. Math. 140:1614–1624, 2004; Yuzvinsky in Proc. Am. Math. Soc. 137:1641–1648, 2009).     

L p -theory for second-order elliptic operators with unbounded coefficients

Second-order elliptic operators with unbounded coefficients of the form ${Au := -{\rm div}(a\nabla u) + F . \nabla u + Vu}$ in ${L^{p}(\mathbb{R}^{N}) (N \in \mathbb{N}, 1 < p < \infty)}$ are considered, which are the same as in recent papers Metafune et?al. (Z Anal Anwendungen 24:497–521, 2005), Arendt et?al. (J Operator Theory 55:185–211, 2006; J Math Anal Appl 338: 505–517, 2008) and Metafune et?al. (Forum Math 22:583–601, 2010). A new criterion for the m-accretivity and m-sectoriality of A in ${L^{p}(\mathbb{R}^{N})}$ is presented via a certain identity that behaves like a sesquilinear form over L ^p ×?L ^p'. It partially improves the results in (Metafune et?al. in Z Anal Anwendungen 24:497–521, 2005) and (Metafune et?al. in Forum Math 22:583–601, 2010) with a different approach. The result naturally extends Kato’s criterion in (Kato in Math Stud 55:253–266, 1981) for the nonnegative selfadjointness to the case of p ≠?2. The simplicity is illustrated with the typical example ${Au = -u\hspace{1pt}'' + x^{3}u\hspace{1pt}' + c |x|^{\gamma}u}$ in ${L^p(\mathbb{R})}$ which is dealt with in (Arendt et?al. in J Operator Theory 55:185–211, 2006; Arendt et?al. in J Math Anal Appl 338: 505–517, 2008).     

Harmonic mappings in Bergman spaces

In this paper, we investigate the properties of mappings in harmonic Bergman spaces. First, we discuss the coefficient estimate, the Schwarz-Pick Lemma and the Landau-Bloch theorem for mappings in harmonic Bergman spaces in the unit disk $\mathbb D $ of $\mathbb C $ . Our results are generalizations of the corresponding ones in Chen et al. (Proc Am Math Soc 128:3231–3240, 2000), Chen et al. (J Math Anal Appl 373:102–110, 2011), Chen et al. (Ann Acad Sci Fenn Math 36:567–576, 2011). Then, we study the Schwarz-Pick Lemma and the Landau-Bloch theorem for mappings in harmonic Bergman spaces in the unit ball $\mathbb B ^{n}$ of $\mathbb C ^{n}$ . The obtained results are generalizations of the corresponding ones in Chen and Gauthier (Proc Am Math Soc 139:583–595 2011). At last, we get a characterization for mappings in harmonic Bergman spaces on $\mathbb B ^{n}$ in terms of their complex gradients.     

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 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$ .     

Tilting Theory and Functor Categories II. Generalized Tilting

In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $\mathrm{Mod}(\mathcal{C})$ , from a skeletally small preadditive category $\mathcal{C}$ to the category of abelian groups, initiated in [15]. We introduce the notion of a generalized tilting category $\mathcal{T}$ , and we concentrate here on extending Happel’s theorem to $\mathrm{Mod}(\mathcal{C})$ ; more specifically, we prove that there is an equivalence of triangulated categories $\mathcal{D}^{b}( \mathrm{Mod}(\mathcal{C}))\cong \mathcal{D}^{b}(\mathrm{Mod}(\mathcal{T}))$ . We then add some restrictions on our category $\mathcal{C}$ , in order to obtain a version of Happel’s theorem for the categories of finitely presented functors. We end the paper proving that some of the theorems for artin algebras, relating tilting with contravariantly finite categories proved in Auslander and Reiten (Adv Math 12(3):306–366, 1974; Adv Math 86(1):111–151, 1991), can be extended to the category of finitely presented functors $\mathrm{mod}(\mathcal{C})$ , with $\mathcal{C}$ a dualizing variety.     

The zeros of certain weakly holomorphic Drinfeld modular forms

Duke and Jenkins (Pure Appl Math Q 4(4):1327–1340, 2008) constructed a canonical basis for the space of weakly holomorphic modular forms for \({{\rm SL}_2(\mathbb{Z})}\) and investigated the zeros of the basis elements. In this paper we give an analogy in the Drinfeld setting of the result given by Duke and Jenkins (Pure Appl Math Q 4(4):1327–1340, 2008).     

Bounds of Singular Integrals on Weighted Hardy Spaces and Discrete Littlewood–Paley Analysis

We apply the discrete version of Calderón??s reproducing formula and Littlewood?CPaley theory with weights to establish the $H^{p}_{w} \to H^{p}_{w}$ (0<p<??) and $H^{p}_{w}\to L^{p}_{w}$ (0<p??1) boundedness for singular integral operators and derive some explicit bounds for the operator norms of singular integrals acting on these weighted Hardy spaces when we only assume w??A _??. The bounds will be expressed in terms of the A _q constant of w if q>q _w =inf?{s:w??A _s }. Our results can be regarded as a natural extension of the results about the growth of the A _p constant of singular integral operators on classical weighted Lebesgue spaces $L^{p}_{w}$ in Hytonen et al. (arXiv:1006.2530, 2010; arXiv:0911.0713, 2009), Lerner (Ill.?J.?Math. 52:653?C666, 2008; Proc. Am. Math. Soc. 136(8):2829?C2833, 2008), Lerner et?al. (Int.?Math. Res. Notes 2008:rnm 126, 2008; Math. Res. Lett. 16:149?C156, 2009), Lacey et?al. (arXiv:0905.3839v2, 2009; arXiv:0906.1941, 2009), Petermichl (Am. J. Math. 129(5):1355?C1375, 2007; Proc. Am. Math. Soc. 136(4):1237?C1249, 2008), and Petermichl and Volberg (Duke Math. J. 112(2):281?C305, 2002). Our main result is stated in Theorem?1.1. Our method avoids the atomic decomposition which was usually used in proving boundedness of singular integral operators on Hardy spaces.     

Dynamical system solutions for homogeneous linear functional equations of higher order

We present the solution of a large class of homogeneous linear functional equations of higher order by using ideas from dynamical systems. A particularly simple example from this class is the functional equation $$f(x) = \frac{1}{2}f \left(\frac{x}{2}\right) + \frac{1}{2}f \left(\frac{x+1}{2}\right), \quad 0 < x < 1.$$ Equations such as these have found important applications in wavelet theory by Hilberdink (Aequa Math 61(1–2):179–189, 2001) where they are called dilation equations and are usually solved by Fourier methods by Daubechies (Comm Pure Appl Math 41(7):909–996, 1988) or iteration methods of Daubechies (SIAM J Math Anal 22(5):1388–1410, 1991). A recent result of Góra (Ergod Theory Dyn Syst 29(5):1549–1583, 2009) allows us to represent the solution as an infinite series that is determined by the dynamics of a map that is defined by the functional equation. In this problem the interplay between dynamical systems and solutions of functional equations is brought into sharp focus.     

Some Recent Developments on Hopf��s Holomorphic Form

Hopf??s theorem on surfaces in ${\mathbb{R}^3}$ with constant mean curvature (Hopf in Math Nach 4:232?C249, 1950-51) was a turning point in the study of such surfaces. In recent years, Hopf-type theorems appeared in various ambient spaces, (Abresch and Rosenberg in Acta Math 193:141?C174, 2004 and Abresch and Rosenberg in Mat Contemp Sociedade Bras Mat 28:283-298, 2005). The simplest case is the study of surfaces with parallel mean curvature vector in ${M_k^n \times \mathbb{R}, n \ge 2}$ , where ${M_k^n}$ is a complete, simply-connected Riemannian manifold with constant sectional curvature k ?? 0. The case n?=?2 was solved in Abresch and Rosenberg 2004. Here we describe some new results for arbitrary n.     

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.     

Koplienko Trace Formula

Koplienko (Sib Math J 25(5): 735–743, 1984) gave a trace formula for perturbations of self-adjoint operators by operators of Hilbert–Schmidt class ${\mathcal{B}_2(\mathcal{H})}$ . Recently Gesztesy et?al. (Basics Z Mat Fiz Anal Geom 4(1):63–107, 2008) gave an alternative proof of the trace formula when the operators involved are bounded. In this article, we give a still another proof and extend the formula for unbounded case by reducing the problem to a finite dimensional one as in the proof of Krein trace formula by Voiculescu (On a Trace Formula of M. G. Krein. Operator Theory: Advances and Applications, vol. 24, pp. 329–332. Birkhauser, Basel, 1987), Sinha and Mohapatra (Proc Indian Acad Sci (Math Sci) 104(4):819–853, 1994).     

Families of Finite-Dimensional Hopf Algebras with the Chevalley Property

We introduce and study new families of finite-dimensional Hopf algebras with the Chevalley property that are not pointed nor semisimple arising as twistings of quantum linear spaces. These Hopf algebras generalize the examples introduced in Andruskiewitsch et al. (Mich Math J 49(2):277–298, 2001), Etingof and Gelaki (Int Math Res Not 14:757–768, 2002, Math Res Lett 8:249–255, 2001).     

The canonical shrinking soliton associated to a Ricci flow

To every Ricci flow on a manifold ${\mathcal{M}}$ over a time interval ${I\subset\mathbb{R}_-}$ , we associate a shrinking Ricci soliton on the space–time ${\mathcal{M}\times I}$ . We relate properties of the original Ricci flow to properties of the new higher-dimensional Ricci flow equipped with its own time-parameter. This geometric construction was discovered by consideration of the theory of optimal transportation, and in particular the results of the second author Topping (J Reine Angew Math 636:93–122, 2009), and McCann and the second author (Am J Math 132:711–730, 2010); we briefly survey the link between these subjects.     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

Complement of forms

The notions of the parallel sum, the parallel difference, and the complement of two nonnegative sesquilinear forms were introduced and studied by Hassi, Sebestyé and de Snoo in Hassi et al. (Oper Theory Adv Appl 198:211–227, 2010) and Hassi et al. (J Funct Anal 257(12):3858–3894, 2009). In this paper we continue these investigations. The Galois correspondence induced by the map ${\mathfrak{m} \mapsto \mathfrak{m}_\mathfrak{t}}$ (where ${\mathfrak{m}_\mathfrak{t}}$ denotes the ${\mathfrak{t}}$ -complement of ${\mathfrak{m}}$ ) is also studied. Inspired by the work of Eriksson and Leutwiler Eriksson and Leutwiler (Math Ann 274:301–317, 1986), we introduce the notion of quasi-unit for nonnegative sesquilinear forms. The quasi-units are characterized by means of the complement and the disjoint part. It is also shown that the ${{\mathfrak{t}}}$ -quasi-units coincide with the extreme points of the convex set ${\mathfrak{z}: 0 \leq \mathfrak{z} \leq \mathfrak{t}\}}$ .     

Global solutions to the Navier–Stokes-{\bar \omega} and related models with rough initial data

We establish the global well-posedness of the Navier–Stokes- ${\bar \omega}$ model with initial data ${u_0 \in H^{1-s}(\mathbb{R}^3)}$ with ${0 < s < \frac{1}{2}}$ which improves the existence results in Fan and Zhou (Appl Math Lett 24:1915–1918, 2011), Layton et al. (Commun Pure Appl Anal 10:1763–1777, 2011) where the initial data are required belonging to ${H^2(\mathbb{R}^3)}$ . We also obtain the similar results for a family of Navier–Stokes-α-like and magnetohydrodynamic-α models.     

The Range of the Restriction Map for a Multiplicity Variety in Hörmander Algebras of Entire Functions

Characterizations of interpolating multiplicity varieties for Hörmander algebras ${A_p(\mathbb{C})}$ and ${A^0_p(\mathbb{C})}$ of entire functions were obtained by Berenstein and Li (J Geom Anal 5(1):1–48, 1995) and Berenstein et al. (Can J Math 47(1):28–43, 1995) for a radial subharmonic weight p with the doubling property. In this note we consider the case when the multiplicity variety is not interpolating, we compare the range of the associated restriction map for two weights ${q \leq p}$ and investigate when the range of the restriction map on ${A_p(\mathbb{C})}$ or ${A^0_p(\mathbb{C})}$ contains certain subspaces associated in a natural way with the smaller weight q.     

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 })]$ .