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

learn more… | top users | synonyms

2
votes
1answer
64 views

Looking for Severi varieties

Let $K$ be an algebraically closed field of characteristic $0$, and let $\mathbb{O}$ be the Cayley algebra over $K$. Let $$ \mathfrak{J}_{3}=\{A\in\mathcal{M}_{3}(\mathbb{O}):A\text{ is Hermitian}\}, ...
3
votes
0answers
26 views

Topological Derivation of Leray Spectral Sequence

I'm interested in computing - to the extent possible - the Leray spectral sequence for a particular map which is almost, but not quite, a fiber bundle (e.g. a Seifert fiber space). The hardest step ...
5
votes
2answers
277 views

Symplectic orthogonality and projective duality: how do they work together?

Let $(V,\omega)$ be a $2n$-dimensional linear symplectic space, and $(\mathbb{P}V,\theta_\omega)$ the corresponding $(2n-1)$-dimensional contact manifold. Given a smooth $(n-1)$-dimensional smooth ...
1
vote
0answers
35 views

Intuitive understanding of the mean curvature flow

I am trying to develop some intuition into the properties of mean curvature flow of a surface in $\mathbb{R}^3$. As an example, I am trying to understand what happens to a surface of revolution $S = ...
-2
votes
0answers
22 views

Finding topological properties under a metric on set of composition operators of L2 [on hold]

We define a metric on composition operators in L2. Now we would like to find topological properties under a metric on this set, such as connected component,path connected component and....For this ...
14
votes
1answer
364 views

On convergence of convex bodies

Let $K\subset \mathbb{R}^n$ be a compact convex set of full dimension. Assume that $0\in \partial K$. Question 1. Is it true that there exists $\varepsilon_0>0$ such that for any ...
4
votes
1answer
76 views

Sufficient conditions for $\sum_{n \ge 1} a_n e^{-(a_1+\cdots+a_n) s} \sim \frac{1}{s}$ as $s \to 0^+$

Let $(a_n)_{n \ge 1}$ be a sequence of non-negative real numbers such that $\sum_{n \ge 1} a_n = \infty$, and set $\lambda_n := a_1 + \cdots + a_n$ for each $n$. Then the (generalized Dirichlet) ...
6
votes
0answers
109 views

Understanding homotopy t-structure

The following question came up while reading Hoyois' From algebraic cobordism to motivic cohomology. Let $S$ be a Noetherian scheme of finite Krull dimension and let $SH(S)$ denote the homotopy ...
1
vote
1answer
234 views

Elliptic regularity Schauder estimates with Dirichlet/Neumann boundary conditions

Consider the linear elliptic equation $Lu = 0$, where $L$ is a second degree elliptic operator with smooth coefficients on a bounded domain $\overline{\Omega} \subset \mathbb{R}^n$, where $\Omega$ is ...
2
votes
1answer
869 views

For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that $$ \sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty, $$ where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
3
votes
1answer
155 views

Local product structure of determinantal variety

The variety $X_n$ of singular $n\times n$ real matrices is stratified by smooth strata $X_{n,k}$ where $k$ is the rank. Choose a rank $k$ matrix $A\in X_{n,k}$. Is there a local diffeomorphism sending ...
1
vote
2answers
256 views

Looking for (information about) long diamonds

I was given an open problem as a birthday present recently. While I can probably handle spoilers at this point, what I really want are literature and other references. Also acceptable would be ...
2
votes
1answer
192 views

Path integral methods

Are there detailed expositions of the path integral methods in (mathematical) physics other than Feynman-Hibbs and Glimm-Jaffe?
12
votes
2answers
374 views

S-matrix for the HOMFLY/Hecke category

This question concerns the HOMFLY-PT category, closely related to Hecke algebras. (See here for example.) The minimal idempotents of this category are indexed by pairs $(\lambda_+, \lambda_-)$ of ...
1
vote
2answers
346 views

Was “arithmetical translation” (coding in the Goedel sense) ever a part of Hilbert's Program?

Was "arithmetical translation" (that is, coding in the Goedel sense) ever a part of Hilbert's Program? I ask this question for several reasons: i) it gives the numerals |, ||, |||,.... an ersatz ...
2
votes
1answer
91 views

First proof of the integral representation of the hypergeometric function $F(a,b,c;\cdot)$

