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

**0**

votes

**0**answers

21 views

### Linear Program for Single Source Shortest Paths Tree

This question originates in quick, however wrong, idea to calculate a shortest paths tree in the presence of negative cycles. The essential motivation was that a linear program would determine binary ...

**6**

votes

**0**answers

99 views

### Local character expansion for discrete series representations of $GL_n(F)$

I'm interested about what, if anything, is known about the local character expansion of discrete-series representations of $GL_n(F)$, where $F$ is a $p$-adic field.
First, some notation: let $G$ be a ...

**1**

vote

**0**answers

154 views

### Reference request: Models of isomorphic languages result into isomorphic categories

This is basically a reference request by someone who has not been educated as a logician and would like to be rigorous about certain preliminary aspects of model theory.
Fix an uncountable universe ...

**2**

votes

**1**answer

322 views

### Reference request: English translation of Brieskorn 1970 paper

Is there any english (or french) translation of the following paper by Brieskorn (1970)?
Brieskorn, E., "Die Monodromie der Isolierten Singularitäten von Hyperflächen", Manuscripta Mathematica 2 ...

**5**

votes

**0**answers

122 views

### Is there any work on “super Fukaya categories”?

There is a well-established notion of "supermanifold", and in the world of supergeometry it makes sense to talk about symplectic structures. Actually, there are various kinds of symplectic ...

**2**

votes

**0**answers

44 views

### Techniques for the analysis of interacting particle systems with a finite number of particles, which do not resort to limiting arguments?

I am interested in pointers to (keywords/authors) recent research on the analysis of interacting particle systems with a finite number of particles which do not resort to limiting arguments converting ...

**2**

votes

**1**answer

143 views

### Continuity + $H^1$ + Laplacian control $ \implies$ local Lipschitz property

Consider a continuous $H^1$ function $u$ on a bounded open set $\Omega \subset \mathbb{R}^n$. We additionally have that $|\Delta u|^2 \leq c |\nabla u|^2$ pointwise on $\Omega \setminus \Sigma$, where ...

**0**

votes

**0**answers

62 views

### Hausdorff limits of fibers of affine maps

Let $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$, and let
$$
F=(P_1,\ldots, P_m):\mathbb{K}^n\to \mathbb{K}^m
$$
be a polynomial map. I would like to know under what conditions the preimages $F^{-1}(y)$ of ...

**0**

votes

**0**answers

67 views

### If the fibers of a submersion are connected, does it mean that any 2 sections are homotopic (locally on the base)?

Is the following fact known? If yes - what is the reference?
Let $\phi:X\to Y$ be a submersion of smooth manifolds with connected fibers.
Let $s_0,s_1:Y\to X$ be its (smooth) sections. Then, for any ...

**1**

vote

**0**answers

30 views

### Elliptic regularity and inhomogeneous Neumann boundary condition

Consider a harmonic function $u$ defined on $D : = \{ (x, y) \in \mathbb{R}^2 | (x, y) \in \overline{B(0, 2)}, y \geq 0\}$, that is, the closed upper half ball centered at $0$ and radius $2$. Let $u$ ...

**4**

votes

**1**answer

108 views

### Bott-Samelson construction of a perfect Morse function on G/T

An undergraduate student of mine is interested in writing a "senior" thesis on the topology of Lie groups. Let $G$ be a simply connected compact Lie group and $T$ a maximal torus. One way of ...

**1**

vote

**0**answers

63 views

### Euclidean metric in spherical coordinates [closed]

I apologize if this question is not research level, but it has been asked on MSE before, and not received really satisfactory answers, for example, see here, and googling does not reveal anything ...

**1**

vote

**0**answers

52 views

### Kirillov orbit Method for Complex nilpotent groups

Let $G$ be a nilpotent simply connected real Lie group. From the classical work of Kirillov, it is well-known that the irreducible unitary representations of $G$ are in a canonical bijective ...

**4**

votes

**0**answers

104 views

### References for a lemma about compact operators on a Hilbert module

I am looking for a reference for the following result:
If $A$ and $B$ are C* algebras, $H$ is a right Hilbert $A$-modules, $\phi :A \rightarrow B$ is a morphism, and assume that there is a map $\eta ...

**3**

votes

**1**answer

171 views

### Reference request: eliminating function symbols in predicate logic

