Symbol algebras and cyclicity of algebras after a scalar extension

For a field F and a family of central simple F-algebras we prove that there exists a regular field extension E/F preserving indices of F-algebras such that all the algebras from the family are cyclic after scalar extension by E. Let \( \mathcal{A} \) be a central simple algebra over a field F of degree n with a primitive nth root of unity ρ _n . We construct a quasi-affine F-variety Symb(\( \mathcal{A} \)) such that for a field extension L/F Symb(\( \mathcal{A} \)) has an L-rational point if and only if \( \mathcal{A}{ \otimes_F}L \) is a symbol algebra. Let \( \mathcal{A} \) be a central simple algebra over a field F of degree n and K/F be a cyclic field extension of degree n. We construct a quasi-affine F-variety C(\( \mathcal{A} \) ,K) such that, for a field extension L/F with the property [KL : L] = [K : F], the variety C(\( \mathcal{A} \) ,K) has an L-rational point if and only if KL is a subfield of \( \mathcal{A}{ \otimes_F}L \).     

First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers

We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidabilitv. We also obtain a structural sufficient condition for definability of the ring of integers over its field of fractions. In particular, we show that the following propositions hold: (1) For any rational prime q and any positive rational integer m. algebraic integers are definable in any Galois extension of Q where the degree of any finite subextension is not divisible by q^m. (2) Given a prime q, and an integer m > 0, algebraic integers are definable in a cyclotomic extension (and any of its subfields) generated by any set \(\{ {\zeta _{{p^l}}}|l \in {Z_{ > 0,}}P \ne q\) is any prime such that q^{m +1} ∧(p — 1)}. (3) The first-order theory of Any Abelina Extension of Q With Finitely Many Rational Primes is undecidable and rational integers are definable in these extensions.We also show that under a condition on the splitting of one rational Q generated elliptic curve over the field in question is enough to have a definition of Z and to show that the field is undecidable.     

On the image of the Saito-Kurokawa lifting over a totally real number field and the Maass relation

We give a formula for the Fourier coefficients of the image of the Saito-Kurokawa lifting over a totally real number field $K$ , and we prove the image of the lifting satisfies a generalization of the Maass relation. We also give an explicit form of a Siegel series of degree 2 for any finite extension of ${\mathbb {Q}}_p$ .     

Hall Polynomials and Composition Algebra of Representation Finite Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k such that the indecomposable \(\mathcal{A}\) -modules are determined by their dimension vectors and for each \(M, L \in ind(\mathcal{A})\) and \(N\in mod(\mathcal{A})\) , either \(F^{M}_{N L}=0\) or \(F^{M}_{L N}=0\) . We show that \(\mathcal{A}\) has Hall polynomials and the rational extension of its Ringel–Hall algebra equals the rational extension of its composition algebra. This result extend and unify some known results about Hall polynomials. As a consequence we show that if \(\mathcal{A}\) is a representation finite simply-connected algebra, or finite dimensional k-algebra such that there are no short cycles in \(mod(\mathcal{A})\) , or representation finite cluster tilted algebra, then \(\mathcal{A}\) has Hall polynomials and \(\mathcal{H}(\mathcal{A})\otimes_\mathbb{Z}Q=\mathcal{C}(\mathcal{A})\otimes_\mathbb{Z}Q\) .     

A new multi-linear universal hash family

A new universal hash family is described which generalises a previously known multi-linear hash family. Messages are sequences over a finite field ${\mathbb{F}_q}$ while keys are sequences over an extension field ${\mathbb{F}_{q^n}}$ . A linear map ${\psi}$ from ${\mathbb{F}_{q^n}}$ to itself is used to compute the output digest. Of special interest is the case q = 2. For this case, we show that there is an efficient way to implement ${\psi}$ using a tower field representation of ${\mathbb{F}_{q^n}}$ . From a practical point of view, the focus of our constructions is small hardware and other resource constrained applications. For such platforms, our constructions compare favourably to previous work.     

Levi Factors of the Special Fiber of a Parahoric Group Scheme and Tame Ramification

