The examples tag has no wiki summary.

**1**

vote

**1**answer

130 views

### Examples of nontrivial local systems in Decomposition Theorem

There is a proper map $f: X \rightarrow Y$ of projective varieties. The Decomposition Theorem of Beilinson–Bernstein–Deligne-Gabber states that
$$Rf∗IC_X \cong \oplus_a ...

**3**

votes

**1**answer

117 views

### Mumford-Ramanujam examples in characteristic p [and in Arakelov geometry]

For a compact Riemann surface $B$ of genus $\geq 2$, it is a consequence of the Narasimhan-Seshadri theorem that there exist rank-$2$ vector bundles $E \to B$ of degree zero, all of whose symmetric ...

**6**

votes

**2**answers

162 views

### How weird can Modular Tensor Categories be over non-algebraically closed fields?

I am trying to understand better the behaviour and character of modular tensor categories over non-algebraically closed fields. How weird can they be?
The reason I am interested in this is that my ...

**10**

votes

**3**answers

522 views

### Are all vector-space valued functors on sets free?

Let $\mathbf{Set}$ be the category of finite sets and functions between them, and let $\mathbf{Vect}$ be the category of finite-dimensional complex vector spaces and linear transformations between ...

**9**

votes

**1**answer

255 views

### A sequence of subsets of an infinite group

Is there an infinite group $G$ such that there is not any sequence $(A_n)$ of its subsets such that always
$$A_n=A_n^{-1}, \quad A_{n+1}A_{n+1}\subsetneqq A_n$$
?
link

**5**

votes

**2**answers

168 views

### smooth affine surfaces over algebraically closed fields with trivial l-torsion of the Brauer group

I am looking for examples of smooth affine surfaces over algebraically closed fields with trivial $\ell$-torsion of the Brauer group.
Related questions: Schemes with trivial brauer group and Brauer ...

**2**

votes

**2**answers

203 views

### Example(s) of monoidal symmetric closed category with NNO without infinite coproducts?

The question is in the title, here is my motivation:
$\require{AMScd}$Let $(\mathcal C,\otimes,I)$ be a monoidal symmetric closed category. Then, the tensor product commutes with colimits, and if ...

**2**

votes

**0**answers

201 views

### Closed 4-manifolds with uncountably many differentiable structures

I know that $\mathbb{R}^4$ admits uncountably many differentiable structures and I was wandering what happen if we consider closed 4-manifolds. Are there any closed 4-manifolds with uncountably many ...

**5**

votes

**0**answers

183 views

### Homeomorphisms of product spaces: an example