Here is a basic technique in logic which seems well-known in folklore, but which I haven’t managed to find written down anywhere. $\newcommand{\T}{\mathbf{T}}$
Fact. Let $\Sigma$ be a signature (in ...

**8**

votes

**1**answer

262 views

### Non-Cartesian Monoidal Model Structure on a Slice Category

Given a monoidal model category $(M,\otimes, 1)$, and a monoid therein $A$, one can take the slice model category $M_{/A}$. This category has a natural monoidal structure induced by taking fibered ...

**1**

vote

**1**answer

79 views

### The image of a derivation on a Banach algebra is contained in the kernel of a character

It is known that if $D$ is a continuous derivation on a commutative Banach algebra $\mathcal{A}$, then for any nonzero character $\theta$ on $\mathcal{A}$ we have $D(\mathcal{A})⊆ker\theta $.
...

**6**

votes

**2**answers

199 views

### Variation on the Subset Sum Problem

Given a nonempty set of integers, and given that there exists a subset of this set whose elements sum to zero, is finding the smallest such subset NP-complete?
Disclaimer: The above question ...

**2**

votes

**0**answers

87 views

### Almost independent Bernoulli variables

There is some global parameter $n\to\infty$.
And a function $N=N(n)\to\infty$.
Let $X^n_1,X^n_2,\ldots,X^n_N$ be independent Bernoulli random variables, where $\delta\le P(X^n_i=1)=1-P(X^n_i=0)\le ...

**3**

votes

**0**answers

138 views

### Hyperimaginaries and continuous logic

Classical (i.e., discrete) logic is well positioned to study imaginaries in part because the $T^{eq}$ construction allows us to treat imaginary sorts as we would treat any other sort. With ...

**6**

votes

**1**answer

344 views

### Who gave the generalized Stone-Weierstrass Theorem?

Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a closed self-adjoint subalgebra of $C(X)$ which contains the constants. Then $\mathcal{A}$ is the collection of continuous functions on ...

**1**

vote

**0**answers

90 views

### The lattice of graphs under vertex abstractions

I am curious to know if the following structure has been studied, or if anything similar is in the literature.
For $n \in \mathbb{N}$, let $G = ([n],E)$ be a digraph. A partition of a subset $V$ of ...

**2**

votes

**1**answer

108 views

### Representation of the elements of $c_0^\perp$ as integrals over ultrafilters

Let
$$
X=\big\{\varphi\in\ell_\infty^{\,*}(\mathbb N) : \varphi(\{a_n\})=0\,\,\text{whenever $a_n\to 0$}\big\}.
$$
If $\varphi_{\mathscr F}(\{a_n\})$ is the limit of $\{a_n\}$ with respect to the ...

**7**

votes

**0**answers

152 views

### Flat connection from gauged WZW model

$\newcommand{\g}{\mathfrak g}$
$\newcommand{\h}{\mathfrak h}$
In short my question is :
Has someone worked out the flat connection that one should get from the gauged WZW model in genus 0 ?
Some ...

**0**

votes

**0**answers

29 views

### Obtaining Hessian of the embedding from an induced metric

Consider a hypersurface (not necessarily compact) smoothly embedded into $\mathbb{R}^n$ such that the Hessian is a positive definite bilinear form. Due to positivenes, Hessian can be taken as a metric ...

**4**

votes

**1**answer

169 views

### Polynomial factoring over finite fields

What is known in general about the complexity of factoring polynomials over finite fields?
For instance given $\Bbb F_q$ where $q=p^n$ and total degree $d$ polynomial in $m$ variables what can we say ...

**-5**

votes

**1**answer

99 views

### Automorphisms of partitions [closed]

I would like to know whether the notion of automorphism of the set of partitions of a positive integer $n$ has been considered so far or not. To make things clearer, I say that a partition of $n$ in ...

**4**

votes

**1**answer

156 views

### Atiyah-Guillemin-Sternberg convexity theorem

I would like to study the Atiyah-Guillemin-Sternberg convexity theorem: proof and applications. I am already familiarised with hamiltonian actions, moment maps...and with elementary Morse theory.
So ...

**9**

votes

**3**answers

232 views

### Construct discrete series of SL(2,R) as kernel of twisted Dirac operators

I’m studying the paper of (Baum-Connes-Higson, ex 4.25), and I would like to give an explicit computation for the Connes-Kasparov conjecture for SL(2,R).
The idea is that each non-trivial ...

**3**

votes

**0**answers

123 views

### Extreme derivatives in Baire class 1

In the 1994 volume of "Differentiation of Real Functions" A. Bruckner poses the following problem (p.41):
"Find necessary and sufficient conditions on a continuous function $F$ that its Dini ...

**4**

votes

**0**answers

136 views

### Set theory and forcing from the point of view of a formal system $G^+$ of Gentzen type

There are four papers by Vladimir Alfeevich Kuznetsov, which discuss the above titled topic:
(1) Some problems in set theory from the standpoint of a formal system G+ of Gentzen type. (Russian) Akad. ...

**6**

votes

**2**answers

392 views

### What are the basic possibilities for a tensor product of two fields?

Let $k$ be a field, with $F,k'$ field extensions of $k$. The ring $k' \otimes_k F$ is denoted by $F_{k'}$. In Borel's Linear Algebraic Groups, it is claimed (I believe erroneously) that "each of ...

**4**

votes

**0**answers

112 views

### Reference for the notion of polyhedra “degenerations”

Let $P$ be a convex polyhedron and let $P(t)$ be a continuous deformation thereof, such that:
a) $P(0)=P$;
b) for all $t\in[0;1)$ the polyhedron $P(t)$ is strongly combinatorially equivalent to $P$ ...

