All Questions

Filter by
Sorted by
Tagged with
4
votes
3answers
443 views

Functions on hyperbolic space and modular curves

The decomposition of $L^{2}\left(S^{2}\right)$ under $SO\left(3,\mathbb{R}\right)$ is well-known. Focus now on the hyperbolic plane $H$ presented as the quotient $SL\left(2,\mathbb{R}\right)/SO\left(...
5
votes
2answers
608 views

Are there interesting monoidal structures on representations of quantum affine algebras?

Is there a good monoidal structure on a category of integrable representations of a quantum affine algebra? In the ordinary affine Kac-Moody case, there is the usual tensor product (symmetric, adds ...
7
votes
3answers
3k views

Beilinson-Bernstein and Koszul duality

For geometric representation theorists down here. Consider the Beilinson-Bernstein theorem: Functor of global sections establishes the correspondence between twisted D-modules with fixed ...
10
votes
2answers
1k views

Elliptic curve over spectra?

Filling the gaps in my knowledge to understand the tmf question. So, what is the analogue of elliptic curve over the category of spectra?
10
votes
8answers
2k views

Which came first: the Fibonacci Numbers or the Golden Ratio?

I know that the Fibonacci numbers converge to a ratio of .618, and that this ratio is found all throughout nature, etc. I suppose the best way to ask my question is: where was this .618 value first ...
7
votes
3answers
2k views

What is the Theorem of the Cube?

What is the "theorem of the cube" for abelian varieties? What is the statement and how should I think about it?
2
votes
2answers
802 views

What is the difference between the Power Law and Zipf's Law?

I am new to statistics. Could somebody tell me what is the difference between a Power Law and Zipf's Law. The latter could be just for texts but I cant see any difference in their essence.
20
votes
3answers
2k views

What is a TMF in topology?

What is a topological modular form? How are they related to 'normal' (number-theoretic) modular forms?
10
votes
5answers
1k views

Questions about ordering of reals and irrationals

Three problems from G.Rosenstein "Linear orderings" (from the end of Chapter 2 and beginning of Chapter 4): 1) Is there a nondecreasing function from irrationals onto reals? 2) Is there a ...
4
votes
2answers
990 views

Non-zero sheaf cohomology

Let $\mathbb{R}$ denote the real line with its usual topology. Does there exist a sheaf $F$ of abelian groups on $\mathbb{R}$ whose second cohomology group $H^{2}\left(\mathbb{R},F\right)$ is non-zero?...
7
votes
2answers
785 views

Finding monochromatic rectangles in a countable coloring of $R^{2}$

