# All Questions

118,483
questions

**7**

votes

**2**answers

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

**26**

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

719 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

996 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

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

**15**

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

798 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

262 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

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

**9**

votes

**5**answers

3k 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 ...

**13**

votes

**5**answers

3k 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 ...

**10**

votes

**3**answers

909 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

662 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

7k 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

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

**16**

votes

**3**answers

2k 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 ...

**26**

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

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

**9**

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

**12**

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

827 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

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

**15**

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

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

**9**

votes

**1**answer

496 views

### Can one check formal smoothness using only one-variable Artin rings?

Let $f:X\rightarrow Y$ be a morphism of schemes over a field $k$. Can one check that $f$ is formally smooth using only Artin rings of the form $k^{\prime}\left[t\right]/t^{n}$, where $k^{\prime}$ is ...

**25**

votes

**5**answers

9k views

### Atiyah-MacDonald, exercise 2.11

Let $A$ be a commutative ring with $1$ not equal to $0$. (The ring A is not necessarily a domain, and is not necessarily Noetherian.) Assume we have an injective map of free $A$-modules $A^m \to A^n$...

**7**

votes

**2**answers

1k views

### Critical points on a fiber bundle

Consider a (smooth) bundle E→_B_, and a (smooth) function f: E → R on the total space. Then it makes sense to talk about the derivatives of f along the fibers. Let C be the subspace of E consisting ...

**34**

votes

**5**answers

4k views

### How can you tell if a space is homotopy equivalent to a manifold?

Is there some criterion for whether a space has the homotopy type of a closed manifold (smooth or topological)? Poincare duality is an obvious necessary condition, but it's almost certainly not ...

**35**

votes

**9**answers

5k views

### Is every finite-dimensional Lie algebra the Lie algebra of an algebraic group?

Harold Williams, Pablo Solis, and I were chatting and the following question came up.
In Lie group land (where you're doing differential geometry), given a finite-dimensional Lie algebra g, you can ...

**27**

votes

**5**answers

10k views

### Linearity of the inner product using the parallelogram law

A norm on a vector space comes from an inner product if and only if it satisfies the parallelogram law. Given such a norm, one can reconstruct the inner product via the formula:
$2\langle u,v\rangle ...

**9**

votes

**5**answers

617 views

### is there a good computer package for working with bicomplexes?

I'm interested in working with bicomplexes of modules over polynomial rings, specifically tensoring them together, and the operation of taking cohomology in one direction, and then the other. Is ...

**7**

votes

**1**answer

581 views

### Is there a good computer package for working with complexes over non-commutative rings?

I'm interested in doing computations with certain non-commutative rings, most of which involve taking derived tensor products. Does anyone know of a computer algebra package which will find ...

**18**

votes

**11**answers

8k views

### What is the exact statement of “there are 27 lines on a cubic”?

I think there was a theorem, like
every cubic hypersurface in $\mathbb P^3$ has 27 lines on it.
What is the exact statement and details?

**103**

votes

**5**answers

10k views

### What do epimorphisms of (commutative) rings look like?

(Background: In any category, an epimorphism is a morphism $f:X\to Y$ which is "surjective" in the following sense: for any two morphisms $g,h:Y\to Z$, if $g\circ f=h\circ f$, then $g=h$. Roughly, "...