All Questions

Filter by
Sorted by
Tagged with
7
votes
2answers
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
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 ...
26
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
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
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
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
5answers
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
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 (...
15
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
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
1answer
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
2answers
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
5answers
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
5answers
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
3answers
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
3answers
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
5answers
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
2answers
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
3answers
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
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 ...
26
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
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
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 ...
12
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
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
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
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
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 ...
15
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
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
1answer
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
5answers
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
2answers
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
5answers
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
9answers
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
5answers
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
5answers
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
1answer
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
11answers
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
5answers
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, "...

15 30 50 per page