


Том 219, № 3 (2016)
- Год: 2016
- Статей: 14
- URL: https://bakhtiniada.ru/1072-3374/issue/view/14788
Article
Classification of Formal A-Modules in the Case of Small Ramification
Аннотация
In this paper, an explicit classification of formal A-modules over the ring of integers of a local field up to a strict isomorphism is obtained in the case of small ramification. Canonical representatives in each class of isomorphic formal A-modules are described. These results generalize the classification of ℤp-modules in small ramification.






On the Jordan Block Structure of a Product of Long and Short Root Elements in Irreducible Representations of Algebraic Groups of Type Br
Аннотация
The behavior of a product of commuting long and short root elements of the group of type Br in p-restricted irreducible representations is investigated. For such representations with certain local properties of highest weights, it is shown that the images of these elements have Jordan blocks of all a priori possible sizes. For a p-restricted representation with highest weight a1ω1 +· · ·+arωr, this fact is proved when aj ≠ p − 1 for some j < r − 1 and one of the following conditions holds: (1) \( {a}_r\ne p-1\kern0.75em and\kern0.5em {\displaystyle \sum_{i=1}^{r-2}{a}_i\ge p-1;} \)and (2) \( 2{a}_{r-1}+{a}_r or (r−3) (p-1) for ar= p−1.



Decomposition of Unipotents for E6 and E7: 25 Years After
Аннотация
In this paper I sketch two new variations of the method of decomposition of unipotents in the microweight representations (E6,ϖ1) and (E7,ϖ7). To put them in the context, I first very briefly recall the two previous stages of the method, an A5-proof for E6 and an A7-proof for E7, first developed some 25 years ago by Alexei Stepanov, Eugene Plotkin, and myself (a definitive exposition was given in my paper “A third look at weight diagrams”) and an A2-proof for E6 and E7 developed by Mikhail Gavrilovich and myself in early 2000. The first new twist outlined in this paper is an observation that the A2-proof actually effectuates reduction to small parabolics, of corank 3 in E6 and corank 5 in E7. This allows one to revamp proofs and to sharpen existing bounds in many applications. The second new variation is a D5-proof for E6, based on stabilization of columns with one zero. [I devised also a similar D6-proof for E7, based on stabilization of columns with two adjacent zeros, but it is too abstruse to be included in a casual exposition.] Also, I list several further variations. Actual detailed calculations will appear in my paper “A closer look at weight diagrams of types (E6,ϖ1) and (E7,ϖ7).”



An Explicit Form of the Hilbert Symbol for Polynomial Formal Groups Over a Multidimensional Local Field. I
Аннотация
Let K be a multidimensional local field with characteristic different from the characteristic of its residue field, c be a unit of K, and Fc(X, Y) = X +Y +cXY be a polynomial formal group, which defines the formal module Fc(\( \mathfrak{M} \)) over the maximal ideal of the ring of integers in K. Assume that K contains the group of roots of the isogeny [pm]c(X), which we denote by μFc,m. Let be the multiplicative group of Cartier curves and c be the formal analog of the module Fc(\( \mathfrak{M} \)). In the present paper, the formal symbol { ·, · }c : Kn()×c → μFc,m is constructed and its basic properties are checked. This is the first step in the construction of an explicit formula for the Hilbert symbol.



The Lubin–Tate Formal Module in a Cyclic Unramified P-Extension as a Galois Module
Аннотация
In the paper, the structure of the \( \mathcal{O} \)K[G]-module F(\( \mathfrak{m} \)M) is described, where M/L, L/K, and K/ℚp are finite Galois extensions (p is a fixed prime number), G = Gal(M/L), \( \mathfrak{m} \)M is a maximal ideal of the ring of integers \( \mathcal{O} \)M, and F is a Lubin–Tate formal group law over the ring \( \mathcal{O} \)K for a fixed uniformizer π.



A Note on the Localization of Pretriangulated Categories
Аннотация
For a localizing class \( \mathcal{S} \) of morphisms in a pretriangulated category \( \mathcal{D} \), a weak version of a sufficient condition that guarantees the transfer of the structure of a pretriangulated category onto the localization \( \mathcal{D}\left[{\mathcal{S}}^{-1}\right] \) is proposed. Moreover, the weakness of a similar sufficient condition is obtained in the context of triangulated categories.



Hochschild Cohomology for Algebras of Dihedral Type. V. The Family D(3K) in Characteristic Different from 2
Аннотация
The Hochschild cohomology groups are computed for algebras of dihedral type, which form the family D(3K) (from the famous K. Erdmann’s classification) over an algebraically closed field of characteristic different from 2. In the calculation, the beforehand constructed bimodule resolution for algebras from the family under discussion is used. Bibliography: 28 titles.



Intersection and Incidence Distances Between Parabolic Subgroups of a Reductive Group
Аннотация
Let Γ be a reductive algebraic group, and let P,Q ⊂ Γ be a pair of parabolic subgroups. Some properties of the intersection and incidence distances \( \begin{array}{c}\hfill {\mathrm{d}}_{\mathrm{in}}\left(P,Q\right)= \max \left\{ \dim P, \dim Q\right\}- \dim \left(P\cap Q\right),\hfill \\ {}\hfill {\mathrm{d}}_{\mathrm{in}\mathrm{c}}\left(P,Q\right)=\mathrm{mix}\left\{ \dim P, \dim Q\right\}- \dim \left(P\cap Q\right)\hfill \end{array} \) are considered (if P,Q are Borel subgroups, both numbers coincide with the Tits distance dist(P,Q) in the building Δ(Γ) of all parabolic subgroups of Γ). In particular, if Γ = GL(V ) and P = Pv,Q = Pu are stabilizers in GL(V ) of linear subspaces v, u ⊂ V , we obtain the formula din(P, Q) = − d2 + a1d + a2, where d = din(v, u) = max{dim v, dim u} − dim(v ∩ u) is the intersection distance between the subspaces v and u and where a1 and a2 are integers expressed in terms of dim V , dim v, and dim u. Bibliography: 7 titles.



Integral Models of Algebraic Tori Over Fields of Algebraic Numbers
Аннотация
Algebraic tori occupy a special place among linear algebraic groups. An algebraic torus can be defined over an arbitrary field but if the ground field is of arithmetic type, one can additionally consider schemes over the ring of integers of this field, which are related to the original tori and called their integral models. The Néron and Voskresenskiĭ models are most well known among them. There exists a broad range of problems dealing with the construction of these models and the elucidation of their properties. This paper is devoted to the study of the main integral models of algebraic tori over fields of algebraic numbers, to the comparison of their properties, and to the clarification of links between them. At the end of this paper, a special family of maximal algebraic tori unaffected inside semisimple groups of Bn type is presented as an example for realization of previously investigated constructions.



The BV-Algebra Structure on the Hochschild Cohomology of Local Algebras of Quaternion Type in Characteristic 2
Аннотация
This paper is a sequel of the joint paper by the author with S. O. Ivanov, Yu. Volkov, and G. Zhou. In the present paper, the BV -structure, and therefore, the Gerstenhaber algebra structure on the Hochschild cohomology of local algebras of generalized quaternion type is completely described over a field of characteristic 2. The family of algebras under investigation contains group algebras of generalized quaternion groups for which the case of characteristic 2 is the only one where the calculation of Hochschild cohomology and structures on it is a highly nontrivial problem. Also the group algebras of generalized quaternion groups represent classes of Morita-equivalence of tame group blocks from K. Erdmann’s classification. In particular, the BV -structure on the Hochschild cohomology of group algebras of some noncommutative groups is described.



The Hensel–Shafarevich Canonical Basis in Lubin–Tate Formal Modules
Аннотация
In the present paper, a generalization of the Hensel–Shafarevich basis for Lubin–Tate formal modules over a local field is presented. These formal modules are constructed on the maximal ideal of some extension of this field. The cases where the extension has a perfect residue field or an imperfect residue field are studied. Bibliography: 10 titles.



Regular Unipotent Elements from Subsystem Subgroups of Type A2 in Representations of the Special Linear Groups
Аннотация
For p > 2, odd Jordan block sizes of the images of regular unipotent elements from subsystem subgroups of type A2 in irreducible p-restricted representations for groups of type Ar over the field of characteristic p, the weights of which are locally small with respect to p, are found. The weight is called locally small if the double sum of its two neighboring coefficients is less than p. This result is part of a more general program investigating the behavior of unipotent elements in representations of the classical algebraic groups. It can be used to solve recognition problems for representations or linear groups by the presence of certain elements.



On Fields of Definition of an Algebraic Curve
Аннотация
The paper deals with geometric invariants of an algebraic curve such as the minimal number of crucial values of rational functions and the minimal transcendence degree of definition fields. The main question is if the difference of these two invariants is always equal to 3 for any curve with genus g > 0. For curves defined over an algebraic number field, a positive answer is given by Belyi’s theorem. In the paper, the main question is answered in the affirmative for some other cases.


