arxiv: v1 [math.sp] 29 Mar 2010

Σχετικά έγγραφα
Research Article A Characterization of Planar Mixed Automorphic Forms

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

2 Composition. Invertible Mappings

Uniform Convergence of Fourier Series Michael Taylor

Example Sheet 3 Solutions

Reminders: linear functions

EE512: Error Control Coding

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Congruence Classes of Invertible Matrices of Order 3 over F 2

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

SOME PROPERTIES OF FUZZY REAL NUMBERS

Homomorphism in Intuitionistic Fuzzy Automata

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

4.6 Autoregressive Moving Average Model ARMA(1,1)

Every set of first-order formulas is equivalent to an independent set

PROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)

Partial Differential Equations in Biology The boundary element method. March 26, 2013

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

Homework 3 Solutions

C.S. 430 Assignment 6, Sample Solutions

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Second Order Partial Differential Equations

Fractional Colorings and Zykov Products of graphs

Matrices and Determinants

Section 8.3 Trigonometric Equations

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano

derivation of the Laplacian from rectangular to spherical coordinates

Commutative Monoids in Intuitionistic Fuzzy Sets

ST5224: Advanced Statistical Theory II

Statistical Inference I Locally most powerful tests

1. Introduction and Preliminaries.

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

A Note on Intuitionistic Fuzzy. Equivalence Relation

F19MC2 Solutions 9 Complex Analysis

Lecture 26: Circular domains

The k-α-exponential Function

Bessel functions. ν + 1 ; 1 = 0 for k = 0, 1, 2,..., n 1. Γ( n + k + 1) = ( 1) n J n (z). Γ(n + k + 1) k!

6.3 Forecasting ARMA processes

On a four-dimensional hyperbolic manifold with finite volume

Math221: HW# 1 solutions

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Lecture 13 - Root Space Decomposition II

The Fekete Szegö Theorem for a Subclass of Quasi-Convex Functions

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Orbital angular momentum and the spherical harmonics

w o = R 1 p. (1) R = p =. = 1

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Homework 8 Model Solution Section

Inverse trigonometric functions & General Solution of Trigonometric Equations

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

Lecture 15 - Root System Axiomatics

Problem Set 3: Solutions

Lecture 2. Soundness and completeness of propositional logic

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

A General Note on δ-quasi Monotone and Increasing Sequence

Finite Field Problems: Solutions

Subclass of Univalent Functions with Negative Coefficients and Starlike with Respect to Symmetric and Conjugate Points

Space-Time Symmetries

Solution Series 9. i=1 x i and i=1 x i.

Other Test Constructions: Likelihood Ratio & Bayes Tests

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

5. Choice under Uncertainty

CRASH COURSE IN PRECALCULUS

Parametrized Surfaces

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation

The Probabilistic Method - Probabilistic Techniques. Lecture 7: The Janson Inequality

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Iterated trilinear fourier integrals with arbitrary symbols

Homomorphism of Intuitionistic Fuzzy Groups

D Alembert s Solution to the Wave Equation

Trigonometric Formula Sheet

Intuitionistic Fuzzy Ideals of Near Rings

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

SEMIGROUP ACTIONS ON ORDERED GROUPOIDS. 1. Introduction and prerequisites

Appendix S1 1. ( z) α βc. dβ β δ β

On Numerical Radius of Some Matrices

On the k-bessel Functions

THE BIGRADED RUMIN COMPLEX. 1. Introduction

SOME INCLUSION RELATIONSHIPS FOR CERTAIN SUBCLASSES OF MEROMORPHIC FUNCTIONS ASSOCIATED WITH A FAMILY OF INTEGRAL OPERATORS. f(z) = 1 z + a k z k,

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

Areas and Lengths in Polar Coordinates

Srednicki Chapter 55

The semiclassical Garding inequality

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp

Integrals in cylindrical, spherical coordinates (Sect. 15.7)

The Pohozaev identity for the fractional Laplacian

MA 342N Assignment 1 Due 24 February 2016

Transcript:

