Related papers: Asymptotic Brauer $p$-Dimension

We introduce Brauer algebras associated to complex reflection groups of type $G(m,p,n)$, and study their representation theory via Clifford theory. In particular, we determine the decomposition numbers of these algebras in characteristic…

Let F : V --> V be a self-morphism of a quasiprojective variety defined over a number field K and let P be a point in V(K) with infinite orbit under iteration of F. For each prime ideal p of good reduction, let m_p(F,P) be the size of the…

We study the subfields of quaternion algebras that are quadratic extensions of their center in characteristic 2. We provide examples of the following: two non-isomorphic quaternion algebras that share all their quadratic subfields, two…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

For an algebraic Hecke character defined on a CM field $F$ of degree $2d$, Katz constructed a $p$-adic $L$-function of $d+1+\delta_{F,p}$ variables in his innovative paper published in 1978, where $\delta_{F,p}$ denotes the Leopoldt defect…

Let $p \geq 5$ be a prime, $N$ be an integer not divisible by $p$, $\bar\rho_0$ be a reducible, odd and semi-simple representation of $G_{\mathbb{Q},Np}$ of dimension $2$ and $\{\ell_1,\cdots,\ell_r\}$ be a set of primes not dividing $Np$.…

In this article, we present a formalization of spherically complete spaces, which is a fundamental notion in non-archimedean functional analysis. This work includes the equivalent definitions of spherically complete spaces, their basic…

Let $S$ be a closed Riemann surface of genus $g \geq 2$ and $\varphi$ be a conformal automorphism of $S$ of prime order $p$ such that $S/\langle \varphi \rangle$ has genus zero. Let ${\mathbb K} \leq {\mathbb C}$ be a field of definition of…

We study automorphism and birational automorphism groups of varieties over fields of positive characteristic from the point of view of Jordan and $p$-Jordan property. In particular, we show that the Cremona group of rank $2$ over a field of…

This paper studies the abelian subalgebras and ideals of maximal dimension of Poisson algebras $\mathcal{P}$ of dimension $n$. We introduce the invariants $\alpha$ and $\beta$ for Poisson algebras, which correspond to the dimension of an…

Let $p$ be an odd prime and $\mathbb{F}_p$ be the finite field with $p$ elements. This paper focuses on the study of values of a generic family of hypergeometric functions in the $p$-adic setting which we denote by ${_{3n-1}G_{3n-1}}(p,…

Let K/Q be Galois, and let eta in K* whose conjugates are multiplicatively independent. For a prime p, unramified, prime to eta, let np be the residue degree of p and gp the number of P I p, then let o\_P(eta) and o\_p(eta) be the orders of…

Let $k$ be a Brauer field, that is, a field over which every diagonal form in sufficiently many variables has a nonzero solution; for instance, $k$ could be an imaginary quadratic number field. Brauer proved that if $f_1, \ldots, f_r$ are…

We introduce a rigorous arithmetic--spectral construction associating planar geometric objects with additive prime factor statistics. Let $\mathrm{sopfr}(n)$ denote the sum of prime factors of $n$, counted with multiplicity, and define the…

Let $F$ be a field, $p$ a prime number, $X$ an indeterminate over $F$, $D_n =F[X^{\frac{1}{p^n}}, X^{-\frac{1}{p^n}}]$ for each integer $n \geq 0$ and $D = \bigcup\limits_{n\in\mathbb{N}_0}D_n.$ Then $D$ is a one-dimensional B{\'e}zout…

Let k be a field, G a smooth connected linear algebraic group and X a homogeneous space of G over k, such that the geometric stabilizers are extensions of a smooth group of multiplicative type by a smooth connected characterfree group. If k…

Let $\mathfrak{p}_{\mathbb{P}_r}(n)$ denote the number of partitions of $n$ into $r$-full primes. We use the Hardy-Littlewood circle method to find the asymptotic of $\mathfrak{p}_{\mathbb{P}_r}(n)$ as $n \to \infty$. This extends previous…

Let $\mathds{k}$ be an algebraically closed field of characteristic $p$. We give the complete classification of pointed Hopf algebras over $\mathds{k}$ of dimension $p^2q$ for a prime number $q$. The result shows that there are finitely…

The parabolic algebra A_p is the weakly closed algebra on L^2(R) generated by the unitary semigroup of right translations and the unitary semigroup of multiplication by the analytic exponential functions e^{i\lambda x}, \lambda \geq 0. This…

The abelian $(p+1)$-form gauge field is inherently coupled to the $p$-brane worldvolume. After quantization, the corresponding $p$-form gauge transformation is associated with the local phase ambiguity of the $p$-brane wave functional. In…