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

**5**

votes

**3**answers

229 views

### Text for studying group representations in the context of (abstract) harmonic analysis

I would like to study elements of representation theory as I often encounter it when reading texts on harmonic analysis. I was therefore curious if someone could recommend a book for this.
When ...

**2**

votes

**0**answers

37 views

### Points of continuity of a lower semicontinuous function have non empty interior

Let $X\subset \mathbb R^d$ having non empty interior and let $f:X\to\mathbb{R}$ be lower semicontinuous.
I know that the set of discontinuities of such a function is contained in a meager set, and ...

**2**

votes

**1**answer

93 views

### Smooth dependence on the initial condition of the integral of an ODE

I am considering an ODE $\dot{x}=f(x)$, with $x\in\mathbb{R}^d$ and $d<\infty$. $f$ is a $C^k$ function and I denote by $\Phi_t x$ be the value of the solution at time $t$.
I assume that my ODE ...

**7**

votes

**0**answers

156 views

### $\Bbb A^1$-Localisation of Schemes, and $\Bbb A^1$-Rigid Schemes

Question 1: Are there some publications or preprints that provide $\Bbb A^1$-fibrant replacements of certain classes of (smooth) schemes?
Of course, smooth schemes that are $\Bbb A^1$-fibrant are $\...

**6**

votes

**2**answers

446 views

### Kazhdan's property (T) vs. residual finiteness

