{"entities":{"Q6828023":{"pageid":15108082,"ns":120,"title":"Item:Q6828023","lastrevid":56879049,"modified":"2026-03-24T10:06:05Z","type":"item","id":"Q6828023","labels":{"en":{"language":"en","value":"On Drinfeld modular forms of higher rank. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6857229"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828023$95FF9E1C-1A0B-427F-8DE9-58550E6BD68B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3262ee6baaaec1fa8091d7f24169610b1fefb7d7","datavalue":{"value":{"text":"On Drinfeld modular forms of higher rank. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828023$BEEB2A89-D8AF-4A3E-9E0F-F5A688B5CEA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"541109e2be024299cac973fc56626eaf205c80b2","datavalue":{"value":"1411.11041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828023$6C0AFA4C-E7F6-4733-ADE1-1096A658EED1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83b8d3155bf83f5de662b446f2c751d93446594b","datavalue":{"value":"10.5802/JTNB.1005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828023$8D573B77-6D0F-48F6-AC7F-FF5F3AFD9A98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af2797304b1eff4104c02c1d6b9c8ee935c4fe92","datavalue":{"value":{"entity-type":"item","numeric-id":208668,"id":"Q208668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828023$2759E73C-F8EA-4632-A7B2-41438861CD35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828023$F40BE386-FACC-455E-B227-7E70A2175AFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee62bc46b4dd3703fb531c7141fdf043716c9e15","datavalue":{"value":{"time":"+2018-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828023$32E1A481-F50A-431C-AD38-17AFED112CD0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4b9a931e560170162de307251d588327593412c","datavalue":{"value":"The aim of this paper under review is to generalize the author's early work on rank 2 Drinfeld modular forms to the case of of higher rank. The theory of Drinfeld modular forms of rank 2 was introduced by \\textit{D. Goss} in his Harvard PhD Thesis (and subsequent papers [Bull. Am. Math. Soc., New Ser. 2, 391--415 (1980; Zbl 0433.14017); J. Reine Angew. Math. 317, 16--39 (1980; Zbl 0422.10021); Compos. Math. 41, 3--38 (1980; Zbl 0422.10020)]) and further studied by the author of this paper during the 80's. Drinfeld modular forms of higher ranks began to draw experts' attention only recently. In this paper, the author gives a detailed study of the fundamental Drinfeld modular forms of higher rank which are important references for future study. To state the results of this paper, we begin by setting up necessary notations as follows.\\N\\NLet \\(A = {\\mathbb F}_q[T]\\) be the polynomial ring over the finite field \\({\\mathbb F}_q\\) of \\(q\\) elements with field of fractions \\(K = {\\mathbb F}_q(T).\\) The completion of \\(K\\) at infinity is the formal Laurent series field \\(K_{\\infty} = {\\mathbb F}_q((1/T))\\) and the completed algebraic closure is denoted by \\({\\mathbb C}_{\\infty}.\\) The Drinfeld symmetric space \\(\\Omega^r \\subset {\\mathbb P}^{r-1}({\\mathbb C}_\\infty)\\) with \\(r\\geq 2\\) has a natural structure as rigid analytic space and \\(\\Gamma := \\mathrm{GL}(r, A),\\) acts on it, and the quotient \\(\\Gamma\\backslash \\Omega^r\\) parameterizes classes of \\(A\\)-lattices \\(\\Lambda\\) of rank \\(r\\) in \\({\\mathbb C}_\\infty.\\) As in the case of rank two, there is a one to one correspondence, \\(\\Lambda \\rightsquigarrow \\phi^{\\Lambda}\\), between classes up to scaling of \\({\\mathbf A}\\)-lattices of rank \\(r\\) and isomorphism classes of Drinfeld \\({\\mathbf A}\\)-modules of rank \\(r\\). An \\({\\mathbf A}\\)-basis \\(\\{\\omega_{1}, \\ldots, \\omega_{r}\\}\\) of \\(\\Lambda\\) determines a point \\({\\boldsymbol \\omega} = (\\omega_{1}: \\cdots: \\omega_{r})\\in \\Omega^{r}.\\) Assuming \\(\\omega_{r} = 1\\) in the homogeneous coordinate for \\({\\boldsymbol \\omega}\\), a rank \\(r\\) Drinfeld module \\(\\phi^{{\\boldsymbol \\omega}}\\) corresponding to \\({\\boldsymbol \\omega}\\) is determined by a polynomial operator \\N\\[\\R\\N\\phi_{T}^{{\\boldsymbol \\omega}}(X) = T X + g_{1} X^{q} + \\cdots + g_{r-1} X^{q^{r-1}} + g_{r} X^{q^{r}},\\R\\N\\]\\N where the coefficients \\(g_{i} = g_{i}({\\boldsymbol \\omega})\\) are Drinfeld modular forms of weight \\(q^{i}-1\\) and type \\(0\\). In particular, they are holomorphic on \\(\\Omega^{r}\\) in the rigid analytic sense. Furthermore, the discriminant \\(\\Delta := g_{r}\\) is nowhere zero on \\(\\Omega^{r}. \\)\\N\\NThe main results of this paper is to describe the behavior of \\(|g_{i}({\\boldsymbol \\omega})|\\) on \\(\\Omega^{r}.\\) It suffices to study \\(|g_{i}({\\boldsymbol \\omega})|\\) on an open admissible subspace \\({\\mathcal F}\\subset \\Omega^{r}\\) which plays the role of a fundamental domain for \\(\\Gamma\\) on \\( \\Omega^{r}.\\) The key objects over  \\(g_{i}\\) and \\(\\Delta\\) are the division functions \\(\\mu_{i}\\, (1\\leq i \\leq r)\\) which are defined as an \\({\\mathbb F}_{q}\\)-basis of the \\(T\\)-torsion of the generic Drinfeld module \\(\\phi^{{\\boldsymbol \\omega}} ({\\boldsymbol \\omega}\\in \\Omega^{r}).\\) They are modular forms of negative weight \\(-1\\) for the congruence subgroup \\(\\Gamma(T)\\) of \\(\\Gamma.\\)\\N\\NThe absolute value \\(\\log_q |\\mu_i ({\\boldsymbol \\omega})|\\) and similarly \\(\\log_{q} |g_{i}({\\boldsymbol \\omega})| ,\\) for \\({\\boldsymbol \\omega}\\in {\\mathcal F} ,\\) can be regarded as functions on a standard Weyl chamber \\(W\\) in the realization \\(\\mathcal{BT}({\\mathbb R})\\) of the Bruhat-Tits building \\(\\mathcal{ BT}\\) of \\(\\mathrm{PGL}(r, K_{\\infty}).\\) The increments of \\(\\log_q |\\mu_i ({\\boldsymbol \\omega})|\\) are given in terms of certain combinatorial numbers \\(v_{{\\mathbf k}, i}^{\\ell}\\) when \\({\\mathbf k}\\in W({\\mathbb Z})\\) is replaced by a neighbor vertex \\({\\mathbf k}' = {\\mathbf k} + {\\mathbf k}_{\\ell}\\) (Proposition~4.10). As a result, the increments of \\(\\log_{q}|\\Delta({\\boldsymbol \\omega})|\\) and of \\(\\log_{q} |g_i({\\boldsymbol \\omega})|\\) in terms of these numbers \\(v_{{\\mathbf k}, i}^{\\ell}\\) can be deduced (Theorem~4.13 and its Corollary~4.16) . From these formulas, one can also conclude that the function \\(\\Delta\\) is strictly monotonically decreasing on \\(W({\\mathbb Q})\\) (Corollary~4.15). An explicit formula for evaluating the increments of \\(\\log_{q}\\,|\\Delta({\\boldsymbol \\omega})|\\) is also obtained (Theorem~5.5).\\N\\NThe zero loci \\(V(g_i)\\cap {\\mathcal F}\\) are also studied. The author shows that \\(V(g_i)\\cap {\\mathcal F}\\) is contained in \\({\\mathcal F}_{r-i}\\subset {\\mathcal F},\\) called the \\((r-i)\\)-th wall of \\({\\mathcal F}\\) (Proposition~4.4). Furthermore, the author considers the set \\({\\mathcal F}_o = \\{{\\boldsymbol \\omega} = ( \\omega_1, \\ldots, \\omega_{r-1}, 1)\\in \\Omega^r \\mid |\\omega_1| = \\cdots = |\\omega_{r-1}| = 1\\} \\subset {\\mathcal F} \\) and studies the behavior of \\(g_1, \\ldots, g_{r-1}, g_r = \\Delta\\) on \\({\\mathcal F}_o .\\) In particular, the reduction of the vanishing locus of \\(g_i\\) on \\({\\mathcal F}_o\\) under the canonical reduction map \\(\\mathrm{red}: {\\mathcal F}_o \\to \\Omega^r(\\overline{{\\mathbb F}_q})\\) is shown to be equal to the vanishing locus of the coefficient \\(\\bar{\\alpha}_i\\) of the reduction of the Drinfeld exponential function \\(e_{\\Lambda_{{\\boldsymbol \\omega}}}\\) associated to the lattice \\(L_{{\\boldsymbol \\omega}}\\) (Theorem~6.2).\\N\\NIn the last section of this paper, the author provides more details in the case \\(r = 3.\\) Besides tables with values of some of the functions treated in previous sections, the author also provides a brief study of \\(g_{1}\\) at the second wall \\({\\mathcal F}_{2}\\) and of \\(g_{2}\\) at the first wall \\({\\mathcal F}_{1}\\) of \\({\\mathcal F}.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828023$25B3EE90-15E9-4AD1-BA7C-5B4D3404AD3B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"34f5787c11b1c88694418941a256b6cae0f578f8","datavalue":{"value":{"entity-type":"item","numeric-id":301421,"id":"Q301421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828023$3C3AEA57-230D-4383-A1CB-6AABB9C613C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"92d33df551ba80192c660f762dbd12e0b090c61b","datavalue":{"value":"11F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828023$32D725EA-5324-4EAD-853C-90B99D80974B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"828a89d89b687a71d09a8ad5d13795695a26caa3","datavalue":{"value":"11G09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828023$6B97723D-9742-44EA-98AC-E9E4CB01AD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90b5154486cd8d971818e1c79172397b36762ac2","datavalue":{"value":"14G22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828023$7C663035-5A62-4C76-AA21-E445B34B346B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e3f4751d1f9299479ea4a717401d5c4b23c55b","datavalue":{"value":"6857229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828023$73F62E42-73E9-4E50-87B6-38D16888CDD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dad5c96e5ef0fa5a11557ccd3c24baa2cf1fce0","datavalue":{"value":"Drinfeld modular forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828023$CC305B9B-7C86-4918-9EF8-33CB3F8902C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8831a3de492873b48a296d7f8ed992c7ea6eefd1","datavalue":{"value":"Drinfeld discriminant function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828023$C7E98052-580D-44A5-82F6-5FF52549D504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee72280ba92d51dfbb4c178da277807af42534fa","datavalue":{"value":"Bruhat-Tits building","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828023$B451110C-F923-497B-8B32-E72CA8D3EA05","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828023$09034CB4-3326-4954-984C-C4B34774232C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828023$C90B1826-D6C3-4E02-84D4-34006F80C016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Drinfeld modular forms of higher rank. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Drinfeld_modular_forms_of_higher_rank._I"}}}}}