All Questions
15,616 questions
6
votes
3
answers
2k
views
A simple infinite dimensional optimization problem
I'd be grateful for a reference for the following result, which I believe to be true, and
should be well-known.
Let the continuous functions $f_0,f_1,\cdots,f_n: [0,1]\rightarrow [0,\infty)$ be ...
3
votes
4
answers
3k
views
Reference request for category theory works which quickly prove the theorem which generalises the 1st isomorphism theorem for groups/rings/...
One aspect of category theory that caught my eye is that it can give simultaneously prove the 1st isomorphism theorem for groups/rings/fields/vector spaces/... Yet whenever I look up works on category ...
1
vote
0
answers
268
views
Learning statistical mechanics for non-particle phenomena
I'm interested in various areas of complex systems, and I often come across articles like these:
http://arxiv.org/PS_cache/cond-mat/pdf/0106/0106096v1.pdf
http://arxiv.org/abs/cond-mat/9804180
The ...
3
votes
0
answers
313
views
Proof of Saito criterion
Does it exist another proof of saito's criterion for free divisors, other than the one in "K. Saito, Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo ...
1
vote
1
answer
448
views
Characterisation of coherent sheaves on an algebraic variety
The Wikipedia article on coherent sheaves makes the following claim (without any reference), which I had trouble proving or finding a reference for: on an algebraic variety X (or I guess possibly even ...
6
votes
2
answers
1k
views
Introduction to the Podles Sphere
I am just looking for a basic introduction to the Podles sphere and its topology. All I know is that it's a q-deformation of $S^2$.
21
votes
2
answers
1k
views
Most squares in the first half-interval
It is well known that if $p$ is an odd prime, exactly one half of the numbers $1, \dots, p-1$ are squares in $\mathbb{F}_p$. What is less obvious is that among these $(p-1)/2$ squares, at least one ...
5
votes
6
answers
913
views
Topological results from geometry
Hi people,
I'm interested in results, such as the Gauß-Bonnet theorem, Fàry-Milnor theorem or classification theorems for manifolds, which give topological properties from geometric considerations. ...
7
votes
1
answer
730
views
Example sought of an atomic domain R such that R[t] is not atomic
Recall that an integral domain $R$ is atomic if every nonzero nonunit admits at least one factorization into irreducible elements. (Indeed, hard-core factorization theorists have replaced the word "...
25
votes
3
answers
5k
views
Conceptual understanding of the Gross-Zagier theorem.
The Gross-Zagier paper "Heegner points and derivatives of $L$-series", is really computational and hard to plow through. It seems it is futile to read it as such and one must look for a more ...
15
votes
3
answers
2k
views
Survey articles on homotopy groups of spheres
Are there general surveys or introductions to the homotopy groups of spheres? I'm interested especially in connections to low-dimensional geometry and topology.
1
vote
2
answers
3k
views
unit sphere is weak dense in the unit ball
As I remember the following is true:
Fact: for every infinite-dimensional normed space $X$
the unit sphere $S$ is weak-dense in the unit ball $B$.
Please help me find a reference.
Thanks in ...
5
votes
2
answers
640
views
Trying to find a 1949 Russian Paper on Transportation Theory
I am a research student in transportation theory. I have difficulty in obtaining this paper:
L. V. KANTOROVICH and M. K. GAVURIN, "The application of mathematical methods
in problems of freight flow ...
5
votes
0
answers
600
views
Barsotti--Weil formula over separably closed fields
Let $S$ be a noetherian scheme and let $A$ be an abelian scheme on $S$ with dual $A^\vee$. The generalised Barsotti Weil formula states that there is a canonical and functorial (in $S$ and $A$) ...
19
votes
1
answer
901
views
Locus of equal area hyperbolic triangles
Henry Segerman and I recently considered the following question:
Given a fixed area $A < \pi$ and two fixed points in the upper half-plane model for hyperbolic $2$-space, what is the locus of ...
14
votes
2
answers
1k
views
Dyer-Lashof based spectral sequence for homotopy classes of maps between infinite loop spaces (spectra).
The homology of an infinite loop space, which represents a spectrum, is an algebra over the Dyer-Lashof algebra (see for example Cohen-Lada-May's Springer volume, or for part of the story the more ...
4
votes
1
answer
373
views
The geometry of closure of orbit of Borel subgroup in G/B × G/B.
Let $G$ be a reductive group, let $B$ be one of its Borel subgroups, and $T$ be a torus in $B$. $G/B$ is its flag variety. Let $y,w$ be two T-fixed points in $G/B$. Let $\mathcal{O}_{y,w}$ be the $B$-...
5
votes
2
answers
332
views
Characterization of combinatorial manifolds in terms of links
I need to reference the following result. Do you know a good source?
The following conditions on an $n$-dimensional simplicial complex $S$ are equivalent:
a) $S$ is an $n$ manifold;
b) The link of ...
11
votes
1
answer
654
views
Nonseparable Hilbert spaces as quotients of spaces of bounded functions
Is the following result true: the Hilbert space $\ell^{2}\left(2^{\Gamma}\right)$ is a quotient of $\ell^{\infty}\left(\Gamma\right)$ for any
uncountable $\Gamma$ ? [I think it is, but cannot remember ...
10
votes
3
answers
2k
views
A Reference for Schubert's Theorem
Schubert's Theorem in Knot Theory says that any knot can be uniquely decomposed as the connected sum of prime knots.
Unfortunately the original paper is in German.
Does anyone know a good english ...
2
votes
2
answers
353
views
Reference request: given a divisor d of N, how quickly can I obtain the largest factor of N coprime to d?
This is quite likely to be a solved problem, perhaps even a standard exercise. However, being a non-[number theorist], I don't know where to look. A quick perusal of the basic starting references ...
4
votes
1
answer
1k
views
Lifting Etale Morphisms
I am trying to find a reference for the following theorem:
Let $R$ be a complete DVR, and let $Y$ be a scheme projective and flat over $R$. Suppose that $X_0 \longrightarrow Y_0$ is a finite etale ...
7
votes
2
answers
1k
views
Reference for the existence of a Shapovalov-type form on the tensor product of integrable modules
Shapovalov and Jantzen showed us how to construct a nice inner product on finite dimensional representations of a semi-simple Lie algebra, by simply giving the highest weight vector inner product 1 ...
4
votes
0
answers
390
views
Is there a reference that treats principal homogeneous spaces for (say) group varieties using schemes?
I was wondering if anyone could recommend a reference that discusses principal homogeneous spaces for general finite type group schemes over a field $k$ entirely in the language of schemes (or even ...
2
votes
1
answer
647
views
Reference: Countable Models of (Non-)Euclidean Geometry
Has there been a survey written on the model theory of first-order (non-)Euclidean geometry in the spirit of Hilbert and Tarski? I'm especially interested in two aspects of the model theory:
...
15
votes
1
answer
1k
views
If the tensor product of two representations are crystalline, are the original representations crystalline?
Let $K$ be a finite extension of the $p$-adic numbers. Suppose that $V$ and $W$ are two (finite dimensional, $p$-adic) continuous representations of $G_K$. Suppose that $V \otimes W$ is crystalline. ...
6
votes
1
answer
967
views
Chow Ring of Moduli Space of Abelian Varieties
Is there a good reference for the structure of the Chow ring of $\mathcal{A}_g$, the moduli space of complex principally polarized abelian varieties? More generally, references for the intersection ...
8
votes
0
answers
1k
views
Is there a deep relationship between models and étale cohomology ? If so, why, and is it made precise somewhere ?
Let me recall two theorems :
Let $K$ be a field, $\overline{K}$ be
a separable closure of $K$ with
absolute Galois group
$G_K:=Gal(\overline{K}/K)$, and let
$\ell$ be a prime that is ...
12
votes
1
answer
3k
views
Perverse Sheaves - MacPherson Lecture Notes
I keep running across papers that refer to a set of lecture notes by Robert MacPherson at MIT during the fall of 1993 on Perverse Sheaves. There might also be a set of notes from lectures in Utrecht ...
4
votes
1
answer
246
views
Name for an inequality of isoperimetric type
I want to know if the following fact has a standard name and/or reference
Let $X$ be a subset of $\mathbb R^2$ and $B$ be a disc of the same area as $X$.
Set $X_\epsilon$ to be the $\epsilon$-...
4
votes
1
answer
262
views
Criterion for being a simple vector
1) I was wondering if there exists a criterion (of (a) combinatorial or (b) geometric nature) for a sum of simple vectors $V\in\wedge^k(\mathbb R^n)$,
$V=e_{a_{11}}\wedge\cdots\wedge e_{a_{1k}} + \...
3
votes
4
answers
2k
views
Equivalent definitions of Gaussian curvature
I'm trying to find out more about geometry of surfaces and, in particular, Gaussian curvature. I understand that it can be defined in terms of the principal curvatures (extrinsically) and also ...
2
votes
1
answer
1k
views
Several question on Affine Lie algebra
These questions might be elementary for I just started to learn affine Kac-Moody algebra.
It is well known that if we consider finite dimensional Lie algebra, we have the folloing projection:
$R(\...
1
vote
0
answers
1k
views
Covariance matrix formula interpretation - what am I missing?
I'm reading a paper that outlines the calculation of a covariance matrix like the following:
$C=\displaystyle\sum^{N_b}_{i=1}\vec{x}_i\vec{x}_i^T$
What is the order of this matrix? My interpretation ...
4
votes
3
answers
470
views
Is there a nice way to characterise the derived equivalence induced by a flop?
Hello, I'm interested in the case when all varieties are projective threefolds over the complex numbers.
Start with a flopping contraction $f:Y \rightarrow X$, with corresponding flop $f^+: Y^+ \...
9
votes
2
answers
7k
views
Constant curvature manifolds
In two different books I found these two related statements.
The book by Jost defines a ``locally symmetric space" as one for which the curvature tensor is constant and which is geodesically complete....
4
votes
0
answers
352
views
"Cholesky decomposition" X=YY* for p-adic matrices?
Let $E/F$ be a quadratic extension of $p$-adic fields. Consider $M_n(E)$ with the unitary (aka 2nd kind) involution $X \mapsto \sigma(X)^{tr}$, where $\sigma(X)$ denotes the entry-wise application of $...
6
votes
2
answers
976
views
References for modular polynomials
I am teaching a graduate "classical" course on modular forms. I try to achieve the most elementary level for presenting modular polynomials. Serge Lang's "Elliptic functions" cover the topic quite ...
14
votes
1
answer
503
views
Is a polynomial group law on $\mathbb{R}^n$ automatically nilpotent?
I was told that a polynomial group law on (all of) $\mathbb{R}^n$ gives automatically a nilpotent (Lie, of course) group.
Is it true? Where can I find a proof?
A counterexample for open subsets of $...
2
votes
1
answer
2k
views
What is Extreme/Extremal vector according to some weights
I know this might be a very elementary question. But I could not find the original definition of Extreme(or Extremal)vectors of some weights $\lambda$(fixed the $w\in W$,where $W$ is Weyl group)
I am ...
0
votes
1
answer
1k
views
What is Taft algebra?
What is a Taft algebra? Is there any references about the original conception?
14
votes
2
answers
3k
views
How many ways are there to prove flag variety is a projective variety?
I am looking for references talking about different ways to prove flag variety $G/B$ is projective variety. Now I have some in mind:
There is a proof in Humphreys Linear algebraic groups, he first ...
8
votes
0
answers
521
views
Skew polynomial algebra
When I was a very little hare, a big grey wolf told me about the following skew polynomial algebra, which I never understood. My question is whether the following construction is a part of some bigger ...
7
votes
1
answer
826
views
Weight filtration for smooth analytic manifolds
In his ICM 2002 talk (Topology of singular algebraic varieties, available also on arXiv) B. Totaro says on p. 3 (of the arXiv version): "Using the method of Guillen and Navarro Aznar I was able to ...
8
votes
2
answers
429
views
Is there a source for a diagrammatic description of the induction functor C->Z(C)?
Suppose that C is a fusion category (over the complex numbers) and that Z(C) is its Drinfel'd center. By definition an object in Z(C) consists of an object V in C together with a collection of half-...
5
votes
2
answers
346
views
Reference request: A theorem by S. Garrison
A theorem by S. Garrison states that if $G$ is a finite solvable group and $|cd(G)| = 4$ then $dl(G)\leq |cd(G)|$ (the Taketa inequality, which is conjectured to hold for all finite solvable groups). ...
9
votes
3
answers
2k
views
Is there a "primitive-recursively enumerable" set whose complement is not such?
Call a subset of $\mathbb{N}$ primitive-recursively enumerable (p-r.e.) if it is empty or an image of a primitive recursive function. I feel like a lot must be known about the poset of such sets ...
7
votes
1
answer
799
views
Liftability of Enriques Surfaces (from char. p to zero)
Let $k$ be an algebraically closed field of characteristic $p > 0$, $X$ a variety over $k$.
We say $X$ lifts to characteristic zero, if there exists a local ring $R$ containing $\mathbb Z$ with ...
4
votes
1
answer
358
views
Prime-ness checking for polynomial ideals over ACFs( algebraically closed fields).
Let $f_1,\ldots f_m \in k[X]$ have degrees bounded by $l$. and $I(\bar{f})$ be the ideal generated by $\bar{f}$.
If $I(\bar{f})$ is not a prime ideal then its non-primeness is witnessed by polynomials ...
10
votes
1
answer
2k
views
Sum of difference moduli vs. sum of modulus differences
This is a failed attempt of mine at creating a contest problem; the failure is in the fact that I wasn't able to solve it myself.
Let $x_1$, $x_2$, ..., $x_n$ be $n$ reals. For any integer $k$, ...