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

learn more… | top users | synonyms

1
vote
0answers
130 views

Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?
11
votes
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
3answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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 ...