Assuming $\lvert x\lvert<1$ and $0<a<c$, the following formula holds true $$F(a,b,c;x)=\sum_{n=0}^{+\infty} \frac{(a)_n(b)_n}{(c)_n(1)_n} x^n=\frac{\Gamma ( c ...
9
votes
1answer
423 views

Who was/were the first to note that if $\sum_{x \in X} \frac{1}{x} < \infty$ then the natural density of $X$ is zero?

It is a result of folklore that the natural density of a set $X$ of positive integers such that $\sum_{x \in X} \frac{1}{x} < \infty$ is zero. This is reproved, e.g., in T. Šalát's paper: ...
5
votes
0answers
92 views

Has anyone seen these binary trees (Catalan-type related to the Gegenbauer polynomials and Motzkin paths)?

The OEIS entry A121448 enumerates binary trees with $n$ edges and $k$ vertices with outdegree 1. Has anyone seen these trees? The o.g.f. for this entry, $G(x,t)$, is essentially a discriminant ...
1
vote
1answer
237 views

Sheets in Lie algebras are classified by the pair $(\mathfrak{l},O)$. How about sheets in Lie groups?

Borho in this paper showed that a sheet (i.e. a suitable union of adjoint orbits of the same dimension) in a complex semisimple Lie algebra $\mathfrak{g}$ is classified by a pair $(\mathfrak{l},O)$ ...
5
votes
3answers
495 views

If the natural density (relative to the primes) exists, then the Dirichlet density also exists, and the two are equal

On p. 76 of the 1996 edition of Serre's A Course in Arithmetic, one reads the following (inline) remark: One can prove that, if $A$ has natural density $k$, the analytic density of $A$ exists and ...
0
votes
0answers
32 views

Stochastic Pontryagin Principle with a final state constraint

I am searching for information about the Stochastic Pontryagin Principle with a final state constraint. Someone knows a paper or a book where this case is treated in depth?
2
votes
1answer
70 views

Minimal Support Solutions of a Linear System (Dissertation)

For a given $n \times m$ matrix A with $m>>n$ and a given vector $\vec b \in \mathbb{F}^{n \times 1}$, and given that $A\vec{x}=\vec{b}$ for at least one $\vec{x} \in \mathbb{F}^{m \times ...
-1
votes
0answers
73 views

Twisted Hodge numbers in a family

It is well known (e.g. Voisin's book) that for a smooth family $\pi: \mathcal{X} \to B$ of smooth projective varieties (and projectively normal) over $\mathbb{C}$, the Hodge numbers $h^{p,q}(X_b)$ are ...
4
votes
1answer
485 views

Algebraic Geometry needed for Kähler-Einstein metric

I am a Master's student interested in Differential Geometry / Geometric Analysis. Currently active research is going on in Kähler-Einstein / Extremal Kähler metric. I was wondering how much Algebraic ...
9
votes
0answers
172 views

Multiplicative Structure of the Atiyah-Hirzebruch/Leray-Serre spectral sequence

This is related to this question (edit: now answered). Is there a nice explanation of the multiplicative structure on the higher pages of that spectral sequence? I want to assume that $h$ is some ...
0
votes
0answers
29 views

to find topological properties under a metric on a set [on hold]

we define a metric d on a set of composition operators on L2. I would like to find connected component and path connected component and other topological properties by d . Is there any book or paper ...
2
votes
0answers
52 views

Weighted global Holder property for Brownian motion paths

It is well-known that the Brownian motion (Wiener process) is almost sure locally $\alpha$-Holder for any $\alpha<1/2$. That is, with probability 1 $$ ...
4
votes
0answers
64 views

Some questions on the nodal geometry of Dirac operators

Let me begin by quoting a well-known result of Christian Baer (see here). The result goes as follows: Theorem (Baer): Consider a connected $n$-dimensional Riemannian manifold with Dirac bundle $S$ ...
2
votes
0answers
147 views

About the limitation by size

This could be a big post, so I'll try to summarize my thoughts and divide them into several questions. When working in category theory, I used to choose the following definition. A category $C$ is ...
2
votes
2answers
111 views

A reference about Grassmannian over finite fields

Suppose $Gr_k(k,n)$ the Grassmannian which classifies all the dimension $k+1$ sub-spaces of a dimension $n+1$ linear space over the field $k$. For the case over a finite field $\mathbb F_{q}$, we can ...
9
votes
3answers
222 views

Random links and $3$-manifolds

In Jeffrey Weeks book "The Shape of Space" he explaines at the end of Chapter 18 (on page 255) the following about the geometrization conjecture: A non-trivial connected sum $M_1\# M_2$ admits a ...
12
votes
6answers
2k views

English reference for a result of Kronecker?

Kronecker's paper Zwei Sätze über Gleichungen mit ganzzahligen Coefficienten apparently proves the following result that I'd like to reference: Let $f$ be a monic polynomial with integer ...
2
votes
1answer
99 views

Brownian motion - probability of striking a sphere in $\mathbb{R}^n$ (a clarification)

This is primarily in reference to this question on MO. Serguei Popov's answer gives an explicit formula for the probability of a Brownian particle starting at the origin in $\mathbb{R}^n$ hitting the ...
0
votes
0answers
38 views

Open Hamiltonian Gromov-Witten Invariants

Both open Gromov-Witten invariants and Hamiltonian Gromov-Witten invariants have been studied. I am interested in knowing whether anyone has considered open Hamiltonian Gromov-Witten invariants ...
5
votes
1answer
100 views

Weights on cyclic orderings

Are there standard or known weights/metrics on cyclic orders? Cyclic orderings are different ways of listing elements from a finite set, where you call two lists the same if they differ only by a ...
1
vote
0answers
58 views

Perturbating the boundary of a helicoid

I prepare a long helix with many periods, so that I can obtain a helicoid with soap film, i.e. a minimal surface whose boundary is the helix. The helix is not perfect, it is unavoidable that some ...
2
votes
1answer
380 views

Sufficient conditions for equality of measures related to harmonic functions

In Axler's book "Harmonic function theory" on this link http://www.latp.univ-mrs.fr/~chaabi/ARTICLES%20IMPORTANTS/Autres%20articles%20interessant/Livres/Harmonic%20Function%20theory.pdf on page 112 ...
5
votes
1answer
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 ...
5
votes
0answers
137 views

Flat + locally of finite presentation + monomorphism = open immersion

It is known that the following are equivalent for an epimorphism $A \to B$ in $\mathbf{CRing}$: Let $S$ be the set of elements $a \in A$ such that $A [a^{-1}] \to B [a^{-1}]$ is an isomorphism. Then ...
1
vote
1answer
248 views

research articles in topology/geometry [on hold]

There is a saying "Do you read the masters?" I want to read some basic papers in Topology/geometry... I can not clearly state what is basic as of now... My back ground includes course in ...
3
votes
0answers
144 views

A generalization of Rogers-Ramanujan identity

The generalized Rogers-Ramanujan identity has the following form $$\sum_{k_1\geq\cdots\geq k_r\geq 0}\frac{x^{k_1^2+\cdots +k_r^2+k_i+\cdots +k_r}}{(x)_{k_1-k_2}\cdots ...
0
votes
0answers
19 views

Markov Modulated Markov Chain

Consider a discrete time Markov chain $X_t$ on some finite state space $\mathcal{S}$ with transition matrix $P$. Now consider a process $Y_t$ also on $\mathcal{S}$, which conditioned on $X_{t}=s$ ...
3
votes
1answer
97 views

Least ordinal not embedded in a total order

If $(E,<)$ is a linear order, let $s(E,<)$ denote the least ordinal which doesn't embed in $(E,<)$. I am trying to prove the following: If $(M,+,.,0,1)$ is a model of open induction, (or ...
24
votes
6answers
5k views

Why are local systems and representations of the fundamental group equivalent

My question: Let X be a sufficiently 'nice' topological space. Then there is an equivalence between representations of the fundamental group of X and local systems on X, i.e. sheaves on X locally ...
0
votes
1answer
130 views

Wong-Zakai smooth approximation in probabilty for stochastic differential equations

I'm looking for a result of the form: Let $B_\epsilon$ denote a "natural" smooth $\epsilon$-approximation to an $n$-dimensional Brownian motion $B$ (e.g. by mollification or simply piecewise linear) ...
2
votes
0answers
70 views

A Künneth-Theorem version for relative singular cohomology

I'm not an expert in algebraic topology, but sometimes I need some results from this area, for example tools to determine singular cohomology groups of product spaces. The Künneth-Theorem which I ...
3
votes
1answer
152 views

Regularity of Hodge Laplacian on bounded domains

I need a reference for the $W^{s,p}$ regularity of the Hodge boundary value problem on bounded domains. I need estimates $\lVert \omega \rVert_{W^{s+2,p}} \leq c \lVert f \rVert _{W^{s,p}}$, for ...
1
vote
1answer
237 views

Reference request for an introduction to deformation theory in algebraic geometry

I'd like some introductory references for deformation theory in algebraic geometry. I'm interested in survey articles too but I primarily want references which give all the definitions and go through ...
6
votes
1answer
513 views

Nash's proof of De Giorgi-Nash-Moser theorem

I saw this question, but I think the answer didn't fully address what I want to know about it: Nash's paper on parabolic equations. It says almost everything developed later in elliptic and ...
5
votes
2answers
521 views

mod 5 partition identity proof

I am looking for a proof that: $$\prod_\limits{m=0}^\infty \dfrac{1}{(1-x^{5m+1})}=\sum_\limits{i=0}^\infty \dfrac{x^i}{\prod_\limits{j=1}^i (1-x^{5j})}$$ The left hand side expands into: ...