Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 8176

This tag is used if a reference is needed in a paper or textbook on a specific result.

7 votes
Accepted

Fuglede-Kadison determinants in $L(\mathbb{F}_2)$

The spectral measures for self-adjoint elements in $\mathbb C F_2$ are very special. In particular, it is known that non of the elements in $\mathbb C F_2$ has a kernel when acting via the left-regula …
Andreas Thom's user avatar
  • 25.5k
5 votes

Is "subamenable" the same as amenable?

This is probably a trivial observation, but maybe useful to track the difficult part of the problem. If instead of condition three you require: (strongly exhaustive) There exists some constant $C>0 …
Andreas Thom's user avatar
  • 25.5k
7 votes

Is "subamenable" the same as amenable?

Modulo a (possibly severe) measurability issue, the only groups which admit an invariant submeasure are the amenable groups. Let $G$ be a non-amenable group and $\mu$ be a $G$-invariant submeasure o …
Andreas Thom's user avatar
  • 25.5k
5 votes

residually finite-by-$\mathbb{Z}$ groups are residually finite

This is not true. The most prominent examples of non-residually finite central extensions of residually finite groups (by $\mathbb Z$) are certain lattices in non-linear Lie groups. See for example …
Andreas Thom's user avatar
  • 25.5k
2 votes

Tournament contained in vertex transitive tournament

It was shown in [Bernhard Herwig and Daniel Lascar, Extending partial automorphisms and the profinite topology on free groups, Trans. Amer. Math. Soc. 352 (2000), 1985-2021] that every finite tourname …
Andreas Thom's user avatar
  • 25.5k
10 votes
Accepted

residually finite-by-$\mathbb{Z}$ groups are residually finite

The modified question has a positive answer if $N$ is finitely generated. Consider an extension $1 \to N \to G \to \mathbb Z \to 1$ and take a lift $u \in G$ of the generator of $\mathbb Z$. If $N$ i …
Andreas Thom's user avatar
  • 25.5k
15 votes

Dehn's solution to Hilbert's 3rd: 1901 or 1902?

Dehn, M.; Ueber den Rauminhalt. (German) Math. Ann. 55 (1901), no. 3, 465–478 according to MathSciNet and Springer confirms this here. But on the scanned original provided by the Göttingen Center for …
Andreas Thom's user avatar
  • 25.5k
6 votes

Ideals in a noncommutative ring such that their product is their intersection?

This is more a remark, since I do not directly answer the question. The statement in the question is true for all ideals $I,J$ (without the condition $I+J=R$) if and only if all ideals a idempotent, i …
Andreas Thom's user avatar
  • 25.5k
7 votes
0 answers
172 views

Jacobi Conjecture in characteristic $p$, results of Pekka Nousiainen

Pekka Nousiainen proved in his PhD thesis "On the Jacobian problem in positive characteristic" at Pennsylvania State University, 1981, a version of the Jacobian Conjecture mod $p$. The results were ne …
Andreas Thom's user avatar
  • 25.5k
16 votes
Accepted

contractible manifolds

This was proved in the PL-setting in: McMillan, D. R.; Zeeman, E. C. On contractible open manifolds. Proc. Cambridge Philos. Soc. 58 1962 221–224. From MathReviews: "An open manifold is defined to …
Andreas Thom's user avatar
  • 25.5k
13 votes
Accepted

Second homotopy group of Cayley complex

If $\langle X,R \rangle$ is a finite presentation of a group $G$, then there exists an exact sequence of $\mathbb ZG$-modules $$0 \to \pi_2(Z) \to \mathbb{Z} G^{\oplus R} \to \mathbb Z G^{\oplus X} \t …
Andreas Thom's user avatar
  • 25.5k
5 votes

Telling group algebras apart

One has $Hom({\mathbb C}[F_n],{\mathbb C}) = ({\mathbb C}^{\times})^n$ with the obvious topology. (Here, $Hom$ denotes the space of $\mathbb C$-linear homomorphisms.) This of course uses a little bit …
Andreas Thom's user avatar
  • 25.5k
2 votes
Accepted

Additive combinatorics and large Fourier coefficients

I think I figured it out myself. What was meant is that for every finite subset $S$ of $A_{\delta}$ one has $$| \lbrace (n,m) \in S \times S \mid n-m \in A_{\delta^2/2} \rbrace | \geq \frac{\delta^2 | …
Andreas Thom's user avatar
  • 25.5k
1 vote

Zariski-closed subsemigroups of SL_n(C) are groups

Let $G \subset SL_n(\mathbb C)$ be a Zariski closed subsemigroup. The map $$\alpha(x,y) := (x,xy)$$ defines an injective self-map of $G \times G$ (see as algebraic varieties over $\mathbb C$). By the …
Andreas Thom's user avatar
  • 25.5k
9 votes
Accepted

Uncertainty principle for non-commutative groups

The answer is yes, this always holds. Note that $$\dim(im(f)) \cdot \|f\|^2 \cdot | {\rm supp}(f)| \geq \tau(f^*f) \cdot |{\rm supp}(f)| \geq |G| \cdot \|f\|^2_1.$$ Here, $\tau \colon \mathbb C[G …
Andreas Thom's user avatar
  • 25.5k

15 30 50 per page