A Construction of Generalized Harish-Chandra Modules for Locally Reductive Lie Algebras

We study cohomological induction for a pair $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ , $ \mathfrak{g} $ being an infinitedimensional locally reductive Lie algebra and $ \mathfrak{k} \subset \mathfrak{g} $ being of the form $ \mathfrak{k}_{0} \subset C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ , where $ \mathfrak{k}_{0} \subset \mathfrak{g} $ is a finite-dimensional reductive in $ \mathfrak{g} $ subalgebra and $ C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ is the centralizer of $ \mathfrak{k}_{0} $ in $ \mathfrak{g} $ . We prove a general nonvanishing and $ \mathfrak{k} $ -finiteness theorem for the output. This yields, in particular, simple $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ -modules of finite type over k which are analogs of the fundamental series of generalized Harish-Chandra modules constructed in [PZ1] and [PZ2]. We study explicit versions of the construction when $ \mathfrak{g} $ is a root-reductive or diagonal locally simple Lie algebra.     

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

Quadratic functions with prescribed spectra

We study a class of quadratic p-ary functions ${{\mathcal{F}}_{p,n}}$ from ${\mathbb{F}_{p^n}}$ to ${\mathbb{F}_p, p \geq 2}$ , which are well-known to have plateaued Walsh spectrum; i.e., for each ${b \in \mathbb{F}_{p^n}}$ the Walsh transform ${\hat{f}(b)}$ satisfies ${|\hat{f}(b)|^2 \in \{ 0, p^{(n+s)}\}}$ for some integer 0 ≤ s ≤ n ? 1. For various types of integers n, we determine possible values of s, construct ${{\mathcal{F}}_{p,n}}$ with prescribed spectrum, and present enumeration results. Our work generalizes some of the earlier results, in characteristic two, of Khoo et. al. (Des Codes Cryptogr, 38, 279–295, 2006) and Charpin et al. (IEEE Trans Inf Theory 51, 4286–4298, 2005) on semi-bent functions, and of Fitzgerald (Finite Fields Appl 15, 69–81, 2009) on quadratic forms.     

Parabolic contractions of semisimple Lie algebras and their invariants

Let $G$ be a connected semisimple algebraic group with Lie algebra $\mathfrak{g }$ and $P$ a parabolic subgroup of $G$ with $\mathrm{Lie\, }P=\mathfrak{p }$ . The parabolic contraction $\mathfrak{q }$ of $\mathfrak{g }$ is the semi-direct product of $\mathfrak{p }$ and a $\mathfrak{p }$ -module $\mathfrak{g }/\mathfrak{p }$ regarded as an abelian ideal. We are interested in the polynomial invariants of the adjoint and coadjoint representations of $\mathfrak{q }$ . In the adjoint case, the algebra of invariants is easily described and it turns out to be a graded polynomial algebra. The coadjoint case is more complicated. Here we found a connection between symmetric invariants of $\mathfrak{q }$ and symmetric invariants of centralisers $\mathfrak{g }_e\subset \mathfrak{g }$ , where $e\in \mathfrak{g }$ is a Richardson element with polarisation $\mathfrak{p }$ . Using this connection and results of Panyushev et al. (J Algebra 313:343–391, 2007), we prove that the algebra of symmetric invariants of $\mathfrak{q }$ is free for all parabolic subalgebras in types $\mathbf A$ and $\mathbf C$ and some parabolics in type $\mathbf B$ . This technique also applies to the minimal parabolic subalgebras in all types. For $\mathfrak{p }=\mathfrak{b }$ , a Borel subalgebra of $\mathfrak{g }$ , one gets a contraction of $\mathfrak{g }$ recently introduced by Feigin (Selecta Math 18:513–537, 2012) and studied from invariant-theoretic point of view in our previous paper (Panyushev and Yakimova in Ann Inst Fourier 62(6):2053–2068, 2012).     

On the functional codes defined by quadrics and Hermitian varieties

In recent years, functional codes have received much attention. In his PhD thesis, F.A.B. Edoukou investigated various functional codes linked to quadrics and Hermitian varieties defined in finite projective spaces (Edoukou, PhD Thesis, 2007). This work was continued in (Edoukou et al., Des Codes Cryptogr 56:219–233, 2010; Edoukou et al., J Pure Appl Algebr 214:1729–1739, 2010; Hallez and Storme, Finite Fields Appl 16:27–35, 2010), where the results of the thesis were improved and extended. In particular, Hallez and Storme investigated the functional codes ${C_2(\mathcal{H})}$ , with ${\mathcal{H}}$ a non-singular Hermitian variety in PG(N, q ²). The codewords of this code are defined by evaluating the points of ${\mathcal{H}}$ in the quadratic polynomials defined over ${\mathbb{F}_{q^2}}$ . We now present the similar results for the functional code ${C_{Herm}(\mathcal{Q})}$ . The codewords of this code are defined by evaluating the points of a non-singular quadric ${\mathcal{Q}}$ in PG(N, q ²) in the polynomials defining the Hermitian varieties of PG(N, q ²).     

