Related papers: Lifting all elements in $\mathrm{SL}_n(\mathbb{Z}/…

This paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our…

Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution have been proposed in the literature. In the logic programming framework, they may also help to detect some…

Let $p>2$ be a prime. Let $\rho$ be a crystalline representation of $G_{\mathbb{Q}_p}$ with distinct Hodge-Tate weights in $[0, p]$, such that its reduction $\overline \rho$ is upper triangular. Under certain conditions, we prove that…

For a positive integer $g$, let $\mathrm{Sp}_{2g}(R)$ denote the group of $2g \times 2g$ symplectic matrices over a ring $R$. Assume $g \ge 2$. For a prime number $\ell$, we give a self-contained proof that any closed subgroup of…

Let $K$ be a number field with ring of integers $\mathbb{Z}_K$. We prove two asymptotic formulas connected with the distribution of irreducible elements in $\mathbb{Z}_K$. First, we estimate the maximum number of nonassociated irreducibles…

We introduce and study a subring $\mathcal{SC}$ of $\mathbb Z[\mathrm{SL}\_2(\mathbb F\_q)]$ obtained by summing elements of $\mathrm{SL}\_2(\mathbb F\_q)$ according to their support. The ring $\mathcal SC$ can be used for the construction…

We study growth of higher Sobolev norms of solutions to the one-dimensional periodic nonlinear Schrodinger equation (NLS). By a combination of the normal form reduction and the upside-down I-method, we establish \|u(t)\|_{H^s} \lesssim…

In this paper, we consider lifts of $\pi$-partial characters with the property that the irreducible constituents of their restrictions to certain normal subgroups are also lifts. We will show that such a lift must be induced from what we…

For any matrix A in R^(m x n) of rank \rho, we present a probability distribution over the entries of A (the element-wise leverage scores of equation (2)) that reveals the most influential entries in the matrix. From a theoretical…

Let $p$ be a prime integer and $\mathbb{Z}_p$ be the ring of $p$-adic integers. By a purely computational approach we prove that each nonzero normal element of a completed group algebra over the special linear group ${\rm…

We show that if B is a C*-subalgebra of a C*-algebra A such that B contains a bounded approximate identity for A, and if L is the pull-back to A of the quotient norm on A/B, then L is strongly Leibniz. In connection with this situation we…

Let $B = A< X | dX=t >$ be an extended DG algebra by the adjunction of variable of positive even degree $n$, and let $N$ be a semi-free DG $B$-module that is assumed to be bounded below as a graded module. We prove in this paper that $N$ is…

Let $G$ be a finite group of Lie type $E_6$ over $F_q$ (adjoint or simply connected) and $W$ be the Weyl group of $G$. We describe maximal tori $T$ such that $T$ has a complement in its algebraic normalizer $N(G,T)$. It is well known that…

Let $\mathbb{F}_q$ be the finite field of characteristic $p$ with $q$ elements and $\mathbb{F}_{q^n}$ its extension of degree $n$. We prove that there exists a primitive element of $\mathbb{F}_{q^n}$ that produces a completely normal basis…

We observe that many of the separation axioms of topology (including $T_0-T_4$) can be expressed concisely and uniformly in terms of category theory as lifting properties (in the sense of Quillen model categories) with respect to (usually…

Let $\|A\|_{p,q}$ be the norm induced on the matrix $A$ with $n$ rows and $m$ columns by the H\"older $\ell_p$ and $\ell_q$ norms on $R^n$ and $R^m$ (or $C^n$ and $C^m$), respectively. It is easy to find an upper bound for the ratio…

Replacing the triangle inequality, in the definition of a norm, by $|x + y| ^{q}\leq 2^{q-1}(|x| ^{q} + |y| ^{q}) $, we introduce the notion of a q-norm. We establish that every q-norm is a norm in the usual sense, and that the converse is…

Let $F_q$ be a field with $q$ elements, where $q$ is a power of a prime number $p\geq 5$. For any integer $m\geq 2$ and $a\in F_q^*$ such that the polynomial $x^m-a$ is irreducible in $F_q[x]$, we combine two different methods to construct…

We consider three lifting questions: Given a $C\sp{*}$-algebra $I$, if there is a unital $C\sp{*}$-algebra $A$ contains $I$ as an ideal, is every unitary from $A/I$ lifted to a unitary in $A$? is every unitary from $A/I$ lifted to an…

Let $k$ be an algebraically closed field of characteristic $2$. In this paper we describe the $(\mathbb{Z}/2\mathbb{Z})^3$-actions on $k[[z]]$ for which there is a discrete valuation ring $R$, a finite extension of the ring of Witt vectors…