Related papers: On some negative motivic homology groups

Effective bounds for the finite number of surjective holomorphic maps between canonically polarized compact complex manifolds of any dimension with fixed domain are proven. Both the case of a fixed target and the case of varying targets are…

A group $G$ has cube-free order if no prime to the third power divides $|G|$. We describe an algorithm that given two cube-free groups $G$ and $H$ of known order, decides whether $G\cong H$, and, if so, constructs an isomorphism $G\to H$.…

A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $\varphi_{x,y}$ of $G$ inverting both $x$ and $y$, that is, $x^{\varphi_{x,y}}=x^{-1}$ and $y^{\varphi_{x,y}}=y^{-1}$.…

We give new characterizations of sofic groups: -- A group $G$ is sofic if and only if it is a subgroup of a quotient of a direct product of alternating or symmetric groups. -- A group $G$ is sofic if and only if any system of equations…

Given an integer $k\ge3$ and a group $G$ of odd order, if there exists a $2$-$(v,k,1)$-design and if $v$ is sufficiently large, then there is such a design whose automorphism group has a subgroup isomorphic to $G$. A weaker result is proved…

The smallness is proved of fundamental groups for arithmetic schemes. This is a higher dimensional analogue of the Hermite-Minkowski theorem. We also refer to the case of varieties over finite fields. As an application, we prove certain…

The quadric $\operatorname{Q}_{2n}$ is the ${\mathbb Z}$-scheme defined by the equation $\sum_{i=1}^n x_i y_i = z(1-z)$. We show that $\operatorname{Q}_{2n}$ is a homogeneous space for the split reductive group scheme…

We consider norms on a complex separable Hilbert space such that $\langle a\xi,\xi\rangle\leq\|\xi\|^2\leq\langle b\xi,\xi\rangle$ for positive invertible operators $a$ and $b$ that differ by an operator in the Schatten class. We prove that…

We derive explicit isomorphisms between certain congruence subgroups of the Siegel modular group, the Hermitian modular group over an arbitrary imaginary-quadratic number field and the modular group over the Hurwitz quaternions of degree 2…

We consider the problem of characterizing isomorphisms of types, or, equivalently, constructive cardinality of sets, in the simultaneous presence of disjoint unions, Cartesian products, and exponentials. Mostly relying on results about…

A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for…

A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…

Let $\mathbb{F}$ be an algebraically closed field of characteristic zero. In this article we show that isotypic blocks of finite groups are functorially equivalent over $\mathbb{F}$.

In this paper we prove that for any connected reductive algebraic group G and a large enough prime $l$, there are continuous homomorphisms $$\mathrm{Gal}(\bar\mathbb Q/\mathbb Q) \to G(\bar\mathbb Q_l)$$ with Zariski-dense image, in…

We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G,…

We show how the data of a finite dimensional weak C^*-Hopf algebra can be encoded into a pair (H,V) where H is a finite dimensional Hilbert space and V: H \o H --> H \o H is a partial isometry satisfying, among others, the pentagon…

We prove that each isometric isomorphism, between the monoids of all nonegative 1-Lipschitz maps defined on invariant metric groups and equiped with the inf-convolution law, is given canonically from an isometric isomorphism between their…

We study subgroups $H_U$ of the R. Thompson group $F$ which are stabilizers of finite sets $U$ of numbers in the interval $(0,1)$. We describe the algebraic structure of $H_U$ and prove that the stabilizer $H_U$ is finitely generated if and…

Here we initiate a program to study relationships between finite groups and arithmetic-geometric invariants in a systematic way. To do this we first introduce a notion of optimal module for a finite group in the setting of holomorphic mock…

If a finite group $G$ is isomorphic to a subgroup of $SO(3)$, then $G$ has the D2-property. Let $X$ be a finite complex satisfying Wall's D2-conditions. If $\pi_1(X)=G$ is finite, and $\chi(X) \geq 1-Def(G)$, then $X \vee S^2$ is simple…