# All Questions

216 views

### Rational structures on the flag variety over a finite field

Some Notions A variety over a field is defined to be a scheme of finite type over this field. An $\mathbb{F}_q$-rational structure of an $\bar{\mathbb{F}}_q$-variety $V$ is a $\mathbb{F}_q$-variety ...
92 views

### If $G$ is compact, $H \leq G$ open, $V$ an irreducible $H$-rep, is $\text{Ind}_H^G$ semisimple?

Let $G$ be a compact group, $H$ a normal open subgroup, and $K$ a $p$-adic field (so that not all $G$-reps with coefficients in $K$ are semisimple). Let $V$ be a topological $K$-vector space with ...
11 views

### edge graph reconstruction conjecture : set vs multi set

Why is the edge reconstruction conjecture stated with the deck defined as the multi set of graphs formed by deleting one edge? Can someone give an example of two graphs such that the edge deleted ...
20 views

### Are there some algorithms to solve the diagonal matrix $X$ to the following matrix equation?

Suppose $X$ is an unknown $m \times m$ diagonal matrix. Given a scalar $0<c<1$, and a matrix $A$ of $m \times m$ size whose entries $0<A_{i,j}<1$. Are there some algorithms to find the ...
53 views

30 views

157 views

### The embeddings $S^{6} \to S^{7}$ and $S^{7}\to S^{8}$

Is the standard smooth structure of $S^{7}$ the only structure for which each of the following canonical embedding is an smooth embedding?: 1)$S^{6}\to S^{7}$ 2)$S^{7}\to S^{8}$
11 views

### Existence and Uniqueness of solution of volterra integral equation of the first kind

$$\int_0^t k(s,t)f(s)ds=g(t)$$ To know the existence and uniquness of solution of volterra integral equation(VIE) of the first kind, we differentiate it and convert to the VIE of the second kind. ...
71 views

### Graphs where each edge belongs to the same number of 1-factors

Let $G$ be a simple connected graph that has at least one 1-factor. We'll define: $G$ has property A iff it is edge-transitive. $G$ has property B iff each edge belongs to the same number of ...
4k views

### What makes four dimensions special?

Do you know properties which distinguish four-dimensional spaces among the others? What makes four-dimensional topological manifolds special? What makes four-dimensional differentiable manifolds ...
640 views

### Symplectic structures from Lagrangians?

In Witten's paper 'Quantization of Chern-Simons Gauge Theory with Complex Gauge Group,' he makes the statement (p. 35) that the symplectic form on the moduli space of flat $G_\mathbb{C}$ connections ...
2k views

### What's the current state of Yang Mills Mass Gap question?

What's the current state of Yang Mills Mass Gap question, is there any place that does this problem? Especially I want to know if there is any progress (out of that mentioned in the introduction ...
90 views

### A Lie algebra identity

Let $G$ be a Lie group and $\mathfrak{g}$ its Lie algebra. Fix a basis $e_1,\dots,e_n$ of $\mathfrak{g}$ and let $e^1,\dots,e^n$ be its dual basis. We also use $e^i$ to denote the left-invariant ...
21 views

### What is the number of noncrossing acyclic digraphs?

A noncrossing graph on $n$ vertices is a graph drawn on $n$ points numbered in counter-clockwise order on a circle such that the edges lie entirely within the circle and do not cross each other. I am ...
4k views

### Intuition for Integral Transforms