Let $\cal{A}$ be a Henselian discrete valuation ring with fractions K and with perfect residue field k of characteristic p?>?0. Let G be a connected and reductive algebraic group over K, and let $\cal{P}$ be a parahoric group scheme over $\cal{A}$ with generic fiber ${\cal{P}}_{/K} = G$ . The special fiber ${\cal{P}}_{/k}$ is a linear algebraic group over k. If G splits over an unramified extension of K, we proved in some previous work that the special fiber ${\cal{P}}_{/k}$ has a Levi factor, and that any two Levi factors of ${\cal{P}}_{/k}$ are geometrically conjugate. In the present paper, we extend a portion of this result. Following a suggestion of Gopal Prasad, we prove that if G splits over a tamely ramified extension of K, then the geometric special fiber ${\cal{P}}_{/k_{\rm{alg}}}$ has a Levi factor, where k _alg is an algebraic closure of k.     

Logarithmic and Linear Potentials of Signed Measures and Markov Property of Associated Gaussian Fields

We consider the family of finite signed measures on the complex plane \(\mathbb {C}\) with compact support, of finite logarithmic energy and with zero total mass. We show directly that the logarithmic potential of such a measure sits in the Beppo Levi space, namely, the extended Dirichlet space of the Sobolev space of order 1 over \(\mathbb {C}\), and that the half of its Dirichlet integral equals the logarithmic energy of the measure. We then derive the (local) Markov property of the Gaussian field \(\textbf {G}(\mathbb {C})\) indexed by this family of measures. Exactly analogous considerations will be made for the Beppo Levi space over the upper half plane \(\mathbb {H}\) and the Cameron-Martin space over the real line \(\mathbb {R}\). Some Gaussian fields appearing in recent literatures related to mathematical physics will be interpreted in terms of the present field \(\textbf {G}(\mathbb {C})\).     

The Extension of Distributions on Manifolds,a Microlocal Approach

Let M be a smooth manifold, \({I\subset M}\) a closed embedded submanifold of M and U an open subset of M. In this paper, we find conditions using a geometric notion of scaling for \({t\in \mathcal{D}^{\prime}(U{\setminus} I)}\) to admit an extension in \({\mathcal{D}^\prime(U)}\). We give microlocal conditions on t which allow to control the wave front set of the extension generalizing a previous result of Brunetti–Fredenhagen. Furthermore, we show that there is a subspace of extendible distributions for which the wave front of the extension is minimal which has applications for the renormalization of quantum field theory on curved spacetimes.     

Special values of anticyclotomic L-functions modulo λ

The purpose of this article is to generalize some results of Vatsal on the special values of Rankin–Selberg L-functions in an anticyclotomic \({\mathbb{Z}_{p}}\) -extension. Let g be a cuspidal Hilbert modular newform of parallel weight \({(2,\ldots,2)}\) and level \({\mathcal{N}}\) over a totally real field F, and let K/F be a totally imaginary quadratic extension of relative discriminant \({\mathcal{D}}\) . We study the l-adic valuation of the special values \({L(g,\chi,\frac{1}{2})}\) as \({\chi}\) varies over the ring class characters of K of \({\mathcal{P}}\) -power conductor, for some fixed prime ideal \({\mathcal{P}}\) . We prove our results under the only assumption that the prime to \({\mathcal{P}}\) part of \({\mathcal{N}}\) is relatively prime to \({\mathcal{D}}\) .     

The trace of an optimal normal element and low complexity normal bases

Let ${\mathbb{F}}_{q}$ be a finite field and consider an extension ${\mathbb{F}}_{q^{n}}$ where an optimal normal element exists. Using the trace of an optimal normal element in ${\mathbb{F}}_{q^{n}}$ , we provide low complexity normal elements in ${\mathbb{F}}_{q^{m}}$ , with m = n/k. We give theorems for Type I and Type II optimal normal elements. When Type I normal elements are used with m = n/2, m odd and q even, our construction gives Type II optimal normal elements in ${\mathbb{F}}_{q^{m}}$ ; otherwise we give low complexity normal elements. Since optimal normal elements do not exist for every extension degree m of every finite field ${\mathbb{F}}_{q}$ , our results could have a practical impact in expanding the available extension degrees for fast arithmetic using normal bases.     