In the first of these lectures (http://www.mpim-bonn.mpg.de/node/4436) given by M. Freedman he says that there exists (compact metric) spaces $X$ and $Y$ such that $X\times S^{1}$ is homeomorphic to ...

**7**

votes

**6**answers

377 views

### Do you have examples of such “transitive” elements?

(I've asked the same question at the MSE, so far with no answers, so I thought I'd try it here as well. If there's some clash with any site rules, please let me know and I'll abide.)
Let $A$ be a set ...

**3**

votes

**1**answer

179 views

### Unravelling some hypotheses on a variety

In Le group de Brauer II, Grothendieck states
Proposition 1.4.- Soit $X$ a préschéma noetherien. Supposon que les anneaux hensélisés stricts des anneaux locaux de $X$ soient factoriels, [...] ...

**66**

votes

**6**answers

6k views

### Mistakes in mathematics, false illusions about conjectures

Since long time ago I have been thinking in two problems that I have not been able to solve. It seems that one of them was recently solved. I have been thinking a lot about the motivation and its ...

**4**

votes

**3**answers

135 views

### A model with $\kappa$ many automorphism and a rigid element.

The following should be known, but I could not find an example.
Let $\kappa$ be an uncountable cardinal. Find a model $M$ of size $\kappa$ which has $\ge\kappa$ many automorphisms, but for some $m\in ...

**0**

votes

**1**answer

106 views

### Simple but topologizable [closed]

Do you have an example of an infinite simple group with at least 3 distinct group topologies on it?

**0**

votes

**1**answer

187 views

### Examples of groups such that order isomorphism of the subgroups of $G\times G$ and $H\times H$ does not imply isomorphism of $G$ and $H$

Let $G$ and $H$ be groups, $\operatorname{Sub}(G\times G)$ be the set of all subgroups of $G\times G$ and $\operatorname{Sub}(H\times H)$ be the set of all subgroups of $H\times H$. Assume there ...

**5**

votes

**1**answer

180 views

### Measures which exhibit the “uncorrelated implies independent” property

Let $X$ be a topological linear space, and let $X^*$ be its dual space. Suppose that $X$ is complete and Hausdorff, and $X^*$ separates points. Let $Y$ be another such space, and let $f : X \to Y$ be ...

**1**

vote

**0**answers

96 views

### Examples of languages that are in P and are not in CFL [closed]

Any examples of languages that are in P(polynomial time to recognize it) and are not in CFL(context-free language)?The more the better.

**12**

votes

**1**answer

186 views

### Nontrivial upper bounds on proof-theoretic ordinals of strong theories: do we have any?

Motivated by Consistency of Analysis (second order arithmetic) and Proof-Theoretic Ordinal of ZFC or Consistent ZFC Extensions?, I have the following question:
Are there any examples of strong ...

**3**

votes

**3**answers

516 views

### Fibrations with isomorphic fibers, but not Zariski locally trivial

(I posted this same question on MSE. Sorry if it is too elementary.)
I am looking for examples of fibrations $f:X\to Y$ where the fibers are all isomorphic, but $f$ is not Zariski locally trivial. In ...

**5**

votes

**1**answer

284 views

### Not quite adjoint functors

What are standard and/or natural examples of pairs of functors $F:C\leftrightarrows D:G$ and unnatural bijections $\hom_D(Fx,y)\to\hom_C(x,Gy)$ for all $x$ and $y$? Can one do this so that the ...

**2**

votes

**1**answer

123 views

### Semitransitive relations

By a digraph, let us mean an ordered pair $(X,r)$ with $r : X \times X \rightarrow B,$ where $X$ is a set and $B = \{\mathrm{False}, \mathrm{True}\}.$
Then supposing $\mathbb{X} =(X,r)$ is a digraph, ...

**4**

votes

**1**answer

392 views

### Examples of “nice” properties of algebraic extensions of $\mathbb{Q}$

I am writing a short survey of some "nice'' properties of algebraic extensions of $\mathbb{Q}$. Let's say a property (P) is nice if
every finite extension of $\mathbb{Q}$ satisfies (P), and
if $K ...

**14**

votes

**9**answers

1k views

### What are your favorite concrete examples of limits or colimits that you would compute during lunch?

(The title was initially "What are your favorite concrete examples that you would compute on the table during lunch to convince a working mathematician that the notions of limits and colimits are not ...

**9**

votes

**5**answers

792 views

### Examples of ubiquitous objects that are hard to find?

I've been wrestling with a certain research problem for a few years now, and I wonder if it's an instance of a more general problem with other important instances. I'll first describe a general ...

**12**

votes

**7**answers

665 views

### Examples of toposes for analysts

I've read that toposes are extremely important in modern mathematics, but I find the definitions and examples given on the nLab page a little too abstract to understand.
Can you provide some examples ...

**2**

votes

**1**answer

185 views

### Vanishing Cech cohomology

Let $X$ be a manifold such that $dim(X)=n$. It is well-know that if $\mathcal{F}$ is a coherent sheaf $H^m(X,\mathcal{F})=0$ for all $m >n$ (where I denote with $H(-)$ Cech cohomology). But is ...

**4**

votes

**3**answers

365 views

### A non-trivial probability measure on $2^{\mathbb R}$

Consider the measurable space $2^{\mathbb R}$, equipped with the tensor-product $\sigma$-algebra. Famously, this space has a measurable structure which is not generated by a topology (see this ...

**2**

votes

**1**answer

281 views

### Examples of Quot schemes

I'm studying Quot schemes, that I denote with $Quot_{N,X,P}$, with $N \in \mathbb{Z}$, $X \subset \mathbb{P}^d$ and $P \in \mathbb{Q}[t]$. So, I'm looking for explicit examples of Quot schemes. Could ...

**28**

votes

**5**answers

820 views

### are there natural examples of classical mechanics that happens on a symplectic manifold that isn't a cotangent bundle?

I'm curious about just how far the abstraction to a symplectic formalism can be justified by appeal to actual physical examples. There's good motivation, for example, for working over an arbitrary ...

**7**

votes

**2**answers

196 views

### Natural $\Pi^1_2$ (or worse) classes of structures?

(To clarify, my interest is mainly lightface, that is, $\Pi^1_2$ instead of $\bf \Pi^1_2$, although it doesn't particularly matter.)
This is just an idle curiosity. In logic, I find myself frequently ...

**13**

votes

**1**answer

800 views

### Learning a little Motivic Cohomology

Simply because I find it interesting, I have spent some time studying motivic cohomology from the lectures by Mazza, Voevodsky and Weibel. However, I'm finding it hard to tell if the theory is ...

**0**

votes

**1**answer

69 views

### Existence of a moderate uniform structure on $\Bbb R$

A moderate uniform structure $\mathcal U$ on $\Bbb R$ is one for which
$\forall U\in \mathcal U, \exists n\in \Bbb N,\quad U^n=\Bbb R^2$
but
$ \not\exists n\in \Bbb N,\forall U\in \mathcal U,\quad ...

**5**

votes

**1**answer

420 views

### Uncountable Reduced ring $R$ with $R[x]$ has only a countable number of maximal left ideals

The question is following:
Is there an uncountable reduced ring (i.e., a ring with no non-zero nilpotent element) $R$ (with identity) such that
$R[x]$ has only a countable number of maximal ...

**12**

votes

**2**answers

475 views

### Occurrences of D. H. Lehmer's 10-th degree polynomial

Salem numbers and Lehmer's minimum height problem are venerated not only in number theory and diophantine analysis, where they are considered naturally interesting for their own sake, but also in ...

**14**

votes

**10**answers

2k views

### An example of a proof that is explanatory but not beautiful? (or vice versa)

This question has a philosophical bent, but hopefully it will evoke straightforward, mathematical answers that would be appropriate for this list (like my earlier question about beautiful proofs ...

**6**

votes

**1**answer

294 views

### Generating functions with all non-zero coefficients equal to one

Inspired by this question, I have been wondering if there are any useful generating functions with all non-zero coefficients equal to one. Obviously, the trivial generating function $\frac{1}{1-x}$ ...

**1**

vote

**0**answers

303 views

### Homotopy theory of schemes

I have seen the notion of Homotopy come up in several contexts in schemes. For example, the book "Lectures on Motivic Cohomology" by Mazza, Weibel and Voevodsky uses this language to some extent. I.e. ...

**8**

votes

**4**answers

407 views

### Order-independent properties arising naturally in mathematics

The motivation for the following question comes from finite model theory,
but it is not a technical question about this field,
and it is particularly directed at people working in other fields.
It ...

**3**

votes

**1**answer

145 views

### A group 3-cocycle, trivial on a pair of generating subgroups?

I'm looking for an example of the following situation:
A group $G$ generated by finite subgroups $H$ and $K$,
a non-trivial 3-cocycle $\omega \in H^3(G, \mathbb{k}^\times)$
such that
the ...

**12**

votes

**1**answer

457 views

### Examples of polynomial rings $A[x]$ with relatively large Krull dimension

If $A$ is a commutative ring we have the estimate
$$
\dim (A)+1 \le \dim (A[x])\le 2\dim (A)+1
$$
for the Krull dimension, with $\dim (A)+1 = \dim (A[x])$ for Noetherian rings.
I am looking for nice ...

**7**

votes

**7**answers

958 views

### Gelfand representation and functional calculus applications beyond Functional Analysis

I think it is fair to say that the fields of Operator Algebras, Operator Theory, and Banach Algebras rely on Gelfand representation and functional calculus in a crucial way.
I am curious about ...

**2**

votes

**1**answer

192 views

### Methods to tell if a magma has idempotents

(Disclaimer: below, when I say "compact" I mean "compact Hausdorff.")
I asked a version of this question on math stackexchange ...

**2**

votes

**2**answers

228 views

### What is a good example of a hyperspace where the base space is non-Hausdorff?

Let $X$ be a topological space, and let $\operatorname{CL}(X)$ be its hyperspace. That is, $\operatorname{CL}(X)$ is the set of closed subsets of $X$, equipped with the minimal topology so that the ...

**6**

votes

**2**answers

902 views

### Good examples of random variables whose image is not a measurable set?

Are their simple/natural examples of real-valued Borel-measurable random variables whose image is not a Borel set? Something that occurs "naturally"?
I am teaching Doob's lemma (for two real-valued ...

**1**

vote

**2**answers

146 views

### Understanding the left-separated spaces

A space $X$ is called left-separated if it can be well-ordered in such a way that every initial segment is closed in $X$.
Could someone post some left-separated space to help me understand such ...

**4**

votes

**1**answer

216 views

### Example of a non-closed cocomplete symmetric monoidal category

Background
By a cocomplete symmetric monoidal category $C$ I mean a symmetric monoidal category whose underlying category is cocomplete and such that $- \otimes X : C \to C$ is cocontinuous for all ...

**6**

votes

**1**answer

188 views

### Hamiltonian polar action with Lagrangian section

I am looking for examples of Hamiltonian polar isometric actions of a compact Lie group on a Kahler-Einstein (or perhaps just Kahler) manifold, that admits a Lagrangian section.
Recall that an ...

**8**

votes

**2**answers

784 views

### what's the idea behind Carleman estimate

A standard Carleman-type estimate is of the form
$$
\sum_{|\alpha|<m}{\tau^{2(m-|\alpha|-1)}\int{|D^{\alpha}u|^{2}e^{2\tau\phi}}dx}\leq K\int{|Pu|^{2}e^{2\tau\phi}dx},\quad u\in C_{0}^{\infty}
$$
...

**8**

votes

**3**answers

606 views

### What's the use of Malgrange preparation theorem?

The Malgrange preparation theorem,which is the $C^{\infty}$ version of the classical Weierstrass preparation theorem,says that if $f(t,x)$ is a $C^{\infty}$ function of $(t,x)\in\mathbb{R}^{n+1}$ near ...

**2**

votes

**1**answer

215 views

### Clarification and intuition request for rationally equivalent algebraic cycles

I am having some difficulty lining up the definition and my intuition for rational equivalence of cycles. My intuition is based off of the idea that two cycles being rationally equivalent is analogous ...