**13**

votes

**0**answers

461 views

### What are some examples of weak ω-categories?

As is usual, let's say an (n, k)-category is something with
objects, morphisms, 2-morphisms, ..., n-morphisms, such that all
j-morphisms for j > k are invertible, everything meant in the
weak sense. ...

**9**

votes

**0**answers

191 views

### Algebraic K-theory of a ring.

I started to learn some algebraic $K$-theory and its relation to geometric topology problems.
My question is : What is the list of rings such that all their algebraic $K$-theory groups are known ?
I ...

**8**

votes

**0**answers

135 views

### Nice applications of Liouville's theorem

I need a big list of nice-looking and simple applications of Liouville's theorem on geodesic flow in Riemannian geometry.
Please help.
Examples:
A Riemannian manifold with finite volume does not ...

**8**

votes

**0**answers

1k views

### “Must read ”papers on analytic number theory

Question: What would be some must-read
papers for an aspiring analytic number
theorist? In other words, what are the papers that any analytic number theorist would have read? (Background: Someone ...

**5**

votes

**0**answers

147 views

### List of finitely presented groups with undecidable word problem

Is there any reasonably updated list of (representative) examples of finitely presented groups with undecidable word problem?
By "representative" I mean "avoiding obvious redundancy", i.e. examples ...

**5**

votes

**0**answers

254 views

### What will be the consequences if second Hardy-Littlewood conjecture turns out to be true?

It is generally believed that the Second Hardy-Littlewood Conjecture is false. But it has not been proved (or disproved) yet. My question is,
What would be the consequences if Second Hardy-...

**4**

votes

**0**answers

94 views

### Examples of combinatorial bijections found by considering functors

Let us assume that I have two sets of combinatorial objects, $A$ and $B$,
and I am looking for a bijection (in particular a map) $\psi:A \to B$ between these sets, usually required to preserve some ...

**4**

votes

**0**answers

158 views

### Isoperimetric inequality, isodiametric inequality, hyperplane conjecture… what are the inequalities of this kind known or conjectured?

I duplicate here a question I asked on math.stackexchange.
Question: Which inequalities similar to the famous isoperimetric inequality is known?
conjectured?
I recently learned about some ...

**4**

votes

**0**answers

193 views

### Quotations about the class number formula, etc.

I'm looking for interesting and/or expressive quotations from mathematicians about the class number formula. I'm interested both in quotations from historical mathematicians and from modern ...

**3**

votes

**0**answers

209 views

### Roadmap for the ideas expressed in Grothendieck's Esquisse d'un Programme

I would like to understand Grothendieck's Esquisse d'un Programme more. Are there any references that would help me, and are there modern works pursuing the same themes?
At this point I am still ...

**2**

votes

**0**answers

120 views

### What other axioms for set theory can be written in the form: “If mathematical structures $X$ and $Y$ are equipotent, then they're isomorphic”?

The "injective continuum function hypothesis" (ICF) is the following statement.
ICF (Version 0). For all cardinal numbers $\kappa$ and $\nu$, we have $2^\kappa = 2^\nu \rightarrow \kappa = \nu.$
...

**2**

votes

**0**answers

95 views

### Non-negative, monotone polynomial sequences without combinatorial interpretation

I am wondering what sequences of integers there are, that are known to grow polynomially, are non-negative, monotone but lacks a combinatorial interpretation.
By combinatorial interpretation, they ...

**2**

votes

**0**answers

97 views

### Examples of noncommutative Bezout domains

I would like to see some (or many!) examples of noncommutative Bezout domains (one-sided principal ideals sum to one-sided principal ideals). I've read somewhere that it's not easy to find an example ...

**2**

votes

**0**answers

244 views

### Forgetting extra structure inducing Symmetries

This is a major edit of the original post after receiving helpful comments.
It is often the case when one adds additional structure to make a problem more tractable. When one attempts to forget this ...

**1**

vote

**0**answers

272 views

### Applications of the class number formula, etc.

This is a big list of applications of the class number formula and its generalizations. I'll start:
The solution to Gauss's class number problem for imaginary quadratic fields, and more generally ...

**0**

votes

**0**answers

53 views

### The set of (property) elements of a locally compact group is closed

For which properties $(P)$ is the following statement known to be true?
In any locally compact group $G$, the elements of $G$ that satisfy $(P)$ form a closed subset of $G$. In other words, the ...