Given a countable coloring of the plane, is it always possible to find a monochromatic set of points $\left\{ \left(x,y\right),\left(x+w,y\right),\left(x,y+h\right),\left(x+w,y+h\right)\right\} $ (the ...
2
votes
2answers
140 views

Are irregular points of an action necessarily in the closure of a larger orbit?

Suppose G is an affine algebraic group acting linearly on a vector space V. A point v∈V is stable if the orbit Gv is closed and v is regular (the dimension of the stabilizer of v is locally ...
25
votes
4answers
3k views

What is the universal property of associated graded?

Given a filtered vector space (or module over a ring) $0=V_{0}\subseteq V_{1}\subseteq\cdots\subseteq V$, you can construct the associated graded vector space $\mathrm{gr}\left(V\right)=\oplus_{i}V_{i+...
-2
votes
1answer
717 views

Fundamental: Division by Zero [closed]

All the articles I've read regarding "Division by Zero" the main argument for it being an undefined operation, because all proofs lead to contradictions. ...
17
votes
2answers
7k views

does a line bundle always have a degree

For curves there is a very simple notion of degree of a line bundle or equivalently of a Weil or Cartier divisor. Even in any projective space $\mathbb P(V)$ divisors are cut out by hypersurfaces ...
6
votes
4answers
986 views

Are abelian non-degenerate tensor categories semisimple?

A pivotal monoidal category is called non-degenerate if the inner product $\left(x,y\right) = Tr\left(xy^{*}\right)$ (where $y^{*}$ is the dual map) is non-degenerate. As a rule of thumb non-...
11
votes
5answers
2k views

When are Hilbert schemes smooth?

I know that Hilbert schemes can be very singular. But are there any interesting and nontrivial Hilbert schemes that are smooth? Are there any necessary conditions or sufficient conditions for a ...
8
votes
5answers
1k views

Compact Kaehler manifolds that are isomorphic as symplectic manifolds but not as complex manifolds (and vice-versa)

What are some examples of compact Kaehler manifolds (or smooth complex projective varieties) that are not isomorphic as complex manifolds (or as varieties), but are isomorphic as symplectic manifolds (...
14
votes
6answers
3k views

Why and how are moduli spaces of (semi)stable vector bundles well-behaved?

The slope of a vector bundle $E$ is defined as $\mu(E) = \deg(E)/\mathrm{rank}(E)$. Then a vector bundle $E$ is called semistable if $\mu(E') \leqslant \mu(E)$ for all proper sub-bundles $E'$. It is ...
8
votes
2answers
793 views

Has anyone tabulated 2-knots? Would anyone like to try?

I'd love to have a list of 'small' 2-knots, for some sense of small. It's not clear what one should filter by, but there are two obvious candidates Write a movie presentation, and count the frames. ...
7
votes
1answer
261 views

A $k$-component link defines a map $T^{k}\rightarrow \mathrm{Conf}_{k} S^{3}$. Does the homotopy type capture Milnor's invariants?

A $k$-component link defines a map $T^{k}\rightarrow \mathrm{Conf}_{k} S^{3}$. Does the homotopy type of this map capture the Milnor invariants? Some special cases: $k=2$, no, it's null homologous, ...
4
votes
2answers
576 views

How does one think about the “off-diagonal” part of the $R$-matrix?

The universal $R$-matrix of a quantized universal enveloping algebra is typically written as the product of two terms, one only involving elements of the Cartan, and one only involving elements of the ...
8
votes
5answers
2k views

Is the long line paracompact?

A manifold is usually defined as a second-countable hausdorff topological space which is locally homeomorphic to Rn. My understanding is that the reason "second-countable" is part of the definition is ...
12
votes
5answers
2k views

Equivalent Statements of Riemann Hypothesis in the Weil Conjectures

In the cohomological incarnation, the Riemann hypothesis part of the Weil conjectures for a smooth proper scheme of finite type over a finite field with $q$ elements says that: the eigenvalues of ...
9
votes
3answers
895 views

How to topologize X(R) when R is a topological ring?

Given a topological ring $R$, under what conditions and in what way, can one induce a topology on the $R$-points of a scheme $X$? For example, if $X$ is $P^n$ or $A^n$, one has natural topology on ...
4
votes
3answers
657 views

Questions about Quivers

Hi, The definition I have for a Path Algega of a quiver Q is that it is the algebra whose basis is formed by the oriented paths in Q, including the trivial ones. Apparently multiplication is given ...
23
votes
5answers
6k views

Can a quotient ring R/J ever be flat over R?

If R is a ring and J⊂R is an ideal, can R/J ever be a flat R-module? For algebraic geometers, the question is "can a closed immersion ever be flat?" The answer is yes: take J=0. For a less ...
4
votes
2answers
347 views

Bi-embeddability vs. isomorphism

Can anybody give me an example of a "naturally-occurring" algebraic category $C$ in which: $C$ has two non-isomorphic objects $A$ and $B$ which are bi-embeddable via monic maps; but $C$ does NOT have ...
15
votes
3answers
1k views

Is there an example of a variety over the complex numbers with no embedding into a smooth variety?

Is there an example of a variety over the complex numbers with no embedding into a smooth variety?
36
votes
6answers
14k views

How do you show that $S^{\infty}$ is contractible?

Here I mean the version with all but finitely many components zero.
13
votes
2answers
2k views

Is there an example of a formally smooth morphism which is not smooth?

A morphism of schemes is formally smooth and locally of finite presentation iff it is smooth. What happens if we drop the finitely presented hypothesis? Of course, locally of finite presentation is ...
25
votes
2answers
6k views

When is fiber dimension upper semi-continuous?

Suppose $f\colon X \to Y $ is a morphism of schemes. We can define a function on the topological space $Y$ by sending $y\in Y$ to the dimension of the fiber of $f$ over $y$. When is this function ...
10
votes
5answers
3k views

Ribbon graph decomposition of the moduli space of curves

What is a ribbon graph? What is the ribbon graph decomposition of the moduli space of curves? What are some good references for this material?
10
votes
4answers
3k views

Definition of Hochschild (co)homology of a (dg or A-infinity) category

How do you define the Hochschild (co)homology of a dg category or an A-infinity category? I've only seen it defined when the category is equivalent to a category of modules over a dg algebra; then the ...
5
votes
2answers
1k views

What's the correct notion of determinant of a bilinear pairing?

By a pairing on a vector space $V$, I mean a linear map $A : V \otimes V \to R$. If $V$ is $n$-dimensional ($n < \infty$), then I can define the determinant of $A$ by considering the canonical ...
1
vote
3answers
3k views

Finite Hausdorff spaces [closed]

Is a finite Hausdorff space necessarily discrete?
17
votes
2answers
2k views

Zeta-function regularization of determinants and traces

The short answer to my question may be a pointer to the right text. I will give all the background I know, and then ask my questions in list form. Let A be an operator (on an infinite-dimensional ...
7
votes
0answers
314 views

Is there a finite-index finite-depth II$_1$ subfactor which is more than $7$-super-transitive?

Background: See Noah and Emily's posts on subfactors and planar algebras on the Secret Blogging Seminar. There are plenty of examples of $3$-super-transitive (3-ST) subfactors; Haagerup, $S_4 < ...
8
votes
2answers
1k views

What's the sense in which A_\infty algebras are “deformable”?

I realise this is a very vague question! I've heard people say that A∞ algebras are the right homotopy-theoretic generalization of usual associative algebras, because you can deform them. What ...
12
votes
5answers
2k views

Why is the Hochschild homology of k[t] just k[t] in degrees 0 and 1?

Background: the Hochschild homology of an associative algebra is the homology of the complex $$ \ldots \longrightarrow A \otimes A \otimes A \longrightarrow A \otimes A \longrightarrow A$$ where ...
11
votes
8answers
4k views

Resources on Invariant Theory

Hi, So my question is pretty much summed up by the summary - basically I've run into a need to teach myself some of the basics of invariant theory and was looking for a good place to start. I'd ...
3
votes
3answers
818 views

Does the “continuous locus” of a function have any nice properties?

Suppose f:R→R is a function. Let S={x∈R|f is continuous at x}. Does S have any nice properties? Here are some observations about what S could be: S can be any closed set. For a closed set ...
18
votes
4answers
5k views

Can you explicitly write $\mathbb{R}^2$ as a disjoint union of two totally path disconnected sets?

An anonymous question from the 20-questions seminar: Can you explicitly write $\mathbb{R}^2$ as a disjoint union of two totally path disconnected sets?
8
votes
6answers
1k views

When does the sequence of iterates of a rational function converge?

Darsh asks at the 20-questions seminar: Let $f:P^1 \rightarrow P^1$ be rational function. Can you say when the sequence $\{ f^n(x)\}_n=\{ x,f(x),f(f(x)),\cdots\} $ converges? What about the sequence ...
10
votes
4answers
731 views

Can you describe the image of the exponential map B(H)->B(H).

James Tener asks at the 20-questions seminar: The exponential map exp:B(H)->B(H) is just defined by its Taylor series. Can you describe its image?
6
votes
2answers
1k views

Is there a category in which finite limits and directed colimits *don't* commute

Andrew Critch asks at the 20-questions seminar: In Set and AbGrp (the categories of sets and abelian groups, respectively), finite limits commute with directed colimits. As an example, if you're ...
25
votes
7answers
3k views

How do you see the genus of a curve, just looking at its function field?

Yuhao asked in the 20-questions seminar: The genus of a curve is a birational invariant; the function field of a curve determines it up to birational equivelance. How do you see the genus directly ...
14
votes
2answers
3k views

When do fibre products of smooth manifolds exist?

Harold asks what conditions on $f:M\to L$ and $g:N\to L$, both smooth maps of smooth manifolds, ensures the existence of the fibre product $M \times_L N$.
12
votes
2answers
1k views

Model category structures on categories of complexes in abelian categories

Section 2.3 of Hovey's Model Categories book defines a model category structure on Ch(R-Mod), the category of chain complexes of R-modules, where R is a ring. Lemma 2.3.6 then essentially states (I ...
5
votes
2answers
653 views

are deformations of torsion modules always torsion?

Let's say I have a field $\mathbb{K}$ and a flat family of $\mathbb{K}[t]$-modules $M$ over the formal disk $Spec \mathbb{K}[[h]]$. Now, assume that $M/hM$ is torsion as a $\mathbb{K}[t]$-module (...

15 30 50 per page