Excavator - Badge - MathOverflow

Excavator

Edit first post that was inactive for 6 months.

Awarded 1742 times.

Questions on Thurston's earthquake flow

Awarded 2 days ago

W.Smith

2751 silver badge8 bronze badges

Relation of some Euclidean geometry theorems and more conjecture generalizations

Awarded Jul 2 at 5:07

Đào Thanh Oai

1,42411 silver badges36 bronze badges

Linear systems over non-algebraically closed field

Awarded Jul 1 at 5:26

mbert

1357 bronze badges

How strong is Cantor-Bernstein-Schröder?

Awarded Jul 1 at 5:26

Jim Kingdon

3872 silver badges8 bronze badges

Expressing the Lebesgue integral using categories + the difficulty of describing estimates in category theory

Awarded Jun 25 at 4:26

Cathartic Encephalopathy

1,30912 silver badges21 bronze badges

Extreme points of a set of probability measures

Awarded Jun 7 at 4:41

Valentas

2551 silver badge10 bronze badges

Constructing non-torsion rational points (over $\mathbb{Q}$) on elliptic curves of rank $>1$

Awarded May 15 at 7:57

FountainTree

1033 bronze badges

What is the Theorem of the Cube?

Awarded May 12 at 4:26

YuiTo Cheng

1611 gold badge4 silver badges14 bronze badges

Is the fixed locus of a group action always a scheme?

Awarded May 10 at 4:11

Yuto Masamura

52 bronze badges

Is $\zeta(3)/\pi^3$ rational?

Awarded May 9 at 4:40

Ukhukanya

33 bronze badges

Module categories over $\mathrm{Rep}(G)$

Awarded May 7 at 4:37

Meths

3091 silver badge11 bronze badges

On the topology induced by a Lorentzian metric

Awarded May 6 at 4:04

Bastam Tajik

6122 silver badges14 bronze badges

Status of (global) Langlands conjecture for $\mathrm{GL}_2$ over $\mathbb{Q}$

Awarded May 3 at 5:32

coLaideronnette

2081 silver badge6 bronze badges

Connection Transformation Formula; Degree 3 Cech Cohomology

Awarded May 3 at 5:32

Tim

1,30710 silver badges24 bronze badges

Geometric interpretation of trace

Awarded Apr 29 at 4:11

GijsBellaard

33 bronze badges

Spectral sequence in Adams's book, Theorem 8.2

Awarded Apr 29 at 4:11

Dave Benson

13.8k1 gold badge33 silver badges87 bronze badges

Computable nonstandard models for weak systems of arithmetic

Awarded Apr 24 at 7:05

myrmecophagaTridactyla

34 bronze badges

Citing papers that are in a language that you do not read

Awarded Apr 13 at 4:32

feetwet

1035 bronze badges

Irrationality of generalized continued fractions

Awarded Apr 11 at 16:27

Vessel

1457 bronze badges

Why are viscosity solutions useful solutions?

Awarded Apr 9 at 4:05

xyz

33 bronze badges

Lie algebra semisimple if and only if perfect?

Awarded Apr 8 at 14:19

Ian Gershon Teixeira

3,9918 silver badges25 bronze badges

Two basic questions on parabolic induction

Awarded Apr 8 at 4:57

Paul Broussous

6,2591 gold badge19 silver badges32 bronze badges

Periods and L-values

Awarded Apr 7 at 4:40

Watson Ladd

2,42913 silver badges20 bronze badges

Which theorems have Pythagoras' Theorem as a special case?

Awarded Apr 5 at 4:10

rpk

1761 silver badge7 bronze badges

Ising entropy of a finite L_1 x L_2 lattice

Awarded Apr 2 at 5:02

Jiaqing Jiang

32 bronze badges

What do you call an object constructed as part of a proof?

Awarded Mar 30 at 4:06

Mohan

6,2121 gold badge23 silver badges24 bronze badges

Contracting divisors to a point

Awarded Mar 27 at 4:11

cll

2,30510 silver badges28 bronze badges

Orienting the dual of the associahedron

Awarded Mar 26 at 4:06

Andy Putman

44.2k14 gold badges183 silver badges266 bronze badges

Cohen forcing: why is the cardinality of $\mathcal P \left({\omega}\right)$ in ${\bf L}(\mathcal P \left({\omega}\right))$ independent of G?

Awarded Mar 25 at 4:21

NON

35 bronze badges

Motivation for birational geometry

Awarded Mar 21 at 4:51

littleman

2031 silver badge6 bronze badges