A CHARACTERIZATION OF PLANAR MIXED AUTOMORPHIC FORMS arxiv:1003.5520v1 [math.sp] 29 Mar 2010 A. GHANMI Department of Mathematics, Faculty of Sciences, P.O. Box 1014, Mohammed V University, Agdal, 10000 Rabat - Morocco ABSTRACT. We characterize the space of the so-called planar mixed automorphic forms of typeν, µ) with respect to an equivariant pairρ, ) as the image, by an appropriate transform, of the usual Landau) automorphic forms involving special multiplier. 1 INTRODUCTION The notion of mixed automorphic forms was introduced by Stiller [7] and extensively studied by M.H. Lee see [5] and the references therein). They appears essentially in the context of number theory and algebraic geometry and arise naturally as holomorphic forms on elliptic varieties [4]. Mixed automorphic forms include classical ones as a special case and non trivial examples of them has being constructed in [1, 6]. In this paper, we deal with the space planar mixed automorphic forms and we show that it can be connected to the space of Landau automorphic forms [2], by an explicit and special transform Theorem 3.1). Let C be the complex plane endowed with its usual hermitian scalar product z, w = z w, and T be the unitary group, T = {λ C; λ = 1. Consider the semidirect product group G = T C operating on C by the holomorphic mappings g z = az+b for g = a, b) G. By equivariant pair ρ, ), we mean that ρ is a G-endomorphism and : C C a compatible mapping such that g.z) = ρg) z); g G, z C. 1.1) Associated to such ρ, ) and given uniform lattice Γ in C, we consider the vector space M C) of Γ-mixed automorphic forms of type ν, µ). They are smooth complex-valued functions F on C satisfying the functional equation Fγ z) = j ν γ, z)j µ ργ), z))fz), 1.2) where ν, µ are non negative real numbers and j α ; α R, is defined by j α g, z) = e 2iαI z,g 1 0. 1.3) Date: March 30, 2010 E-mail address: allalghanmi@gmail.com. 1

2 A. GHANMI Here and elsewhere Iz denotes the imaginary part of the complex number z. We assert that the spacem C) is isomorphic to the space of automorphic forms F C C), i.e., such that Fz+γ) = χ γ)j B γ, z)fz); z C, γ Γ. The pseudo-character χ is defined on Γ by χ γ) = exp γ) 2iµI 0), ργ) 1 0 ), 2iϕ where the involved function ϕ satisfies a first order differential equation as in Proposition 2.3 below. Our main result Theorem 3.1) is stated and proved in Section 3. To do this, we have to ensure first the nontrivially of the space M C) and to introduce properly the function ϕ Section 2). The crucial point in the proof of Theorem 3.1 is to observe that the weight B given by B = ν+µ 2 2 ) is indeed a real constant independent of the complex variable z. As immediate application of the obtained characterization, one can deduce easily some concrete spectral properties of an appropriate invariant Laplacian acting onm C) see [3] for more details). 2 ON THE SPACE M C) AND THE FUNCTION ϕ For given real numbers ν, µ > 0 and given equivariant pair ρ, ), we define J ρ, as a complex valued mapping G C by J ρ,g, z) := j ν g, z)j µ ρg), z)) 2.1) and we perform the vector space of mixed automorphic forms of typeν, µ), M C) := {F : C C C; Fγ z) = Jρ,g, z)fz), γ Γ, z C. Then, one can check the following 2.2) Proposition 2.1. i) Let φρ g, g ) be the real-valued function defined on G G by φρ g, g ) := I ν g 1 ) 0, g 0 + µ ρg 1 ) 0, ρg ) 0. 2.3) Then, the mapping J ρ, satisfies the chain rule ρ,gg, z) = e 2iφ ρ g,g ) Jρ,g, g z)jρ,g, z). 2.4) J ii) The functional space M C) is nontrivial if and only if the real-valued function1/π)φρ in 2.3) takes integer values on Γ Γ. Remark 2.2. According to i) of Proposition 2.1, the unitary transformations [Tg f]z) := Jρ,g, z) fg z), 2.5)

A CHARACTERIZATION OF PLANAR MIXED AUTOMORPHIC FORMS 3 for varying g G, define then a projective representation of the group G on the space of C functions on C. While the assertion ii) shows that M C) can be realized as the space of cross sections on a line bundle over the complex torus C/Γ. Proof. For every g, g G and z C, we have J ρ,gg, z) = j ν gg, z)j µ ρgg ), z)) = j ν gg, z)j µ ρg)ρg ), z)). Next, one can sees that the automorphic factor j α, ) satisfies j α hh, w) = e 2iαI h 1 0,h 0 j α h, h w)j α h, w); h, h G, w C. This gives rise to ρ,gg, z) = e 2iφ ρ g,g ) j ν g, g z)j µ ρg), ρg ) z))jρ,g, z). J Finally, 2.4) follows by making use of the equivariant condition ρg ) z) = g z). The proof of ii) can be handled in a similar way as in [2] making use of 2.4) combined with the equivariant condition 1.1). In order to prove the main result of this paper, we need to introduce the function ϕ. Proposition 2.3. The first order differential equation admits a solution = iµ ) 2 ) 2 )z : C C such that I is constant. 2.6) Proof. By writing the G-endomorphism ρ : G G = T C as ρg) = [χg), ψg)], and differentiating the equivariant condition g z) = ρg) z) = χg)z) + ψg), it follows g z ) g z) = χg) z) and g z ) g z) = χg) z). Hence, for g z)/) and χg) being in T, we deduce that B g z) = ν+µ g z) 2 g z) 2) 2 = ν+µ z) z) 2) = B z), and therefore z B z) is a real valued constant function since the only G-invariant functions on C are the constants). Now, by considering the differential differential 1-form θ z) := i { ν zdz zd z)+µd d),

