# All Questions

234 views

26k views

### Examples of great mathematical writing

This question is basically from Ravi Vakil's web page, but modified for Math Overflow. How do I write mathematics well? Learning by example is more helpful than being told what to do, so let's try to ...
319 views

### Nuclear operators/spaces and transfer operators

While studying for my thesis (in dynamical systems) I've encountered multiple times with the concept of nuclear operators and nuclear spaces, often linked with the works of Grothendieck. For example, ...
1k views

105 views

### Poincare-Hopf theorem for polytopes?

Is there an analogue of Poincare-Hopf theorem for polytopes? I want to apply it in the following situation. I have a polytope in $R^n$ and a smooth explicitly given vector field in $R^n$. I want to ...
82 views

783 views

### How to characterize real square matrices A, such that v'Av >= 0, for all real vectors v with 1'v=0 (1 is the vector of all ones)?

I derive this question while trying to prove the monotonicity of a differentiable vector function $f(x)$ that maps from $X\subset R^n$ to $R^n$ (Here function $f(x)$ is called monotone if ...
646 views

### Complex manifold with subvarieties but no submanifolds

I previously asked this question on MSE and offered a bounty but received no responses. There are examples of compact complex manifolds with no positive-dimensional compact complex submanifolds. ...
63 views

### Historical perspectives on CAT(0) spaces

Does there exist a survey on the early developments of CAT(k) spaces, with the first motivations and the first problems considered? I looked at Bridson and Haefliger's book On metric spaces of ...
684 views

### nef divisor on surface

hello everybody. someone can suggest me some reference or an example of a divisor nef $D$ on a surface such that $D^{2}<0$ if it exists?
8k views

### Way to memorize relations between the Sobolev spaces?

Consider the Sobolev spaces $W^{k,p}(\Omega)$ with a bounded domain $\Omega$ in n-dimensional Euclidean space. When facing the different embedding theorems for the first time, one can certainly feel ...
967 views

### Obstructions for embedding a graph on a surface of genus g

Kuratowski's theorem tells us the complete graph $K_5$ and the bipartite graph $K_{3,3}$ are the only obstructions to a graph being planar, ie embeddable in the plane with no edge-crossings. Is ...
4k views

### Are the nontrivial zeros of the Riemann zeta simple?

A few years ago, I found on arXiv an article in which the authors (I think they were at least two to write it) claimed to have proven that the non trivial zeros of the Riemann zeta function were all ...
284 views

### Verlinde Formula and Theta Function Identities

The paper Fusion rules and modular transformations in 2D conformal field theory by Erik Verlinde mentions a simple case of rational conformal field theory, where the fusion algebra is just ...
477 views

### Are there homology groups for cosimplicial groups?

Hi, Assume you have a cosimplicial group $G$, so that for each $n \ge 0$ there is a group $G_n$, and you have the usual cofaces and codegeneracies. Is there a known way to associate to this a ...
1k views

### What is the geometric object corresponding to a subalgebra in a polynomial ring

Many introductory texts on algebraic geometry set up some sort of algebra-geometry dictionary in which radical ideals correspond to varieties, and so on. I am wondering if there is a geometric way to ...
273 views

### Asymptotics of A261668

In Uniform Approach to Double Shuffle and Duality Relations of Various q-Analogs of Multiple Zeta Values via Rota-Baxter Algebras, Proposition 10.8, Jianqiang Zhao mentiones the sequence: ...
345 views

### non-Identity operator on a separable Hilbert space

Suppose $\mathcal{H}$ is a separable Hilbert space over $\mathbb{C}$ (countable dimensions) with inner product $\langle,\rangle$. Let $A$ be a bounded linear operator on $\mathcal{H}$, i.e, in ...
1k views

### Why we study Geometric invariant theory?

I am trying to learn Geometric invariant theory like it was introduced by Mumford. But I do not have a strong motivation and so I want to know the reason of studying Geometric invariant theory. I just ...
211 views

### Reference request: Beilinson-Bernstein for finite-dimensional reps and category O

I think I’ve once been told that under the Beilinson-Bernstein correspondence, finite-dimensional representations of a semisimple Lie algebra $\mathfrak{g}$ correspond to (twisted) D-modules on $G/B$ ...
4k views

### Why is Lie's Third Theorem difficult?

Recall the following classical theorem of Cartan (!): Theorem (Lie III): Any finite-dimensional Lie algebra over $\mathbb R$ is the Lie algebra of some analytic Lie group. Similarly, one can propose ...
2k views

### Best-case Running-time to solve an NP-Complete problem

What is the fastest algorithm that exists to solve a particular NP-Complete problem? For example, a naive implementation of travelling salesman is $O(n!)$, but with dynamic programming it can be done ...
732 views

### Geometry behind Rees algebra (deformation to the normal cone)

Let me start with the formal definition of Rees algebra. If $A$ is a commutative ring over some field $k$, $I \subset A$ is an ideal, then Rees algebra is by definition  R=\oplus_{i \in \mathbb{Z}} ...
2k views

### Non finitely-generated subalgebra of a finitely-generated algebra

Ok, I feel a little bit ashamed by my question. This afternoon in the train, I looked for a counter-example: — $k$ a field — $A$ a finitely generated $k$-algebra — $B$ a $k$-subalgebra of $A$ that ...
836 views

### Applications of Atiyah-Singer using pseudodifferential operators

Though the Atiyah-Singer index theorem holds for pseudodifferential operators, all the applications of the index theorem I know of only need it for Dirac-type operators. I know that pseudodifferential ...
173 views

### Fiberwise acyclic, locally acyclic morphisms

The quick definition of a map $f \colon X \to B$ of schemes being acyclic is that the natural unit of adjunction $\def\id{\operatorname{id}}\id \to f_* f^*$ is an isomorphism, where we take $f_*$ to ...
365 views

### $q_{S^*\omega}(X)=S^{\ast}q_{\omega}(X)$ ?

Definition: Let $(V,\Omega)$ be a symplectic vector space, we define $\perp:\Lambda ^k(V^*)\to\Lambda ^{k-2}(V^{\ast})$ by $\perp(\omega)=i_{X_{\Omega}}(\omega)$ here if ...
The Transfinite Induction says: Let $\mathbf{P}(x)$ is a property, assume that, for all ordinal numbers $\alpha$ : If $\mathbf{P}(\beta)$ holds for all $\beta < \alpha$, then $\mathbf{P}(\alpha)$ ...
At the end of Section 14.1 in Pressley, Segal "Loop Groups" there is the remark that the partition function is a modular function in the sense that the Dedekind $\eta$ function is a modular form. I ...