# Tagged Questions

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

**1**

vote

**0**answers

102 views

### Decomposable elements in cohomology ring [on hold]

I feel this must be well known, but I don't have enough knowledge on the matter. So, if there is a literature on this, then please provide a reference.
Let $E$ be a ring spectrum, and $X$ a pointed ...

**1**

vote

**0**answers

151 views

### Learning roadmap for algebraic number theory

I have read some elementary number theory from David Burton's text and I know groups and rings from Herstein's book Topics in Algebra and some field theory from different sources online. I am ...

**1**

vote

**0**answers

50 views

### A non-surjective coboundary map induced by a central extension

Let $k$ be a number field and
$$ 1\to A \to B \to C \to 1$$ be a central extension of finite groups over $\mathcal{O}_k$ (the ring of integers of $k$), with $B$ non-commutative. Consider the induced ...

**-3**

votes

**0**answers

69 views

### Turning $\{0<\dots<n\}$ into a measure space [on hold]

I'm looking for references who define interesting (i.e. nontrivial, i.e. not the Borel subsets of the order topology on $\{0<\dots < n\}$, which is discrete) $\sigma$-algebras on finite ...

**3**

votes

**0**answers

51 views

### Lattice points in regular simplex

Suppose we are given a regular (closed) simplex $S$ in a vector space $V$ of dimension $n$, whose vertices have integer values. Then for a lattice $L$, is there a sufficient criterion, for $S$ to ...

**2**

votes

**0**answers

103 views

### Semistability of a sheaf on nodal curve

Suppose $X$ is a projective, connected, nodal curve (can be reducible) over an algebraically closed field $k$ of arbitrary characteristic. Let $F$ be a pure sheaf on $X$ and denote by $\pi^{*}(F)$ its ...

**0**

votes

**0**answers

56 views

### Reference request: Uniformly totally bounded classes of compact metric spaces are Gromov-Hausdorff precompact

The following Theorem can be found for instance here (Theorem 7.4.15):
Theorem. (author ?) Any uniformly totally bounded class $\mathfrak X$ of compact metric spaces is pre-compact in the ...

**3**

votes

**0**answers

48 views

### Real interpolation of weighted Sobolev spaces with different weights

Let $\Omega \subseteq \mathbb{R}^n$ be open and let $w_0$ and $w_1$ be measurable and almost everywhere positive and finite functions defined on $\Omega$. Let $L^2_{w_0}(\Omega)$ be the weighted ...

**5**

votes

**3**answers

195 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

26 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

76 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

128 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

379 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

227 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

73 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

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

**4**

votes

**1**answer

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

48 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

36 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

121 views

+50

### 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

135 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

**0**answers

153 views

### Euler-Maclaurin Formula Review

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
Generalizations to broader ...

**2**

votes

**0**answers

77 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

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

**2**

votes

**0**answers

101 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

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

**6**

votes

**0**answers

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

**0**

votes

**0**answers

48 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

252 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

134 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

28 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

55 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

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

64 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

472 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

170 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

254 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

297 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

218 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

45 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

159 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

72 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

42 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

225 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

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

**1**

vote

**1**answer

125 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

154 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

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