4 A. GHANMI one checks that dθ = dθ B, where θ B := ib zdz zd z). Therefore, = Constant and satis- there exists a function : C C such that I fying the first order partial differential equation = i = iµ This completes the proof. [ν B ]z+µ ) ) ) 2 2 )z Remark 2.4. The partial differential equation 2.7) satisfied by further to the following with ψ z) = i = and ψ [B ν] z 2 µ z) 2 ) = 1 µ ν B ) z+ + 2iµψ z). ). 2.7) can be reduced 2.8) 3 MAIN RESULT Let ϕ be the real part of function on C as in Proposition 2.3. Define W given by We have 0), where is a complex valued to be the transformation [W f)]z) := e iϕ z) fz). 3.1) Theorem 3.1. The image of M C) by the transform 3.1) is the space of Landau Γ, χ )-automorphic functions. More exactly, we have W M C)) = {F; C, Fz+γ) = χ γ)j B γ, z)fz), where B on Γ by = ν+µ 2 2 ) R and χ is the pseudo-character defined χ γ) = exp 2iϕ γ) 2iµI 0), ργ) 1 ). 0 For the proof, we begin with the following Lemma 3.2. The function χ defined on C Γ by χ z; γ) := e iϕ z+γ) ϕ is independent of the variable z. z)) e 2i[B ν]i z,γ +µi z),ργ) 1 0 )

A CHARACTERIZATION OF PLANAR MIXED AUTOMORPHIC FORMS 5 Proof. Differentiation of χ z; γ) w.r.t. variable z gives ) χ ϕ = i ϕ z+γ) z) χ 3.2) [ [B ν] γ+µ ργ 1 ) 0) z) ργ 1 ) 0) ]) z) χ. In the other hand, using the equivariant condition z+γ) = ργ) z) and equation 2.7), one gets ) ϕ ϕ i z+γ) z) = B γ+s z) S z+γ) [ ] = [B ν] γ+µ a γ z) a γ z), 3.3) where we have set a γ = ργ 1 ) 0. Thus from 3.2) and 3.3), we conclude that χ = 0. Similarly, one gets also χ = 0. This ends the proof of Lemma 3.2. Proof of Theorem 3.1. We have to prove thatw F belongs to F B Γ,χ := {F; C, Fz+γ) = χ γ)j B γ, z)fz) whenever F M C), where Indeed, we have [W χ γ) := exp 2iϕ γ) 2iµI F]z+γ) := e iϕ z+γ) Fz+γ) ). 0), ργ) 1 0 = e iϕ z+γ) j ν γ, z)j µ ργ), z))fz) = e iϕ z+γ) ϕ = χ z; γ)j B z)) j ν γ, z)j µ ργ), z))[w F]z) γ, z)[w F]z). Whence by Lemma 3.2, we see that χ z; γ) = χ 0; γ) =: χ γ) and therefore [W F]z+γ) = χ γ)j B γ, z)[w F]z). The proof is completed Corollary 3.3. The function χ γ) = exp 2iϕ γ) 2iµI 0), ργ) 1 0 ) satisfies the pseudo-character property if and only if 1/π)φ ρ χ γ+γ ) = e 2iB I γ,γ χ γ)χ γ ) in 2.3) takes integer values on Γ Γ. Acknowledgements. The author is indebted to Professor A. Intissar for valuable discussions and encouragement.

6 A. GHANMI REFERENCES [1] Y. Choie, Construction of mixed automorphic forms. J. Austral. Math. Soc. Series A) 63 1997), 390-395 [2] Ghanmi A., Intissar A., Landau automorphic forms of C n of magnitude ν. J. Math. Phys. 49, no. 8, 2008). arxiv:0705.1763. [3] Ghanmi A., On spectral analysis of a magnetic Schrödinger operator on planar mixed automorphic forms. arxiv:0708.3357 [4] Hunt, B., Meyer, W., Mixed automorphic forms and invariants of elliptic surfaces. Math. Ann. 271 1985), no. 1, 53 80. [5] Lee, M. H., Mixed automorphic forms, torus bundles, and Jacobi forms. Lecture Notes in Mathematics, 1845. Springer-Verlag, Berlin, 2004. [6] Lee, M. H., Eisenstein series and Poincaré series for mixed automorphic forms, Collect. Math. 51, 3 2000), 225-236. [7] P. Stiller, Special values of Dirichlet series, monodromy, and the periods of automorphic forms, Mem. Amer. Math. Soc, 299 Amer. Math. Soc, Providence, 1984).