All Questions

118,483 questions
Filter by
Sorted by
Tagged with
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 ...
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 ...
3k views

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