Graded identities for algebras with elementary gradings over an infinite field

Let $F$ be an infinite field of positive characteristic $p > 2$ and let $G$ be a group. In this paper, we study the graded identities satisfied by an associative algebra equipped with an elementary $G$ -grading. Let $E$ be the infinite-dimensional Grassmann algebra. For every $a$ , $b\in \mathbb {N}$ , we provide a basis for the graded polynomial identities, up to graded monomial identities, for the verbally prime algebras $M_{a,b}(E)$ , as well as their tensor products, with their elementary gradings. Moreover, we give an alternative proof of the fact that the tensor product $M_{a,b}(E)\otimes M_{r,s}(E)$ and $M_{ar+bs,as+br}(E)$ are $F$ -algebras which are not PI equivalent. Actually, we prove that the $T_{G}$ -ideal of the former algebra is contained in the $T$ -ideal of the latter. Furthermore, the inclusion is proper. Recall that it is well known that these algebras satisfy the same multilinear identities and hence in characteristic 0 they are PI equivalent.

Rank varieties and 𝜋-points for elementary supergroup schemes

We develop a support theory for elementary supergroup schemes, over a field of positive characteristic p ⩾ 3 p\geqslant 3 , starting with a definition of a π \pi -point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and π \pi -points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra k [ t , τ ] / ( t p − τ 2 ) k[t,\tau ]/(t^p-\tau ^2) , where t t has even degree and τ \tau has odd degree. The strength of the theory is demonstrated by classifying the parity change invariant localising subcategories of the stable module category of an elementary supergroup scheme.

GEOMETRIC LOCAL -FACTORS IN HIGHER DIMENSIONS

We prove a product formula for the determinant of the cohomology of an étale sheaf with $\ell $ -adic coefficients over an arbitrary proper scheme over a perfect field of positive characteristic p distinct from $\ell $ . The local contributions are constructed by iterating vanishing cycle functors as well as certain exact additive functors that can be considered as linearised versions of Artin conductors and local $\varepsilon $ -factors. We provide several applications of our higher dimensional product formula, such as twist formulas for global $\varepsilon $ -factors.

The Hilbert series of the irreducible quotient of the polynomial representation of the rational Cherednik algebra of type An−1 in characteristic p for p|n − 1

In this paper, we study the irreducible quotient [Formula: see text] of the polynomial representation of the rational Cherednik algebra [Formula: see text] of type [Formula: see text] over an algebraically closed field of positive characteristic [Formula: see text] where [Formula: see text]. In the [Formula: see text] case, for all [Formula: see text] we give a complete description of the polynomials in the maximal proper graded submodule [Formula: see text], the kernel of the contravariant form [Formula: see text], and subsequently find the Hilbert series of the irreducible quotient [Formula: see text]. In the [Formula: see text] case, we give a complete description of the polynomials in [Formula: see text] when the characteristic [Formula: see text] and [Formula: see text] is transcendental over [Formula: see text], and compute the Hilbert series of the irreducible quotient [Formula: see text]. In doing so, we prove a conjecture due to Etingof and Rains completely for [Formula: see text], and also for any [Formula: see text] and [Formula: see text]. Furthermore, for [Formula: see text], we prove a simple criterion to determine whether a given polynomial [Formula: see text] lies in [Formula: see text] for all [Formula: see text] with [Formula: see text] and [Formula: see text] fixed.

Degrees of faithful irreducible representations of metabelian groups

In 1993, Sim proved that all the faithful irreducible representations of a finite metacyclic group over any field of positive characteristic have the same degree. In this paper, we restrict our attention to non-modular representations and generalize this result for — (1) finite metabelian groups, over fields of positive characteristic coprime to the order of groups, and (2) finite groups having a cyclic quotient by an abelian normal subgroup, over number fields.

Generic expansions by a reduct

