On the topology of valuation-theoretic representations of integrally closed domains

Let F be a field. For each nonempty subset X of the Zariski–Riemann space of valuation rings of F, let $A(X)={?}_{V\in X}V$ and $J(X)={?}_{V\in X}{\mathfrak{M}}_V$, where ${\mathfrak{M}}_V$ denotes the maximal ideal of V. We examine connections between topological features of X and the algebraic structure of the ring $A(X)$. We show that if $J(X)\ne 0$ and $A(X)$ is a completely integrally closed local ring that is not a valuation ring of F, then there is a space Y of valuation rings of F that is perfect in the patch topology such that $A(X)=A(Y)$. If any countable subset of points is removed from Y, then the resulting set remains a representation of $A(X)$. Additionally, if F is a countable field, the set Y can be chosen homeomorphic to the Cantor set. We apply these results to study properties of the ring $A(X)$ with specific focus on topological conditions that guarantee $A(X)$ is a Prüfer domain, a feature that is reflected in the Zariski–Riemann space when viewed as a locally ringed space. We also classify the rings $A(X)$ where X has finitely many patch limit points, thus giving a topological generalization of the class of Krull domains, one that includes interesting Prüfer domains. To illustrate the latter, we show how an intersection of valuation rings arising naturally in the study of local quadratic transformations of a regular local ring can be described using these techniques.     