Maximal essential extensions in the context of frames

We show that every frame can be essentially embedded in a Boolean frame, and that this embedding is the maximal essential extension of the frame in the sense that it factors uniquely through any other essential extension. This extension can be realized as the embedding \(L \rightarrow \mathcal {N}(L) \rightarrow \mathcal {B}\mathcal {N}(L)\), where \(L \rightarrow \mathcal {N}(L)\) is the familiar embedding of L into its congruence frame \(\mathcal {N}(L)\), and \(\mathcal {N}(L) \rightarrow \mathcal {B}\mathcal {N}(L)\) is the Booleanization of \(\mathcal {N}(L)\). Finally, we show that for subfit frames the extension can also be realized as the embedding \(L \rightarrow {{\mathrm{S}}}_\mathfrak {c}(L)\) of L into its complete Boolean algebra \({{\mathrm{S}}}_\mathfrak {c}(L)\) of sublocales which are joins of closed sublocales.     

Number fields in fibers: the geometrically abelian case with rational critical values

Let X be an algebraic curve over \({\mathbb {Q}}\) and \({t\in {\mathbb {Q}}(X)}\) a non-constant rational function such that \({{\mathbb {Q}}(X)\ne {\mathbb {Q}}(t)}\). For every \({ n \in {\mathbb {Z}}}\) pick \({P_ n \in X(\bar{{\mathbb {Q}}})}\) such that \({t(P_n)=n}\). We conjecture that, for large N, among the number fields \({\mathbb {Q}}(P_1), \ldots , {\mathbb {Q}}(P_N)\) there are at least cN distinct. We prove this conjecture in the special case when \(\bar{{\mathbb {Q}}}(X)/\bar{{\mathbb {Q}}}(t)\) is an abelian field extension and the critical values of t are all rational. This implies, in particular, that our conjecture follows from a more famous conjecture of Schinzel.     

Hopf Extensions of CM-finite Artin Algebras

Let H be a finite-dimensional Hopf algebra over a field k, and A a left $H\mbox{-}$ module $k\mbox{-}$ algebra. We show that A#H is a CM-finite algebra if and only if A is a CM-finite algebra preserving global dimension of their relative Auslander algebras when A/A ^H is an $H^{*}\mbox{-}$ Galois extension and A#H/A is separable. As application, we describe all the finitely-generated Gorenstein-projective modules over a triangular matrix artin algebra $\Lambda=\left(\begin{smallmatrix} A^{H}& A\\ 0&A\#H \end{smallmatrix}\right)$ , and obtain a criteria for Λ being Gorenstein. We also show that Hopf extensions can induce recollements between categories $A\#H\mbox{-}{\rm Mod}$ and $A^{H}\mbox{-}{\rm Mod}$ .     

Irreducibility criteria for compositions of multivariate polynomials

We provide irreducibility criteria for compositions of multivariate polynomials over a field K, of the form \({f(X_{1},\ldots ,X_{r-1},g(X_{1},\ldots ,X_{r}))}\), with \({f,g\in K[X_{1},\ldots ,X_{r}]}\), for the case that \({f}\) as a polynomial in X_r is irreducible over \({K(X_{1},\ldots ,X_{r-1})}\) and has leading coefficient divisible by a power of an irreducible polynomial \({p(X_{1},\ldots ,X_{r-1})}\) of sufficiently large degree with respect to \({X_{r-1}}\).     

On torsors under elliptic curves and Serre’s pro-algebraic structures

Let ${\mathcal {O}}_K$ be a complete discrete valuation ring with algebraically closed residue field of positive characteristic and field of fractions $K$ . Let $X_K$ be a torsor under an elliptic curve $A_K$ over $K$ , $X$ the proper minimal regular model of $X_K$ over $S:=\hbox {Spec}({\mathcal {O}}_K)$ , and $J$ the identity component of the Néron model of $\mathrm{Pic}_{X_K/K}^{0}$ . We study the canonical morphism $q:\mathrm{Pic}^{0}_{X/S}\rightarrow J$ which extends the natural isomorphism on generic fibres. We show that $q$ is pro-algebraic in nature with a construction that recalls Serre’s work on local class field theory. Furthermore, we interpret our results in relation to Shafarevich’s duality theory for torsors under abelian varieties.     

