# All Questions

114,993
questions

**4**

votes

**3**answers

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

**2**answers

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

**3**answers

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

**2**answers

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

**8**answers

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

**3**answers

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

**2**answers

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

**3**answers

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

**5**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**4**answers

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

**1**answer

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

**2**answers

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

**4**answers

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

**5**answers

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

**5**answers

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

**6**answers

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

**2**answers

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

**1**answer

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

**2**answers

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

**5**answers

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

**5**answers

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

**3**answers

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

**3**answers

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

**5**answers

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

**2**answers

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

**3**answers

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

**6**answers

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

**2**answers

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

**2**answers

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

**5**answers

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

**4**answers

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

**2**answers

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

**3**answers

3k views

**17**

votes

**2**answers

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

**0**answers

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

**2**answers

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

**5**answers

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

**8**answers

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

**3**answers

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

**4**answers

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

**6**answers

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

**4**answers

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

**2**answers

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

**7**answers

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

**2**answers

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

**2**answers

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

**2**answers

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 (...