# Tagged Questions

The tag has no usage guidance.

2answers
199 views

### Understanding the left-separated spaces

A space $X$ is called left-separated if it can be well-ordered in such a way that every initial segment is closed in $X$. Could someone post some left-separated space to help me understand such ...
1answer
274 views

1answer
221 views

### When is the Freudenthal compactification an ANR?

Let $X$ be a locally compact metric ANR (or, if preferred, a locally compact simplicial complex). If needed, assume that $X$ has finitely many ends or is of finite dimension. My question is: What ...
2answers
820 views

### Does such an infinite index subgroup exist?

Notation: If $G$ is a countable group and $H$ is a subgroup, for $g\in G$, let $|\mathcal{O}_{gH}|$ be the size of the $H$-orbit of $gH$ in the $H$-set $G/H$. Does there exist a countable group $G$ ...
1answer
367 views

### A counter example in obstruction theory

Let $K$ denote a simplicial complex and $Y$ a path-connected topological space. Let us also denote by $K^n$ the $n$-skeleton of $K$. I would like to have an example for the following situation or a ...
12answers
3k views

### Excellent uses of induction and recursion

Can you make an example of a great proof by induction or construction by recursion? Given that you already have your own idea of what "great" means, here it can also be taken to mean that the chosen ...
12answers
2k views

### Interesting conjectures “discovered” by computers and proved by humans?

There are notable examples of computers "proving" results discovered by mathematicians, what about the opposite: Are there interesting conjectures "discovered" by computers and proved by humans? ...
3answers
2k views

### Arithmetic geometry examples

(This is inspired by Algebraic geometry examples.) I want to collect here (counter)examples in arithmetic geometry. Curves violating the Hasse principle: The Selmer curve $3X^3 + 4Y^3 + 5Z^3 = 0$. ...
28answers
6k views

### What are some examples of ingenious, unexpected constructions?

Many famous problems in mathematics can be phrased as the quest for a specific construction. Often such constructions were sought after for centuries or even millennia and later proved impossible by ...
1answer
457 views

1answer
365 views

### Examples of “inner products” of parallel morphisms in a dagger category

There is a very interesting abstract notion of the trace of an endomorphism $f : c \to c$ of an object $c$ in a braided monoidal category (although the symmetric case is easier): see, for example, ...
2answers
437 views

### higher order structure by higher order derivatives

Anyone recall a structure determined by a 3rd order partial derivative? not the general nth order of recent Baranovsky
2answers
697 views

### The rank of a not necessarily finitely generated module.

This question is motivated by this one. The main point of the question (was) to try to weaken the notion of rank. After the answers and comments, it seems this is not a good way to do it, but perhaps ...
1answer
1k views

### An example of a rank one projective R-Module that is not invertible

Let $R$ be a commutative noetherian ring. I know that an $R$-module is invertible iff it is finitely generated and locally free of rank one. I presume then that there are examples of non-finitely ...
0answers
456 views

### Principal $G$-bundles as fully extended TQFTs, and $n$-representations

This is a follow up to this MO question: Fully dualizable objects in classical field theories Assuming the notation there (which in turn come from Topological Quantum Field Theories from Compact Lie ...
6answers
4k views

### Simplest examples of nonisomorphic complex algebraic varieties with isomorphic analytifications

If they are not proper, two complex algebraic varieties can be nonisomorphic yet have isomorphic analytifications. I've heard informal examples (often involving moduli spaces), but am not sure of the ...
2answers
522 views

### Cohen-Macaulay domain with non-Cohen-Macaulay normalization?

Is the normalization of a Cohen-Macaulay domain necessarily Cohen-Macaulay? I suspect that the answer is no, but I don't have a counterexample. I am most interested in "geometric" situations, so one ...