Units of compatible nearrings

We study singly-generated wavelet systems on ${\mathbb {R}^2}$ that are naturally associated with rank-one wavelet systems on the Heisenberg group N. We prove a necessary condition on the generator in order that any such system be a Parseval frame. Given a suitable subset I of the dual of N, we give an explicit construction for Parseval frame wavelets that are associated with I. We say that ${g\in L^2(I\times \mathbb {R})}$ is Gabor field over I if, for a.e. ${\lambda \in I}$ , |??|^1/2 g(??, ·) is the Gabor generator of a Parseval frame for ${L^2(\mathbb {R})}$ , and that I is a Heisenberg wavelet set if every Gabor field over I is a Parseval frame (mother-)wavelet for ${L^2(\mathbb {R}^2)}$ . We then show that I is a Heisenberg wavelet set if and only if I is both translation congruent with a subset of the unit interval and dilation congruent with the Shannon set.     

On the towers of torsion Bertrandias and Payan modules

For an odd prime p, let K/k be a Galois p-extension and S be a set of primes of k containing the primes lying over p. For the p ^r th roots \({\mu _{{p^r}}}\left( K \right)\) of unity in K, we describe the so-called Sha group Sha _S (G(K/k), \({\mu _{{p^r}}}\left( K \right)\)) in terms of the Galois groups of certain subfields of K corresponding to S. As an application, we investigate a tower of extension fields \({\left\{ {{k_{{T^i}}}} \right\}_i} \geqslant 0\) where \({k_{{T^{i + 1}}}}\) is defined as the fixed field of a free part of the Galois group of the Bertrandias and Payan extension of \({k_{{T^i}}}\) over \({k_{{T^i}}}\). This is called a tower of torsion parts of the Bertrandias and Payan extensions over k. We find a relation between the degrees \({\left\{ {\left[ {{k_{{T^{i + 1}}}}:{k_{{T^i}}}} \right]} \right\}_{i \geqslant 0}}\) over the towers. Using this formula we investigate whether the towers are stationary or not.     

Symmetric Pairs and Self-Adjoint Extensions of Operators,with Applications to Energy Networks

We provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator A on a Hilbert space \(\mathcal {H}\), by means of a symmetric pair of operators. A symmetric pair is comprised of densely defined operators \(J: \mathcal {H}_1 \rightarrow \mathcal {H}_2\) and \(K: \mathcal {H}_2 \rightarrow \mathcal {H}_1\) which are compatible in a certain sense. With the appropriate definitions of \(\mathcal {H}_1\) and J in terms of A and \(\mathcal {H}\), we show that \((\textit{JJ}^\star )^{-1}\) is the Friedrichs extension of A. Furthermore, we use related ideas (including the notion of unbounded containment) to construct a generalization of the construction of the Krein extension of A as laid out in a previous paper of the authors. These results are applied to the study of the graph Laplacian on infinite networks, in relation to the Hilbert spaces \(\ell ^2(G)\) and \(\mathcal {H}_{\mathcal {E}}\) (the energy space).     

Nonarchimedean Green functions and dynamics on projective space

Let \({\varphi: \mathbb{P}^N_K\to\mathbb{P}^N_K}\) be a morphism of degree d ≥ 2 defined over a field K that is algebraically closed field and complete with respect to a nonarchimedean absolute value. We prove that a modified Green function \({\hat{g}_\varphi}\) associated to \({\varphi}\) is Hölder continuous on \({\mathbb{P}^N(K)}\) and that the Fatou set \({\mathcal{F}(\varphi)}\) of \({\varphi}\) is equal to the set of points at which \({\hat{g}_\Phi}\) is locally constant. Further, \({\hat{g}_\varphi}\) vanishes precisely on the set of points P such that \({\varphi}\) has good reduction at every point in the forward orbit \({\mathcal{O}_\varphi(P)}\) of P. We also prove that the iterates of \({\varphi}\) are locally uniformly Lipschitz on \({\mathcal{F}(\varphi)}\) .