MO editors' lounge

« first day (2442 days earlier) ← previous day next day → last day (1448 days later) »

11:17 AM

@MartinSleziak Now I noticed that there is a tag called galois-representations. Perhaps the OP meant to use this tag when they created galois? Similarly, langlands-conjectures might be a reasonable replacement for langlands.

4 hours later…

Martin Sleziak

3:11 PM

linked-questions "Drawing planar graphs with integer edge lengths" links to "Is there a dense subset of the real plane with all pairwise distances rational?". (Although the wording suggests that the OP possibly wanted to link to the question rather to this specific answer.)

A temporary comment - in order to get the list of linked questions updated: Is there a dense subset of the real plane with all pairwise distances rational? and Is there a dense subset of the real plane with all pairwise distances rational? — Martin Sleziak 1 min ago

1 hour later…

Rudi_Birnbaum

4:29 PM

Hello @MartinSleziak, is here any chat activity going on?

Martin Sleziak

@Rudi_Birnbaum Unusual question. Definitely a lot.

Rudi_Birnbaum

It looked all very technical, so thats why I ask.

Martin Sleziak

However, most of the rooms associated with MO is quite silent. Homotopy theory room is quite active.

Rudi_Birnbaum

I came across across a thought, I'd like to discuss with one, if there is interest. Its about primes.

Martin Sleziak

If you meant specifically this room, it is mainly intended for stuff related to management of the tag system and to editing.

Rudi_Birnbaum

4:32 PM

Ah right! Exactly that was what I wanted to know!

Martin Sleziak

@Rudi_Birnbaum You could try main MathOverflow room or number theory room or Mathematics chat room.

Discussion about primes would be off-topic in this room.

Rudi_Birnbaum

OK, thank you!

2 hours later…

Martin Sleziak

6:13 PM

@MartinSleziak The tags on this post have been edited.

Q: Freeness of completed homology over universal deformation ring

In Theorem 7.4 of the paper "patching and the $p$-adic Langlands program for $\mathrm{GL}2(\mathbf{Q}_p)$" (arXiv link), it is proved that in the minimally ramified case, the completed homology of given level is the completed tensor of the dual family of Banach representation (denoted as $\tilde...