**27**

votes

**0**answers

2k views

### The Work of Pierre Deligne

In this biography of Pierre Deligne, there is a quote of Jacques Tits which says that "quite a few of his best ideas have never been written!".
What are some of his best ideas that you have heard of ...

**26**

votes

**0**answers

2k views

### Why “open immersion” rather than “open embedding”?

When topologists speak of an "immersion", they are quite deliberately describing something that is not necessarily an "embedding." But I cannot think of any use of the word "embedding" in algebraic ...

**24**

votes

**0**answers

1k views

### Name of amateur who gave a new proof of the Ramanujan-Nagell theorem?

In an article by George Johnson in the New York Times back in 1999, it says that an amateur mathematician from India once sent Ian Stewart a proof of the Ramanujan-Nagell theorem that the Diophantine ...

**22**

votes

**0**answers

589 views

### Good ways to organize old personal mathematical resources

I am wondering how the other Mathematicians organize their old mathematical resources, like calculation drafts, class and seminar notes etc.
These old resources may be related to a wide range of ...

**16**

votes

**0**answers

1k views

### Origins of the Nerve Theorem

Recently, I've read two papers which have cited the Nerve Theorem, one crediting Borsuk with the result and another Leray. Here is the question:
Who was the first to prove the Nerve Theorem?

**14**

votes

**0**answers

519 views

### Motivation for Hall-Witt identity

