# Questions tagged [smoothness]

The tag has no usage guidance.

113 questions
Filter by
Sorted by
Tagged with
553 views

### Is every variety an image of a smooth variety?

Let $X$ be a finite type scheme over a field $k$. Is it true that there exists a surjective morphism $f : Y \rightarrow X$, where $Y$ is smooth over $k$? In other words, is every such scheme a ...
51 views

129 views

### On smoothness and roughness of a number related to triangular numbers

Define $\triangle_n$ to be the $n$th triangular number. Define $$M_n=(2\triangle_n-1)2\triangle_n(2\triangle_n+1)=2\triangle_n(4\triangle_n^2-1).$$ Define $(\ell,k)$-smough numbers to be numbers that ...
102 views

### Critical Smoothness on Besov Spaces $B^s_{p}$: how does it evolved with $p$?

We denote by $B_{p}^s(\mathbb{T}) := B_{p,p}^s(\mathbb{T})$ the Besov space over the circle $\mathbb{T}$ with parameters $p=q \in (0, \infty]$ and smoothness $s \in \mathbb{R}$. For $p>0$ fixed and ...
330 views

96 views

### Formally smooth maps of schemes and factorization systems

I am thinking about how formally smooth maps of schemes relate to factorization systems. Let $C$ be the category of schemes. Let $E$ be the class of morphisms of schemes consisting of closed ...
99 views

272 views

### Path algebras are formally smooth

In Ginzburg's notes Lectures on Noncommutative Geometry, he claim that the path algebra of a quiver is formally smooth (See Section 19.2). I have two questions. First, how to show this claim and ...
234 views

### How much smoothness does the tennis ball theorem need?

The tennis ball theorem states that a smooth-enough curve that bisects the surface area of a sphere must have at least four inflection points. There are plenty of sources on this but most of them are ...
597 views

### Bertini's theorem over non-algebraically closed field

Let $K$ be a non-algebraically closed (infinite) field of characteristic $0$ and $X$ a smooth, projective $K$-variety. Does there exist an ample invertible sheaf $\mathcal{L}$ on $X$ such that a ...
296 views

102 views

90 views

### Smoothness of the solution of 1D diffusion equation

How do I show that the solution of 1D diffusion equation is smooth for all t>0? I do know that in order to show a nonlinear PDE, for example Burger's equation, develops corners (instead of smooth ...
856 views

### A differentiable isometry is smooth?

I posted this question in MSE but got no response (even after giving a bounty), so I am trying here. Let $M,N$ be smooth $d$-dimensional Riemannian manifolds. Suppose $f:M \to N$ is a differentiable ...
107 views

### Smoothness in von Neumann algebra of measurable functions

Let $A=L^{\infty}(M)$ be an algebra of essentially bounded measurable function on manifold $M$. Let $D$ be a first order elliptic differential operator acting on some hermitian bundle $S$ over $M$ (...
388 views

### Isomorphic algebras determine diffeomorphic manifolds

It is a kind of folklore but I would like to see the proof of the following fact: given two smooth manifolds $M$ and $N$ if we assume that the algebras $C^{\infty}_0(M)$ and $C^{\infty}_0(N)$ are ...
417 views

### Smoothness of a projective variety via the derived category

Let $X$ be a smooth projective integral variety over an algebraically closed field $k$. Let $Y$ be a (not necessarily smooth) projective integral variety over $k$. Assume that $D^b(X) \cong D^b(Y)$. ...
261 views

### Continuation of a smooth function, whose every derivative is strictly monotonic

Let $f$ be a function defined on $(-\infty, a]$ such that every derivative of $f$ is strictly monotonic. Does it guarantee uniqueness of a smooth continuation $g$ of $f$ to the whole real line, where ...
208 views

### Holomorphic symplectic form on the moduli space of Higgs bundles

I have the following problem: consider the moduli space $\mathcal{M}:=\mathcal{M}_X(n, 0)$ of semistable Higgs bundles of rank $n$ and degree $0$ on a compact Riemann surface $X$ of genus $g\geq2$. ...
### Derivatives of $C^{\infty}$ non analytic function
Question: Given $f\in C^{\infty}$ which is not analytic on a bounded domain $\Omega \subseteq \mathbb{R}$. What can we say about the sequence $\lbrace f^{(m)} \rbrace _{m=1}^{\infty}$? Specifically - ...
Let $M,N$ be smooth Riemannian manifolds with boundary (In particular, we assume the boundaries are smooth). Suppose we have a map $\phi:M \to N$ which satisfies the following properties: (1) \, \,...