Unanswered Questions

272,394 questions with no upvoted or accepted answers
358
votes
0answers
14k views

The Ring Game on $K[x,y,z]$

I recently read about the Ring Game on MathOverflow, and have been trying to determine winning strategies for each player on various rings. The game has two players and begins with a commutative ...
348
votes
0answers
11k views

Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...
209
votes
0answers
12k views

Limit of sequence of growing matrices

Let $$ H=\left(\begin{array}{cccc} 0 & 1/2 & 0 & 1/2 \\ 1/2 & 0 & 1/2 & 0 \\ 1/2 & 0 & 0 & 1/2\\ 0 & 1/2 & 1/2 & 0 \end{array}\right), $$ $K_1=\left(\...
160
votes
0answers
3k views

Is there a categorical definition of submetry?

(Updated to include effective epimorphism.) This question is prompted by the recent discussion of why analysts don't use category theory. It demonstrates what happens when an analyst tries to use ...
123
votes
0answers
6k views

Is this really a categorical approach to integration?

Here's an article by Reinhard Börger I found recently whose title and content, prima facie, seem quite exciting to me, given my misadventures lately (like this and this); it's called, "A Categorical ...
105
votes
0answers
2k views

Application of Hilbert's basis theorem in representation theory

In Smalo: Degenerations of Representations of Associative Algebras, Milan J. Math., 2008 there is an application of Hilbert's basis theorem that I don't understand: Two orders are defined on the set ...
96
votes
0answers
3k views

What is the Picard group of $z^3=y(y^2-x^2)(x-1)$?

I'm actually doing much more with this affine surface than just looking for the Picard group. I have already proved many things about this surface, and have many more things to look at it, but the ...
89
votes
0answers
1k views

Does every ring of integers sit inside a ring of integers that has a power basis?

Given a finite extension of the rationals, $K$, we know that $K=\mathbb{Q}[\alpha]$ by the primitive element theorem, so every $x \in K$ has the form $$x = a_0 + a_1 \alpha + \cdots + a_n \alpha^n,$$ ...
75
votes
0answers
1k views

$\frac{1}{n}$ as a difference of Egyptian fractions with all denominators $<n$

Is there a good characterization of the set $S$ of positive integers $n$ such that $\frac{1}{n}$ can be represented as a difference of Egyptian fractions with all denominators $< n$? For example, $...
74
votes
0answers
2k views

Sorting of prime gaps

Let $g_i $ be the $i^{th}$ prime gap $p_{i+1}-p_i.$ If we re-arrange the sequence $ (g_{n,i})_{i=1}^n$ so that for any finite $n$ the gaps are arranged from smallest to largest we have a new sequence ...
72
votes
0answers
916 views
+50

Geometric way to view the truncated braid groups?

This is perhaps a vague question, but hopefully there exists literature on the subject. The question is motivated by an answer I gave to this question. I also asked a related question on MO, although ...
71
votes
0answers
5k views

Pullback and Pushforward Isomorphism of Sheaves

Suppose we have two schemes $X, Y$ and a map $f\colon X\to Y$. Then we know that $\operatorname{Hom}_X(f^*\mathcal{G}, \mathcal{F})\simeq \operatorname{Hom}_Y(\mathcal{G}, f_*\mathcal{F})$, where $\...
69
votes
0answers
1k views

Tate conjecture for Fermat varieties

I've been looking at Tate's Algebraic Cycles and Poles of Zeta Functions (hard to find online... Google books outline here) and have a question about his work on (conjecturing!) the Tate conjecture ...
66
votes
0answers
2k views

Arithmetic-geometric mean of 3 numbers

The arithmetic-geometric mean$^{[1]}$$\!^{[2]}$ of 2 numbers $a$ and $b$ is denoted $\operatorname{AGM}(a,b)$ and defined as follows: $$\text{Let}\quad a_0=a,\quad b_0=b,\quad a_{n+1}=\frac{a_n+b_n}2,...
60
votes
0answers
879 views

Classification of local Artin (commutative) rings which are finite over an algebraically closed field.

A result in deformation theory states that if every morphism $Y=\operatorname{Spec}(A)\rightarrow X$ where $A$ is a local Artin ring finite over $k$ can be extended to every $Y'\supset Y$ where $Y'$ ...

15 30 50 per page