It is well known that the operations of differentiation and integration are reduced to multiplication and division after being transformed by an integral transform (like e.g. Fourier or Laplace ...
33 views

### What are the odds in the card game war that the game will start and finish on the first battle? [on hold]

What are the odds? My 6 year old daughter and I played war. On the first card we both played sevens and the battle bagan. We played three face down and one up and they matched again. Again, we ...
93 views

2k views

### Irreducibility of determinant of symmetric matrix

It is quite known fact that the determinant of arbitrary symmetric matrix is an irreducible polynomial in algebra $\mathbb C [x_{ij}, 1\leq i,j\leq n]$ ($x_{ij}=x_{ji}$) (see this: ...
315 views

### Relations between the cohomology of discrete groups and of profinite groups

Let $G$ be a discrete group and $K$ be the profinite completion of $G$. Let $C_K$ denote the category of contionuous $K$-modules and ${C_K}'$ denotes category of finite continuous $K$-modules. Now for ...
126 views

### Ergodic theory reference for converging sequences of matrices

I have been told that the following is a well known theorem in ergodic theory & have been given the book by Furstenberg as a reference. However, I cannot find such a statement in it. Would anyone ...
249 views

### Set-theoretic tautologies

Let us consider unquantifed formulas of a set theory (for example, NBG), more precisely, the formulas, constructed from variables and the constants $\emptyset, V$ (the empty set and the class of all ...
384 views

### History of the connection between Riemann surfaces and complex algebraic curves

As noted in the question "Links between Riemann surfaces and algebraic geometry", there are strong connections between Riemann surfaces and algebraic geometry - for example, compact Riemann surfaces ...
40 views

### Double quotients of Coxeter groups have the chain property?

Let $(W,S)$ be a Coxeter group with Bruhat order $\leq$ and length function $\ell(w)$. Definition: a subset $X \subset W$ has the chain property if whenever $x,y \in X$ with $x < y$, there ...
247 views

### a question about geometric quantization background

I don't understand why for geometric description of a regular system, we take always the classical phase space as a symplectic manifold?
88 views

### Interpretation of Hochschild Homology groups

In all the literature I've come across there are many concrete interpretations of the first few Hochschild Cohomology groups. For example $HH^1(A,M)\cong Derivation/Inner Derivations$ etc.... In ...
30 views

### Precalculus Help? [on hold]

The lengths of the sides in a right triangle form three consecutive terms of a geometric sequence. Find the common ratio of the sequence. (There are two distinct answers. Enter your answers as a ...
51 views

### Update on list of open problems for Cherednik/Symplectic Reflection Algebras

Background: There are two lists of open problems about Cherednik or Symplectic Reflection Algebras from 2007: Ian Gordon's Problems, Chapter 9 in Symplectic Reflection Algebras, and Ginzburg & ...
755 views

### Not-lonely runners

The lonely runner conjecture has several formulations. They all involve a number $n$ runners running on a circular track, each with a different speeds, and the conjecture is that each runner is ...
521 views

### Geometric Quantization

I'm curious about geometric quantization. Of course, I know the procedure: Start with a classical phase space $T^{*}X$, $X$ is the configuration space, then do prequantization by creating a ...
49 views

### $C^\infty$-vectors in general representations of Lie groups on locally convex spaces

This question is related to this one. Let $G$ be a real Lie group (I should emphasize I only care about ordinary Lie groups, not Lie groups modeled on locally convex spaces or anything like that). In ...
1k views

### A good primer for geometric quantization.

Hello everyone: I'm searching for a good primer on geometric quantization. I found the following: Mathematical foundations of geometric quantization (A. Echeverria-Enriquez, et al.) Symplectic ...
1k views

### How big is the sum of smallest multinomial coefficients?

Given positive integers $n$ and $d$, let $S$ indicate the list of all $d$-tuples of non-negative integers $(c_1,\ldots,c_d)$ such that $c_1+\cdots+c_d=n$. Let $v_i$ be the value of the multinomial ...
66 views

### References for the Keisler Order

Are there any good/modern references on the Keisler order. I have been reading Keisler's original paper, "Ultraproducts which are not Saturated", which introduces the order. However it is somewhat ...
73 views

### Estimate maximal coefficient of a polynomial from a circle containing all roots

Suppose I have a polynomial $$p(x)=\sum_{i=0}^n p_ix^i.$$ For simplicity furthermore assume $p_n=1$. As it is well known we may use Gershgorin circles to give an upper bound for the absolute ...
1k views

### What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra. In the former, one assigns to ...
177 views

### Is the Tate conjecture known for etale covers of products of curves

Let $X$ be a (smooth projective geometrically connected) surface over a finitely generated field $k$. The Tate conjecture predicts that, for $l$ a prime number invertible in $k$, the Chern class map ...
83 views

### Lack of parabolicity of PDE due to invariancy under diffeomorphisms?

Let a nonlinear differential equation is invariant under all diffeomorphisms, then we get lack of parabolicity?
65 views

### Newton polygons of modular polynomials

This is pretty much straightforward curiosity. Is there anything known about Newton polygons of classical modular polynomials (polynomial relations between $j(\tau)$ and $j(n\tau)$)? I understand that ...
Let f(t,d) be a continuous function in t. Prove that: $\lim\limits_{m\to \infty}\sup\limits_{t\in[t_1,t_2]}f(t,d_m)=\sup\limits_{t\in[t_1,t_2]}\lim\limits_{m\to \infty}f(t,d_m)$ Does anyone have any ...
Given a simple lie algebra (over ${\mathbb C}$ or ${\mathbb R}$). What is the number of operators such that their eigenvalues sufficiently label all state vectors in the algebra's representation ...