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

learn more… | top users | synonyms

4
votes
2answers
333 views

Are there any patterns in simple continued fraction expansions of algebraic real numbers?

As we know there are patterns in simple continued fraction expansion of quadratic algebraic numbers,are there any patterns in simple continued fraction expansions of other algebraic real ...
6
votes
1answer
269 views

About an identity which gives immediate proof of the permanent lemma

Let $A$ be a $n \times n$ matrix over field $F$. Let $a_1, \cdots, a_n$ be the column vectors of $A$. For any subset $S \subseteq [n] = \{1, 2, \cdots, n\}$, let $a_S = \sum_{i \in S} a_i$. Alon's ...
0
votes
1answer
41 views

Resource on characterizations or properties of traceable graphs

I am looking for some resources that provide information on traceable graphs(paths containing a hamiltonian path). I have found a lot of information on hamiltonian graphs, but none on traceable ...
2
votes
1answer
214 views

Reference request for instantons

I've been researching instantons lately and I'd like to learn more about them but would like some help finding what to read. I have read about the ADHM equations and their noncommutative analogues. ...
5
votes
0answers
189 views

Are inclusions from spaces of $C^\infty$ sections into spaces of $C^k$ sections homotopy equivalences?

[EDIT: The answer to my original question was obviously no, as user56365 pointed out. Here is what I should have asked.] For finite-dimensional smooth manifolds $E,M$, let $E\to M$ be a smooth fibre ...
5
votes
2answers
132 views

Poisson ideals vs. ideals generated by Poisson central elements

Let $R$ be a Poisson algebra (over $\mathbb C$, say) with Poisson center $Z = \{c \in R : \{c,R\} = 0\}$ and consider two types of ideals $I \leq R$: $I = \langle (c_i) \rangle$ is generated by ...
5
votes
0answers
211 views

Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let $q: D^k \to D^r$ be a map and $r \leq k$. Let $$W = S^k \sqcup D^r/\sim$$ where ...
3
votes
2answers
140 views

Bochner's theorem for measures of positive type

Is there a version of Bochner's theorem characterizing measures of positive type on a locally compact group? By a measure of positive type on the group $\Gamma$, I mean a measure $\mu$ satisfying ...
5
votes
3answers
95 views

graded generalization of the Moyal–Weyl product

Has anyone written about the graded generalization of the Moyal–Weyl product/star product, that is, where the original algebra is already graded? Is it just a matter of signs?
8
votes
2answers
179 views

Clifford algebras for quadratic modules over ringed spaces

What is the earliest possible reference for definition and basic properties of Clifford algebras associated to quadratic modules over a ringed space? The ringed space does not need to be locally ...
1
vote
0answers
142 views

Hodge modules and Deligne-Beilinson cohomology of function fields

Let $K$ be a function field over complex numbers i.e. the fraction field of a complex variety. Then one can define the Deligne-Beilinson cohomology and mixed Hodge modules for $K$ as the direct limit ...
0
votes
0answers
68 views

Examples of functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition

there are examples of lacunary functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition.I want to know more examples of those functions,the more the ...
1
vote
1answer
72 views

Reference for the result that the systol map from Teichmuller space to curve complex is coarsely Lipschitz

Let $\mathcal{T}(S)$ denotes the Teichmuller space of a finite type surface $S$ equipped with Teichmuller metric and $\mathcal{C}(S)$ denotes the curve complex. Define a map ...
1
vote
1answer
134 views

Maximal compact subgroups of a semisimple Lie group are conjugate

I'm trying to go through the proof that all maximal compact subgroups of a semisimple Lie group $G$ are conjugate. I know that a possible proof follows the following steps: Take one maximal compact ...
0
votes
0answers
172 views

Non-Abelian Fourier Analysis

I'm currently thinking to generalize a known result on abelian groups to non-abelian groups. This is the problem. Fix an abelian group $G$. We know that: $\mathbb{E}_{\chi\in ...
3
votes
1answer
118 views

What is a degenerate Legendre Transformation?

I am studying the Lagrangian and Hamiltonian description of some dynamical systems. The problem with this description of the particular kind of systems I am studying, is that the Legendre ...
4
votes
1answer
153 views

Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It ...
1
vote
1answer
74 views

On two notions of 'generators' for a 'large' triangulated category

