# All Questions

**77**

votes

**9**answers

9k views

### Analogues of P vs. NP in the history of mathematics

Recently I wrote a blog post entitled "The Scientific Case for P≠NP". The argument I tried to articulate there is that there seems to be an "invisible electric fence" separating the problems in P ...

**8**

votes

**1**answer

177 views

### Realization Functor From $SH$ to Derived Category of $Gal$-Modules

Let $k$ be a field. I would like a reference for realization functors from Morel-Voevodksy's stable category $SH(k)$ to the derived categories of $Gal(\bar{k}/k)$-modules. Has something like this been ...

**66**

votes

**17**answers

31k views

### Periods and commas in mathematical writing

I just realized that I am a barbarian when it comes to writing. But I am not entirely sure, so this might be the right place to ask. When typing display-mode formulae do you guys add a period after ...

**5**

votes

**2**answers

346 views

### Explicit Isomorphism between $Cl(8)$ and $\mathbb{R}(16)$

I am looking for a explicit isomorphism between $Cl(8)$ (Clifford algebra over $\mathbb{R}^8$ with standard Euclidean metric) and $\mathbb{R}(16)$ (algebra of $16\times 16$ matrices over ...

**37**

votes

**25**answers

8k views

### Theorems for nothing (and the proofs for free) [closed]

Some theorems give far more than you feel they ought to: a weak hypothesis is enough to prove a strong result. Of course, there's almost always a lot of machinery hidden below the waterline. Such ...

**4**

votes

**0**answers

79 views

### Local factors of Tamagawa measure

This is a reference request to some computations which I hope can be found in the literature somewhere.
Let $G\subset GL_n$ be a semisimple linear algebraic group over $\mathbb Q$. The Tamagawa ...

**46**

votes

**11**answers

5k views

### Compelling evidence that two basepoints are better than one

This question is inspired by an answer of Tim Porter.
Ronnie Brown pioneered a framework for homotopy theory in which one may consider multiple basepoints. These ideas are accessibly presented in his ...

**12**

votes

**1**answer

312 views

### Applications of Lubotzky's linearity theorem?

Lubotzky's theorem is a necessary and sufficient set of conditions for a finitely generated discrete group to be linear, i.e. isomorphic to a subgroup of $GL_n(K)$, where $K$ is a field of ...

**2**

votes

**1**answer

232 views

### Octonions product: inversion in the right and identity in the left

Once octonions product is studied, together with the relations with $Spin(8)$ and $SO(8)$ geometry (see for instance Robert Bryant's notes), one realises that the key fact bringing all the phenomena ...

**5**

votes

**0**answers

62 views

### Rate of convergence of Riemann sum of quasi-regular functions

The following result is well-known (I consider the 3-dimensional case only):
Theorem: if $f \in H^s(\mathbb{R}^3)$ with $ s > 3/2$ is compactly supported, then
$$
\left| \int_{\mathbb{R}^3} f - ...

**16**

votes

**1**answer

499 views

### Geometric generic fibre

This is a pretty elementary question about schemes, but it came up in the course of research, so let's try it here rather than MSE.
Question 1: Are the fibres of a family of complex varieties ...

**25**

votes

**8**answers

4k views

### How should one think about sheafification and the difference between a sheaf and a presheaf

The first time I got in touch with the abstract notion of a sheaf on a topological space $X$, I thought of it as something which assigns to an open set $U$ of $X$ something like the ring of continuous ...

**31**

votes

**7**answers

4k views

### Is there a preferable convention for defining the wedge product?

There are different conventions for defininig the wedge product $\wedge$.
In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$,
in Spivak, we find ...

**12**

votes

**2**answers

2k views

### Mysterious quotes (at least for me)

I heard two quotes, one from Alain Connes and an other one from Orlov.
Alain Connes was talking about noncommutative geometry and he said the following:
" a noncommutative algebra creates its own ...

**8**

votes

**1**answer

301 views

### Foliations of Lorentzian manifolds by Spacelike Hypersurfaces

Suppose that $M$ is a Lorentzian manifold (not necessarily satisfying Einstein's equations). What conditions do we need in order to guarantee that $M$ admits a foliation by codimension-$1$ spacelike ...

**44**

votes

**3**answers

2k views

### Operations via Morse Theory

I am interested in seeing if and how Morse Theory can "do everything". Some core things are handle decomposition, Bott periodicity, and Euler characteristic. But what do the normal (co)homology ...

**25**

votes

**7**answers

8k views

### Changing Careers: Becoming a Professional Mathematician

First, I apologize if this question is too soft or doesn't comport precisely with what is considered a good question, but I know of no other place to ask it.
A little background: I obtained an ...

**93**

votes

**4**answers

6k views

### If $2^x $and $3^x$ are integers, must $x$ be as well?

I'm fascinated by this open problem (if it is indeed still that) and every few years I try to check up on its status. Some background: Let $x$ be a positive real number.
If $n^x$ is an integer for ...

**33**

votes

**7**answers

17k views

### Example of a good Zero Knowledge Proof.

I am working on my zero knowledge proofs and I am looking for a good example of a real world proof of this type. An even better answer would be a Zero Knowledge Proof that shows the statement isn't ...

**24**

votes

**3**answers

1k views

### Function extensionality: does it make a difference? why would one keep it out of the axioms?

Yesterday I was shocked to discover that function extensionality (the statement that if two functions $f$ and $g$ on the same domain satisfy $f\left(x\right) = g\left(x\right)$ for all $x$ in the ...

**15**

votes

**4**answers

3k views

### Classification of finite groups of isometries

Consider the problem of classifying the finite groups of isometries of $\mathbb{R}^n$.
For $n=2$ it is cyclic and dihedral groups.
For $n=3$ they are well known, probably from Kepler and are related ...

**18**

votes

**4**answers

2k views

### How do we know that P != LINSPACE without knowing if one is a subset of the other?

I've seen that P != LINSPACE (by which I mean SPACE(n)), but that we don't know if one is a subset of the other.
I assume that means that the proof must not involve showing a problem that's in one ...

**5**

votes

**2**answers

308 views

### Self-adjoint extensions and delta potentials

Is there a self-adjoint extension of an operator that corresponds to a particle in a box $[a,b] \times [c,d] \subset \mathbb{R}^2$ with a delta potential, i.e., $-\Delta + \lambda \delta_y $ on ...

**42**

votes

**8**answers

5k views

### Questions about analogy between Spec Z and 3-manifolds

I'm not sure if the questions make sense:
Conc. primes as knots and Spec Z as 3-manifold - fits that to the Poincare conjecture? Topologists view 3-manifolds as Kirby-equivalence classes of framed ...

**3**

votes

**0**answers

96 views

### Action of automorphisms on cohomology with supports

Let $x$ be the closed point of an $n$-dimensional local scheme $X$, essentially smooth over a field $k$. Let $M$ be a sheaf on the category of smooth $k$-varieties (in either Zariski or Nisnevich ...

**0**

votes

**1**answer

469 views

### Is there any open Ricci-flat ALE 4-manifold other than Hyper-Kahler ALE 4-manifolds?

Concerning my previous question Non simply connected HyperKähler 4-manifolds without ALE metrics the following question occurred to me:
Is there any open Ricci-flat ALE 4-manifold other than ...

**13**

votes

**1**answer

609 views

### Bass' stable range condition for principal ideal domains

In his algebraic K-Theory book Bass gives the following property on a ring $R$ and a number $n$:
For every $n$ elements $v_1, \ldots, v_n$ that generate the unit ideal there are numbers $r_1, \ldots ...

**34**

votes

**4**answers

2k views

### Are the rationals homeomorphic to any power of the rationals?

I asked myself, which spaces have the property that $X^2$ is homeomorphic to $X$. I started to look at some examples like $\mathbb{N}^2 \cong \mathbb{N}$, $\mathbb{R}^2\ncong \mathbb{R}, C^2\cong C$ ...

**28**

votes

**7**answers

8k views

### Way to memorize relations between the Sobolev spaces?

Consider the Sobolev spaces $W^{k,p}(\Omega)$ with a bounded domain $\Omega$ in n-dimensional Euclidean space. When facing the different embedding theorems for the first time, one can certainly feel ...

**2**

votes

**1**answer

234 views

### About embedding pure motives into the triangulated category of mixed motives and some further questions about motivic cohomology

I have tried reading some texts about motives, mainly motivic cohomology (Bloch's " Lectures on Algebraic Cycles", Voevodsky's "Motivic Cohomology" etc). However some things confused me. I don't know ...

**19**

votes

**4**answers

1k views

### Computing the Zariski closure of a subgroup of SL(n,Z)

Suppose $\Gamma$ is a finitely generated subgroup of $SL(n,\mathbb{Z})$, given as a list of generators. We would like to (somewhat efficiently) try to compute the Zariski closure of $\Gamma$, which is ...

**2**

votes

**1**answer

541 views

### Calculate channel capacity of general channel under constraint

Given a conditional distribution $P_{Y|X}$ I'd like to find the prior distribution $P_X$ that maximizes the mutual information $I(X;Y)$ with $P_Y(y)=\int P_{Y|X}(y|x)P_X(x)\text{dx}$ (this corresponds ...

**23**

votes

**3**answers

1k views

### Intuitive pictures in characteristic p

This is a tough one, but does anyone know of any images that recall characteristic p geometry (over algebraically closed fields) in some sense? It is not enough if it is some picture that can be also ...

**4**

votes

**2**answers

502 views

### Bounding the minimal maximum norm of a solution of a linear system.

I would be grateful for pointing me out a reference to some general bound on the $\ell_{\infty}$ norm of a solution of a linear system. To be specific, suppose that we have an underdetermined linear ...

**12**

votes

**3**answers

2k views

### Analysis from a categorical perspective

I have not studied category theory in extreme depth, so perhaps this question is a little naive, but I have always wondered if analysis could be taught naturally using categories. I ask this because ...

**41**

votes

**3**answers

2k views

### What are the higher homotopy groups of Spec Z ?

The homotopy groups of the étale topos of a scheme were defined by Artin and Mazur. Are these known for Spec Z? Certainly π1 is trivial because Spec Z has no unramified étale ...

**17**

votes

**0**answers

449 views

### Smooth curves on smooth varieties

Let $X$ be a smooth, proper algebraic variety over a field $k$, of positive dimension.
Is it true that $X$ contains a smooth Zariski-closed curve?
If it is projective, this is true by Bertini. But ...

**2**

votes

**0**answers

230 views

### l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...

**33**

votes

**3**answers

2k views

### If Spec Z is like a Riemann surface, what's the analogue of integration along a contour?

Rings of functions on a nonsingular algebraic curve (which, over $\mathbb{C}$, are holomorphic functions on a compact Riemann surface) and rings of integers in number fields are both examples of ...

**2**

votes

**0**answers

120 views

### Tubular neighborhoods in the proof of the Morse homology theorem

I have a question regarding the proof of the Morse homology theorem given by D. Salamon in "Morse theory, the Conley index and Floer homology". The full text can be found here:
...

**4**

votes

**0**answers

148 views

### $S^{3}$-valued harmonic analysis

Edit:
Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider
$$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid ...

**0**

votes

**0**answers

85 views

### Is the Nisnevich topology quasi compact?

We only consider schemes that are smooth and separated over a field $K$. Let $\{X_i\longrightarrow X\}_{i\in I}$ be a Nisnevich covering of a scheme $X$ (all $X_i$ and $X$ are smooth and separated). ...

**9**

votes

**0**answers

253 views

### How many ideals are there in $B(H)^{**}$?

It is well-known (and easy to prove) that the only closed ideals of $B(\ell_2)$ are $\{0\}$, $B(\ell_2)$ and $K(\ell_2)$, the ideal of compact operators on $\ell_2$. I am curious whether we know what ...

**8**

votes

**5**answers

1k views

### Homeomorphism of the rationals

In working with the classification of stable vector bundles on $\mathbb{P}^2$, I've found that I need to answer a fairly basic question from analysis/point set topology. Here it is.
Suppose ...

**4**

votes

**2**answers

647 views

### Industry jobs involving mathematics, machine learning and biology [closed]

I have a MSc in Mathematics and a PhD in Bioinformatics (in two different European countries); during the PhD I was developing computational methods to analyse DNA sequence data, mainly using a ...

**1**

vote

**1**answer

592 views

### Branch points of a non-constant holomorphic map between compact riemann surfaces

While working on a project for mathematics I came across the following lemma: [Kock]
If $X$ is a curve defined over an algebraically closed subfield $N$ of $\mathbb{C}$ and let $t:X\rightarrow ...

**7**

votes

**3**answers

668 views

### Representable Presheaf

I have a very quick question. Is there an easy example of a representable presheaf on a site that is not a sheaf? This certainly can't happen on a small FPPF site so I would expect a counterexample to ...

**8**

votes

**3**answers

1k views

### Why are isometries of Minkowski space necessarily linear?

The Mazur-Ulam theorem says that any surjective isometry of normed vector spaces is affine. This argument doesn't seem to apply to Minkowski space (of special relativity) since the metric is ...

**3**

votes

**1**answer

546 views

### Does exist a $\varepsilon$-tubular neighborhood of a smooth complex quasi-affine algebraic variety

By a complex quasi-affine variety i mean the complement of an affine algebraic variety with respect to another algebraic variety, more precisely a quasi-affine algebraic variety is
$$V= ...

**3**

votes

**2**answers

1k views

### A question on Ricci curvature and Ricci form.

It seems to me that there are two definition of Ricci flatness; real and complex ones. The real Ricci flatness claims vanishing of Ricci curvature. To define complex Ricci flatness, one needs to ...