Related papers: K_1 of a p-adic group ring II. The determinantal k…

We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…

In previous papers we investigated basic properties of the determinant $G_{K}(s)$ of the Riemann operator: ${\mathcal R}$ acting on $\bigoplus_{n>1} K_{n}(A)_{\mathbb{C}}$, where $A$ is the integer ring of an algebraic number field $K$. The…

Let $p$ be a prime number and let ${K}$ be a field containing a root of 1 of order $p$. If the absolute Galois group $G_{K}$ satisfies $\dim H^1(G_{K},\mathbb{F}_p)<\infty$ and $\dim H^2(G_{K},\mathbb{F}_p)=1$, we show that L.~Positselski's…

We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making…

We describe "quasi canonical modules" for modular invariant rings $R$ of finite group actions on factorial Gorenstein domains. From this we derive a general "quasi Gorenstein criterion" in terms of certain 1-cocycles. This generalizes a…

Let $R$ be a commutative ring. A quasi-Gorenstein $R$-module is an $R$-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself.…

For a Noetherian commutative ring $R$, let $H^i_I(R)$ be the $ i$-th local cohomology module of $R$ with respect to $I$. In \cite{Hel-08}, Hellus posed the question of identifying rings $R$ such that $\operatorname{injdim}_R…

The model-theoretic Grothendieck ring of a first order structure, as defined by Krajic\v{e}k and Scanlon, captures some combinatorial properties of the definable subsets of finite powers of the structure. In this paper we compute the…

Let R be a discrete valuation ring with residue field of characteristic p>0. Let K be its fraction field. We prove that any finite and flat R-group scheme, isomorphic to \mu_{p^2,K} on the generic fiber, is the kernel in a short exact…

We prove the existence and give constructions of a $(p(k)-1)$-fold perfect resolvable $(v, k, 1)$-Mendelsohn design for any integers $v > k \ge 2$ with $v \equiv 1 \mod k$ such that there exists a finite Frobenius group whose kernel $K$ has…

Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$-automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's…

We study the mod $p^r$ Milnor $K$-groups of $p$-adically complete and $p$-henselian rings, establishing in particular a Nesterenko-Suslin style description in terms of the Milnor range of syntomic cohomology. In the case of smooth schemes…

We introduce a new invariant for local rings of prime characteristic, called Frobenius complexity, that measures the abundance of Frobenius actions on the injective hull of the residue field of a local ring. We present an important case…

Let $k$ be an algebraically closed field of characteristic $0$. Let $X$ be a $2\times e$ matrix of linear forms over a polynomial ring $k[\mathsf{x}_1, \ldots,\mathsf{x}_n]$ (where $e,n\ge 1$). We prove that the determinantal ring $R =…

We consider the question of which semigroups can occur as the semigroup $S_R(\nu)$ of positive values of a rank 1 valuation dominating a Noetherian local ring $R$. We give a number of bounds of polynomial type on the growth of…

Consider a complete discrete valuation ring $\mathcal{O}$ with quotient field $F$ and finite residue field. Then the inclusion map $\mathcal{O} \hookrightarrow F$ induces a map $\hat{\mathrm{K}}^\mathrm{M}_*\mathcal{O} \to…

Let $K$ be a number field and $K_{ur}$ be the maximal extension of $K$ that is unramified at all places. In a previous article, the first author found three real quadratic fields $K$ such that $Gal(K_{ur}/K)$ is finite and nonabelian simple…

An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial…

Let G be a connected reductive group over a field of characteristic zero, and consider an orthogonal representation of G. We give a simple criterion for whether the representation lifts to the spin group, in terms of the highest weights of…

We prove several surjectivity criteria for $p$-adic representations. In particular, we classify all adjoint and simply connected group schemes $G$ over the Witt ring $W(k)$ of a finite field $k$ such that the epimorphism…