Defect Functions of Holomorphic Contractive Operator Functions and the Scattering Suboperator Through the Internal Channels of a System: Part II

Let $\theta (\zeta )$ be a Schur operator function, i.e., it is defined on the unit disk ${\mathbb D}\,{:=}\,\{\zeta \in {\mathbb C}: |\zeta | < 1\}$ and its values are contractive operators acting from one Hilbert space into another one. In the first part of the paper the outer and $*$ -outer Schur operator functions $\varphi (\zeta )$ and $\psi (\zeta )$ which describe respectively the deviations of the function $\theta (\zeta )$ from inner and $*$ -inner operator functions are studied. If $\varphi (\zeta )\ne 0$ , then it means that in the scattering system for which $\theta (\zeta )$ is the transfer function a portion of “information” comes inward the system and does not go outward, i.e., it is left in the internal channels of the system ([11, Sect. 6]). The function $\psi (\zeta )$ has the analogous property. For this reason these functions are called defect ones of the function $\theta (\zeta )$ . The explicit form of the defect functions $\varphi (\zeta )$ and $\psi (\zeta )$ is obtained and the analytic connection of these functions with the function $\theta (\zeta )$ is described ([11, Sect. 3 and Sect. 5]). The operator functions $\left( \begin{matrix} \varphi (\zeta ) \\ \theta (\zeta ) \end{matrix}\right) $ and $(\psi (\zeta ), \theta (\zeta ))$ are Schur functions as well ([11, Sect. 3]). It is important that there exists the unique contractive operator function $\chi (t),t\in \partial {\mathbb D}$ , such that the operator function $\left( \begin{matrix} \chi (t) &{} \varphi (t) \\ \psi (t) &{} \theta (t) \end{matrix}\right) ,t\in \partial {\mathbb D},$ is also contractive (Sect. 6). The second part of the paper is devoted to introducing and studying the properties of the function $\chi (t)$ . Specifically, it is shown that the function $\chi (t)$ is the scattering suboperator through the internal channels of the scattering system for which $\theta (\zeta )$ is the transfer function (Sect. 6).     

Forbidden Induced Subgraphs for Perfect Matchings

Let ${\mathcal{F}}$ be a family of connected graphs. A graph G is said to be ${\mathcal{F}}$ -free if G is H-free for every graph H in ${\mathcal{F}}$ . We study the problem of characterizing the families of graphs ${\mathcal{F}}$ such that every large enough connected ${\mathcal{F}}$ -free graph of even order has a perfect matching. This problems was previously studied in Plummer and Saito (J Graph Theory 50(1):1–12, 2005), Fujita et al. (J Combin Theory Ser B 96(3):315–324, 2006) and Ota et al. (J Graph Theory, 67(3):250–259, 2011), where the authors were able to characterize such graph families ${\mathcal{F}}$ restricted to the cases ${|\mathcal{F}|\leq 1, |\mathcal{F}| \leq 2}$ and ${|\mathcal{F}| \leq 3}$ , respectively. In this paper, we complete the characterization of all the families that satisfy the above mentioned property. Additionally, we show the families that one gets when adding the condition ${|\mathcal{F}| \leq k}$ for some k ≥ 4.     

Boundary Values of Harmonic Functions in Spaces of Triebel–Lizorkin Type

Triebel (J Approx Theory 35:275–297, 1982; 52:162–203, 1988) investigated the boundary values of the harmonic functions in spaces of the Triebel–Lizorkin type ${\mathcal F^{\alpha,q}_{p}}$ on ${\mathbb{R}^{n+1}_+}$ by finding an characterization of the homogeneous Triebel–Lizorkin space ${{\bf \dot{F}}^{\alpha,q}_p}$ via its harmonic extension, where ${0 < p < \infty, 0 < q \leq \infty}$ , and ${\alpha < {\rm min}\{-n/p, -n/q\}}$ . In this article, we extend Triebel’s result to α < 0 and ${0 < p, q \leq \infty}$ by using a discrete version of reproducing formula and discretizing the norms in both ${\mathcal{F}^{\alpha,q}_{p}}$ and ${{\bf{\dot{F}}}^{\alpha,q}_p}$ . Furthermore, for α < 0 and ${1 < p,q \leq \infty}$ , the mapping from harmonic functions in ${\mathcal{F}^{\alpha,q}_{p}}$ to their boundary values forms a topological isomorphism between ${\mathcal{F}^{\alpha,q}_{p}}$ and ${{\bf \dot{F}}^{\alpha,q}_p}$ .     