Computational approach deciding whether a set of Wang Tile could tile the space up to some size

Awarded Mar 14 at 7:05

Ben Burns

8397 silver badges14 bronze badges

Fractal questions: Weierstraß-Mandelbrot

Awarded Mar 11 at 5:06

Qualcuno2

33 bronze badges

How can you compute the number of topological sorts in a DAG?

Awarded Mar 9 at 4:21

138 Aspen

1738 bronze badges

Is there a reasonable "text-to-speech" solution for math papers?

Awarded Mar 5 at 4:11

Lena Schimmel

1033 bronze badges

geometric interpretation and differences of Gorenstein rings, Complete intersections and regular rings

Awarded Mar 5 at 4:11

Aryaman Maithani

1034 bronze badges

Is the ratio Perimeter/Area for a finite union of unit squares at most 4?

Awarded Mar 3 at 4:42

HeliumHydride

32 bronze badges

Why are $S^3-K$ and $\operatorname{SL}(2,\mathbb R)/{\operatorname{SL}(2, \mathbb Z)}$ diffeomorphic? Here $K$ is a trefoil knot in $S^3$

Awarded Mar 3 at 4:42

No One

1,56511 silver badges21 bronze badges

Are concatenations of two consecutive Mersenne numbers which are congruent to 6 mod 7 necessarily composite?

Awarded Feb 29 at 19:20

Enzo Creti

Cohomology of quaternions on an abelian variety

Awarded Feb 26 at 4:23

user522008

32 bronze badges

when tensor complex resolves S/I+J?

Awarded Feb 22 at 5:25

user5826

1035 bronze badges

The number of submodules of $\mathbb{Z}_q^n$

Awarded Feb 20 at 4:03

aleph

5032 silver badges9 bronze badges

Language equivalence between deterministic and non-deterministic counter net

Awarded Feb 17 at 4:27

A. H.

155 bronze badges

Matrix groups and presentation

Awarded Feb 17 at 4:27

kg583

1033 bronze badges

Are there finitely many sieves on each object in the distributive lattice cube category?

Awarded Feb 15 at 5:05

Jonas Frey

2353 silver badges8 bronze badges

What is a topos?

Awarded Feb 11 at 4:41

Donu Arapura

34.7k2 gold badges91 silver badges159 bronze badges

Are concatenations of two consecutive Mersenne numbers which are congruent to 6 mod 7 necessarily composite?

Awarded Feb 9 at 21:42

D J Sims

Fundamental theorem of algebra for sedenions

Awarded Feb 5 at 5:10

Dieter Kadelka

2,0832 gold badges10 silver badges15 bronze badges

Reference to a Don Zagier result and the congruent number problem

Awarded Feb 5 at 5:10

Henri Cohen

12.6k1 gold badge31 silver badges58 bronze badges

Non-trivial convergent sequence in Stone-Čech compactification of $\mathbb{N}$

Awarded Feb 3 at 6:05

umim.cist

32 bronze badges

Mathematical explanation of the failure to quantize gravity naively

Awarded Feb 2 at 4:09

Esmond

1368 bronze badges

How can I effectively compute tetration $\pmod a$?

Awarded Jan 29 at 4:10

Marco Ripà

1,3055 silver badges19 bronze badges

what is the maximum number of rational points of a curve of genus 2 over the rationals

Awarded Jan 27 at 4:33

DroneBetter

53 bronze badges

Combinatorial databases

Awarded Jan 27 at 4:33

LeechLattice

9,4412 gold badges23 silver badges57 bronze badges

Near-Legendre Conjecture

Awarded Jan 27 at 4:33

isaacg

2941 silver badge10 bronze badges

Double ($p$-fold) coverings of $B^4$ along ribbon/slice disks

Awarded Jan 22 at 5:11

gdd

1757 bronze badges

Encoding $n$ natural numbers into one and back

Awarded Jan 13 at 4:03

olus2000

32 bronze badges

Important formulas in combinatorics

Awarded Jan 12 at 5:10

Daniel Weber

3,0091 gold badge9 silver badges24 bronze badges

Homotopy as a general organizing principle

Awarded Jan 11 at 4:19

Trebor

1,1516 silver badges16 bronze badges

Parabolic Sobolev inequality in Sobolev mixed norm spaces

Awarded Jan 11 at 4:19

Hannes

2,26511 silver badges18 bronze badges

Line graphs called "graph derivatives": any intuition?

Awarded Jan 10 at 5:26

Samdney

231 silver badge8 bronze badges

2 3 4 5

…

30 Next