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

**1**

vote

**0**answers

130 views

### Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?

**11**

votes

**1**answer

321 views

### Definition of ind-schemes

What is the correct definition of an ind-scheme?
I ask this because there are (at least) two definitions in the literature, and they really differ.
Definition 1. An ind-scheme is a directed colimit ...

**5**

votes

**1**answer

97 views

### Does a $G$-structure on $M$ automatically descend to a contact $G$-structure on $\mathbb{P}T^*M$?

If $M$ is a real smooth manifold of dimension $n+1$, by $D\in\mathbb{P}T^*M$ I mean a tangent hyperplane at some point of $M$. I denote by $b$ the canonical projection of the $(2n+1)$-dimensional ...

**4**

votes

**0**answers

139 views

### Representation theory and associated bundles

I am looking for a text or set of notes that discusses the relationship between the representation theory of Lie groups and associated vector bundles, preferably using modern categorical language. For ...

**0**

votes

**0**answers

59 views

### Weak $H^1$-limit of “almost conformal” maps

Let us consider a sequence of maps $\phi_n : (M, g) \to \mathbb{R}^k$, where $M$ is a surface. Let $\phi_n \to \phi$ weakly in the sense of $H^1$-norm, and let $\phi$ be non-trivial. Let $\mathcal{H}$ ...

**0**

votes

**0**answers

55 views

### Is the Rossler attractor globally stable?

The standard form of the Rossler system is $\frac{dx}{dt}=-y-z$, $\frac{dy}{dt}=-x+ay$, $\frac{dz}{dt}=b+z(x-c)$. For simplicity, consider the well known chaotic attractor that exists at a=b=0.2, ...

**2**

votes

**0**answers

102 views

### Reference request for a “truncated version” of the de Rham algebra

Let's start on the $n$-torus for sake of simplicity.$\newcommand{\T}{\mathbb T}$
If I understand the relevant definitions correctly, the usual de Rham algebra of smooth differential forms on $\T^n$ is ...

**4**

votes

**2**answers

181 views

### Heat kernel asymptotics for small distances

I heard a talk where the speaker said that on a Riemannian manifold, for small values of $\text{dist }(x, y)$, the heat kernel $p_t(x, y)$ satisfies
$$p_t(x, y) = \frac{1}{(4\pi ...

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

124 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

68 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

110 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

173 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

267 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

201 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

88 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

141 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

154 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

170 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

101 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

158 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

233 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

137 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

394 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

250 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

122 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

140 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

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