Finite dimensional irreducible representations of finite W-algebras associated to even multiplicity nilpotent orbits in classical Lie algebras

We consider finite W-algebras ${U(\mathfrak{g},e)}$ associated to even multiplicity nilpotent elements in classical Lie algebras. We give a classification of finite dimensional irreducible ${U(\mathfrak{g},e)}$ -modules with integral central character in terms of the highest weight theory from Brundan et al. (Int. Math. Res. Notices 15, art. ID rnn051, 2008). As a corollary, we obtain a parametrization of primitive ideals of ${U(\mathfrak{g})}$ with associated variety the closure of the adjoint orbit of e and integral central character.     

Infinite Families of Pellian Polynomials and Their Continued Fraction Expansions

We investigate families $ \lbrace D_k(X)\rbrace_{k\in{\rm N}} $ of quadratic integral polynomials and show that, for a fixed k ∈ N and arbitrary X ∈ N, the period length of the simple continued fraction expansion of $ \sqrt {D_k(X)} $ is constant. Furthermore, we show that the period lengths of $ \sqrt {D_k(X)} $ go to infinity with k. For each member of the families involved, we show how to easily determine the fundamental unit of the underlying quadratic field. We also demonstrate how the simple continued fraction expansion of $ \sqrt {D_k(X)} $ is related to that of $ \sqrt {C} $ . This continues work in [3]-[5].     

Addition theorems for the Appell polynomials and the associated classes of polynomial expansions

Various interesting and potentially useful properties and relationships involving the Bernoulli, Euler and Genocchi polynomials have been investigated in the literature rather extensively. Recently, the present authors (Srivastava and Pinter in Appl Math Lett 17:375–380, 2004) obtained addition theorems and other relationships involving the generalized Bernoulli polynomials ${B_n^{(\alpha)}(x)}$ and the generalized Euler polynomials ${E_n^{(\alpha)}(x)}$ of order α and degree n in x. The main purpose of this sequel to some of the aforecited investigations is to give several addition formulas for a general class of Appell sequences. The addition formulas, which are derived in this paper, involve not only the generalized Bernoulli polynomials ${B_n^{(\alpha)}(x)}$ and the generalized Euler polynomials ${E_n^{(\alpha)}(x)}$ , but also the generalized Genocchi polynomials ${G_n^{(\alpha)}(x)}$ , the Srivastava polynomials ${\mathcal{S}_{n}^{N}\left( x\right)}$ , several general families of hypergeometric polynomials and such orthogonal polynomials as the Jacobi, Laguerre and Hermite polynomials. Some umbral-calculus generalizations of the addition formulas are also investigated.     

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

Modular Decomposition of the Orlik-Terao Algebra

Let ${\mathcal{A}}$ be a collection of n linear hyperplanes in ${\mathbb{k}^\ell}$ , where ${\mathbb{k}}$ is an algebraically closed field. The Orlik-Terao algebra of ${\mathcal{A}}$ is the subalgebra ${{\rm R}(\mathcal{A})}$ of the rational functions generated by reciprocals of linear forms vanishing on hyperplanes of ${\mathcal{A}}$ . It determines an irreducible subvariety ${Y (\mathcal{A})}$ of ${\mathbb{P}^{n-1}}$ . We show that a flat X of ${\mathcal{A}}$ is modular if and only if ${{\rm R}(\mathcal{A})}$ is a split extension of the Orlik-Terao algebra of the subarrangement ${\mathcal{A}_X}$ . This provides another refinement of Stanley’s modular factorization theorem [34] and a new characterization of modularity, similar in spirit to the fibration theorem of [27]. We deduce that if ${\mathcal{A}}$ is supersolvable, then its Orlik-Terao algebra is Koszul. In certain cases, the algebra is also a complete intersection, and we characterize when this happens.     

On the Left and Right Brylinski-Kostant Filtrations

