Affinoids in the Lubin–Tate perfectoid space and simple supercuspidal representations II: wild case

We construct a family of affinoids in the Lubin–Tate perfectoid space and their formal models such that the middle cohomology of their reductions realizes the local Langlands correspondence and the local Jacquet–Langlands correspondence for the simple supercuspidal representations. The reductions of the formal models are isomorphic to the perfections of some Artin–Schreier varieties, whose cohomology realizes primitive Galois representations. We show also the Tate conjecture for Artin–Schreier varieties associated to quadratic forms.


Introduction
Let K be a non-archimedean local field with residue field k. Let p be the characteristic of k. We write O K for the ring of integers of K , and p for the maximal ideal of O K . We fix an algebraic closure k ac of k. The Lubin-Tate spaces are deformation spaces of the one-dimensional formal O K -module over k ac of height n with level structures. We take a prime number that is different from p. The local Langlands correspondence (LLC) and the local Jacquet-Langlands correspondence (LJLC) for supercuspidal representations of GL n are realized in the -adic cohomology of Lubin-Tate spaces. This is proved in [4] and [9] by global automorphic arguments. On the other hand, the Communicated by Wei Zhang. B Naoki Imai naoki@ms.u-tokyo.ac.jp Takahiro Tsushima tsushima@math.s.chiba-u.ac.jp 1 relation between these correspondences and the geometry of Lubin-Tate spaces is not well understood.
In this direction, Yoshida constructs a semi-stable model of the Lubin-Tate space with a full level p-structure, and studies its relation with the LLC in [27]. In this case, the Deligne-Lusztig varieties appear as open subschemes in the reductions of the semi-stable models, and their cohomology realizes the LLC for depth zero supercuspidal representations. In [5], Boyarchenko-Weinstein construct a family of affinoids in the Lubin-Tate perfectoid space and their formal models so that the cohomology of the reductions realizes the LLC and the LJLC for some representations which are related to unramified extensions of K (cf. [25] for some special case at a finite level). It generalizes a part of the result in [27] to higher conductor cases. In the Lubin-Tate perfectoid setting, the authors study the case for the essentially tame simple supercuspidal representations in [12], where simple supercuspidal means that the exponential Swan conductor is equal to one. See [1] for the notion of essentially tame representations. The result in [12] is generalized to some higher conductor essentially tame cases by Tokimoto in [24] (cf. [14] for some special case at a finite level).
In all the above cases, Langlands parameters are of the form Ind W K W L χ for a finite separable extension L over K and a character χ of W L , where W K and W L denote the Weil groups of K and L respectively. Further, the construction of affinoids directly involves CM points which have multiplication by L. In this paper, we study the case for simple supercuspidal representations which are not essentially tame. In this case, the Langlands parameters can not be written as inductions of characters. Hence, we have no canonical candidate of CM points which may be used for constructions of affinoids.
We will explain our main result. All the representation are essentially tame if n is prime to p. Hence, we assume that p divides n. We say that a representation of GL n (K ) is essentially simple supercuspidal if it is a character twist of a simple supercuspidal representation. Let q be the number of the elements of k and D be the central division algebra over K of invariant 1/n. We write q = p f and n = p e n , where n is prime to p. We put m = gcd(e, f ). The main theorem is the following: Theorem For r ∈ μ q−1 (K ), there is an affinoid X r in the Lubin-Tate perfectoid space and its formal model X r such that • the special fiber X r of X r is isomorphic to the perfection of the affine smooth variety defined by z p m − z = y p e +1 − 1 n 1≤i≤ j≤n−2 y i y j in A n k ac , • the stabilizer H r ⊂ GL n (K ) × D × × W K of X r naturally acts on X r , and • c-Ind See Theorem 2.6 and Theorem 6.5 for precise statements. As we mentioned, we have no candidate of CM points for the construction of affinoids. First, we consider a CM point ξ which has multiplication by a field extension of K obtained by adding an n-th root of a uniformizer of K . If we imitate the construction of affinoids in [12] using the CM point ξ , we can get a non-trivial affinoid and its model, but the reduction degenerates in some sense, and the cohomology of the reduction does not give a supercuspidal representation. What we will do in this paper is to modify the CM point ξ using information of field extensions which appear in the study of our simple supercuspidal Langlands parameter. The modified point, which is constructed in Proposition 2.2, is no longer a CM point, but we can use this point for a construction of a desired affinoid. Since the modification comes from the study of the Langlands parameter, we expect that such constructions work also for other Langlands parameters.
In the above mentioned preceding researches, the Langlands parameters are inductions of characters, and realized from commutative group actions on varieties. In the case for Deligne-Lusztig varieties, they come from the natural action of tori. In our simple supercuspidal case, they come from non-commutative group actions. For example, the restriction to the inertia subgroup of a simple supercuspidal Langlands parameter factors through a semidirect product of a cyclic group with a Heisenberg type group, which acts on our Artin-Schreier variety in a very non-trivial way.
In the following, we briefly explain the content of each section. In Sect. 1, we collect known results on the Lubin-Tate perfectoid space, its formal model and group action on it.
In Sect. 2, we construct a family of affinoids and their formal models. Further we determine the reductions of them. The reduction is isomorphic to the perfection of some Artin-Schreier variety.
In Sect. 3, we describe the group action on the reductions. In Sect. 4, we show that the Tate conjecture holds for Artin-Schreier varieties of associated to quadratic forms. Further, we study the action of some special element on cycle classes in the etale cohomology of the Artin-Schreier variety. This becomes a key ingredient for the proof of the main theorem.
In Sect. 5, we give an explicit description of the LLC and the LJLC for essentially simple supercuspidal representations, which follows from results in [13] and [17]. In Sect. 6, we give a geometric realization of the LLC and the LJLC in the cohomology of our reduction.

