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

learn more… | top users | synonyms

0
votes
0answers
14 views

to find topological properties under a metric on a set

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 ...
0
votes
0answers
79 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 ...
1
vote
0answers
31 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 $$ ...
2
votes
2answers
104 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
175 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 ...
0
votes
0answers
30 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 ...
2
votes
1answer
86 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 ...
4
votes
0answers
110 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
242 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 ...
1
vote
0answers
56 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 ...
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
89 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 ...
4
votes
0answers
51 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$ ...
4
votes
3answers
352 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 ...
2
votes
0answers
69 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
0answers
139 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 ...
1
vote
1answer
228 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 ...
5
votes
2answers
512 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: ...
1
vote
1answer
92 views

A question about Borel sets on the unit interval

It is known that each non-decreasing continuous function $\phi$ induces a $\sigma$-additive measure $d\phi$ such that $\int_0^1 f(x) d\phi(x)$ exists for every bounded real-valued Baire function $f$. ...
4
votes
1answer
419 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 ...
5
votes
1answer
212 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 ...
3
votes
0answers
182 views

Roadmap for the ideas expressed in Grothendieck's Esquisse d'un Programme

I would like to understand Grothendieck's Esquisse d'un Programme more. Are there any references that would help me, and are there modern works pursuing the same themes? At this point I am still ...
0
votes
0answers
57 views

Reference for generalized model categories [on hold]

I would like to know some references for "Stanculescu's notion" of Generalized model category. Motivation The idea is find some works that use the notion and increase my knowledge about it. ...
-1
votes
1answer
152 views

Distinguished triangle and short exact sequence [on hold]

Forgive me for asking an elementary question. Given coherent sheaves $A$, $B$, $C$ and morphisms $B\xrightarrow{f} C\xrightarrow{g} A$ which give rise to the distinguished triangle $A[-1] \rightarrow ...
9
votes
1answer
197 views

Elementary prime-generating sequences

A student of mine keeps coming again and again and telling "I've found a formula $n\mapsto f(n)$ giving all primes" or sometimes "infinitely many primes", where $f$ is a classical function (I mean ...
4
votes
0answers
69 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 ...
0
votes
1answer
77 views

In the proof of the existence of weak solutions to the NSE

In the proof of the existence of weak solutions to the NSE (Navier-Stokes Equations by Constantin and Foias, Chapter 8), the following argument is made: Let $u_m$ converges weakly to $u$ in ...
1
vote
1answer
97 views

The space of loops as a Banach space [closed]

Let $S$ be the space of all loops in $\mathbb{R}^2$, i.e. all continuous mappings $\gamma:[0,1]\to \mathbb{R}^2$ such that $\gamma(0)=\gamma(1)$. Is there any canonical interpretation of $S$ as a ...
1
vote
2answers
51 views

Maximal Minimum Weight DAGs

In the case of undirected, connected graphs the name for the maximal cycle-free subgraph of minimal weight is called Minimum Spanning Tree, and the efficient algorithms for their calculation are well ...
2
votes
1answer
73 views

Almgren's mimeographed lectures notes on varifolds

I am trying to get some insights for the combinatorial argument of Pitts (in his PhD thesis 'Existence and regularity of minimal surfaces in Riemannian manifolds', Princeton University Press, 1981) to ...
3
votes
2answers
90 views

References about the matrix generators of the finite subgroups of the orthogonal group O(4)

"On Quaternions and Octonions" by Conway and Smith gives the classification of the finite subgroups of the orthogonal group O(4). I want to get the explicit matrix generators of the finite subgroups. ...
1
vote
0answers
73 views

Fiber of the specialization map of Picard groups

Let $R$ be a Henselian discrete valuation ring with residue field $k$ of positive characteristic and fraction field $K$ of characteristic zero. Let $\pi:X_R \to \mathrm{Spec}(R)$ be flat, projective ...
4
votes
0answers
80 views

Ref request: modelling regular theories as an injectivity condition

The background to the following observation is standard material in categorical logic, and I thought this was was too — I don’t remember learning it, but I don’t think it is original — but I can’t now ...
5
votes
2answers
309 views

What is this distance about?

For points $a,b\in \mathbb{R}^n\setminus \{0\}$ denote $$d(a,b)=\frac{\|a-b\|}{\|a\|+\|b\|}.$$ This question by Ritesh Ahuja (positive answered by Iosif Pinelis) says that $d$ is a metric. My ...
0
votes
0answers
59 views

Brownian motion - probability of hitting an open subset of the sphere

Consider a Brownian particle in $\mathbb{R}^n$, starting at the origin. Let $\mathbb{P}_t(A)$ be the probability of the particle striking $A \subset S^{n - 1}$ within time $t$, where $A = \{ (x_1, ...
6
votes
0answers
67 views

Subquotients of Jantzen Filtration for Kac-Moody algebras

Let $\mathfrak{g}$ be a complex symmetrizable Kac-Moody algebra, with triangular decomposition $\mathfrak{n}^- \oplus \mathfrak{h} \oplus \mathfrak{n}^+$. Let $\lambda \in \mathfrak{h}^*$, and ...
7
votes
1answer
137 views

Nonsolvable finite quotients of matrix groups

Suppose that $\Gamma$ is a finitely generated nonsolvable subgroup of $GL(n, R)$. Is it in the literature that $\Gamma$ has a nonsolvable finite quotient? I know how to prove it (the hardest ...
2
votes
1answer
124 views

reference request: simple facts about vector-valued $L^p$ spaces [closed]

I learned basic results (regarding weak convergence) about Banach-space valued functions of a single real variable when learning PDE. (See e.g. Appendix E in Evans's Partial Differential Equations) I ...
1
vote
0answers
118 views

Primes of the form $2^{m_0}p_1^{m_1}\ldots p_r^{m_r}+1$

Is it known any example of a set of primes $\{p_1,\ldots,p_r\}$ with the following property: there are infinitely many $(m_0,\ldots,m_r)\in\mathbb N^{r+1}$ such that $2^{m_0}p_1^{m_1}\ldots ...
1
vote
0answers
129 views

Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?
11
votes
1answer
317 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
96 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
137 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}$ ...
-2
votes
0answers
135 views

books, lecture notes, for studying pullback rings [closed]

Does anyone have suggestions for books, or lecture notes, (or videos) for studying pullback rings? ( whole book or a section that have an easy and basic approach.) I know definition; ...
0
votes
0answers
54 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
101 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
180 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 ...