Let $\mathfrak{g}$ be a complex semisimple Lie algebra, $\mathfrak{b}$ a Borel subalgebra, and $\mathfrak{h}\subset\mathfrak{b}$ a Cartan subalgebra. Let V be a finite dimensional simple $U(\mathfrak{g})$ module. Based on a principal s-triple (e,h,f) and following work of Kostant, Brylinski (J Amer Math Soc 2(3):517–533, 1989) defined a filtration $\mathcal{F}_e$ for all weight subspaces V _μ of V and calculated the dimensions of the graded subspaces for μ dominant. In Joseph et al. (J Amer Math Soc 13(4):945–970, 2000) these dimensions were calculated for all μ. Let δM(0) be the finite dual of the Verma module of highest weight 0. It identifies with the global functions on a Weyl group translate of the open Bruhat cell and so inherits a natural degree filtration. On the other hand, up to an appropriate shift of weights, there is a unique $U(\mathfrak{b})$ module embedding of V into δM(0) and so the degree filtration induces a further filtration $\mathcal{F}$ on each weight subspace V _μ . A casual reading of Joseph et al. (J Amer Math Soc 13(4):945–970, 2000) might lead one to believe that $\mathcal{F}$ and $\mathcal{F}_e$ coincide. However this is quite false. Rather one should view $\mathcal{F}_e$ as coming from a left action of $U(\mathfrak{n})$ and then there is a second (Brylinski-Kostant) filtration $\mathcal{F}'_e$ coming from a right action. It is $\mathcal{F}'_e$ which may coincide with $\mathcal{F}$ . In this paper the above claim is made precise. First it is noted that $\mathcal{F}$ is itself not canonical, but depends on a choice of variables. Then it is shown that a particular choice can be made to ensure that $\mathcal{F}=\mathcal{F}'_e$ . An explicit form for the unique left $U(\mathfrak{b})$ module embedding $V\hookrightarrow\delta M(0)$ is given using the right action of $U(\mathfrak{n})$ . This is used to give a purely algebraic proof of Brylinski’s main result in Brylinski (J Amer Math Soc 2(3):517–533, 1989) which is much simpler than Joseph et al. (J Amer Math Soc 13(4):945–970, 2000). It is noted that the dimensions of the graded subspaces of $\rm{gr}_{\mathcal{F}_e} V_{\!\mu}$ and $\rm{gr}_{\mathcal{F}'_e} V_{\!\mu}$ can be very different. Their interrelation may involve the Kashiwara involution. Indeed a combinatorial formula for multiplicities in tensor products involving crystal bases and the Kashiwara involution is recovered. Though the dimensions for the graded subspaces of $\rm{gr}_{\mathcal{F}'_e} V_{\!\mu}$ are determined by polynomial degree, their values remain unknown.     

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.     

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

Asymptotic behaviour of first passage time distributions for Lévy processes

Let $X$ be a real valued Lévy process that is in the domain of attraction of a stable law without centering with norming function $c.$ As an analogue of the random walk results in Vatutin and Wachtel (Probab Theory Relat Fields 143(1–2):177–217, 2009) and Doney (Probab Theory Relat Fields 152(3–4):559–588, 2012), we study the local behaviour of the distribution of the lifetime $\zeta $ under the characteristic measure $\underline{n}$ of excursions away from $0$ of the process $X$ reflected in its past infimum, and of the first passage time of $X$ below $0,$ $T_{0}=\inf \{t>0:X_{t}<0\},$ under $\mathbb{P }_{x}(\cdot ),$ for $x>0,$ in two different regimes for $x,$ viz. $x=o(c(\cdot ))$ and $x>D c(\cdot ),$ for some $D>0.$ We sharpen our estimates by distinguishing between two types of path behaviour, viz. continuous passage at $T_{0}$ and discontinuous passage. In order to prove our main results we establish some sharp local estimates for the entrance law of the excursion process associated to $X$ reflected in its past infimum.     

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

Newform theory for Hilbert Eisenstein series

In his thesis, Weisinger (Thesis, 1977) developed a newform theory for elliptic modular Eisenstein series. This newform theory for Eisenstein series was later extended to the Hilbert modular setting by Wiles (Ann. Math. 123(3):407–456, 1986). In this paper, we extend the theory of newforms for Hilbert modular Eisenstein series. In particular, we provide a strong multiplicity-one theorem in which we prove that Hilbert Eisenstein newforms are uniquely determined by their Hecke eigenvalues for any set of primes having Dirichlet density greater than $\frac{1}{2}$ . Additionally, we provide a number of applications of this newform theory. Let denote the space of Hilbert modular Eisenstein series of parallel weight k≥3, level $\mathcal{N}$ and Hecke character Ψ over a totally real field K. For any prime $\mathfrak{q}$ dividing $\mathcal{N}$ , we define an operator $C_{\mathfrak{q}}$ generalizing the Hecke operator $T_{\mathfrak{q}}$ and prove a multiplicity-one theorem for with respect to the algebra generated by the Hecke operators $T_{\mathfrak{p}}$ ( $\mathfrak{p}\nmid\mathcal{N}$ ) and the operators $C_{\mathfrak{q}}$ ( $\mathfrak{q}\mid\mathcal{N}$ ). We conclude by examining the behavior of Hilbert Eisenstein newforms under twists by Hecke characters, proving a number of results having a flavor similar to those of Atkin and Li (Invent. Math. 48(3):221–243, 1978).