Notation
For a non-archimedean valuation field F, its valuation ring is denoted by O F . For a non-archimedean valuation field F and an element a ∈ O F , its image in the residue field is denoted byā. For a ∈ Q and elements f , g with valuation v that takes values in For a topological field extension E over F, let Gal(E/F) denote the group of the continuous automorphisms of E over F. For an ideal I of a topological ring, let I − denote the closure of I .

Lubin-Tate perfectoid space and its formal model
Let K be a non-archimedean local field with residue field k of characteristic p. Let q be the number of the elements of k. We write p for the maximal ideal of O K . We fix an algebraic closure K ac of K . Let k ac be the residue field of K ac .
Let n be a positive integer. We take a one-dimensional formal O K -module G 0 over k ac of height n, which is unique up to isomorphism. Let K ur be the maximal unramified extension of K in K ac . We write K ur for the completion of K ur . Let {Spf A m } m≥0 be the tower of Lubin-Tate formal schemes defined by Drinfeld level p m -structure as explained in [12, §1.1]. Note that the generic fibers of these formal schemes are connected components of usual Lubin-Tate spaces. Let I the ideal of lim − → A m generated by the maximal ideal of A 0 . Let A be the I -adic completion of lim − → A m . We put M G 0 ,∞ = Spf A. Let K ab be the maximal abelian extension of K in K ac . We write K ab for the completion of K ab . Let ∧G 0 denote the one-dimensional formal O K -module over k ac of height one. Then we have M ∧G 0 ,∞ Spf O K ab by the Lubin-Tate theory. We have a determinant morphism  [10,2]). We regard M ∞ as an adic space over K ur . Let C be the completion of K ac . For a deformation G of G 0 over O C , we put In the following, we recall an explicit description of [5, 2.3]). Let G 0 be the formal O K -module over k ac obtained as the reduction of G 0 . We put O D = End G 0 and D = O D ⊗ O K K , which is the central division algebra over K of invariant 1/n. Let [ · ] denote the action of O D on G 0 . Let ϕ be the element of D such that [ϕ](X ) = X q . Let K n be the unramified extension of K of degree n. We consider the K -algebra embedding of K n into D determined by Then we have ϕ n = and ϕζ = ζ q ϕ for ζ ∈ μ q n −1 (K n ). Let ∧G 0 be the one- We choose a compatible system {t m } m≥1 such that Let v be the normalized valuation of K such that v( ) = 1. The valuation v naturally extends to a valuation on C, for which we again write v. Note that v(t) = 1/(q − 1). For an integer i ≥ 0, we put Let W K be the Weil group of K . Let Art K : K × ∼ − → W ab K be the Artin reciprocity map normalized such that a uniformizer is sent to a lift of the geometric Frobenius element. We use similar normalizations also for the Artin reciprocity maps for other non-archimedean local fields. Let σ ∈ W K . Let n σ be the image of σ under the composite • the symbol ∧G 0 denotes the sum under the additive operation of ∧G 0 , • we take the sum over n-tuples (m 1 , . . . , m n ) of integers such that m 1 +· · ·+m n = n(n − 1)/2 and m i ≡ m j mod n for i = j, • sgn(m 1 , . . . , m n ) is the sign of the permutation on Z/nZ defined by i → m i+1 .
We write δ(X 1 , . . . , X n ) for the q-th power For q-th power compatible systems X = (X q − j ) j≥0 and Y = (Y q − j ) j≥0 that take values in O C , we define q-th power compatible systems X + Y , X − Y and XY by the requirement that their j-th components for j ≥ 0 are where we take the sum in the above sense and the index set is the same as (1.3).