I've wondered for a while about the (Hall-)Witt identity in group theory:
$[[a,b^{-1}],c]^b \cdot [[b,c^{-1}],a]^c \cdot [[c,a^{-1}]],b]^a = 1$.
(Here, $x^y$ means $y^{-1}xy$ and $[x,y]$ ...

**12**

votes

**0**answers

205 views

### Research situation in the field of Information Geometry

I am now doing an article survey on the field of information geometry started by S.Amari and Barndorff-Nielson. I want to know some research situation in this field.
I have read (4) and parts of (3). ...

**12**

votes

**0**answers

518 views

### “To operate the machine, it is not necessary to raise the bonnet.”

The quotation in the title is attributed to Frank Adams and appears in several places:
In the preface of [2002, Operads in algebra, topology and physics]: "to operate the machine, it is not ...

**11**

votes

**0**answers

199 views

### Eilenberg's rational hiererchy of nonrational automata & languages — where is it now?

In the preface to his very influential books Automata, Languages and Machines (Volumes A, B), Samuel Eilenberg tantalizingly promised Volumes C and D dealing with "a hierarchy (called the rational ...

**10**

votes

**0**answers

398 views

### Which journals publish applied mathematics with mostly pure mathematics content?

In the spirit of Which journals publish expository work? please advise:
What consistently high quality journals$^1$ today publish results that would otherwise go to a pure mathematics journal if ...

**10**

votes

**0**answers

412 views

### State of research in moduli space of flat connections

I am a recent PhD student trying to settle into a research topic. Even though I have a current project I am working on, I am not particularly enjoying it and would like to switch. Before braving the ...

**8**

votes

**0**answers

406 views

### How much algebraic geometry do I need to study complex geometry?

As one can deduce from the questions I have asked on MO, I'm interested in complex geometry. I am aware that there are many facets to the field, some of which I am more comfortable with than others. ...

**8**

votes

**0**answers

457 views

### Number Theory over $\mathbb{F}_q [t]$, why is it important/interesting?

This is something I was curious about, but not really sure why. I was hoping maybe someone could give me a good explanation. I understand that there are
similarities between $\mathbb{Z}$ and ...

**8**

votes

**0**answers

172 views

### Literature that helps explain what the theory of numerosities contributes with

Since 2003 a group of Italian mathematicians (Benci, Di Nasso and Forti) has developed a new measure for infinite sets that satisfies the Euclidian principle: The whole is greater than the part. The ...

**8**

votes

**0**answers

165 views

### Tangent space, metrics etc. on simplicial sets

Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting?
...

**8**

votes

**0**answers

402 views

### Composition of two formal series

There are two formal semi-infinite Laurent series
$$
f_+(z)=z+\sum_{k=2}^{\infty} a_k z^k
$$
and
$$
f_-(z)=z+\sum_{k=0}^{\infty} b_k z^{-k}
$$
Their composition (we assume that this composition ...

**8**

votes

**0**answers

740 views

### triangulated/derived categories in Physics and algebraic geometry

Why do physicists care about the triangulated/derived categories?
I mean what are the problems we want to approach using the machinery of triangulated/derived categories. e.g. in homological mirror ...

**7**

votes

**0**answers

278 views

### What would you do if you improve your own result that is submitted but not publishied?

Here is a hypothetical situation:
You have proved a result and written up a paper about it. You have submitted your article to some journal and it is being reviewed.
While you are waiting, you have ...

**7**

votes

**0**answers

282 views

### Use of an appendix in a long paper

I am writing a long paper (around 100 pages). I would consider 50 pages of it interesting in that it solves a problem of some significance in my field and contains an number of difficult ideas in the ...

**7**

votes

**0**answers

276 views

### Why is the Dynamical Mordell-Lang conjecture interesting?

The gist of the Dynamical Mordell-Lang conjecture is:
Let's say you have a set $S$. Inside $S$, you have a point $x$ where you start off at. Now, you also have a function $f: S \rightarrow S$ (is ...

**7**

votes

**0**answers

229 views

### History of the characterization of commutative Artin rings

When it comes to the world of "classical" (pre-homological) Noetherian commutative algebra, I tend to think of most of the results (Krull's intersection theorem, the principal ideal theorem, etc.) as ...

**7**

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: ...

**7**

votes

**0**answers

201 views

### Fixed marginals of joint distribution: status

One of the well-known problems of classical probability theory is the determination of the set of all extreme points in the convex set of all probability distributions in a product Borel space $\left ...

**7**

votes

**0**answers

238 views

### Is it possible to define a perverse $t$-structure for a certain triangulated category of sheaves of spectra?

The perverse t-structure for the derived category of complexes of sheaves is certainly a mighty tool for studying cohomology. My question is: does there exist any homotopy-theoretic analogue for it ...

**6**

votes

**0**answers

262 views

### Have topographs been studied before?

This is my first post on MO so I hope this question is suitable. I have quite a few definitions which I will need to state before my questions at the end of this post. Please let me know if anything ...

**6**

votes

**0**answers

313 views

### Etale Slice Theorem

I found the Luna's Slice Theorem very Technical. It will be helpful if someone illustrates the geometry involved in the theorem. Also why this theorem so useful?
This is Luna's Slice theorem from a ...

**6**

votes

**0**answers

415 views

### Any reason to believe that $NP \neq P$ is unprovable in ZFC

We know $NP \neq P$ from a lot of point of view like empirical reason,or theoretical reasons such as finite model theory or descriptive complexity.Although we find so many reasons to believe $NP \neq ...

**6**

votes

**0**answers

116 views

### Duality between large and small scale structures

A rather immediate reaction to seeing the definition of a coarse structure, at least to me, is to be reminded of a uniform structure. The axioms for a coarse structure $\mathcal{C}$ (defined by a ...

**6**

votes

**0**answers

292 views

### Where does the term “torsor” come from?

Is there a heuristic reason why pricipal homogeneus spaces of a group (object) $G$ (in some categories) are called $G$-torsors? Does it have anything to do with the idea of "torsion", somehow? When ...

**6**

votes

**0**answers

539 views

### Mathematical etiquette: Rephrasing / restructuring a work, limited release (with attribution) acceptable?

Hello,
I am reading a mathematics textbook (which one is irrelevant, and I do not wish to insult the author if (s)he happens to be reading this). One section relies quite a bit on an appendix and ...

**5**

votes

**0**answers

465 views

### Refereeing a paper containing strong statements about other papers

The title says it all. Suppose you are refereeing a paper where the author A makes strong statements about other papers by a different author B, like: the proof of Theorem 1 in paper [B] is wrong and ...

**4**

votes

**0**answers

205 views

### Why is the density function of a sum of many iid random variables (i.e., the Gaussian) self-dual?

In the usual proof of the central limit theorem via characteristic functions, we note that if $X_1, \dots, X_n$ are independent and identically distributed, with probability density function $f(x)$, ...

**4**

votes

**0**answers

160 views

### Stable homotopy of spheres non-locally

Are there any results/conjectures about the stable homotopy groups of spheres that relate the picture at different primes? Something like Gauss's reciprocity law in number theory?
I know about the ...

**4**

votes

**0**answers

95 views

### Categorical notions involving $\ell_p$ spaces.

First of all, apologies for a somewhat vague question but let me give a try. We know what the projective objects in the category of Banach spaces are: these are precisely $\ell_1(\Gamma)$-spaces. (One ...

**4**

votes

**0**answers

302 views

### Stability conditions for coherent sheaves and GIT

I am learning stability conditions for derived categories of coherent sheaves, following Bridgeland, and coming from a vector bundles background. $\mu$-stability for vector bundles has a clear GIT ...

**4**

votes

**0**answers

243 views

### Seminar Notes Repository

On Seminars, people actually talk a lot more about motivations than when they write in paper. It would be a good idea if there is an online repository where people can upload notes (handwritten, ...

**4**

votes

**0**answers

475 views

### How would you cite a result that it is not quite correct, but whose proof contains some useful ideas

There is a paper that was published 15 years ago; one of the theorems in it is wrong in general. A few years ago some people told the author that this theorem is wrong as stated, but yet a partial ...

**4**

votes

**0**answers

845 views

### What did Hilbert do on Hilbert spaces to deserve his name?

This question is just curiosity. When I had my first course in Functional Analysis, most of basic theorems about Banach spaces were presented to me as attributed to Banach (Hahn-Banach, ...

**4**

votes

**0**answers

549 views

### Two different theorems but only one fact?

Let me first state an example:
Let $X$ be the multiplication operator on the polynomials in $x$ defined by $Xf(x)=xf(x)$ and let $D$ be the differentiation operator defined by $Df(x) = f'(x).$
...

**3**

votes

**0**answers

88 views

### Looking for a natural definition of certain polynomials associated with skew Young diagrams

Consider a connected skew Young diagram in the English notation and then rotate it counterclockwise by $\pi/4$. This rotation can be avoided by simply replacing "rows" by "diagonals" in the below, but ...

**3**

votes

**0**answers

79 views

### Choice of MIP (mixed integer programming) solver

I would start using MIP solver for the research on the tiling.
I know (heard of) the open source solver jump:
https://github.com/JuliaOpt/JuMP.jl
and also the gold standard solver from IBM cplex.
...

**3**

votes

**0**answers

163 views

### Looking for author of calculus quote

When I was a lowly calculus student many many years ago, my calculus teacher quoted some famous mathemtician: "Calculus is the last course in arithmetic and the first course in mathematics that one ...

**3**

votes

**0**answers

209 views

### A paper by Elashvili (translation request)

I would like to know if there is an English version of a paper by Elashvili called "Centralizers of nilpotent elements in semisimple Lie algebras".
If not, is there atleast an online version of the ...

**3**

votes

**0**answers

196 views

### Is it difficult to prove that nature is chaotic?

If we have a Markov coding or another symbolic description of a dynamical system it is usually easy to prove that the system is chaotic (in the sense of of Li-York, Devaney, positive entropy of what ...

**3**

votes

**0**answers

391 views

### From complexity to topology after a CS PhD

Let me start by apologizing for the soft and lengthy nature of the question.
I am a third year graduate student (in India) working in complexity theory. Early this year, I developed an interest for ...

**3**

votes

**0**answers

288 views

### A Question Regarding Boolean-valued Models

What were the intuitions motivating the creation (or discovery, if you will) of Boolean-valued models? I have searched for the Scott-Solovay paper on the subject, but to no avail. There also seems to ...

**3**

votes

**0**answers

148 views

### Who defined the Inertia Group $I(M^n)\subset\Theta_n$ of a smooth manifold?

If you're unfamiliar with the definition, for an oriented smooth manifold $M^n$ we define the inertia group $I(M)$ to be the set of (h-coboridsm classes of) homotopy spheres $\Sigma^n$ such that ...

**2**

votes

**0**answers

40 views

### Can Mumford-Shah functional be adapted to lower $L^1$ space?

The well know Mumford-Shah functional functional
$$
F(u)=\int_\Omega|\nabla u|^2+\mathcal H^{N-1}(S_u) \tag 1
$$
where $u\in SBV(\Omega)$ and $\nabla u$ is the absolutely continuous part of ...

**2**

votes

**0**answers

55 views

### Families of trigonal curves with hyperelliptic limit

Suppose I have a family of trigonal curves $C\to D$ over a closed disk $D$ where the central fiber $C_0$ is hyperelliptic (this is of course possible since the hyperelliptic locus is in the closure of ...

**2**

votes

**0**answers

111 views

### algorithm to find a new point of small height in a number field extension

By the height of an algebraic number $\alpha$, I mean the absolute, logarithmic (additive) Weil height $h(\alpha)$; e.g. $h(2^{1/n}) = (\log 2)/n.$
If $K$ is a number field, let $\delta(K)$ denote ...