Related papers: The hyperring of ad\`ele classes

We introduce an $A_\infty$-algebra structure on the Hochschild cohomology of the endomorphism bimodule of a finite-dimensional representation of an associative algebra. We prove that this structure determines a presentation for…

The ring of ad\`eles of a global field and its group of units, the group of id\`eles, are fundamental objects in modern number theory. We discuss a formalization of their definitions in the Lean 3 theorem prover. As a prerequisite, we…

Let $F$ be a non-archimedean local field of residue characteristic $p\neq 2$. Let $G$ be a connected reductive group over $F$ that splits over a tamely ramified extension of $F$. Yu constructed types which are called tame supercuspidal…

Armendariz and semicommutative rings are generalizations of reduced rings. In \cite{IN}, I.N. Herstein introduced the notion of a hypercenter of a ring to generalize the center subclass. For a ring $R$, an element $a \in R$ is called…

Let K/F be a cyclic extension of prime degree l over a number field F. If F has class number coprime to l, we study the structure of the l-Sylow subgroup of the class group of K. In particular, when F contains the l-th roots of unity, we…

Let $G$ be a simply connected and simple algebraic group defined and split over a finite prime field $\mathbb{F}_p$ of $p$ elements. In this paper, using an $\mathbb{F}_p$-linear map splitting Frobenius endomorphism on a hyperalgebra…

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call R_t(k,G) the classes which are…

The classical Gelfand-Kirillov dimension for algebras over fields has been extended recently by J. Bell and J.J Zhang to algebras over commutative domains. However, the behavior of this new notion has not been enough investigated for the…

If E is a non-isotrivial elliptic curve over a global function field F of odd characteristic we show that certain Mordell-Weil groups of E have 1-dimensional eigenspace relative to a fixed complex ring class character provided that the…

Let G be a group and let A be the algebra of complex functions on G with finite support. The product in G gives rise to a coproduct on A making it a multiplier Hopf algebra. In fact, because there exist integrals, we get an algebraic…

Let $X$ be an integral affine or projective hypersurface over a field $F$ of characteristic $p>0$, and let $F(X)$ denote its function field. In a recent article, Dolphin and Hoffmann obtained an explicit description of the kernel of the…

We define the space of nearly holomorphic automorphic forms on a connected reductive group $G$ over $\mathbb{Q}$ such that the homogeneous space $G(\mathbb{R})^1/ K_\infty^\circ$ is a Hermitian symmetric space. By Pitale, Saha and Schmidt's…

W.H.~Mills has determined, for a finitely generated abelian group $G$, the regular subgroups $N \cong G$ of $S(G)$, the group of permutations on the set $G$, which have the same holomorph of $G$, that is, such that $N_{S(G)}(N) =…

We show that every Dedekind domain $R$ lying between the polynomial rings $\mathbb Z[X]$ and $\mathbb Q[X]$ with the property that its residue fields of prime characteristic are finite fields is equal to a generalized ring of integer-valued…

A subgroup $H\leq G$ is said to be almost normal if every conjugate of $H$ is commensurable to $H$. If $H$ is almost normal, there is a well-defined quotient space $G/H$. We show that if a group $G$ has type $F_{n+1}$ and contains an almost…

Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra, and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented…

Let R be a Krasner (m,n)-hyperring and S be an n-ary multiplicative subset of R. The purpose of this paper is to introduce the notion of n-ary S-prime hyperideals as a new expansion of n-ary prime hyperideals. Several properties and…

For $G$ a connected, reductive group over an algebraically closed field $k$ of large characteristic, we use the canonical Springer isomorphism between the nilpotent variety of $\mathfrak{g}:=\mathrm{Lie}(G)$ and the unipotent variety of $G$…

Let $\boldsymbol{G}$ be an unramified connected reductive group defined over a non-archemedian local field $k$ and let $\boldsymbol{T}$ be a maximal torus in $\boldsymbol{G}.$ Let $\lambda$ be an unramified character of $\boldsymbol{T}.$…

We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result…