-4
votes
0answers
87 views

Löwenheim–Skolem as an argument for discrete mathematics? [closed]

At least as far as first-order theories go, one could construe the (downward) Löwenheim–Skolem theorem as an incentive to invest more in discrete models rather than in continuous ones. This would ...
54
votes
9answers
4k views

How does one find out what's happening in contemporary mathematics research?

How does one find out what's happening in contemporary mathematics research? EDIT: I should have mentioned that I am looking for open access online sources. It so happens that I have been outside ...
5
votes
0answers
71 views

Classifying two-faces of four-polytopes

Motivation: This question is related to my study of hyperbolic Coxeter polytopes. In general, if one put some restrictions on the type of their dihedral angles (say, all dihedral angles are equal to ...
3
votes
0answers
474 views

Differential Galois number theory

Following http://math.stackexchange.com/questions/635659/can-the-error-term-involved-in-the-pnt-be-expressed-in-a-galois-theoretic-framew?noredirect=1#comment1341143_635659, I vainly tried to find ...
16
votes
1answer
497 views

Monte Carlo integration

As probably many other people here, I learned integration, as an undergrad, from Rudin's books. I recently realized, however, that I don't quite use Lebesgue integration in my work, or at least I use ...
18
votes
5answers
2k views

A toolbox for algebraic topology

This question has a very general part and a rather concrete part. General: When one wants to prove something in algebraic topology (actually in all parts of mathematics) one obviously needs some ...
3
votes
0answers
195 views

Finite subgroups of the unimodular group

This is related to this MO question (and others as well). Hoping that this will not turn out to be too broad, I would like to know about the 'state of the art' of: 1) The problem of classifying ...
42
votes
6answers
4k views

What is the significance of non-commutative geometry in mathematics?

This is a question that has been winding around my head for a long time and I have not found a convincing answer. The title says everything, but I am going to enrich my question by little more ...
2
votes
1answer
411 views

Hilbert's 3rd problem,number theory, motives, cyclic homology,…

This talk by Jinhyun Park connects a lot of interesting themes, making me curious to read more about that. Do you know where?
38
votes
24answers
6k views

The concept of Duality

I have been thinking for sometime about asking this question, but because I did not want to have two "big-list" questions open at the same time, I did not ask this one. Now its time has come. ...
15
votes
8answers
4k views

The first eigenvalue of a graph - what does it reflect?

A big-picture question: what "physical properties" of a graph, and in particular of a bipartite graph, are encoded by its largest eigenvalue? If $U$ and $V$ are the partite sets of the graph, with the ...
7
votes
0answers
273 views

Canonical Time Evolution for Type $II_{1}$-Factors?

This question was spurred by the answer of Steve Huntsman to the MO question here. The Tomita-Takesaki modular automorphism group gives rise to a canonical time evolution on a type $III$ factor ...
3
votes
0answers
403 views

Quantized Calculus, the Hilbert Transform and the Upper Half-Plane

Given a *-algebra $\mathcal{A}$ over $\mathbb{C}$, a Fredholm module is a *-representation $\pi$ of $\mathcal{A}$ as operators on a Hilbert space $\mathcal{H}$ along with a self-adjoint operator $F$ ...
7
votes
2answers
2k views

Linear/Non-linear sigma model

This is slightly an open-ended invitation to discuss references and reasons for excitement about the linear and non-linear sigma model. I gauge from some other interactions that it has considerable ...
8
votes
6answers
1k views

Is the dual notion of a presheaf useful?

It seems that there is a common theme in mathematics where, if we want to find out about a category C, then we look at $\hat{C}$ (the category of contravariant functors from $C$ to $Set$). There are ...
64
votes
6answers
8k views

How to find ICM talks?

I am very interested in reading some and skimming through the list of invited talks at the International Congress of Mathematicians. Since the proceedings contain talks supposedly by top experts in ...
26
votes
5answers
5k views

Doing geometry using Feynman Path Integral?

I have often heard in the folk-lore that Feynman Path Integral can be used to compute geometric invariants of a space. Coming from a background of studying Quantum Field Theory from the books like ...
7
votes
5answers
1k views

Is it necessary that model of theory is a set?

From Model Theory article from wikipedia : "A theory is satisfiable if it has a model $ M\models T$ i.e. a structure (of the appropriate signature) which satisfies all the sentences in the set $T$". ...
6
votes
1answer
808 views

Elementary questions in arithmetic geometry

In many theories there is a rough divide between elementary problems that can be solved with "one's hands", and "deep results that require powerful tools". For example, I am told that Hodge theory is ...