Let $C$ be a triangulated category that is closed with respect to arbitrary small coproducts; let $D$ be some class of objects of $C$. Then it would be natural to say that $D$ generates $C$ either if ...
1
vote
0answers
186 views

Complex structures on Riemann surfaces

This is cross posted from math.SE: http://math.stackexchange.com/q/876432/9 Let $M$ be a Riemann surface and $[\alpha] \in H^{0,1}(M; T^{1,0} M) \simeq (H^0(M;K^2))^*$. Considering $\alpha$ as a map ...
4
votes
1answer
147 views

$RO(G)$-Graded Cohomology Theories

Let $G$ be a compact Lie group with real representation ring $RO(G)$. Recently, I have been learning about some aspects of $RO(G)$-graded cohomology theories (for a precise definition, see Chapter ...
7
votes
1answer
247 views

The definition of < in Robinson's Q

I recently had to explain how the basic axioms in Simpson's Subsystems of Second Order Arithmetic were interpretable in Robinson's Q. Most of the axioms are actually the same, except that Simpson ...
1
vote
0answers
259 views

Grothendieck's letter to serre

Is it the letter dated in 27/08/1965 of Grothendieck where he presents to Serre the Standard conjectures on algebraic cycles?
1
vote
0answers
86 views

A topological criterion for connectedness of a semi-ample divisor

I have a half page long proof of the following statement, and I would like to know if this is (a corollary of) a well known statement. Maybe there is a reference or a three lines proof? Statement. ...
2
votes
1answer
160 views

Localization of symmetric monoidal category

Let $\mathcal M$ be a symmetric monoidal category, $S\subset \mathcal M$ a collection of objects and morphisms. I would like to construct the localization $\mathcal M \mathop{\longrightarrow}^T ...
2
votes
3answers
463 views

Reference request: SGA7

I want to read SGA7. Without considering the others SGA and EGA, Which are the textbooks for monodromy theory?
2
votes
1answer
132 views

References for the Keisler Order

Are there any good/modern references on the Keisler order. I have been reading Keisler's original paper, "Ultraproducts which are not Saturated", which introduces the order. However it is somewhat ...
5
votes
2answers
206 views

Ergodic theory reference for converging sequences of matrices

I have been told that the following is a well known theorem in ergodic theory & have been given the book by Furstenberg as a reference. However, I cannot find such a statement in it. Would anyone ...
2
votes
0answers
46 views

Generators for lattice polytopes

Let $V$ be a finite set of integral vectors in $\mathbb{R}_n$. Consider the real (positive) convex cone $\mathbb{R}^+V$ spanned by $V$. We can assume that all vectors in $V$ are extremal in ...
5
votes
1answer
269 views

Serious introduction to the Langlands program for nonspecialist

I recently became interested in the Langlands program and hope to learn more. For context, I am an analytic number theorist but have some light background in algebraic number theory and modular ...
5
votes
1answer
286 views

Detection of stable homotopy by K-theory spectra

This is primarily a reference request. Does anyone know of any writing about algebraic K-theory spectra picking up elements in the stable homotopy groups of spheres in their Hurewicz image coming from ...
7
votes
3answers
568 views

nth term in the Baker-Campbell-Hausdorff formula

I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...
1
vote
0answers
95 views

References for crystal bases and Demazure modules in representation theory

I was wondering what are some standard general references/books/survey articles about: (1) crystal bases, and string parameterizations and (2) Demazure modules, and Schubert varieties (containing ...
5
votes
1answer
236 views

Noncommutative HKR theorem

What is the analog of HKR theorem in the noncommutative world? Recall that the well-known theorem by Hochschild-Kostant-Rosenberg says that for a smooth commutative algebra $A$ of finite type ...
1
vote
2answers
112 views

Asymptotics and error terms for an arithmetic function built upon $\omega$ and $\Omega$ functions

For any real number $x$, let's define $Om_{k}(x)$ as the number of positive integers $m$ below $x$ such that $\Omega(m)-\omega(m)=k$, where $\omega(n)$ is the number of distinct primes dividing $n$, ...
2
votes
0answers
59 views

Uniformization/measurable selection theorems

Let $X,Y$ be measurable spaces and $F\subseteq X\times Y$. We say that $f:X\to Y$ is a uniformization map for $F$ if $(x,f(x))\in F$ for each $x\in \pi_X(F)$ where $\pi_X$ is the left projection map. ...
2
votes
2answers
243 views

Basic questions on the Hilbert scheme/ Douady space

Let $X$ be a complex projective scheme (resp. complex analytic space). The Hilbert scheme (resp. Douady space) parameterizes closed subschemes (resp. complex analytic subspaces) of $X$. More ...
0
votes
1answer
253 views

a book comparable to Development of mathematics in the 19th century by F.Klein? [closed]

This book is apparently very interesting according to Vladimir Arnold. I couldn't get my hand on a copy yet, therefore I would to ask you for any reference similar to it, and also can you post ...
10
votes
3answers
1k views

Weil's Riemann Hypothesis for dummies?

Weil's Riemann Hypothesis is a deep result that I don't fully understand, but it has understandable corollaries which interest me. For example: (a) For any projective curve $X$ satisfying certain ...
1
vote
0answers
55 views

polynomial 0,1 integer programming

IS there a mathematical optimization branch that explicitly tries to optimize this (type) problem? $$\eqalign{ & \min \cr & \sum\limits_{i = 1}^N {(J*s[i] + {J_1}*s[i]*s[i + 1] + ...
2
votes
1answer
219 views

Tools for Removing Radicals from Equations

I am currently doing some investigations on Sylvester's 4 Point Problem Probability of 4 Points being in Convex Configuration and repeatedly face the problem of solving equations between sums of ...
6
votes
1answer
321 views

Complex geometry text/research introduction for the analyst

To give some background, I am mainly an analyst trained in harmonic/functional and do work on geometric pde's and spectral multipliers. Of late, I am trying to learn more about (research level) ...
1
vote
0answers
44 views

Jumps of jump diffusions

Let $W$ be a Brownian motion and $N$ a Poisson random measure defined on $\mathbb R_+ \times \mathbb R_0^n$ ($\mathbb R_0^n:=\mathbb R^n-\{0\}$) with compensator $\tilde N(dt,dz):= N(dt,dz) - dt ...
2
votes
1answer
182 views

How does one show that slope stability of a vector bundle is an open condition with respect to the polarisation?

I would like a source for the following result, which I expect to be true (probably well known): Let $X$ be a complex projective variety, $L$ an ample line bundle and $E$ a slope stable vector bundle ...
0
votes
3answers
198 views

Specific Reference? Noncommutative topology and C^* algebras [closed]

I stumbled across this "dictionary for noncommutative topology" http://planetmath.org/noncommutativetopology and I would be very interested in learning more on the subject, particularly I'd like to ...
2
votes
0answers
62 views

Reference for MacMahon on Overpartitions

In the literature on overpartitions Percy A. MacMahon is usally cited as the genesis of the theory. Often the reference is to his 1916 textbook -- but, having recently checked this out of my school's ...
1
vote
2answers
99 views

Does the Teichmüller space of the pair of pants admit a continuous global section?

Let $P$ be a pair of pants, $H(P)$ be the space of smooth hyperbolic Riemannian metrics with geodesic boundary on $P$, and $T(P)$ be the Teichmüller space of $P$ (quotient of $H(P)$ under smooth ...
2
votes
0answers
56 views

Properties of the induced map between inertia stacks

Let $\mathcal X$ and $\mathcal Y$ be (separated) Deligne-Mumford stacks. A morphism of stacks $f:\mathcal X \to \mathcal Y$ induces a morphism between inertia stacks $\tilde f:I\mathcal X \to ...
3
votes
1answer
137 views

Flat family with special fiber $\mathbb{C}\mathbb{P}^1$

Let $C=Spec \mathbb{C}[t]/(t^{n+1})$. Let $X$ be an algebraic (or complex analytic) scheme, flat over $C$ with the structure morphism $f\colon X\to C$. Assume that the special fiber is isomorphic to ...
2
votes
2answers
207 views

irreducible polynomials on the polynomial sequence

I suspect this problem is very famous and it must be studied very well. But I searched in Google and I did not find good reference. I will appreciate any answer and reference for any contribution ...
3
votes
1answer
120 views

Countable model theory for $\omega$-stable theories?

This is a bit of a fishing expedition, because I'm not sure what I'm looking for. Very vaguely stated, here's the driving question: What conditions on an $\omega$-stable theory make the class of ...