Group action on the formal model
We define a group action on the formal scheme M (0) ∞,O C , which is compatible with usual group actions on Lubin-Tate spaces with finite level (cf. [5, 2.11]). We put Let G 0 denote the kernel of the following homomorphism: Then, the formal scheme M (0) ∞,O C admits a right action of G 0 . We write down the action. In the sequel, we use the following notation: For a ∈ μ q n −1 (K n )∪{0}, let a q −m denote the q m -th root of a in μ q n −1 (K n )∪{0} for a positive integer m, and we simply write a also for the q-th power compatible system (a q −m ) m≥0 .
For q-th power compatible systems X = (X q − j ) j≥0 and Y = (Y q − j ) j≥0 that take values in O C , we define a q-th power compatible system X + G 0 Y by the requirement that their j-th components for j ≥ 0 are The symbol G 0 denotes this summation for q-th power compatible systems. First, we define a left action of GL n (K ) × D × on the ring for 1 ≤ i ≤ n. Let g ∈ GL n (K ). We write g = (a i, j ) 1≤i, j≤n . Then, let g act on the ring B n by (1.7) Now, we give a right action of G 0 on M where α ∈ O × K . This is well-defined, because the equation

Remark 1.4
For a ∈ K × , the action of (a, a, 1) ∈ G 0 on M ∞,O C is trivial by the definition.

CM points
We recall the notion of CM points from [5, 3.1]. Let L be a finite extension of K of degree n inside C.
We say that a point of M ∞ (C) has CM by L if the corresponding deformation over O C has CM by L.
Let ξ ∈ M ∞ (C) be a point that has CM by L. Let (G, φ, ι) be the triple corresponding to ξ . Then we have embeddings i M,ξ : L → M n (K ) and i D,ξ : L → D characterized by the commutative diagrams We put

Construction of affinoids
We take a uniformizer of K . Let r ∈ μ q−1 (K ). We put r = r . We take ϕ r ∈ C such that ϕ n r = r . We apply results in Sect. 1 replacing with r . We put for 1 ≤ i ≤ n and j ≥ 0. Further, we have the following: (1) ξ r has CM by L r .
Proof This is proved in the same way as [12, Lemma 2.2].
We take ξ r as in Lemma 2.1. We can replace the choice of (1.2) so that Note that v(η r ) = 1/n. We write n = p e n with gcd( p, n ) = 1. We assume that e ≥ 1 in the sequel, since the case where e = 0 is already studied in [12]. We put We take q-th power compatible systems θ r = (θ .
Hence, we see the claim by Newton's method.

Remark 2.3
The key ingredients for the construction of ξ 0 r are the elements θ r and λ r defined by (2.1). Up to some difference of normalizations, these elements are analogues of β ζ and γ ζ in [13, §2.2], which are generators of a field extension used in a construction of a Langlands parameter there.
We take ξ 0 r as in Proposition 2.2. We put (2. 2) The definition of X r is independent of the choice of θ r and λ r . We define B r ⊂ D n,perf C by the same condition (2.2).

Formal models of affinoids
We simply write f (X) for f (X 1 , . . . , X n ), and f (ξ r ) for f (ξ r ,1 , . . . , ξ r ,n ). We will use the similar notations also for other functions. We put Proof We put . We note that (X 1 , . . . , X n ) satisfies the assumption of Lemma 1.3 by the definition of B r and Lemma 2.1 (4). Then we see that using Lemma 1.3 and the definition of δ 0 . The claims follow from this, because We put We put m = gcd(e, f ) and We put f = m 0 and e = m 1 . We define m 2 , . . . , m N +1 by the Euclidean algorithm as follows: We have We put and define T 2 , . . . , T N by Then we see that inductively by (2.7). We see also that by (2.9) and (2.10). We define a subaffinoid B r ⊂ B r by v(z) ≥ 0. We choose a square root η ) j≥0 of η r compatibly. We set The parameters y, y 1 , . . . , y n−2 , z give the morphism : B r → B. We simply say an analytic function on B for a q-th power compatible system of analytic functions on B. We put

