相关论文: On Whitehead precovers

We establish the undecidability of conditional affine information inequalities, the undecidability of the conditional independence implication problem with a constraint that one random variable is binary, and the undecidability of the…

We prove a long-standing conjecture of Geck which predicts that cuspidal unipotent characters remain irreducible after $\ell$-reduction. To this end, we construct a progenerator for the category of representations of a finite reductive…

A general conjecture is stated on the cone of automorphic vector bundles admitting nonzero global sections on schemes endowed with a smooth, surjective morphism to a stack of $G$-zips of connected-Hodge-type; such schemes should include all…

In this paper we show that membership in finitely generated submonoids is undecidable for the free metabelian group of rank 2 and for the wreath product $\mathbb Z\wr (\mathbb Z\times \mathbb Z)$. We also show that subsemimodule membership…

Laver, and Woodin independently, showed that models of ${\rm ZFC}$ are uniformly definable in their set-forcing extensions, using a ground model parameter. We investigate ground model definability for models of fragments of ${\rm ZFC}$,…

A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is undecidable for every nonempty finite $\Sigma \subseteq \mbox{Th}(K; \mathcal{L})$. We adapt arguments originating with Cherlin-van den…

We study H^*(P), the mod p cohomology of a finite p--group P, viewed as an Out(P)--module. In particular, we study the conjecture, first considered by Martino and Priddy, that, if e_S in Z/p[Out(P)] is a primitive idempotent associated to…

For any complex parameters a,b, the W(a,b) algebra is the Lie algebra with basis {L_i,W_i|i\in Z}, and relations [L_i,L_j]=(j-i)L_{i+j}, [L_i,W_j]=(a+j+bi)W_{i+j},[W_i,W_j]=0. In this paper, indecomposable modules of the intermediate series…

A basic question concerning indecomposable Soergel bimodules is to understand their endomorphism rings. In characteristic zero all degree-zero endomorphisms are isomorphisms (a fact proved by Elias and the second author) which implies the…

We show that Mildenhall's theorem implies that the indecomposable higher Chow group of a self-product of an elliptic curve over the complex number field is infinite dimensional, if the elliptic curve is modular and defined over rational…

We show that if a field A is not pseudo-finite, then there is no prime model of the theory of pseudo-finite fields over A. Assuming GCH, we generalise this result to \kappa-prime models, for \kappa a regular uncountable cardinal or…

If R is a commutative ring, we prove that every finitely generated module has a pure-composition series with indecomposable factors and any two such series are isomorphic if and only if R is a Bezout ring and a CF-ring.

Let $X$ be a smooth proper variety over an algebraically closed field of characteristic zero, and let $\mathcal{A} \subset D^{b}_{\mathrm{coh}}(X)$ be an admissible subcategory. Let $Z \subset X$ be the union of set-theoretical supports of…

The connections between Whitehead groups and uniformization properties were investigated by the third author in [Sh:98]. In particular it was essentially shown there that there is a non-free Whitehead (respectively, aleph_1-coseparable)…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

We prove that every distinct covering system has a modulus divisible by either 2 or 3.

We prove that if $G$ is an abelian group and $H_1x_1,\dots,H_{k}x_k$ is an irredundant (minimal) cover of $G$ with cosets, then $$|G:\bigcap_{i=1}^{k}H_{i}|=2^{O(k)}.$$ This bound is the best possible up to the constant hidden in the…

It is known that Hilbert's Tenth Problem over the Gaussian ring $\mathbb Z[i]=\{a+bi:\ a,b\in\mathbb Z\}$ is undecidable. In this paper we obtain the following further result: There is no algorithm to decide whether an arbitrarily given…

In this paper, we classify all irreducible weight modules with finite dimensional weight spaces over the $W$-algebra $W(2, 2)$. Meanwhile, all indecomposable modules with one dimensional weight spaces over the $W$-algebra $W(2, 2)$ are also…

Let GCH hold and let $j:V\longrightarrow M$ be a definable elementary embedding such that $crit(j)=\kappa$, $^{\kappa}M\subseteq M$ and $\kappa^{++}=\kappa_{M}^{++}$. H. Woodin proved that there is a cofinality preserving generic extension…