Consider the expansion [Formula: see text] of a theory [Formula: see text] by a predicate for a submodel of a reduct [Formula: see text] of [Formula: see text]. We present a setup in which this expansion admits a model companion [Formula: see text]. We show that some of the nice features of the theory [Formula: see text] transfer to [Formula: see text]. In particular, we study conditions for which this expansion preserves the [Formula: see text]-ness, the simplicity or the stability of the starting theory [Formula: see text]. We give concrete examples of new [Formula: see text] not simple theories obtained by this process, among them the expansion of a perfect [Formula: see text]-free PAC field of positive characteristic by generic additive subgroups, and the expansion of an algebraically closed field of any characteristic by a generic multiplicative subgroup.

Valued fields with finitely many defect extensions of prime degree

We prove that a valued field of positive characteristic [Formula: see text] that has only finitely many distinct Artin–Schreier extensions (which is a property of infinite NTP2 fields) is dense in its perfect hull. As a consequence, it is a deeply ramified field and has [Formula: see text]-divisible value group and perfect residue field. Further, we prove a partial analogue for valued fields of mixed characteristic and observe an open problem about 1-units in this setting. Finally, we fill a gap that occurred in a proof in an earlier paper in which we first introduced a classification of Artin–Schreier defect extensions.

On n-dependent groups and fields II

We continue the study of n-dependent groups, fields and related structures, largely motivated by the conjecture that every n-dependent field is dependent. We provide evidence toward this conjecture by showing that every infinite n-dependent valued field of positive characteristic is henselian, obtaining a variant of Shelah’s Henselianity Conjecture in this case and generalizing a recent result of Johnson for dependent fields. Additionally, we prove a result on intersections of type-definable connected components over generic sets of parameters in n-dependent groups, generalizing Shelah’s absoluteness of $G^{00}$ in dependent theories and relative absoluteness of $G^{00}$ in $2$ -dependent theories. In an effort to clarify the scope of this conjecture, we provide new examples of strictly $2$ -dependent fields with additional structure, showing that Granger’s examples of non-degenerate bilinear forms over dependent fields are $2$ -dependent. Along the way, we obtain some purely model-theoretic results of independent interest: we show that n-dependence is witnessed by formulas with all but one variable singletons; provide a type-counting criterion for $2$ -dependence and use it to deduce $2$ -dependence for compositions of dependent relations with arbitrary binary functions (the Composition Lemma); and show that an expansion of a geometric theory T by a generic predicate is dependent if and only if it is n-dependent for some n, if and only if the algebraic closure in T is disintegrated. An appendix by Martin Bays provides an explicit isomorphism in the Kaplan-Scanlon-Wagner theorem.

Indecomposable orthogonal invariants of several matrices over a field of positive characteristic

We consider the algebra of invariants of [Formula: see text]-tuples of [Formula: see text] matrices under the action of the orthogonal group by simultaneous conjugation over an infinite field of characteristic [Formula: see text] different from two. It is well known that this algebra is generated by the coefficients of the characteristic polynomial of all products of generic and transpose generic [Formula: see text] matrices. We establish that in case [Formula: see text] the maximal degree of indecomposable invariants tends to infinity as [Formula: see text] tends to infinity. In other words, there does not exist a constant [Formula: see text] such that it only depends on [Formula: see text] and the considered algebra of invariants is generated by elements of degree less than [Formula: see text] for any [Formula: see text]. This result is well-known in case of the action of the general linear group. On the other hand, for the rest of [Formula: see text] the given phenomenon does not hold. We investigate the same problem for the cases of symmetric and skew-symmetric matrices.

A Short Note on Wavelet Frames Based on FMRA on Local Fields

The concept of frame multiresolution analysis (FMRA) on local fields of positive characteristic was given by Shah in his paper, Frame Multiresolution Analysis on Local Fields published by Journal of Operators. The author has studied the concept of minimum-energy wavelet frames on these prime characteristic fields. We continued the studies based on frame multiresolution analysis and minimum-energy wavelet frames on local fields of positive characteristic. In this paper, we introduce the notion of the construction of minimum-energy wavelet frames based on FMRA on local fields of positive characteristic. We provide a constructive algorithm for the existence of the minimum-energy wavelet frame on the local field of positive characteristic. An explicit construction of the frames and bases is given. In the end, we exhibit an example to illustrate our algorithm.