This tag is used if a reference is needed in a paper or textbook on a specific result.

**5**

votes

**1**answer

105 views

### The definition of < in Robinson's Q

I recently had to explain how the basic axioms in Simpson's Subsystems of Second Order Arithmetic were interpretable in Robinson's Q. Most of the axioms are actually the same, except that Simpson ...

**1**

vote

**1**answer

48 views

### $RO(G)$-Graded Cohomology Theories

Let $G$ be a compact Lie group with real representation ring $RO(G)$. Recently, I have been learning about some aspects of $RO(G)$-graded cohomology theories (for a precise definition, see Chapter ...

**9**

votes

**1**answer

1k views

### Fourier transform of the unit sphere

The Fourier transform of the volume form of the (n-1)-sphere in $\mathbf R^n$ is given by the well-known formula
$$
\int_{S^{n-1}}e^{i\langle\mathbf a,\mathbf u\rangle}d\sigma(\mathbf u) = (2\pi)^{\nu ...

**1**

vote

**0**answers

169 views

### Grothendieck's letter to serre

Is it the letter dated in 27/08/1965 of Grothendieck where he presents to Serre the Standard conjectures on algebraic cycles?

**1**

vote

**1**answer

113 views

### Localization of symmetric monoidal category

Let $\mathcal M$ be a symmetric monoidal category, $S\subset \mathcal M$ a collection of objects and morphisms. I would like to construct the localization $\mathcal M \mathop{\longrightarrow}^T ...

**2**

votes

**3**answers

387 views

### Reference request: SGA7

I want to read SGA7. Without considering the others SGA and EGA, Which are the textbooks for monodromy theory?

**1**

vote

**0**answers

50 views

### A topological criterion for connectedness of a semi-ample divisor

I have a half page long proof of the following statement, and I would like to know if this is (a corollary of) a well known statement. Maybe there is a reference or a three lines proof?
Statement. ...

**3**

votes

**1**answer

136 views

### Ergodic theory reference for converging sequences of matrices

I have been told that the following is a well known theorem in ergodic theory & have been given the book by Furstenberg as a reference. However, I cannot find such a statement in it. Would anyone ...

**2**

votes

**1**answer

72 views

### References for the Keisler Order

Are there any good/modern references on the Keisler order. I have been reading Keisler's original paper, "Ultraproducts which are not Saturated", which introduces the order. However it is somewhat ...

**1**

vote

**3**answers

271 views

### A special case of the uniformization theorem

I am interested in a proof of the following fact :
Suppose that $X$ is a Riemann surface homeomorphic to the Riemann sphere. Then $X$ is conformally equivalent to the Riemann sphere.
Of course, this ...

**5**

votes

**1**answer

227 views

### Detection of stable homotopy by K-theory spectra

This is primarily a reference request. Does anyone know of any writing about algebraic K-theory spectra picking up elements in the stable homotopy groups of spheres in their Hurewicz image coming from ...

**13**

votes

**2**answers

1k views

### Fermat's proof for $x^3-y^2=2$

Fermat proved that $x^3-y^2=2$ has only one solution $(x,y)=(3,5)$.
After some search,i found only proofs using factorization over the ring $Z[\sqrt{-2}]$.
My question is:
Is this Fermat's ...

**2**

votes

**0**answers

28 views

### Generators for lattice polytopes

Let $V$ be a finite set of integral vectors in $\mathbb{R}_n$. Consider the real (positive) convex cone $\mathbb{R}^+V$ spanned by $V$. We can assume that all vectors in $V$ are extremal in ...

**5**

votes

**1**answer

234 views

### Serious introduction to the Langlands program for nonspecialist

I recently became interested in the Langlands program and hope to learn more.
For context, I am an analytic number theorist but have some light background in algebraic number theory and modular ...

**7**

votes

**3**answers

501 views

### nth term in the Baker-Campbell-Hausdorff formula

I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...

**2**

votes

**2**answers

197 views

### Basic questions on the Hilbert scheme/ Douady space

Let $X$ be a complex projective scheme (resp. complex analytic space). The Hilbert scheme (resp. Douady space) parameterizes closed subschemes (resp. complex analytic subspaces) of $X$. More ...

**1**

vote

**0**answers

86 views

### References for crystal bases and Demazure modules in representation theory

I was wondering what are some standard general references/books/survey articles about: (1) crystal bases, and string parameterizations and (2) Demazure modules, and Schubert varieties (containing ...

**9**

votes

**3**answers

1k views

### Weil's Riemann Hypothesis for dummies?

Weil's Riemann Hypothesis is a deep result that I don't fully understand, but it has understandable corollaries which interest me. For example:
(a) For any projective curve $X$ satisfying certain ...

**8**

votes

**0**answers

203 views

### (Reduced) cyclic homology of a free product of unital algebras

Shameless upfloat of 1-year old question - the motivation is that in general the corresponding Banach version is false, so I am trying to see where the proof breaks down, and what (if anything) can be ...

**-2**

votes

**0**answers

66 views

### Any other operators that may convert agebraic function into transcendental ones [on hold]

As we know,integral may convert or map a rational function or algebraic function into transcendental one,are there any other operators that may convert a rational function or algebraic function into ...

**0**

votes

**1**answer

184 views

### Is there is a known relation or expression containing the algebraic rank $r$?

Let $$L(C,s)=\sum_{n=1}^\infty \frac{a_n}{n^s}$$ be the Dirichlet series of the Hasse--Weil L-function of an elliptic curve $C$ over $ℚ$. The modularity theorem implies that $L(C,s)$ is the ...

**0**

votes

**1**answer

236 views

### a book comparable to Development of mathematics in the 19th century by F.Klein? [on hold]

This book is apparently very interesting according to Vladimir Arnold. I couldn't get my hand on a copy yet, therefore I would to ask you for any reference similar to it, and also can you post ...

**1**

vote

**2**answers

92 views

### Asymptotics and error terms for an arithmetic function built upon $\omega$ and $\Omega$ functions

For any real number $x$, let's define $Om_{k}(x)$ as the number of positive integers $m$ below $x$ such that $\Omega(m)-\omega(m)=k$, where $\omega(n)$ is the number of distinct primes dividing $n$, ...

**2**

votes

**0**answers

116 views

### Noncommutative HKR theorem

What is the analog of HKR theorem in the noncommutative world?
Recall that the well-known theorem by Hochschild-Kostant-Rosenberg says that for a smooth commutative algebra $A$ of finite type ...

**-2**

votes

**0**answers

47 views

### Di Perna-Lions theory for transport equation [on hold]

Does someone know if some notes on the topic mentioned in the title are available online? I'm reading the paper "Ordinary differential equations, transport theory and Sobolev spaces" by Di Perna and ...

**2**

votes

**0**answers

42 views

### Uniformization/measurable selection theorems

Let $X,Y$ be measurable spaces and $F\subseteq X\times Y$. We say that $f:X\to Y$ is a uniformization map for $F$ if $(x,f(x))\in F$ for each $x\in \pi_X(F)$ where $\pi_X$ is the left projection map. ...

**1**

vote

**0**answers

45 views

### polynomial 0,1 integer programming

IS there a mathematical optimization branch that explicitly tries to optimize this (type) problem?
$$\eqalign{
& \min \cr
& \sum\limits_{i = 1}^N {(J*s[i] + {J_1}*s[i]*s[i + 1] + ...

**2**

votes

**1**answer

174 views

### Tools for Removing Radicals from Equations

I am currently doing some investigations on Sylvester's 4 Point Problem Probability of 4 Points being in Convex Configuration
and repeatedly face the problem of solving equations between sums of ...

**17**

votes

**6**answers

2k views

### A few questions about Kontsevich formality

[K] refers to Kontsevich's paper "Deformation quantization of Poisson manifolds, I".
Background
Let $X$ be a smooth affine variety (over $\mathbb{C}$ or maybe a field of characteristic zero) or ...

**2**

votes

**1**answer

291 views

### The Weyl algebra modules which are also rings

Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...

**6**

votes

**2**answers

572 views

### Given a cardinal k, what's the biggest dense linear order with a dense subset of size k?

It's not hard to show that for any cardinal $\kappa$, there is no dense linear order without endpoints (DLO) of size greater than $2^{\kappa}$ that has a dense subset of size $\kappa$. But one can ...

**0**

votes

**1**answer

176 views

### Trace map for sepeared morphism of non-singular varieties

I read about for any separable morphism of non-singular varieties $f:X'\to X$, one can define a homomorphism $\text{Tr}:f_*(\Omega_{X'}^q) \to \Omega_{X}^q$,so that the map $\Omega_{X}^q \to ...

**6**

votes

**1**answer

279 views

### Complex geometry text/research introduction for the analyst

To give some background, I am mainly an analyst trained in harmonic/functional and do work on geometric pde's and spectral multipliers. Of late, I am trying to learn more about (research level) ...

**24**

votes

**5**answers

4k views

### What is the etymology of the term “perverse sheaf”?

Grothendieck famously objected to the term "perverse sheaf" in Récoltes et Semailles, writing "What an idea to give such a name to a mathematical thing! Or to any other thing or living being, except ...

**4**

votes

**2**answers

134 views

### Visibility spaces and Gromov hyperbolicity

I would like to ask the community for a reference on the following subject: is there some thing as an equivalence between the definitions of Uniform Visibility manifolds and Gromov $\delta$-hyperbolic ...

**12**

votes

**19**answers

6k views

### Textbook recommendations for undergraduate proof-writing class

I am teaching the proof-writing class (for the 3rd time) in the Fall and plan to buck the party line and use a different text than the default Bond and Keane. My parameters are as follows:
Logic, ...

**1**

vote

**0**answers

28 views

### Jumps of jump diffusions

Let $W$ be a Brownian motion and $N$ a Poisson random measure defined on $\mathbb R_+ \times \mathbb R_0^n$ ($\mathbb R_0^n:=\mathbb R^n-\{0\}$) with compensator $\tilde N(dt,dz):= N(dt,dz) - dt ...

**0**

votes

**3**answers

169 views

### Specific Reference? Noncommutative topology and C^* algebras [closed]

I stumbled across this "dictionary for noncommutative topology" http://planetmath.org/noncommutativetopology
and I would be very interested in learning more on the subject, particularly I'd like to ...

**0**

votes

**1**answer

148 views

### Sufficient conditions for equality of measures related to harmonic functions

In Axler's book "Harmonic function theory" on this link http://www.latp.univ-mrs.fr/~chaabi/ARTICLES%20IMPORTANTS/Autres%20articles%20interessant/Livres/Harmonic%20Function%20theory.pdf on page 112 ...

**1**

vote

**0**answers

83 views

### How does one show that slope stability of a vector bundle is an open condition with respect to the polarisation?

I would like a source for the following result, which I expect to be true (probably well known):
Let $X$ be a complex projective variety, $L$ an ample line bundle and $E$ a slope stable vector bundle ...

**1**

vote

**1**answer

112 views

### Ratner theorem and dense geodesic planes in hyperbolic manifolds

Suppose we have a closed hyperbolic $3$-manifold $M$. For any $x\in M$ and plane $\pi$ in $T_xM$ we consider $P$ the geodesic plane exp$(\pi)$ originating from $\pi$. For any $p\in \pi$ we consider ...

**5**

votes

**1**answer

555 views

### Central extension of the algebraic loop group

I'm doing some constructions with the universal central extension $\widehat{\Omega G}$ of the loop group $\Omega G$ (here $G$ is a matrix group), where a priori the loops involved are just smooth, but ...

**0**

votes

**0**answers

280 views

### Conjectures on fractions where each digit appears once in numerator and denominator

This is a highly redacted version of a question that was asked before. Please see Criteria of considering relevance of the question to the domain of research topics for details.
Some numerical ...

**2**

votes

**0**answers

52 views

### Reference for MacMahon on Overpartitions

In the literature on overpartitions Percy A. MacMahon is usally cited as the genesis of the theory. Often the reference is to his 1916 textbook -- but, having recently checked this out of my school's ...

**1**

vote

**2**answers

91 views

### Does the Teichmüller space of the pair of pants admit a continuous global section?

Let $P$ be a pair of pants, $H(P)$ be the space of smooth hyperbolic Riemannian metrics with geodesic boundary on $P$, and $T(P)$ be the Teichmüller space of $P$ (quotient of $H(P)$ under smooth ...

**1**

vote

**1**answer

277 views

### When flatness of a morphism implies smoothness?

EDIT: Let $f\colon X\to C$ be a flat proper morphism of complex algebraic (or analytic) varieties. Assume the special fiber over a point $p\in C$ is smooth.
Is it true that there exists a ...

**0**

votes

**0**answers

164 views

### NonCommutative analog of the Poincare Bendixson theorem [closed]

The classical Poincare Bendixson theorem says: If $X$ is a vector field on $\mathbb{R}^{2}$ or $S^{2}$ and $K$ is a compact set which is invariant under the flow generated by $X$. Then $K$ contains ...

**4**

votes

**2**answers

653 views

### Signal Analysis/Processing Textbook

Can anybody recommend me a decent Signal Analysis/Processing textbook. If possible one that deals a little with MATLAB. I have an little knowledge of Real Analysis and fourier transforms. Wavelets i ...

**2**

votes

**0**answers

50 views

### Properties of the induced map between inertia stacks

Let $\mathcal X$ and $\mathcal Y$ be (separated) Deligne-Mumford stacks. A morphism of stacks $f:\mathcal X \to \mathcal Y$ induces a morphism between inertia stacks $\tilde f:I\mathcal X \to ...

**3**

votes

**1**answer

134 views

### Flat family with special fiber $\mathbb{C}\mathbb{P}^1$

Let $C=Spec \mathbb{C}[t]/(t^{n+1})$. Let $X$ be an algebraic (or complex analytic) scheme, flat over $C$ with the structure morphism $f\colon X\to C$. Assume that the special fiber is isomorphic to ...