I have asked this question already on mathstackexchange but got no answer (see http://math.stackexchange.com/questions/1795795/kazhdans-property-t-vs-residual-finiteness) and it was suggested that I ...

**4**

votes

**1**answer

249 views

### What are Motivic homotopy types?

There are suggestions that says that Grothendieck developed (in some sense) a theory of Motivic homotopy types or at least named it.
I would like to know the reference in which Grothendieck did it, ...

**1**

vote

**0**answers

86 views

### Applications of the Weak and Weak$^*$ topologies to PDEs?

Chapter $3$ of Functional Analysis, Sobolev Spaces and Partial Differential Equations by Haim Brezis constructs and explains the Weak and Weak$^*$ topologies over a Banach Space $E$.
The most ...

**1**

vote

**0**answers

71 views

### Diagonal of Green's Function

I am looking to numerically calulate the diagonal of Green's function. I am interested in Green's functions of elliptic PDEs and in those that arise from stochastic processes (discrete and continuous)....

**4**

votes

**1**answer

130 views

### Minimal Nagata-like compactification

Working over a field $k$, Nagata's compactification theorem implies that any separated scheme $X$ of finite type over $k$ admits a compactification (a dense open immersion $i \colon X\hookrightarrow\...

**3**

votes

**0**answers

63 views

### Strengthening of the local smoothing estimates for the free Laplacian

The classical local-smoothing estimates for the free Laplacian asserts that:
$$\Vert e^{-it\Delta}f\Vert_{L^2((-\infty,+\infty)\,;\,H^{1/2}(B))}\leq C_B\cdot\Vert f\Vert_{L^2}$$
where $B\subset\mathbb{...

**2**

votes

**0**answers

51 views

### On two functions with isodirectional gradients

Let $U\subset \mathbb{R}^n$ be open and $f,g:U \to \mathbb{R}$ be two $C^1$ functions whose gradients are always in the same direction, i.e. $\forall i,j \in \left\{1,...,n\right\}$
\begin{equation}
(\...

**0**

votes

**0**answers

40 views

### Where can I find this article of Doléans-Dade?

I need to find the article "Intégrales stochastiques dépendant d’un paramètre" by Doléans-Dade.
I could not find a pdf version online, and my university library does not have a printed version.
Thank ...

**4**

votes

**0**answers

152 views

### Optimal instructions for the modular construction of rectlinear Lego structures

Let $X$ be a compact (or periodic) union of integer translates of unit cubes such that the interior of $X$ is connected. (If it makes any difference, suppose that the dimension $n$ of $X$ is 3.) I am ...

**3**

votes

**1**answer

158 views

### Range of random walk

I have a random walk on $\mathbb{Z}$ with starting point $0$ and with length $n$ and possible steps to right, left or stay where you are, all with the same probabilities. I am interested in exact ...

**2**

votes

**2**answers

382 views

### Generalizations of the Euler-Maclaurin Summation Formula

I'm using the Euler-Maclaurin formula in a research I'm working on. However brilliant is the elementary proof found here, I need and want to know more about it. Namely
Specifically, I would like to ...

**3**

votes

**0**answers

80 views

### The integral of $\exp(-|x-a|)$ over an even dimensional sphere

I'm after a reference for an integral. For $m$ a positive integer and $R>0$ let $S^{2m}_R\subset \mathbb{R}^{2m+1}$ denote the radius $R$ sphere of dimension $2m$. Suppose that $a$ lies inside ...

**0**

votes

**0**answers

61 views

### Order of vanishing of Laplace's equation with potential

Consider the equation $-\Delta u + V u = 0$ with Dirichlet boundary conditions on the bounded domain $\Omega \subseteq \mathbb{R}^n$, where $V$ is a smooth potential. Let $V \leq 0$, and bounded on $\...

**1**

vote

**0**answers

109 views

### Can infinitely many orbifolds be “added up” to form a fractal space?

Disclaimer: this question is rather vague and thus might not be suitable for this site. If so, feel free to tell me and I'll delete it.
Intuitively, an orbifold, from what I understand, is a "...

**2**

votes

**1**answer

171 views

### What is the extension of the truth-table degrees to Baire Space called?

Recall that for sets $A, B \in 2^\omega$ that we say $A \leq_{tt} B$ if there is a total Turing functional $F \colon 2^\omega \to 2^\omega$ such that $F(B)=A$. This is called truth-table reducibility....

**5**

votes

**0**answers

126 views

### Weak* continuity of positive parts, again

Bill Johnson pointed out to me yesterday that the map $$f \mapsto f^+ = \max(f,0)$$ is not weak* continuous on $l^\infty$. Nonetheless, I think I can prove that if $V$ is a linear subspace of $l^\...

**0**

votes

**0**answers

50 views

### Matrix concentration inequality

Let $X \in \mathbb{R}^{n \times d}$ be a fixed matrix and $W \in \mathbb{R}^{n \times d}$ be a random matrix with elements $w_{ij} = x_{ij} + \epsilon_{ij}$, where $\epsilon_{ij}$ are iid subgaussian ...

**7**

votes

**1**answer

263 views

### Abstract result on partitions of unity?

A motivation: The classical Stone-Weierstrass theorem says that polynomials are dense among continuous functions (say, on the unit interval), while the abstract Stone-Weierstrass theorem (and also the ...

**4**

votes

**1**answer

143 views

### Irreducible monic polynomials

I am looking for criteria for the irreducibility of monic polynomials with constant term $\pm1$ over $\mathbb Q$. Eisenstein's criterion clearly doesn't apply here.
For instance, for the family of ...

**2**

votes

**0**answers

29 views

### When is a linear operator on $C^{0,\alpha}(\overline{\Omega})$ a multiplication?

The title says it all, really. Suppose that I have a linear operator $T$ from $C^{0,\alpha}(\bar{\Omega})$ into itself, where $\Omega$ is a smooth bounded domain in $\mathbb{R}^d$ (e.g. the unit ball ...

**3**

votes

**0**answers

59 views

### On the principal eigenvector of an elliptic operator

Suppose I have an open domain $U \subset \mathbb{R}^n$ and an elliptic operator $L$ acting on all square-integrable $C^2$ functions $\rho:U\to \mathbb{R}$ which converge to zero at $\partial U$:
\...

**0**

votes

**0**answers

34 views

### Generalizing Integration by parts for general bounded continous measure

Consider a probability measure $d\mu = w(t) dt$ with $w(t)\in L^1(I)$, $I =\left[ 0,1\right]$. What are the minimal assumption I can take on two functions $f,g:I\ \to \mathbb{R}$ so that an ...

**4**

votes

**0**answers

100 views

### Universal enveloping algebra functor preserves quasi-isomorphism

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}$ denote the category of DG algebras and $\mathtt{DGLA}_{k}$ denote the category of DG Lie algebras. It is well known that there are model ...

**1**

vote

**1**answer

74 views

### Derivations of polynomial identity rings

Does anyone have any references to general theory of derivations of PI rings? I have had a quick look around without much luck.

**4**

votes

**1**answer

89 views

### Does the Nash inequality hold on manifolds with Lipschitz boundary?

Let $N$ be a smooth manifold without boundary of dimension $n$. $M$ is a manifold with Lipschitz boundary if $M \subset N$, $M$ and $N$ are of the same dimension, and in the charts of $N$, the ...

**6**

votes

**4**answers

540 views

### Minimum negative eigenvalue of zero-one matrices

The following question must have been answered decades ago.
For $n$ fixed, what is the most negative eigenvalue among all trace zero zero-one matrices (that is, all entries are either zero or one, ...

**7**

votes

**1**answer

213 views

### When is a mapping the proximity operator of some convex function?

Is there a characterization of mappings $p : \mathbb R^n \rightarrow \mathbb R^n$ which are proximity operators (in the sense of Moreau) of l.s.c (extended) real-valued functions ?
That is, given $p : ...

**1**

vote

**2**answers

264 views

### Maximal subgroups of $\mathrm{SL}(n,\mathbb{R})$

I would like to find a list (or at least a description) of the maximal closed connected subgroups of $\mathrm{SL}(n, \mathbb{R})$ , and also of $\mathrm{SU}(p,q)$.
In the following MO discussion is ...

**1**

vote

**2**answers

312 views

### Expository articles on Algebraic Number Theory

I am about to start learning Algebraic Number Theory and thus was looking for some expository articles on this subject. So far I have found two such articles:
Dickson, L. E.. (1917). Fermat's Last ...

**7**

votes

**1**answer

226 views

### Thorough reference on regular homotopy

I would like to learn this topic of algebraic topology but I cannot find a relevant reference to answer my basic questions on the subject (for example, is there a Hurewicz theorem for regular homotopy ...

**1**

vote

**0**answers

47 views

### Dual equivalence for multioperators

This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...

**2**

votes

**1**answer

163 views

### Regarding a conjecture Fogarty proposed

In a paper by Fogarty titled "Algebraic Family On An Algebraic Surface,"
he conjectured that $\bf Hilb^n(\mathbb P^N)$ is always variety-- reduced and irreducible.
Is this still a conjecture; any ...

**3**

votes

**0**answers

75 views

### Donnelly-Fefferman growth of eigenfunctions

Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...

**1**

vote

**0**answers

43 views

### The integral of $\Gamma\left(\zeta\right) \, W_{-\zeta,\mu}(z) $

Someone has a reference that addresses an integral of the followns type
$$I_{a,b,x} = \int_{0}^{+\infty} \zeta^{-a} \, \Gamma\left(\zeta+b\right) \, W_{-\zeta-b,\tfrac{-1}{2}}(x) \, d\zeta$$
where ...

**2**

votes

**2**answers

234 views

### Attaching an ideal whose square is zero: does this operation have a name and a notation?

I know I met the following construction somewhere, but I cannot remember where. Let $A$ be
a (unital associative) ring, and let $N$ be an $A$-$A$ bimodule. On the product set $A\times N$ we define ...

**4**

votes

**0**answers

124 views

### Categories where every Mono Splits

When every epi splits a category is said to satisfy the Axiom of Choice.
When every idempotent splits a category is called Cauchy Complete or Idempotent complete.
These look to be well-studied ...

**2**

votes

**1**answer

141 views

### Want more details about the image of a Maass form in the AIM press release concerning LMFDB

Actually I came upon this through MO a couple of days ago: in here
(http://aimath.org/aimnews/lmfdb/) there is a mesmerizing image
The caption reads
A Maass form, one of the 20 different types ...

**5**

votes

**0**answers

159 views

### Where can I find Andre's “Cinq exposés sur la désingularisation”?

Many expositions of Popescu's desingularization theorem indicate that an other proof of this theorem can be found in
"Cinq exposés sur la désingularisation" by M. Andre, Ecole Polytechnique ...

**3**

votes

**2**answers

130 views

### base point in Heegaard Floer homology

It is stated in Mcduff's overview paper "FLOER THEORY AND LOW DIMENSIONAL TOPOLOGY", end of page 9, that the Heegaard Floer homology without considering a base point depends only on the homology of ...

**7**

votes

**2**answers

266 views

### Surfaces contained in a ball

In this Paper there is a proof that a closed plane curve of length
$L$ and curvature bounded by $K$ can be contained inside a circle of radius
$L/4 - (\pi - 2)/2K$. Are there similar results for ...

**15**

votes

**1**answer

336 views

### Combinatorics problem about sum of natural numbers

Following combinatorics problem is claimed to be an open problem in "The Princeton Companion to Mathematics" (pp. 6)
Let $a_1,a_2,a_3,...$ be a sequence of positive integers, and suppose that each ...

**0**

votes

**0**answers

99 views

### What to do about Secondary Results that are of Independent Interest?

I am thinking about writing an online article about a simplified algorithm for a problem $P$, for which efficient solutions are already known, whose implementation is however challenging.
My ...

**3**

votes

**0**answers

128 views

### Reference for the Hodge polynomial or the Hodge Characteristic

What is the first work that studies, refers to, or mentions the Hodge characteristic?
The Hodge polynomial is the unique ring homomorphism
$$
P_{hdg}:K_0(\mathbf{Var}/\mathbb{C)}\to \mathbb{Z}[u,v,u^{...

**4**

votes

**1**answer

98 views

### Pfaffian of several skew-linear transformations / matrices

Introduction: Let's assume we have a 2-form $\alpha=(1/2)\sum_{j,k=1}^n a_{jk}\ e_j\wedge e_k$, where $n=2m$, and $a_{jk}\in\mathbb C$. We know that $\alpha^{\wedge m}=\alpha\wedge\alpha\dots\wedge\...

**15**

votes

**1**answer

309 views

### Classification of fake (quaternionic, octonionic) projective spaces

If $X$ is a closed $n$-manifold, a fake $X$ is another closed manifold homotopy equivalent to $X$. There is some interest in classifying manifolds (up to, say, homeomorphism) homotopy equivalent to a ...

**10**

votes

**2**answers

245 views

### Finite objects for which isomorphism is NP-hard or harder?

Are there finite objects for which deciding isomorphism
is NP-hard or harder?
Graphs and groups are not solutions.
Searching the web didn't return answer for me.
Partial result based on Chow's ...