**0**

votes

**0**answers

21 views

### Non-adjacent Pair of Edges with Minimal Weight Sum

Given an weighted, undirected Graph $G(V,E)$ without loops or parallel edges,
what is the complexity of determining a pair of non-adjacent edges, whose sum of weights is w.l.o.g. minimal?
...

**4**

votes

**1**answer

312 views

### Birch's conjecture from Representation Theory

Birch has a conjecture about which automorphic forms on $PGL(2)$ are the lifts from nonsplit $O(3)$. Temporarily ignore global issues, and focus on the local nonarchimedian picture. The automorphic ...

**5**

votes

**1**answer

248 views

### Statements that Could be Forced by Ultrapowers

Ultrapower of a structure is a very flexible mathematical creature in comparison with the ground structure and its ordinary products. Depending on the nature of ground structure and the good ...

**2**

votes

**1**answer

121 views

### A question from Zeitouni's Introduction to Random Matrices

I have a question regarding exercise 2.1.5 on page 19 in this book:
http://www.wisdom.weizmann.ac.il/~zeitouni/cupbook.pdf
I would like a reference or help on this exercise.
The exercise asks the ...

**4**

votes

**1**answer

612 views

### When does this interesting sum diverge?

For $x \gt 0,$ what is the greatest $y$ such that $$\sum_ {1\le h^x \le k^y} \frac{1}{h^x k^y}= \infty ?$$
I don't know of any references or methods for this -- not even for $x=1$, for which the ...

**11**

votes

**0**answers

139 views

### Is special value of Epstein zeta function in 3 variables a period?

Kontsevich-Zagier's article "Periods" contains the following question
Is $\displaystyle \sum_{x,y,z \in \mathbb{Z}}' \frac{1}{(x^2+y^2+z^2)^2}$ an extended period?
($\sum'$ means we do not sum ...

**1**

vote

**2**answers

106 views

### What are good references for spatial dynamics?

Hello I have started working on my PhD a short while ago and wondered if there might be any good introductions to spatial dynamics.
I have a basic understanding of dynamical systems but would like to ...

**4**

votes

**1**answer

326 views

### Is a “knot knot” or “double knot” a thing in knot theory?

I apologize in advance for my rudimentary knowledge of knot theory, but I've been trying to find out about the significance (if any) of taking a knot (particularly a torus knot), cutting it, and ...

**5**

votes

**1**answer

264 views

### Constructive compactness for countable models?

The compactness theorem for countable (Tarski?) models is equivalent to the weak König's lemma by a result of H. Friedman and others as noted here, in the context of classical logic. The weak König's ...

**17**

votes

**5**answers

908 views

### Book recommendation for cobordism theory

I am planning to organize a seminar on cobordism theory and I'm looking for a reference. Such a reference is preferably a book, but I'm open to other ideas.
The audience is familiar with ...

**0**

votes

**0**answers

45 views

### Locally nilpotent derivations on noncommutative rings

I am interested on LNDs on noncommutative rings, specially noncommutative polynomial rings.
I have found only some stuff related to the Weyl algebras and Lie algebras.
Anyone can tell me a ...

**13**

votes

**3**answers

582 views

### Classification of knots by geometrization theorem

I read this interview with Ian Agol, where he says:
"...I learned that Thurston’s geometrization theorem allowed a complete and practical classification of knots."
My question is:
How does ...

**6**

votes

**1**answer

211 views

### Two definitions of Lebesgue covering dimension

Maybe this question has already been considered here, but after a quick search I didn't find what I was looking for.
As I see, in the literature there are two different definitions of the ...

**5**

votes

**1**answer

238 views

### Factorization of a certain map through a CW-complex

Suppose that $X$ is a paracompact Hausdorff space (e.g. a metric space) with $\dim X=n$ (the Lebesgue covering dimension). I want to find a proof (or a reference) that any (continuous) map $f: X \to ...

**3**

votes

**2**answers

155 views

### Brownian motion in $\mathbb{R}^n$, probability of hitting a set

Consider a particle undergoing Brownian motion in $\mathbb{R}^n$, starting at the origin, and let $B(t)$ denote its position at time $t$. Let $X$ be an arbitrary subset of $\mathbb{R}^n$. I am trying ...

**1**

vote

**0**answers

44 views

### Rank-unimodality and Sperner property of higher dimensional partitions

I did a google-search but have not been able to find much reference on this problem. So I am asking it here hoping to get some information.
Consider the set of all 4-dimensional Ferrer's diagram ...

**0**

votes

**0**answers

72 views

### The growth rate of almost periods for almost periodic function

A subset $A \subset \mathbb{R}^2$ is relative dense if there exists $L>0$ such that for every $p\in \mathbb{R}^2$ there exists $p' \in A$ such that $|p-p'|<L.$
A continuous function $f : ...