Transcendence degree one function fields over a finite field with many automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field ${\mathbb{F}}_q$ of odd characteristic p. For a positive integer m prime to p, let $F=\mathbb{K}(x,y)$ be the transcendence degree 1 function field defined by $y^q+y=x^m+x^{?m}$. Let $t=x^{m(q?1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let K be the Galois closure of F with respect to H. By Stichtenoth [20], K has genus $\mathfrak{g}(K)=(qm?1)(q?1)$, p-rank (Hasse–Witt invariant) $\gamma (K)={(q?1)}^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^{2}m(q?1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of K; more precisely ${\text{Aut}}_{\mathbb{K}}(K)=\mathrm{\Delta }?D$ where Δ is an elementary abelian p-group of order $q^2$ and D has an index 2 cyclic subgroup of order $m(q?1)$. In particular, $\sqrt{m}|{\text{Aut}}_{\mathbb{K}}(K)|>\mathfrak{g}{(K)}^{3/2}$, and if K is ordinary (i.e. $\mathfrak{g}(K)=\gamma (K)$) then $|{\text{Aut}}_{\mathbb{K}}(K)|>{\mathfrak{g}}^{3/2}$. On the other hand, if G is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendence degree 1 function field L of genus $\mathfrak{g}(L)\ge 2$ defined over $\mathbb{K}$, then $|{\text{Aut}}_{\mathbb{K}}(K)|\le 34{(\mathfrak{g}(L)+1)}^{3/2}<68\sqrt{2}\mathfrak{g}{(L)}^{3/2}$; see [15]. This shows that K hits this bound up to the constant $68\sqrt{2}$.Since ${\text{Aut}}_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup N may happen to have many automorphisms provided that the normalizer of N in ${\text{Aut}}_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of Δ.     

Current superalgebras and unitary representations

In this paper we determine the projective unitary representations of finite dimensional Lie supergroups whose underlying Lie superalgebra is $\mathfrak{g}=A?\mathfrak{k}$, where $\mathfrak{k}$ is a compact simple Lie superalgebra and A is a supercommutative associative (super)algebra; the crucial case is when $A={\mathrm{\Lambda }}_s(\mathbb{R})$ is a Graßmann algebra. Since we are interested in projective representations, the first step consists in determining the cocycles defining the corresponding central extensions. Our second main result asserts that, if $\mathfrak{k}$ is a simple compact Lie superalgebra with ${\mathfrak{k}}_1\ne \{0\}$, then each (projective) unitary representation of ${\mathrm{\Lambda }}_s(\mathbb{R})?\mathfrak{k}$ factors through a (projective) unitary representation of $\mathfrak{k}$ itself, and these are known by Jakobsen's classification. If ${\mathfrak{k}}_1=\{0\}$, then we likewise reduce the classification problem to semidirect products of compact Lie groups K with a Clifford–Lie supergroup which has been studied by Carmeli, Cassinelli, Toigo and Varadarajan.     

Boolean rings and reciprocal eigenvalue properties

Let A be the adjacency matrix of the zero-divisor graph $\mathrm{\Gamma }(R)$ of a finite commutative ring R containing nonzero zero-divisors. In this paper, it is shown that $\mathrm{\Gamma }(R)$ is the zero-divisor graph of a Boolean ring if and only if $\det (A)=-1$. Also, A is similar to plus or minus its inverse whenever R is a Boolean ring. As a consequence, it is proved that $\mathrm{\Gamma }(R)$ is the zero-divisor graph of a Boolean ring if and only if the set of eigenvalues (including multiplicities) of $\mathrm{\Gamma }(R)$ can be partitioned into 2-element subsets of the form $\{\lambda \text{,}\pm 1/\lambda \}$. Furthermore, any finite Boolean ring R is characterized by the degree and coefficients of the characteristic polynomial of A.     

The mod 2 cohomology of the mapping class group of the Klein bottle with marked points

The purpose of this article is to compute the mod 2 cohomology of ${\mathrm{\Gamma }}^q(\mathbb{K})$, the mapping class group of the Klein bottle with q marked points. We provide a concrete construction of Eilenberg–MacLane spaces $X_q=K({\mathrm{\Gamma }}^q(\mathbb{K}),1)$ and fiber bundles $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q\to X_q\to B({\mathbb{Z}}_2\times O(2))$, where $F_q(\mathbb{K})/{\mathrm{\Sigma }}_q$ denotes the configuration space of unordered q-tuples of distinct points in $\mathbb{K}$ and $B({\mathbb{Z}}_2\times O(2))$ is the classifying space of the group ${\mathbb{Z}}_2\times O(2)$. Moreover, we show the mod 2 Serre spectral sequence of the bundle above collapses.     

Neeman's characterization of K(R-Proj) via Bousfield localization

Let R be an associative ring with unit and denote by $K(\mathrm{R}\text{-}\mathrm{Proj})$ the homotopy category of complexes of projective left R-modules. Neeman proved the theorem that $K(\mathrm{R}\text{-}\mathrm{Proj})$ is ${\mathrm{?}}_1$-compactly generated, with the category $K^{+}(\mathrm{R}\text{-}\mathrm{proj})$ of left bounded complexes of finitely generated projective R-modules providing an essentially small class of such generators. Another proof of Neeman's theorem is explained, using recent ideas of Christensen and Holm, and Emmanouil. The strategy of the proof is to show that every complex in $K(\mathrm{R}\text{-}\mathrm{Proj})$ vanishes in the Bousfield localization $K(\mathrm{R}\text{-}\mathrm{Flat})/〈K^{+}(\mathrm{R}\text{-}\mathrm{proj})〉$.     

Decomposition of integer-valued polynomial algebras

Let D be a commutative domain with field of fractions K, let A be a torsion-free D-algebra, and let B be the extension of A to a K-algebra. The set of integer-valued polynomials on A is $\mathrm{Int}(A)=\{f\in B[X]|f(A)?A\}$, and the intersection of $\mathrm{Int}(A)$ with $K[X]$ is ${\mathrm{Int}}_K(A)$, which is a commutative subring of $K[X]$. The set $\mathrm{Int}(A)$ may or may not be a ring, but it always has the structure of a left ${\mathrm{Int}}_K(A)$-module.A D-algebra A which is free as a D-module and of finite rank is called ${\mathrm{Int}}_K$-decomposable if a D-module basis for A is also an ${\mathrm{Int}}_K(A)$-module basis for $\mathrm{Int}(A)$; in other words, if $\mathrm{Int}(A)$ can be generated by ${\mathrm{Int}}_K(A)$ and A. A classification of such algebras has been given when D is a Dedekind domain with finite residue rings. In the present article, we modify the definition of ${\mathrm{Int}}_K$-decomposable so that it can be applied to D-algebras that are not necessarily free by defining A to be ${\mathrm{Int}}_K$-decomposable when $\mathrm{Int}(A)$ is isomorphic to ${\mathrm{Int}}_K(A){?}_{D}A$. We then provide multiple characterizations of such algebras in the case where D is a discrete valuation ring or a Dedekind domain with finite residue rings. In particular, if D is the ring of integers of a number field K, we show that an ${\mathrm{Int}}_K$-decomposable algebra A must be a maximal D-order in a separable K-algebra B, whose simple components have as center the same finite unramified Galois extension F of K and are unramified at each finite place of F. Finally, when both D and A are rings of integers in number fields, we prove that ${\mathrm{Int}}_K$-decomposable algebras correspond to unramified Galois extensions of K.     

Lehmer's totient problem over Fq[x]

In this paper, we consider the function field analogue of the Lehmer's totient problem. Let $p(x)\in {\mathbb{F}}_q[x]$ and $\phi (q,p(x))$ be the Euler's totient function of $p(x)$ over ${\mathbb{F}}_q[x]$, where ${\mathbb{F}}_q$ is a finite field with q elements. We prove that $\phi (q,p(x))|(q^{\mathrm{deg}(p(x))}?1)$ if and only if (i) $p(x)$ is irreducible; or (ii) $q=3$, $p(x)$ is the product of any 2 non-associate irreducibles of degree 1; or (iii) $q=2$, $p(x)$ is the product of all irreducibles of degree 1, all irreducibles of degree 1 and 2, and the product of any 3 irreducibles one each of degree 1, 2 and 3.     

The E-normal structure of odd dimensional unitary groups

In this paper we define odd dimensional unitary groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$. These groups contain as special cases the odd dimensional general linear groups ${\mathrm{GL}}_{2n+1}(R)$ where R is any ring, the odd dimensional orthogonal and symplectic groups ${\mathrm{O}}_{2n+1}(R)$ and ${\mathrm{Sp}}_{2n+1}(R)$ where R is any commutative ring and further the first author's even dimensional unitary groups ${\mathrm{U}}_{2n}(R,\mathrm{\Lambda })$ where $(R,\mathrm{\Lambda })$ is any form ring. We classify the E-normal subgroups of the groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ (i.e. the subgroups which are normalized by the elementary subgroup ${\mathrm{EU}}_{2n+1}(R,\mathrm{\Delta })$), under the condition that R is either a semilocal or quasifinite ring with involution and $n\ge 3$. Further we investigate the action of ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ by conjugation on the set of all E-normal subgroups.     

Bivariate identities related to Chebyshev and Dickson polynomials over Fq

Let ${\mathbb{F}}_q$ be a field of q elements, where q is a power of an odd prime p. The polynomial $f(y)\in {\mathbb{F}}_q[y]$ defined by$f(y):={(1+\sqrt{y})}^{(q+1)/2}+{(1-\sqrt{y})}^{(q+1)/2}$ has the property that$f(1-y)=\rho (2)f(y),$ where ρ is the quadratic character on ${\mathbb{F}}_q$. This univariate identity was applied to prove a recent theorem of N. Katz. We formulate and prove a bivariate extension, and give an application to quadratic residuacity.