Lemma 2.5 The morphism is an isomorphism.
Proof We will construct the inverse morphism of . We can write Y n−1 and S as analytic functions on B by (2.8), (2.9), (2.10) and (2.12). Then we can write x i /x i+1 as an analytic function on B by (2.6). By (2.4) and (2.5), we have By this equation, we can write x n as an analytic functions on B. Hence, we have the inverse morphism of .
We put Let X r denote the special fiber of X r .

Theorem 2.6
The formal scheme X r is a formal model of X r , and X r is isomorphic to the perfection of the affine smooth variety defined by (2.14) We have We have X q n n X 1 by (2.15). We put Then we have v(R(X)) > 1/n by Lemma 2.4 and (2.14). The equation The equation (2.18) is equivalent to The equation (2.19) is equivalent to We put Then we have v(R 1 (X)) > 1/n. The equation (2.20) is equivalent to (2.21) The equation (2.21) is equivalent to As a result, δ(X) = δ(ξ L ) is equivalent to (2.22) on B r . By Lemma 2.4 and (2.22), we have v(z) ≥ 0 on X r . This implies X r ⊂ B r . We have the first claim by Lemma 2.5 and the construction of X r . The second claim follows from (2.11) and (2.22).

Remark 2.7
If n = p = 2, then the smooth compactification of the curve over k defined by (2.13) is the supersingular elliptic curve, which appears as an irreducible component of a semi-stable reduction of a one-dimensional Lubin-Tate space in [15] and [11]. (g, d, 1) ∈ G 0 . We take the integer l such that dϕ −l D,r ∈ O × D . Let (X 1 , . . . , X n ) be the coordinate of X r . Assume v((g, d) ·

Lemma 3.1 Let
. Proof This is proved in the same way as [12, Lemma 3.1].
We put g r = (ϕ M,r , ϕ D,r , 1) ∈ G. (3.1) We put For a ∈ k ac , we simply write a also for the q-th power compatible system (a q − j ) j≥0 .

Proposition 3.2 (1)
The action of g r stabilizes X r , and induces the automorphism of X r defined by We have also by (3.4). We have by (2.6), (3.6) and (3.7). We have also by (3.7). The claim follows from (3.5), (3.8) and (3.9).
Let P be the Jacobson radical of the order I, and p D be the maximal ideal of O D . We put

Proposition 3.3 The stabilizer of X r in GL n
Proof Assume that (g, d) ∈ GL n (K ) × D × stabilizes X r . Then we have det(g) = Nrd D/K (d). We will show that for some integer l by Lemma 3.1, since (g, d) stabilizes X r and we have v(X i ) = 1/(nq i−1 (q − 1)) for 1 ≤ i ≤ n at any point of X r by Lemma 2.1 (4) and (2.2). Further, we may assume that (g, d) ∈ I × × O × D , since we already know that (ϕ M,r , ϕ D,r ) stabilizes X r by Proposition 3.2 (1).

Action of the Weil group
We put ϕ r = ϕ p e r and E r = K (ϕ r ). Let σ ∈ W E r in this paragraph. We put We put Then g σ stabilizes each component in (1.5). We choose elements α r , β r , γ r ∈ K ac such that Then we have a r ,σ , b r ,σ , c r ,σ ∈ O C and g(a, b, c) a, b, c ∈ k ac , a p

17) by (2.1) and (3.16). Let
be the group whose multiplication is given by   g(a 1 , b 1 , c 1 ) · g(a 2 , b 2 , c 2 ) = g a 1 a 2 , a 1 b 2 + b 1 , c 1 Let Q Z be the semidirect product, where l ∈ Z acts on Q by g(a, b, c Let (g(a, b, c), l) ∈ Q Z act on X r by   (z, y, ( y (3.18) We have the surjective homomorphism σ ,b r ,σ ,c r ,σ ), n σ . (3.19) Proposition 3.4 Let σ ∈ W E r . Then, g σ ∈ G stabilizes X r , and induces the automorphism of X r given by r (σ ).
Let σ ∈ W F r . We put Let ζ 1/ p e σ be the p e -th root of ζ σ in μ p m −1 (K ). We put Let G r ,σ be the one-dimensional formal O L r -module over O L ur r defined similarly to G r changing ϕ r by ϕ r ,σ . We take a compatible system {t r , j,σ } j≥1 in C such that for j ≥ 2. We construct ξ r ,σ as in Lemma 2.1 using {t r , j,σ } j≥1 . Then ξ r ,σ has CM by L r .

Lemma 3.5 For σ ∈ W F r , we have
.
Proof This follows from [5, Lemma 3.1.3]. Note that our action of W K is inverse to that in [5].
We put

Lemma 3.7
The action of S r on M (0) ∞,η stabilizes X r , and induces the action on X r .
Then H r acts on X r by Lemma 3.7 and the proof of Proposition 3.3.

Tate conjecture
Let m be a positive integer such that F p m ⊂ F q . Let N be a positive even integer. We put n 0 = N /2. We consider the affine smooth variety X N ,F q over F q defined by Let X N be the base change of X N ,F q to F q . For an integer i ≥ 0, we simply write A i for the affine space A i For each ζ ∈ F × p m , we consider the homomorphism Then, we consider the quotient X N ,ζ = X N / ker p ζ . Note that the quotient X N ,ζ depends only on the class [ζ ] ∈ F × p m /F × p of ζ . The variety X N ,ζ has the defining equation where the relation between z and z ζ is given by z ζ = m−1 i=0 (ζ −1 z) p i . Let = p be a prime number. For a topological abelian group A, let A ∨ denote the set of the smooth characters A → Q × . Let L ψ be the Artin-Schreier Q -sheaf on A 1 associated to ψ ∈ F ∨ p m , which is F(ψ) in the notation of [6, Sommes trig. 1.

Lemma 4.2 We have an isomorphism
induced by the pullbacks and dim H N (X N ,ζ , Q ) = p − 1.
ψ as F p m -representations. By Poincaré duality, we have an isomorphism ψ as F p m -representations. Let ψ : F p → Q × be any non-trivial character. Then, for as F p m -representations. Therefore, the required assertion follows.

Consider the fibration
Let 0 denote the origin of A n 0 . The inverse image π −1 ζ (0) has p connected components. For a ∈ F p , we define Z a ζ to be the connected component of π −1 ζ (0) defined by z ζ = a. We know that each Z a ζ is isomorphic to the affine space of dimension n 0 . Let be the cycle class map. Proof For 1 ≤ i ≤ n 0 , let U i be the open subscheme of A n 0 defined by the condition that the i-th coordinate is not zero. Then {U i } 1≤i≤n 0 is a covering of A n 0 \ {0}. We can see that π ζ is a trivial affine bundle on each U i by (4.1). Hence the first claim follows. We set U = π −1 ζ (A n 0 \ {0}). We have the long exact sequence and H N (U , Q ) H N (A n 0 \ {0}, Q ) = 0, which follows from the first claim. Therefore, H N (X N ,ζ , Q (n 0 )) is generated by the cycle classes cl([Z a ζ ]) for a ∈ F p . On the other hand, we have a∈F p cl([Z a ζ ]) = 0, since a∈F p [Z a ζ ] = 0 in CH n 0 (X N ,ζ ). Since dim H N (X N ,ζ , Q (n 0 )) = p − 1 by Lemma 4.2, we obtain the claim.

Corollary 4.4
The Tate conjecture in [18, 7.13] holds for the variety X N ,F q .
Proof By Lemma 4.2, Lemma 4.3 and the commutativity of cycle maps and pullbacks under X N → X N ,ζ , we have [18, 7.13 Conjecture (A), (B)] for X N ,F q and the equality Then the q-th geometric Frobenius in Gal(F q /F q ) acts on H N (X N , Q ) by q n 0 . Hence [18, 7.13 Conjecture (C)] for X N ,F q also follows.

Action on cohomology
In this section, we assume that p = 2. Let n ≥ 4 be an even integer. Let m = gcd(e, f ) as in Sect. 2.2. We consider the affine smooth variety X of dimension n − 2 defined by We take ζ 3 ∈ F q \ {1} such that ζ 3 3 = 1. Then, we define u 1 , . . . , u n−2 by Then the variety X is isomorphic to the affine variety X n−2 defined by where n 0 = (n −2)/2. For ζ ∈ F × 2 m , we simply write X ζ for the variety X n−2,ζ , which is defined in Sect. 4.1 where N = n − 2. Recall that X ζ has the defining equation For a ∈ F 2 , we consider the other n 0 -dimensional cycle Z a ζ in X ζ defined by where ε 1 is defined at (3.2).

Proposition 4.5
For ζ ∈ F × 2 m and a ∈ F 2 , we have is rationally equivalent to zero. For 1 ≤ i ≤ [(n 0 + 1)/2], let X ζ,i be the (n 0 + 1)-dimensional closed subvariety of X ζ defined by and let Z a ζ,i be the n 0 -dimensional cycle on X ζ,i defined by u 4i−3 = 0 and z ζ = a. We put Z a ζ,0 = Z a ζ . Then we have , let X ζ,i be the (n 0 + 1)-dimensional closed subvariety of X ζ defined by and let Z a ζ,i be the n 0 -dimensional cycle on X ζ,i defined by u 4i−1 = u 4i+2 and z ζ = a. We put Z a ζ,0 = Z a ζ,[(n 0 +1)/2] . Then we have on X ζ,i . If e ≥ 2, then Z a ζ,[(n 0 −1)/2] = Z a ζ , and the claim follows. Assume that e = 1. Then m = 1. Let X ζ be the (n 0 + 1)-dimensional closed subvariety of X ζ defined by in CH n 0 (X ζ ), since we have on X ζ . Therefore, we obtain the claim.

Corollary 4.6
Assume that n ≥ 4. Let g be the automorphism of X defined by Then, g * acts on H n−2 (X , Q ) by −1.
Using the above, we can check that Therefore, we obtain in H n−2 (X ζ , Q (n 0 )) using Lemma 4.3 and Proposition 4.5. Hence, the claim follows from Lemma 4.2 and Lemma 4.3.

Galois representations
Let X be the affine smooth variety over k ac defined by (2.13). We define an action of Q Z on X similarly to (3.18). We choose an isomorphism ι : Q C. Let q 1/2 ∈ Q be the 2-nd root of q such that ι(q 1/2 ) > 0. For a rational number r ∈ 2 −1 Z, let Q (r ) be the unramified representation of Gal(k ac /k) of degree 1, on which the geometric Frobenius Frob q acts as scalar multiplication by q −r . We simply write Q for the subgroup Q ×{0} ⊂ Q Z. We consider the morphisms Then we have a cartesian diagram Using the proper base change theorem for the above cartesian diagram, we have a decomposition We put The isomorphism class of this representation does not depend on the choice of the embedding L ζ → D.
Definition 5. 4 We say that a smooth irreducible representation of GL n (K ) is essentially simple supercuspidal if it is a character twist of a simple supercuspidal representation.
as H -representations. By (6.8), we have Hom H (H X r , π ζ,χ,c,ω ) = s and zero otherwise. Hence the first claim follows from Lemma 6.2.
by the exact sequence Hence, the both sides of (6.13) are n(q n − 1)/(q − 1)-dimensional by Proposition 6.3 (1). Since ρ r ,χ ,c,ω ⊗τ r ,χ ,c,ω is an irreducible representation of G 2 , we know that (6.13) is an isomorphism as G 2 -representations. On the other hand, we have a non-zero map

H r
Hom H (H X r , π r ,χ ,c,ω ) → Hom G 1 ( s , π r ,χ ,c,ω ) (6.14) induced by a surjective homomorphism s | H r → H X r of H r -representations and Frobenius reciprocity. Then (6.14) is an isomorphism, since the left hand side is an irreducible representation of G 2 and the both sides have the same dimension by (6.11). Hence, the required assertion follows from the isomorphisms (6.13) and (6.14). Let π be a smooth irreducible representation of GL n (K ). Then, we have Hom GL n (K ) ( , π ) LJ(π ) ⊗ LL(π ) if π is essentially simple supercuspidal, 0 otherwise as D × × W K -representations.