0
votes
1answer
23 views
Decomposition into irreducibles of symmetric powers of irreps.
Suppose I have an irreducible representation of a simple Lie algebra, say $\mathfrak{sl}(n)$ or $\mathfrak{so}(n)$ i.e., $A$ and $D$ type. Given such a representation, $\Gamma_\lam …
3
votes
1answer
89 views
Why has Bourbaki ignored the theory of categories?
They had plenty of time to adopt the theory of categories. They had Eilenberg, then Cartan, then Grothendieck. Did they feel that they have established their approach already, that …
0
votes
2answers
550 views
Possible errata in Nicolas Bourbaki’s General Topology -I, Chapter 1 Exercise 2 ?
Here is the text of Exercise:
2 a) Let $X$ be an ordered set. Show that the set of intervals
$\left[x, \rightarrow\right[$ (resp. $\left]\leftarrow, x\right]$)
is a base o …
1
vote
0answers
21 views
Composition of spans as a morphism of profunctors
Let $\bf C$ be a category with pullbacks. Define $Span\colon (A,B)\mapsto \{ (X,f,g)\mid A\xleftarrow{f}X\xrightarrow{g}B\}$ and notice that it is a profunctor $s\colon \bf C^\text …
19
votes
2answers
246 views
A family of words counted by the Catalan numbers
In recent work with Michael Albert and Nik Ruškuc, a family of words has arisen which is counted by the Catalan numbers. I've looked at Richard Stanley's Catalan exercises in EC2 a …
2
votes
2answers
134 views
Field generated by the Fourier coefficients of a modular form
Let $f = \sum_n a_n q^n$ be a cuspidal newform of weight $k$ on $\Gamma_0(N)$ for some $N$. Let $K_f$ be the number field generated by the $a_q$ as $q$ runs over all primes.
My q …
0
votes
1answer
33 views
Canonical Modules
Is there a decent way to describe the canonical module of the ring $\frac{\mathbb{C}[x,y,z]}{x^2-yz}$? I am not necessarily looking for an explicit description of the canonical mod …
1
vote
1answer
16 views
Recognizing etale covers on the level of function fields
Let $X$ be a connected, integral curve over a field $k$, and let $Y \rightarrow X$ be a finite etale cover. Corresponding to this cover there is a finite extension of function fiel …
0
votes
0answers
6 views
Understanding bayesian computational problem
I have to solve exercise 5.4 and 5.6 of the book Bayesian computation with R.
I don't understand the iter to solve this kind of exercise. For instance how do I reparametrize $\be …
0
votes
1answer
97 views
Sage or Magma Implementation of Nilpotent Orbit Varieties
For a given partition $[n_{1},...,n_{k}]$ of $N \in \mathbb{N}$ there exists a corresponding nilpotent orbit variety $O_{[n_{1},...,n_{k}]}$ in $\mathfrak{gl}(N)$ which can be repr …
2
votes
1answer
73 views
Rate of growth of an explicit integral
Let $$J_1=\int_0^1\frac{1}{\sqrt{1-t_2}}dt_2,$$
$$J_2=\int_0^1 \int_0^{t_2}\frac{1}{\sqrt{1-t_2}}(\frac{1}{\sqrt{1-t_3}}+\frac{1}{\sqrt{t_2-t_3}})dt_3dt_2,$$
$J_3=\int_0^1 \int_0^{ …
7
votes
2answers
335 views
Irreducible divisors containing an arbitrary closed set
Let $X$ be a normal complex projective variety, let $V$ be a closed subset of $X$ (possibly reducible), and let $I_V$ be its ideal sheaf (consider the reduced scheme structure for …
0
votes
2answers
71 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 …
2
votes
0answers
18 views
Hypersurfaces containing a general chain of lines
Let $X$ be a general chain of $d$ lines in $\mathbb P^n$, where $n \geq 3$. Let $I$ be the homogeneous ideal of polynomials vanishing on $X$. What is the Hilbert function
$$P(k) = …
2
votes
0answers
44 views
Eigenvalues of permutations of a real matrix: how complex can they be?
This is sort of complementary to this thread. I’ll repeat the definitions here:
For a matrix $M\in GL(n,\mathbb R)$, consider the $n!$ matrices obtained by permutations of the rows …

