# All Questions

100,144 questions
851 views

### Quantum Computing Complexity?

After reading a recent post on Church's Thesis, I ran into Turing-Church's Strong Thesis, that may be potentially disproven by advances in Quantum Computing. Does anyone know of a good resource that ...
790 views

### Is there a version of Temperley-Lieb using sl(3) rather than sl(2)?

This question is a spin-off from Sammy Black's question on super Temperley-Lieb. Please see there for the background. The short version is that Sammy defines the Temperley-Lieb at index d as the ...
340 views

### What kind of operations does the Tall-Wraith monoid encode?

According to the nLab page, for an algebraic theory V a Tall–Wraith V-monoid is "the kind of thing that acts on V-algebras". Well, it certainly does act on V-algebras, but in which sense is it "the ...
947 views

### What is the most compelling reason to believe Church's thesis? [closed]

Church's thesis states that the Turing machine is a universal model of computation. What is the most compelling argument supporting this assertion?
1k views

### Very strong multiplicity one for Hecke eigenforms

In Invent. math. 116, 645-649 (1994) Dinakar Ramakrishnan proves a theorem which I understand to imply that the following statement (in light of the fact that elliptic curves over $\mathbb{Q}$ are ...
3k views

### Is the set of primes “translation-finite”?

The definition in the title probably needs explaining. I should say that the question itself was an idea I had for someone else's undergraduate research project, but we decided early on it would be ...
826 views

### Sources for exact triangles in triangulated categories.

The other day I came across the statement that in the triangulated category $\mathfrak{KK}$ (of C*-algebras with KK-groups as morphism sets) "there are many other sources of exact triangles besides ...
443 views

### Equivariant Derived Categories via their properties.

There are some ways to define equivariant derived categories of all sorts. But all the ways i know of involve giving a concrete construction. Is the other way around possible? Is there some universal ...
778 views

### properly interpreting Pi_0 in the homotopy exact sequence

Define the lens space L(m,n) as the quotient of S2m+1 by the action of the cyclic group ℤn⊂S1⊂ℂ*. We can create the infinite lens space L(∞,n) by a telescoping construction ...
10k views

5k views

Serre's A Course in Arithmetic gives essentially the following proof of the three-squares theorem, which says that an integer $a$ is the sum of three squares if and only if it is not of the form $4^m (... 3answers 340 views ### Multiplication of (0,1) matrices is there an obvious lattice path counting interpretation for multiplying n by n (0,1) matrices ? 3answers 1k views ### Is there a stable algorithm for polynomial division (in several variables)? Suppose you have a homogeneous ideal$I$inside the algebra$\mathbb{C}[x_1,...,x_d]$of complex polynomials in$d$-variables. Can one find a basis for$I$, say$\{f_1,...,f_k\}$, such that every$h \...
466 views

This is probably an easy question. Let C be a category with (finite) products. An internal hom in C category is an object uhom(X, Z) which represents the functor: Y |-----> hom(Y x X, Z) here "...
6k views

### Canonical examples of algebraic structures

Please list some examples of common examples of algebraic structures. I was thinking answers of the following form. "When I read about a [insert structure here], I immediately think of [example]." ...
2k views

### When is a locally convex topological vector space normal or paracompact?

All locally convex topological vector spaces (LCTVS) are completely regular, since their topology is given by a family of semi-norms. I'm interested in conditions that imply that a LCTVS is ...
3k views

### Is no proof based on “tertium non datur” sufficient any more after Gödel?

There are many proofs based on a "tertium non datur"-approach (e.g. prove that there exist two irrational numbers a and b such that a^b is rational). But according to Gödel's First Incompleteness ...
7k views

### japanese/chinese for mathematicians?

I'd like to learn to read math articles in Japanese or Chinese, but I am not interested in learning these languages from usual textbooks. Exist suitable texts, specialized for the needs for reading ...
798 views

### Subgroups of a group generated by a free semigroup

Let $F$ be a free semigroup (say, $2$-generated) which is embedded in a group $G$, and suppose that $G$ (as a group) is generated by $F$. The most simple such situation would be when $G$ is a free ...
669 views

### Ansätze for solving PDEs with wavelets

It is common to solve PDEs with e.g. Fourier and Laplace Transforms. It is often said that Wavelets are a progression compared to them with many nice features. My question: Which Ansätze do you know ...
231 views

### limits of algebraic varieties

I'm looking for a reference which deals with limits of families of algebraic varieties as the degree increases (or at least keywords from this subject). For the kind of example I have in mind, ...
447 views

### Finiteness of Obstruction to a Local-Global Principle

Say that a projective variety V over Q satisfies the local-global principle up to finite obstruction (#) if there are only finitely many isomorphism classes of projective varieties over Q that are not ...
582 views

### Controlling Ultrapowers

Say I start with some a transitive model of a large fragment of ZFC (say enough to run Łoś' Theorem externally) and a specific set x∈M. Now let's say I'm going to pick some M-ultrafilter U on x. ...
985 views

### What kind of geometric operations “scale up” cohomology?

There's an obvious operation on the category of graded rings, given by "scaling up," multiplying the grading of every element by some fixed constant. Does anyone know of an operation on the level of ...
4k views

### Does any method of summing divergent series work on the harmonic series?

It's sort of folklore (as exemplified by this old post at The Everything Seminar) that none of the common techniques for summing divergent series work to give a meaningful value to the harmonic series,...
1k views

### What are the Benefits of Using Algebraic Spaces over Schemes?

I have heard that algebraic spaces have better formal properties than schemes. What are these benefits? Also, is there a natural way to go straight from affine schemes to algebraic spaces bypassing ...
1k views

### Is the fixed locus of a group action always a scheme?

Suppose G is an algebraic group with an action G×X→X on a scheme. Does the fixed locus (the set of points x∈X fixed by all of G) have a scheme structure? You can obviously define the ...
3k views

### Are proper linear subspaces of Banach spaces always meager?

Let X be a Banach space, and let Y be a proper non-meager linear subspace of X. If Y is not dense in X, then it is easy to see that the closure of Y has empty interior, contradicting Y being non-...