4
votes
1answer
81 views
$f^{-1}\mathcal I \cdot \mathcal O_X$ vs $f^\ast \mathcal I$
Let $X$ ad $Y$ be (noetherian) schemes and let $\mathcal I \subseteq \mathcal O_Y$ be a sheaf of ideals on $Y$. Let $f \colon X \to Y$ be a morphism of schemes. In general the shea …
3
votes
3answers
99 views
Subquotients in ZF
In ZF we have the two relations $A \leq B$ and $A \leq^\ast B$ which relate the size of sets: the first says there is an injection from $A$ to $B$, the second that there is a surje …
1
vote
2answers
99 views
Eigenvalues of Symmetric Tridiagonal Matrices
Suppose I have the symmetric tridiagonal matrix:
$ \begin{pmatrix}
a & b_{1} & 0 & ... & 0 \\
b_{1} & a & b_{2} & & ... \\
0 & b_{2} & a …
2
votes
1answer
172 views
Growth of Thompson’s group $F$
EDIT: Mark Sapir pointed a reference (in the comments) giving a lower bound of $2^{1/4}$ for the minimal rate. Is this the state of art? The third question remains unanswered. If …
9
votes
2answers
103 views
Integer lattice points on a hypersphere
Is the following statement true?
For every integer $n\ge2$ and every integer $k\ge0$ there exists a hypersphere in $\mathbb{R}^n$ (circle, sphere etc) containing exactly $k$ i …
6
votes
1answer
154 views
Sheaves on Contractible Analytic Spaces
Let $(X,\mathcal{O}_X)$ be a contractible complex analytic space. Suppose that $\mathcal{F}$ is a coherent sheaf of $\mathcal{O}_X$-modules. Can we invoke the fact that $X$ is cont …
0
votes
1answer
52 views
Discretizing a cosine function?
I'd like to start by noting that for some fixed natural $N$ basis functions for my system will be generated by $f(k,x)$ as defined and explained here or in numerous other sources:
…
0
votes
2answers
61 views
Approximating higher dimension step function
Let $s \in R^{n}$ (meaning $s$ is $n \times 1$ vector), where $n$ is the dimension of the vector. The ideal sliding term, $\nu$ is taken to be:
\begin{equation}
\nu = \frac …
19
votes
2answers
569 views
How much of character theory can be done without Schur’s lemma or the Artin-Wedderburn theorem?
This is a somewhat imprecise question, as I am not sure how exactly how to formalise how to do mathematics "without" a certain key tool, but hopefully the intent of the question wi …
1
vote
0answers
68 views
Almost orthogonal vectors in subsets of euclidean space
Given the vector space $\mathbb{R}^n$, endowed with the standard inner (dot) product $\langle\cdot,\cdot\rangle:\mathbb{R}^n\times \mathbb{R}^n\to\mathbb{R}$, the problem of almost …
5
votes
2answers
181 views
Langlands product
In his 'Märchen' Langlands considers for a local field $F$ a certain abelian category $\Pi(F)$ whose objects are given by isomorphisms classes of irreducible admissible representat …
15
votes
3answers
382 views
Is deciding whether a Turing machine *provably* runs forever equivalent to the halting problem?
Assume for this question that ZF set theory is sound.
Now consider the language "PROVELOOP," which consists of all descriptions of Turing machines M, for which there exists a ZF p …
0
votes
0answers
86 views
Equivariant $K$-theory, singular vectors, and flag manifolds
For a homogeneous space $M = G/B$, with $G$ a (complex) semi-simple Lie group, it is very well-known that equivariant vector bundles $E$ over $M$ correspond to representations $(V_ …
1
vote
1answer
165 views
$P^1$ minus k points
For $k\geq 3$, and $k$ arbitrary points $S=( z_1,\cdots,z_k ) \in \mathbb{P}^1$, we can write
$$ P^1 \setminus S \cong \mathbb{H}/G $$
where $\mathbb{H}$ is the upper-half plane …
-1
votes
0answers
46 views
Find Total number of ways out of N Number taking K numbers every M interval [closed]
Hello Topcoders, I have been stuck in a problem, that has thrown my brain out of the coding. This problem is at very high priority and I need the solution as early as possible. Pro …
