相关论文: On Whitehead precovers

We establish relations between Gorenstein projective precovers linked by Frobenius functors. This is motivated by an open problem that how to find general classes of rings for which modules have Gorenstein projective precovers. It is shown…

In this paper, we prove that the general problem of tiling the hyperbolic plane with \`a la Wang tiles is undecidable.

There is a model of ZF with a $\Delta^1_3$ definable Hamel basis in which $AC_\omega(R)$ fails.

We prove that the pattern matching problem is undecidable in polymorphic lambda-calculi (as Girard's system F) and calculi supporting inductive types (as G{\"o}del's system T) by reducing Hilbert's tenth problem to it. More generally…

Let $p$ be a prime number. We prove that the $P=W$ conjecture for $\mathrm{SL}_p$ is equivalent to the $P=W$ conjecture for $\mathrm{GL}_p$. As a consequence, we verify the $P=W$ conjecture for genus 2 and $\mathrm{SL}_p$. For the proof, we…

We study the extension of Presburger arithmetic by the class of sub-polynomial Hardy field functions, and show the majority of these extensions to be undecidable. More precisely, we show that the theory $\mathrm{Th}(\mathbb{Z}; <, +,…

I prove several conjectures of \cite{GHKK} on the cluster structure of $SL_n$, which in particular imply the full Fock-Goncharov conjecture for the open double Bruhat cell $\mathcal{A} \subset SL_n/U$, for $U \subset SL_n$ a maximal…

We prove that for every finitely-presented group G there exists a 2-dimensional irreducible complex-projective variety W with the fundamental group G, so that all singularities of W are normal crossings and Whitney umbrellas.

We prove a conjecture due to Baumgaertel and Lledo according to which for every compact group G one has Z(G)^ \cong C(G), where the `chain group' C(G) is the free abelian group (written multiplicatively) generated by the set G^ of…

$\mathsf{ZF + AD}$ proves that for all nontrivial forcings $\mathbb{P}$ on a wellorderable set of cardinality less than $\Theta$, $1_{\mathbb{P}} \Vdash_{\mathbb{P}} \neg\mathsf{AD}$. $\mathsf{ZF + AD} + \Theta$ is regular proves that for…

Let k be a global field and \pp any nonarchimedean prime of k. We give a new and uniform proof of the well known fact that the set of all elements of k which are integral at \pp is diophantine over k. Let k^{perf} be the perfect closure of…

Whenever I is a projectively generated projectively defined sigma ideal on the reals, if ZFC+large cardinals proves cov(I)=continuum then ZFC+large cardinals proves non(I)<aleph four.

Given a module $X$ and a regular cardinal $\kappa$ we study various notions of $(\kappa,\mathrm{Add}(X))$-freeness and $(\kappa,\mathrm{Add}(X))$-separability. Bearing on appropriate set-theoretic assumptions, we construct a non-trivial…

The notion of an $\mathcal{L}$ complex (for a given class of $R$-modules $\mathcal{L}$) was introduced by Gillespie: a complex $C$ is called $\mathcal{L}$ complex if $C$ is exact and $\Z_{i}(C)$ is in $\mathcal{L}$ for all $i\in…

Given a prime number $p$, every irreducible character $\chi$ of a finite group $G$ determines a unique conjugacy class of $p$-subgroups of $G$ which we will call the anchors of $\chi$. This invariant has been considered by L. Barker in the…

Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…

We prove the Hilbert-Chow crepant resolution conjecture in the exceptional curve classes for all projective surfaces and all genera. In particular, this confirms Ruan's cohomological Hilbert-Chow crepant resolution conjecture. The proof…

Let $G$ be a finite abelian group, and let $f: G \to \C$ be a complex function on $G$. The uncertainty principle asserts that the support $\supp(f) := \{x \in G: f(x) \neq 0\}$ is related to the support of the Fourier transform $\hat f: G…

We show that for every separable Banach space $X$, either $\spw(X)$ (the set of all spreading models of $X$ generated by weakly-null sequences in $X$, modulo equivalence) is countable, or $\spw(X)$ contains an antichain of the size of the…

A conjecture of Berkovich asserts that every non-simple finite p-group has a non-inner automorphism of order p. This conjecture is far from being proved despite the great effort devoted to it. In this paper we prove it for p-groups of…